DSLAB - Laboratoire des systèmes fiables
12:08Cyclone: Unified Stream and Batch Processing. 45th International Conference on Parallel Processing (ICPP). , International Conference on Parallel Processing Workshops.
10:08Improving systems software security through program analysis and instrumentation. Thèse EPFL, n° 7055 (2016)
14:13Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs. Thèse EPFL, n° 6873 (2015)
16:31Are We Modular Lying Cues Detectors? The Answer Is "Yes, Sometimes", in Plos One, vol. 10, num. 9, p. e0136418, 2015.
09:53Automated Classification of Data Races Under Both Strong and Weak Memory Models, in Acm Transactions On Programming Languages And Systems, vol. 37, num. 3, p. 8, 2015.
15:22Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures. ACM Symposium on Operating Systems Principles (SOSP), Monterey, CA.
08:53Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces. Thèse EPFL, n° 6719 (2015)
15:36High System-Code Security with Low Overhead. 36th IEEE Symposium on Security and Privacy (S&P;), San Jose, CA, May 18-20, 2015.
11:11Code-Pointer Integrity. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Broomfield, CO, October 6–8, 2014.
08:49The Tests-versus-Proofs Conundrum, in Ieee Security & Privacy, vol. 12, num. 1, p. 65-68, 2014.