Obtaining and reasoning about good enough software

No abstract is available for this paper.

• Publication year

  2012

• Venue

  DAC Design Automation Conference 2012

• Publication date

  2012-06-03

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/2228360.2228526
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Parallelizing Sequential Programs with Statistical Accuracy Tests

  2013cited by this paper
• A Lossy, Synchronization-Free, Race-Full, But Still Acceptably Accurate Parallel Space-Subdivision Tree Construction Algorithm

  2012cited by this paper
• Automatic input rectification

  2012cited by this paper
• Randomized accuracy-aware program transformations for efficient approximate computations

  2012cited by this paper
• You don't know jack about shared variables or memory models

  2011cited by this paper
• Managing performance vs. accuracy trade-offs with loop perforation

  2011cited by this paper
• Detecting and Escaping Infinite Loops with Jolt

  2011cited by this paper
• Probabilistically Accurate Program Transformations

  2011cited by this paper
• Probabilistic and Statistical Analysis of Perforated Patterns

  2011cited by this paper
• Automatically identifying critical input regions and code in applications

  2010cited by this paper
• Quality of service profiling

  2010cited by this paper
• Detecting and eliminating memory leaks using cyclic memory allocation

  2007cited by this paper
• Using early phase termination to eliminate load imbalances at barrier synchronization points

  2007cited by this paper
• Living in the comfort zone

  2007cited by this paper
• Exterminator: automatically correcting memory errors with high probability

  2007cited by this paper
• Probabilistic accuracy bounds for fault-tolerant computations that discard tasks

  2006cited by this paper
• Goal-Directed Reasoning for Specification-Based Data Structure Repair

  2006cited by this paper
• Data structure repair using goal-directed reasoning

  2005cited by this paper
• Exploring the acceptability envelope

  2005cited by this paper
• A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors)

  2004cited by this paper
• Enhancing Server Availability and Security Through Failure-Oblivious Computing

  2004cited by this paper
• Automatic detection and repair of errors in data structures

  2003cited by this paper
• ARIANE 5 Flight 501 Failure: Report by the Enquiry Board

  1996cited by this paper

• Activity Report 2019 Team DIVERSE Diversity-centric Software Engineering Joint team with Inria Rennes – Bretagne Atlantique D 4 – Language and Software Engineering

  2020cites this paper
• A journey among Java neutral program variants

  2019cites this paper
• Live functional programming with typed holes

  2018cites this paper
• SAD : building software moving targets to prevent massive attacks on distributed applications Context and scope of the project

  2017cites this paper
• DSpot: Test Amplification for Automatic Assessment of Computational Diversity

  2015influential citation
• Automatic Software Diversity in the Light of Test Suites

  2015cites this paper
• DIVERSIFY: Ecology-inspired software evolution for diversity emergence

  2014cites this paper
• Why design reliable chips when faulty ones are even better

  2013cites this paper
• Incorrect systems: It's not the problem, It's the solution

  2012cites this paper
• Multicore Scalability of Concurrent Objects

  2012cites this paper
• Research in Program Repair and Approximate Computing: A Retrospective

  year unknowncites this paper
• In Partnership With: Institut National Des Sciences Appliquées De Rennes Project-team Diverse

  year unknowncites this paper