7 citations · 15 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019★ 3 cited
ct-fuzz: Fuzzing for Timing Leaks
Shaobo He, Michael Emmi, Gabriela Ciocarlie
Testing-based methodologies like fuzzing are able to analyze complex software which is not amenable to traditional formal approaches like verification, model checking, and abstract…
cs.SE2017★ 5 cited
Exposing Non-Atomic Methods of Concurrent Objects
Michael Emmi, Constantin Enea
Multithreaded software is typically built with specialized concurrent objects like atomic integers, queues, and maps. These objects' methods are designed to behave according to cer…