author-photo

Michael Emmi

SRI International

11

Papers

57

Citations

Citation Trend

Filter By

Papers (4) Sort By

Journal Conference Others

Behavioral simulation for smart contracts.

2020 PLDI | Programming Language Design and Implementation
Show All
- Source
- Cite
- Save
Citations (4)
Weak-Consistency Specification via Visibility Relaxation

2019 POPL | Symposium on Principles of Programming Languages
- Michael Emmi
- Constantin Enea
Show All
- Source
- Cite
- Save
Citations (13)
SideTrail: Verifying Time-Balancing of Cryptosystems

2018 VSTTE | Verified Software: Theories, Tools, Experiments
Show All
- Source
- Cite
- Save
Citations (4)
Sound, complete, and tractable linearizability monitoring for concurrent collections

2017
- Michael Emmi
- Constantin Enea
Show All
- Source
- Cite
- Save
Citations (15)