Medusa: Mutant Equivalence Detection Using Satisfiability Analysis. - Benjamin Kushigian; Amit Rawat; René Just (ICST Workshops, 2019)

Generate Compilers from Hardware Models! - Gus Henry Smith; Benjamin Kushigian; Vishal Canumalla; Andrew Cheung; René Just; Zachary Tatlock (CoRR, 2023)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis. - Gus Henry Smith; Benjamin Kushigian; Vishal Canumalla; Andrew Cheung; Steven Lyubomirsky; Sorawee Porncharoenwase; René Just; Gilbert Louis Bernstein; Zachary Tatlock (ASPLOS (2), 2024)

Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts. - Enzo Nicourt; Benjamin Kushigian; Chandrakana Nandi; Yliès Falcone (ICST, 2024)

Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs. - Benjamin Kushigian; Samuel J. Kaufman; Ryan Featherman; Hannah Potter; Ardi Madadi; René Just (ISSTA, 2024)