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 computing 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 working on my master's thesis under the supervision of Dr. Pete Manolios.
Most recently, I was part of the team at Paperless Parts, a Boston-based software startup revolutionizing the manufacturing industry with their innovative quoting software platform.
Papers
- 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. Forthcoming.
- Samuel Xifaras. Leveraging Type Annotations for Effective Fuzzing of Python Programs. Master's Thesis, Northeastern University, 2024.
Connect with me