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 programming journey began at an early age, inspired by my father who is also a software engineer.
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 first two years of my career in industry, I was part of the team at Paperless Parts, a Boston-based software startup revolutionizing the way quoting is done in the manufacturing industry.
Recently, I joined Stripe as a Software Engineer on the User Billing team, out of their NYC office. I am working to rearchitect and platformize the company's billing system. Bringing structure to tech-debt induced chaos is proving to be a fun technical challenge!
I'm always open to conversations, either virtually or in person, but I strongly prefer in person. If you are interested, and in the NYC-Boston range of the United States, let me know and I'd love to explore an in person meeting! Find contact info below.
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 + miscellaneous links