PhD Student

Paul G. Allen School of Computer Science & Engineering

University of Washington

benku@cs.washington.edu

about

I’m a fifth year PhD in University of Washington’s CSE department working with René Just. I’m interested in software engineering, and in testing/mutation analysis in particular. I’m currently trying to re-imagine how we think about test utility and test goal generation. When I’m not mutating code I’m playing music or poker.

pubs

equivalent mutants in the wild: identifying and efficiently suppressing equivalent mutants for java programs
by Benjamin Kushigian, Samuel J. Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, René Just.
ISSTA '24.

using mutation testing to improve and minimize test suites for smart contracts (industry track)
by Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Yliès Falcone.
ICST '24.

fpga technology mapping using sketch-guided program synthesis
by Gus Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock.
ASPLOS '24.

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.

posts

subscribe via RSS