[llvm-commits] [www-pubs] r98814 - in /www-pubs/trunk: 2010-04-EUROSYS-ExecutionSynthesis.html 2010-04-EUROSYS-ExecutionSynthesis.pdf pubs.js

Owen Anderson resistor at mac.com
Thu Mar 18 00:05:45 PDT 2010


Author: resistor
Date: Thu Mar 18 02:05:45 2010
New Revision: 98814

URL: http://llvm.org/viewvc/llvm-project?rev=98814&view=rev
Log:
Another one from EuroSys.

Added:
    www-pubs/trunk/2010-04-EUROSYS-ExecutionSynthesis.html
    www-pubs/trunk/2010-04-EUROSYS-ExecutionSynthesis.pdf   (with props)
Modified:
    www-pubs/trunk/pubs.js

Added: www-pubs/trunk/2010-04-EUROSYS-ExecutionSynthesis.html
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2010-04-EUROSYS-ExecutionSynthesis.html?rev=98814&view=auto
==============================================================================
--- www-pubs/trunk/2010-04-EUROSYS-ExecutionSynthesis.html (added)
+++ www-pubs/trunk/2010-04-EUROSYS-ExecutionSynthesis.html Thu Mar 18 02:05:45 2010
@@ -0,0 +1,52 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+  <link rel="stylesheet" href="../llvm.css" type="text/css" media="screen">
+  <title>Execution Synthesis: A Technique for Automated Software Debugging</title>
+</head>
+<body>
+
+<div class="pub_title">
+  Execution Synthesis: A Technique for Automated Software Debugging
+</div>
+<div class="pub_author">
+ Cristian Zamfir and George Candea
+</div>
+
+<h2>Abstract:</h2>
+<blockquote>
+<p>Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn into detectives searching for an explanation of how the program could have arrived at the reported failure point.</p>
+
+<p>Execution synthesis is a technique for automating this detective work: given a program and a bug report, it automatically produces an execution of the program that leads to the reported bug symptoms. Using a combination of static analysis and symbolic execution, it “synthesizes” a thread schedule and various required program inputs that cause the bug to manifest. The synthesized execution can be played back deterministically in a regular debugger, like gdb. This is particularly useful in debugging concurrency bugs.</p>
+
+<p>Our technique requires no runtime tracing or program modifications, thus incurring no runtime overhead and being practical for use in production systems. We evaluate ESD, a debugger based on execution synthesis on popular software (e.g., the SQLite database, ghttpd Web server, HawkNL network library, UNIX utilities): starting from mere bug reports, ESD reproduces on its own several real concurrency and memory safety bugs in less than three minutes.</p>
+</blockquote>
+
+<h2>Published:</h2>
+<blockquote>
+  "Execution Synthesis: A Technique for Automated Software Debugging"
+  <br>
+  Cristian Zamfir and George Candea
+  <br>
+<i>
+Proc. of the 5th ACM European Conference on Computer Systems
+</i>, Paris, France, April 2010.
+</blockquote>
+<h2>Download:</h2>
+<h3>Paper:</h3>
+<ul>
+  <li><a href="2010-04-EUROSYS-ExecutionSynthesis.pdf">
+  Execution Synthesis: A Technique for Automated Software Debugging
+  </a> (PDF)</li>
+</ul>
+
+<!-- *********************************************************************** -->
+<hr>
+  <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
+  src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
+  <a href="http://validator.w3.org/check/referer"><img
+  src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
+
+</body>
+</html>

Added: www-pubs/trunk/2010-04-EUROSYS-ExecutionSynthesis.pdf
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2010-04-EUROSYS-ExecutionSynthesis.pdf?rev=98814&view=auto
==============================================================================
Binary file - no diff available.

Propchange: www-pubs/trunk/2010-04-EUROSYS-ExecutionSynthesis.pdf
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream

Modified: www-pubs/trunk/pubs.js
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=98814&r1=98813&r2=98814&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Thu Mar 18 02:05:45 2010
@@ -15,6 +15,13 @@
    location: "Paris, France",
    month: 4,
    year: 2010},
+  {url: "2010-04-EUROSYS-ExecutionSynthesis.html",
+   title: "Execution Synthesis: A Technique for Automated Software Debugging",
+   published: "Proc. of the 5th ACM European Conference on Computer Systems (EuroSys'10)",
+   author: "Cristian Zamfir and George Candea",
+   location: "Paris, France",
+   month: 4,
+   year: 2010},
   {url: "2010-03-GPGPU-ModelingGPGPU.html",
    title: "Modeling GPU-CPU Workloads and Systems",
    published: "Proc. of the 3rd Workshop on General-Purpose Computation on Graphics Processing Units (GPGPU-3)",





More information about the llvm-commits mailing list