Statistics
Publications
39
Citations
2.4K
H-Index
24
Active since
2004
Emina Torlak is an author at University of Washington specializing in computer science, computing, and formal methods.
Publications per year
2004–2024
39
39
Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 523 citations
Growing solver-aided languages with rosette
Emina Torlak, Rastislav Bodík · 2013 · 185 citations
A lightweight symbolic virtual machine for solver-aided host languages
Emina Torlak, Rastislav Bodík · 2014 · 177 citations
Satish Chandra, Emina Torlak, Shaon Barman et al. · 2011 · 132 citations
1–5 of 39