Emina Torlak

Q: What Schools Are Affiliated With Emina Torlak

Emina Torlak is affiliated with the following schools: University of California, Berkeley, Massachusetts Institute of Technology, University of Sarajevo, University of Washington

Emina Torlak's AcademicInfluence.com Rankings

Emina Torlak

Computer Science

#3776

World Rank

#3968

Historical Rank

#1367

USA Rank

Software Engineering

#255

World Rank

#260

Historical Rank

#77

USA Rank

Database

#9421

World Rank

#9924

Historical Rank

#1324

USA Rank

computer-science Degrees

Download Badge

Computer Science

Emina Torlak's Degrees

PhD Computer Science University of California, Berkeley
Masters Computer Science University of California, Berkeley
Bachelors Computer Science University of Sarajevo

Similar Degrees You Can Earn

Why Is Emina Torlak Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Emina Torlak is an American computer scientist and software engineer whose research concerns software verification, program synthesis, and the integration of these techniques into domain-specific languages. She is an associate professor of computer science at the University of Washington, and a senior principal scientist for Amazon Web Services.

(See a Problem?)

Emina Torlak's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Syntax-guided synthesis (2013) (642)
Kodkod: A Relational Model Finder (2007) (527)
A lightweight symbolic virtual machine for solver-aided host languages (2014) (209)
Growing solver-aided languages with rosette (2013) (188)
Angelic debugging (2011) (137)
Controlled physical random functions and applications (2008) (103)
Finding Minimal Unsatisfiable Cores of Declarative Specifications (2008) (89)
MemSAT: checking axiomatic specifications of memory models (2010) (87)
Optimizing synthesis with metasketches (2016) (79)
Hyperkernel: Push-Button Verification of an OS Kernel (2017) (78)
A constraint solver for software engineering: finding models and cores of large relational specifications (2009) (76)
Scalable verification of border gateway protocol configurations with an SMT solver (2016) (66)
Computer Aided Verification (2016) (65)
Scaling symbolic evaluation for automated verification of systems code with Serval (2019) (60)
Specifying and Checking File System Crash-Consistency Models (2016) (56)
Synthesizing memory models from framework sketches and Litmus tests (2017) (55)
Effective interprocedural resource leak detection (2010) (49)
Correct Refactoring of Concurrent Java Code (2010) (48)
A type system for object models (2004) (42)
Artifact (2018) (42)
Fast synthesis of fast collections (2016) (39)
Nickel: A Framework for Design and Verification of Information Flow Control Systems (2018) (37)
Automated reasoning for web page layout (2016) (36)
Precise Attack Synthesis for Smart Contracts (2019) (34)
Generalized Data Structure Synthesis (2018) (29)
Swizzle Inventor: Data Movement Synthesis for GPU Kernels (2019) (26)
Finding code that explodes under symbolic evaluation (2018) (22)
Crust: A Bounded Verifier for Rust (N) (2015) (21)
Scalable test data generation from multidimensional models (2012) (19)
Knowledge Flow Analysis for Security Protocols (2005) (17)
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel (2020) (17)
Faster constraint solving with subtypes (2004) (17)
Formal Semantics and Automated Verification for the Border Gateway Protocol (2016) (17)
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers (2016) (17)
CRUST : A Bounded Verifier for Rust (2015) (16)
Applications and extensions of Alloy: past, present and future (2013) (15)
The Design of a Relational Engine (2006) (14)
Refinement Types for Ruby (2017) (14)
Synthesizing JIT Compilers for In-Kernel DSLs (2020) (13)
Synthesizing interpretable strategies for solving puzzle games (2017) (11)
What Gives? A Hybrid Algorithm for Error Trace Explanation (2014) (10)
Summary-Based Symbolic Evaluation for Smart Contracts (2020) (10)
Toward tool support for interactive synthesis (2015) (10)
SpaceSearch: a library for building and verifying solver-aided tools (2017) (8)
Symbolic types for lenient symbolic execution (2017) (6)
Toward a Dependability Case Language and Workflow for a Radiation Therapy System (2015) (5)
A Framework for Parameterized Design of Rule Systems Applied to Algebra (2016) (4)
Fixing Code that Explodes Under Symbolic Evaluation (2020) (4)
Synthesizing Programs with Constraint Solvers (2012) (4)
Approximate Program Synthesis (2015) (4)
A Framework for Computer-Aided Design of Educational Domain Models (2018) (3)
Subtyping in alloy (2004) (3)
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (2017) (3)
Noninterference specifications for secure systems (2020) (2)
A Hybrid Algorithm for Error Trace Explanation (2014) (2)
A formal foundation for symbolic evaluation with merging (2022) (2)
Automatic Formal Verification for EPICS (2018) (2)
Synthesizing Memory Models from Litmus Tests (2016) (2)
Testing Dafny (experience paper) (2022) (1)
SIMPL: A DSL for Automatic Specialization of Inference Algorithms (2016) (1)
A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols (2006) (1)
0 Synthesizing Optimal Domain Models for Educational Applications (2017) (1)
Effective Function Merging in the SSA Form (2020) (0)
Proceedings Second Workshop on Synthesis: Growing Solver-Aided Languages with Rosette (2014) (0)
A note on verifying information flow control systems with Nickel (2019) (0)
P L ] 2 5 N ov 2 01 7 Refinement Types for Ruby (2018) (0)
Simple Subtypes for Specification (2003) (0)
Wavelet-Based Solutions to the Digital Image Watermarking Problem (2003) (0)
A Picture is Worth a Billion Bits: Adaptive Visualization of Big Data (2020) (0)
The Design of a Relational Engine Emina Torlak and (2006) (0)
Artifact: Finding Code That Explodes Under Symbolic Evaluation (2018) (0)
Computer Science and Artificial Intelligence Laboratory Knowledge Flow Analysis for Security Protocols (2005) (0)
IBM Research Report Discovering Algorithms in Angelic Programs (2010) (0)
Discovering Algorithms in Angelic Programs (2010) (0)
Session details: Posters (2013) (0)
Subtyping in Alloy by Emina Torlak (2004) (0)

This paper list is powered by the following services:

Other Resources About Emina Torlak

What Schools Are Affiliated With Emina Torlak?

Emina Torlak is affiliated with the following schools:

Emina Torlak's Academic­Influence.com Rankings

Emina Torlak's Degrees

Similar Degrees You Can Earn

Why Is Emina Torlak Influential?

Emina Torlak's Published Works

Published Works

Other Resources About Emina Torlak

What Schools Are Affiliated With Emina Torlak?

Emina Torlak's AcademicInfluence.com Rankings