dslab.epfl.ch
Awards - Dependable Systems Lab
http://dslab.epfl.ch/awards
2014 VMware Graduate Fellowship. To work on techniques for automated debugging. 2013 Open Source Software World Challenge 2013. 2013 Intel Doctoral Student Honor Programme Award. For the S2E system. For building program analysis tools, now being used by dozens of teams around the world. Open Source Software World Challenge 2012. For the Device Driver Tester (DDT). 2012 Intel Doctoral Student Honor Programme Award. For his work on execution synthesis. At ASPLOS 2011 to. Google Focused Research Award.
github.com
GitHub - dslab-epfl/cloud9: The Cloud9 main repository
https://github.com/dslab-epfl/cloud9
The Cloud9 main repository. Http:/ cloud9.epfl.ch. Use Git or checkout with SVN using the web URL. Cannot retrieve the latest commit at this time. Failed to load latest commit information. You can't perform that action at this time. You signed in with another tab or window. Reload. To refresh your session. You signed out in another tab or window. Reload. To refresh your session.
klee.github.io
Publications · KLEE
http://klee.github.io/publications
Publications and Systems Using KLEE. Below you can find a list of papers and systems that either use or extend KLEE. They are listed in chronological order. If you have used or extended KLEE and would like to have your paper listed here, please email klee-dev-owner. Or c.cadar@imperial.ac.uk. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. Cristian Cadar, Daniel Dunbar, Dawson Engler. USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008).
vladureche.ro
Vlad Ureche
http://www.vladureche.ro/projs.html
This page presents the different projects I worked or am working on. Some of them are quite old, but I like them so much that I keep them around. Miniboxing (Scala Compiler Plugin). I am currently working on improving the performance of generic programs written in Scala by providing a smart mix of compile-time and run-time class specialization. If this short description got you interested, check out the official web page of the miniboxing project. Or the Scala compiler plugin I'm developing (on github).
autosrs.epfl.ch
Projects - Automated Software Reliability Services
http://autosrs.epfl.ch/projects
Automated Software Reliability Services. Cloud9: Scalable Cluster-based Parallel Symbolic Execution. S2E: Multi-path In-vivo Analysis of Complex Software Systems. ESD: Automated Debugging Through Execution Synthesis. Reverse Execution Synthesis: Automated Debugging for Arbitrarily Long Executions. ADDA: Automating the Debugging of Datacenter Applications. Portend: Automated Classification of Data Races. RaceMob: Crowdsourced Data Race Detection. Klein: A Platform for Modular Program Analysis. Coredump ob...
autosrs.epfl.ch
People - Automated Software Reliability Services
http://autosrs.epfl.ch/people
Automated Software Reliability Services. Heads the Dependable Systems Lab. Works on scaling automated software testing to systems of millions of lines of code. In this regard, he is building Cloud9. A cluster-based parallel symbolic execution engine. He is focused on techniques for mitigating path explosion, as well as making testing tools more accessible to developers. Prior to joining EPFL, Stefan received his Dipl.Eng. from "Politehnica" University in Bucharest. He is currently the...Works on scaling ...
autosrs.epfl.ch
20% Projects - Automated Software Reliability Services
http://autosrs.epfl.ch/twenty-pct-projects
Automated Software Reliability Services. The following are some ideas for ways in which Googlers can get involved with AutoSRS. Some of these projects are already underway and would welcome additional help. Please contact Prof. George Candea. Constraint Solving as a Service. Parallel Symbolic Execution with S2E. Graphical User Interface for S2E. Testing PNaCl Applications with Cloud9. Classifying Data Races Reported by ThreadSanitizer. In XCode) for Linux, which could help, for example, debug the Cloud9 ...
autosrs.epfl.ch
Automated Software Reliability Services
http://autosrs.epfl.ch/home
Automated Software Reliability Services. July 5th, 2012:. Cloud9 has been released at http:/ cloud9.epfl.ch/. November 1st, 2011:. Stefan Bucur joins Google Zurich for an internship. Oct 27th, 2011:. Our paper "Data Races vs. Data Race Bugs: Telling the Difference with Portend" will be presented on March 6, 2012 at ASPLOS. June 1st, 2011:. AutoSRS has been covered in media, in the context of the EcoCloud. Official launch. Find the article here. An automated testing service. An automated debugging service.