Benjamin Kushigian

According to our database, Benjamin Kushigian authored at least 3 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Generate Compilers from Hardware Models!

Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock

CoRR, 2023

2019

Medusa: Mutant Equivalence Detection Using Satisfiability Analysis.

Benjamin Kushigian, Amit Rawat, René Just

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019