Concepedia

Michael Emmi

ME

Statistics

Publications

21

Citations

1K

H-Index

17

Active since

2007

Affiliations

Université Paris Cité(Current)

Délégation Paris 7

Laboratoire d'Informatique Algorithmique: Fondements et Applications

IMDEA Software Institute

SRI International

Michael Emmi is an author at Université Paris Cité specializing in computer science, computing, and concurrent programming.

Publications per year

2007–2021

21

Publications

21

Dynamic test input generation for database applications

Michael Emmi, Rupak Majumdar, Koushik Sen · 2007 · 199 citations

Computing, Computer Science, Algorithms +16

Verifying constant-time implementations

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2016 · 143 citations · Full text

Computing, Computer Engineering, Computer Science +16

Delay-bounded scheduling

Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić · 2011 · 113 citations

Computing, Computer Science, Computer Systems +15

Delay-bounded scheduling

Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić · ACM SIGPLAN Notices · 2011 · 107 citations

Computing, Computer Science, Computer Systems +15

Lock allocation

Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala et al. · ACM SIGPLAN Notices · 2007 · 66 citations

Computing, Computer Engineering, Computer Science +12

1–5 of 21