Martin Rinard

Research interests

Publications

• Automatic inference of code transforms for patch generation

  Journal · 2017 · https://doi.org/10.1145/3106237.3106253

• An analysis of the search spaces for generate and validate patch generation systems

  Journal · 2016 · https://doi.org/10.1145/2884781.2884872

• Automatic patch generation by learning correct code

  Journal · 2016 · https://doi.org/10.1145/2837614.2837617

• An analysis of patch plausibility and correctness for generate-and-validate patch generation systems

  Journal · 2015 · https://doi.org/10.1145/2771783.2771791

• Staged program repair with condition synthesis

  Journal · 2015 · https://doi.org/10.1145/2786805.2786811

• Information-Flow Analysis of Android Applications in DroidSafe

  Journal · 2015 · https://doi.org/10.14722/ndss.2015.23089

• Control Jujutsu

  Journal · 2015 · https://doi.org/10.1145/2810103.2813646

• Verifying quantitative reliability for programs that execute on unreliable hardware

  Journal · 2013 · https://doi.org/10.1145/2509136.2509546

• Managing performance vs. accuracy trade-offs with loop perforation

  Journal · 2011 · https://doi.org/10.1145/2025113.2025133

• Dynamic knobs for responsive power-aware computing

  Journal · 2011 · https://doi.org/10.1145/1950365.1950390

• Quality of service profiling

  Journal · 2010 · https://doi.org/10.1145/1806799.1806808

• Taint-based directed whitebox fuzzing

  Journal · 2009 · https://doi.org/10.1109/icse.2009.5070546

• Automatically patching errors in deployed software

  Journal · 2009 · https://doi.org/10.1145/1629575.1629585

• Full functional verification of linked data structures

  Journal · 2008 · https://doi.org/10.1145/1375581.1375624

• Probabilistic accuracy bounds for fault-tolerant computations that discard tasks

  Journal · 2006 · https://doi.org/10.1145/1183401.1183447

• Purity and Side Effect Analysis for Java Programs

  Lecture notes in computer science · 2005 · https://doi.org/10.1007/978-3-540-30579-8_14

• Enhancing server availability and security through failure-oblivious computing

  Journal · 2004

• Automatic detection and repair of errors in data structures

  Journal · 2003 · https://doi.org/10.1145/949305.949314

• Ownership types for safe programming

  Journal · 2002 · https://doi.org/10.1145/582419.582440

• A parameterized type system for race-free Java programs

  Journal · 2001 · https://doi.org/10.1145/504282.504287

• Compositional pointer and escape analysis for Java programs

  Journal · 1999 · https://doi.org/10.1145/320384.320400

• The design, implementation, and evaluation of Jade

  ACM Transactions on Programming Languages and Systems · 1998 · https://doi.org/10.1145/291889.291893

• Jade: a high-level, machine-independent language for parallel programming

  Computer · 1993 · https://doi.org/10.1109/2.214440

• The semantic foundations of concurrent constraint programming

  Journal · 1991 · https://doi.org/10.1145/99583.99627

• Concurrent constraint programming

  Journal · 1990 · https://doi.org/10.1145/96709.96733

Current projects

No projects listed.