Benjamin Kushigian
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | 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 |
| 2024 | ICST | Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts. | Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Ylis Falcone |
| 2024 | ISSTA | 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 |
| 2019 | ICST | Medusa: Mutant Equivalence Detection Using Satisfiability Analysis. | Benjamin Kushigian, Amit Rawat, Ren Just |