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
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
PDF
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
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