Sam Xifaras
About Me
Born and raised in Andover, Massachusetts, I am the proud grandchild of Greek immigrants. By trade, I am a computer scientist and software engineer. My journey in computer science began at an early age, inspired by my father who works in software development.
I pursued my passion for computer science at Northeastern University in Boston, where I completed both my bachelor's and master's degrees in computer science. During my graduate studies, I had the privilege of completing my master's thesis under the supervision of Dr. Pete Manolios. My work focused on improving on pitfalls in current static analysis tooling in Python, such as frequent emission of false positives, by implementing Type Hint Fuzzing, a novel approach that uses fuzzing to check type annotations and discover bugs in Python code.
For the majority of my career in industry, I was part of the team at Paperless Parts, a Boston-based software startup revolutionizing the manufacturing industry with their innovative quoting software platform.
Recently, I joined Stripe as a Software Engineer on the User Billing team, working on an extensible billing platform that will enable cross-functional business units to speak a shared language regarding how products are priced and how usage is billed.
Curriculum Vitae
Download my CVPapers
- Samuel Xifaras, Panagiotis Manolios, Andrew Walter, and William Robertson. An Enumerative Embedding of the Python Type System into ACL2s. Submitted to ACL2 Workshop 2025, Accepted March 9, 2025.
- Samuel Xifaras. Leveraging Type Annotations for Effective Fuzzing of Python Programs. Master's Thesis, Northeastern University, 2024.
Connect with me