Registered user since Tue 9 Jun 2015

Name:Michael Emmi
Country:United States
Affiliation:Amazon Web Services

Contributions

POPL 2022 Committee Member in Program Committee within the POPL-track
SAS 2021 Committee Member in Program Committee within the SAS-track
ESEC/FSE 2021 Author of RAPID: Checking API Usage for the Cloud in the Cloud within the Industry Papers-track
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
ICST 2020 Author of ct-fuzz: Fuzzing for Timing Leaks within the Testing Tools Track-track
PLDI 2020 Author of Behavioral Simulation for Smart Contracts within the PLDI Research Papers-track
Committee Member in SRC Committee within the Student Research Competition-track
PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2019 Author 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 2018 Author of Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections within the Research Papers-track
FMS Invited Speaker of Verifying Constant-Time Implementations within the FMS-track
POPL 2016 ERC 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 2016 Committee Member in External Review Committee within the Main conference-track
ESOP 2015 Author of Analysis of Asynchronous Programs with Event-Based Synchronization within the ESOP-track
PLDI 2015 Author of Monitoring Refinement via Symbolic Reasoning within the Research Papers-track