Concepedia

Emina Torlak

ET

Statistics

Publications

38

Citations

2.2K

H-Index

24

Active since

2004

Affiliations

University of Washington(Current)

University of California, Berkeley

Massachusetts Institute of Technology

IBM (United States)

Google (United States)

Emina Torlak is an author at University of Washington specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware AnalysisProgram AnalysisFormal VerificationSoftware EngineeringAutomated ReasoningComputer EngineeringVerification

Publications per year

2004–2024

38

Publications

38

Syntax-guided synthesis

Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 512 citations

Program-synthesis Problem, Logic Synthesis, Syntax +14

Growing solver-aided languages with rosette

Emina Torlak, Rastislav Bodík · 2013 · 182 citations

Engineering, Software Engineering, Software Analysis +20

A lightweight symbolic virtual machine for solver-aided host languages

Emina Torlak, Rastislav Bodík · 2014 · 174 citations

Engineering, Verification, Software Engineering +24

Angelic debugging

Satish Chandra, Emina Torlak, Shaon Barman et al. · 2011 · 131 citations

Software Maintenance, Engineering, Verification +16

Controlled physical random functions and applications

Blaise Gassend, Marten van Dijk, Dwaine Clarke et al. · ACM Transactions on Information and System Security · 2008 · 123 citations

Cryptographic Primitive, Engineering, Information Security +24

1–5 of 38