I am a first year PhD Student at Umass Amherst, working with Dr. Yuriy Brun at the Laboratory for Software Engineering Research (LASER). My research is in automated software correctness and machine learning. Before coming to UMASS, I worked for six years in industry as a Cyber Research and Innovation Engineer. I received my Bachelor's in Electrical Engineering from Boston University in 2015 and my MS in Computer Science from Worcester University in 2018.
[Passport: Improving Automated Formal Verification Using Identifiers]
Sanchez-Stern, Alex, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, and Talia Ringer. "Passport: Improving Automated Formal Verification Using Identifiers." arXiv preprint arXiv:2204.10370 (2022).
For this paper I ran experiments and assisted with writing and editing. My writing input involved adding some of these experiments into the paper, as well as exploring the complexity of proofs that Passport was able to solve, giving feedback, and assisting in revision of the overview. The experiments included varying Passport model hyperparameters to determine the effects of these changes model efficacy during evaluation. I also performed an experiment to evaluate the effects of removing fully-qualified identifier paths from the Passport model to determine the impact of path elaboration. During this experiment, I additionally looked at variance to determine the impact of nondeterminism in the training and proof search process.