Michael Emmi -

Registered user since Tue 9 Jun 2015

Name:Michael Emmi

Country:United States

Affiliation:Amazon Web Services

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

Contributions

SAS 2023	PC Member in Program Committee within the SAS 2023-track
VMCAI 2023	Session Chair of Keynote and contribution paper (part of VMCAI 2023) Session Chair of Keynote and contribution paper (part of VMCAI 2023) Session Chair of Keynote and contribution paper (part of VMCAI 2023) Session Chair of Keynote and best paper (part of VMCAI 2023) Committee Member in Program Committee within the VMCAI 2023-track Program Co-Chair in Organizing Committee within the VMCAI 2023-track
SPLASH 2022	Author of Behavioral simulation for smart contracts within the COVID Time Papers In Person-track
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
PPoPP 2016	Committee Member in External Review Committee within the Main conference-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
PLDI 2015	Author of Monitoring Refinement via Symbolic Reasoning within the Research Papers-track
ESOP 2015	Author of Analysis of Asynchronous Programs with Event-Based Synchronization within the ESOP-track