185 E Stevens Way NE
I’m interested in software engineering, programming languages, and verification. I’m currently working on Cornelius, a tool to detect equivalent mutants using E-graphs.
I’m also interested in music and sometimes lose money playing poker.
I’m a second year PhD in University of Washington’s CSE department working with René Just. I have a BS in Math and Computer Science, and a MS in Computer Science from University Massachusetts, Amherst.
Medusa: Mutant Equivalent Detection using Satisfiability
by Benjamin Kushigian, Amit Rawat, and René Just.
In Proceedings of the International Workshop on Mutation Analysis (Mutation), April 22 2019.
subscribe via RSS