PhD Student |
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
(poker diaries, volume 3: hand reviews)
(poker diaries, volume 2: study)
(poker diaries, volume 1)
(On Confidence Intervals and Probabilities)
(Short Circuiting with Side Effects)
(Commutativity with Side Effects)
(Serializing Cast Expressions in Cornelius)
(Adding Exceptions to Cornelius, Part 1)
(Time Co-op Writeup)
(A Stupid Bug)
(Debugging Rewrites: 'attempt to add with overflow')
(More About Access Paths)
(Modeling Loop Free Heapy Programs in EGraphs)
(Potential Challenges With Modeling Heaps in EGraphs)
(Local Reasoning in EGraphs with Equality Refinement)
(Local Reasoning in EGraphs)
subscribe via RSS