Registered user since Tue 9 Jun 2015

Name: Michael Emmi

Affiliation: Amazon Web Services

Personal website: http://michael-emmi.github.io

Contributions

SPLASH 2020Committee Member in External Review Committee within the OOPSLA-track
ICST 2020Author of ct-fuzz: Fuzzing for Timing Leaks within the Testing Tools Track-track
PLDI 2020Author of Behavioral Simulation for Smart Contracts within the PLDI Research Papers-track
Committee Member in SRC Committee within the Student Research Competition-track
PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2019Author of Weak-Consistency Specification via Visibility Relaxation within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Session Chair of Program Analysis II (part of Research Papers)
POPL 2018Author of Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections within the Research Papers-track
FMSInvited Speaker of Verifying Constant-Time Implementations within the FMS-track
POPL 2016ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
Author of Symbolic Abstract Data Type Inference within the Research Papers-track
PPoPP 2016Committee Member in External Review Committee within the Main conference-track
ESOP 2015Author of Analysis of Asynchronous Programs with Event-Based Synchronization within the ESOP-track
PLDI 2015Author of Monitoring Refinement via Symbolic Reasoning within the Research Papers-track