About

I’m interested in software engineering, programming languages, and verification. I’m currently working on Cornelius, a tool to detect equivalent mutants using E-graphs.

I’m also interested in music and sometimes lose money playing poker.

Bio

I’m a second 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

Blog Posts

Aug 27, 2022
Nash Equilibrium Quiz
Feb 3, 2022
On Confidence Intervals and Probabilities
Feb 9, 2021
Donking and CBetting | Lojack versus Big Blind | MMM Rainbow/Paired/No Gap
Feb 9, 2021
Donking and CBetting | Lojack versus Big Blind | Flop: 887 Rainbow
Jan 20, 2021
Short Circuiting with Side Effects
Jan 14, 2021
Commutativity with Side Effects
Jan 2, 2021
Serializing Cast Expressions in Cornelius
Jan 1, 2021
Adding Exceptions to Cornelius, Part 1
Nov 6, 2020
Testing Cornelius Serialization with Clojure
Sep 9, 2020
Time Co-op Writeup
Aug 15, 2020
A Stupid Bug
Aug 10, 2020
Debugging Rewrites: 'attempt to add with overflow'
Aug 6, 2020
More About Access Paths
Aug 6, 2020
Modeling Loop Free Heapy Programs in EGraphs
Jul 30, 2020
Potential Challenges With Modeling Heaps in EGraphs
Jul 28, 2020
Local Reasoning in EGraphs with Equality Refinement
Jul 27, 2020
Local Reasoning in EGraphs