185 E Stevens Way NE
I’m interested in software engineering, programming languages, and verification. I’m currently researching the equivalent mutant problem and applying computer aided reasoning to prove mutant equivalence in JVM bytecode.
I’m a first 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.