s2e.epfl.ch
Publications - S²E: A Platform for In-Vivo Analysis of Software Systems
http://s2e.epfl.ch/publications
S E: A Platform for In-Vivo Analysis of Software Systems. The S2E Platform: Design, Implementation, and Applications. Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea. ACM Transactions on Computer Systems ( TOCS. Special issue: Best papers of ASPLOS, February 2012. Enabling Sophisticated Analysis of x86 Binaries with RevGen. Vitaly Chipounov and George Candea. 7th Workshop on Hot Topics in System Dependability ( HotDep. Hong Kong, China, June 2011. USENIX Annual Technical Conference.
hotdep.org
HotDep 2013 - Workshop on Hot Topics in Dependable Systems
http://www.hotdep.org/2013
Workshop on Hot Topics in Dependable Systems. An archival copy of the HotDep 2013 website is available at. Http:/ www.zurich.ibm.com/ cca/www.hotdep2013.org/.
hotdep.org
HotDep 2005 - Workshop on Hot Topics in Dependable Systems
http://www.hotdep.org/2005
Workshop on Hot Topics in Dependable Systems. First Workshop on Hot Topics. June 30, 2005. Held in conjunction with the. International Conference on Dependable Systems and Networks. The Virtue of Dependent Failures in Multi-Site Systems. Flavio P. Junqueira, Keith Marzullo ( U.C. San Diego. A Root-Cause Localization Model for Large-Scale Systems. Emre Kiciman ( Stanford University. Lakshminarayanan Subramanian ( U.C. Berkeley. The Role of Accountability in Dependable Distributed Systems. Application Comm...
hotdep.org
HotDep 2009 - Workshop on Hot Topics in Dependable Systems
http://www.hotdep.org/2009
Workshop on Hot Topics in Dependable Systems. Fifth Workshop on Hot Topics in System Dependability. Estoril, Lisbon, Portugal. June 29th, 2009. Microsoft Research, USA. University of Neuchatel, Switzerland. University of Toronto, Canada. Yahoo Research Barcelona, Spain. Microsoft Research, USA. University of California, Santa Cruz, USA. University of Wisconsin, USA. University of Rochester, USA. Microsoft Research Asia, Beijing, China. Download CFP in PDF. Debunking an old, entrenched perspective on depe...
hotdep.org
HotDep 2007 - Workshop on Hot Topics in Dependable Systems
http://www.hotdep.org/2007
Workshop on Hot Topics in Dependable Systems. Third Workshop on Hot Topics in System Dependability (HotDep'07). HotDep'07 will be part of the 2007 International Conference on Dependable Systems and Networks ( DSN 2007. 25-28 June 2007), in Edinburgh, UK. HotDep'07 is co-sponsored by USENIX, The Advanced Computing Systems Association. Paper submissions due: 15 February 2007 23:59 GMT (3:59pm PST). This is a firm deadline: no extensions will be given. For the current GMT time, see. Workshop: 26 June 2007.
dslab.epfl.ch
Publications - Dependable Systems Lab
http://dslab.epfl.ch/pubs
Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures. Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea. ACM Symposium on Operating Systems Principles ( SOSP. Monterey, CA, Oct 2015. Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces. EPFL PhD Thesis, July 2015. Failure Sketches: A Better Way to Debug. Workshop on Hot Topics in Operating Systems ( HotOS. Kartause Ittingen, Switzerland, May 2015.
dslab.epfl.ch
Dimmunix - Dependable Systems Lab
http://dslab.epfl.ch/proj/dimmunix
We also implemented a collaborative version of Dimmunix, called Communix. Communix enables machines connected to the Internet to immunize each other against deadlocks. Once a node encounters a deadlock, the other nodes get protected against the deadlock, without having to encounter the deadlock. Dimmunix is available for both Java and C/C from http:/ code.google.com/p/dimmunix/. For more details, please see:. Deadlock Immunity: Enabling Systems To Defend Against Deadlocks. San Diego, CA, December 2008.
hotdep.org
Recent site activity - Workshop on Hot Topics in Dependable Systems
http://www.hotdep.org/system/app/pages/recentChanges
Workshop on Hot Topics in Dependable Systems. Jan 9, 2015, 6:39 AM. Tab Tab edited HotDep 2013. Jan 9, 2015, 6:30 AM. Tab Tab edited HotDep 2013. Jan 9, 2015, 6:30 AM. Tab Tab deleted attachment venue.tab.shtml. Jan 9, 2015, 6:30 AM. Tab Tab deleted attachment registration.shtml. Jan 9, 2015, 6:30 AM. Tab Tab deleted attachment index.shtml. Jan 9, 2015, 6:30 AM. Tab Tab deleted attachment home.shtml. Jan 9, 2015, 6:28 AM. Tab Tab deleted attachment cfp.shtml. Jan 9, 2015, 6:27 AM. Jan 9, 2015, 6:27 AM.
autosrs.epfl.ch
Publications - Automated Software Reliability Services
http://autosrs.epfl.ch/publications
Automated Software Reliability Services. Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, and George Candea. IEEE International Conference on Software Testing, Verification and Validation ( ICST. CoRD: A Collaborative Framework for Distributed Data Race Detection. Baris Kasikci, Cristian Zamfir and George Candea. 8th Workshop on Hot Topics in System Dependability (. Hollywood, CA, October 2012. Efficient State Merging in Symbolic Execution. Beijing, China, June 2012. Newport Beach, CA ,.