Research Assistant

Paul G. Allen School of Computer Science & Engineering
University of Washington

185 E Stevens Way NE
CSE2 252
benku@cs.washington.edu


About

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.

Bio

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.

Publications

Medusa: Mutant Equivalent Detection using Satisfiability Analysis
by Benjamin Kushigian, Amit Rawat, and René Just.
In Proceedings of the International Workshop on Mutation Analysis (Mutation), April 22 2019.
PDF