MIT Libraries homeMIT Libraries logoDSpace@MIT

MIT
Search 
  • DSpace@MIT Home
  • Computer Science and Artificial Intelligence Lab (CSAIL)
  • CSAIL Digital Archive
  • CSAIL Technical Reports (July 1, 2003 - present)
  • Search
  • DSpace@MIT Home
  • Computer Science and Artificial Intelligence Lab (CSAIL)
  • CSAIL Digital Archive
  • CSAIL Technical Reports (July 1, 2003 - present)
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 61

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware 

Carbin, Michael; Misailovic, Sasa; Rinard, Martin (2013-06-19)
Emerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and recovery from soft errors is ...
Thumbnail

A Lossy, Synchronization-Free, Race-Full, But Still Acceptably Accurate Parallel Space-Subdivision Tree Construction Algorithm 

Rinard, Martin (2012-02-23)
We present a new synchronization-free space-subdivision tree construction algorithm. Despite data races, this algorithm produces trees that are consistent enough for the client Barnes-Hut center of mass and force computation ...
Thumbnail

Automatic Input Rectification 

Long, Fan; Ganesh, Vijay; Carbin, Micheal; Sidiroglou, Stelios; Rinard, Martin (MIT CSAIL, 2011-10-03)
We present a novel technique, automatic input rectification, and a prototype implementation called SOAP. SOAP learns a set of constraints characterizing typical inputs that an application is highly likely to process ...
Thumbnail

Generating Component-based Supervised Learning Programs From Crowdsourced Examples 

Cambronero, Jose; Rinard, Martin (2017-12-21)
We present CrowdLearn, a new system that processes an existing corpus of crowdsourced machine learning programs to learn how to generate effective pipelines for solving supervised machine learning problems. CrowdLearn uses ...
Thumbnail

Filtered Iterators For Safe and Robust Programs in RIFL 

Shen, Jiasi; Rinard, Martin (2015-12-27)
We present a new language construct, filtered iterators, for safe and robust input processing. Filtered iterators are designed to eliminate many common input-processing errors while enabling robust continued execution. The ...
Thumbnail

An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems 

Long, Fan; Rinard, Martin (2016-02-18)
We present the first systematic analysis of the characteristics of patch search spaces for automatic patch generation systems. We analyze the search spaces of two current state-of- the-art systems, SPR and Prophet, with ...
Thumbnail

Using Active Learning to Synthesize Models of Applications That Access Databases 

Shen, Jiasi; Rinard, Martin (2018-08-28)
We present a new technique that uses active learning to infer models of applications that manipulate relational databases. This technique comprises a domain-specific language for modeling applications that access ...
Thumbnail

Automatic Inference of Code Transforms and Search Spaces for Automatic Patch Generation Systems 

Long, Fan; Amidon, Peter; Rinard, Martin (2016-07-08)
We present a new system, Genesis, that processes sets of human patches to automatically infer code transforms and search spaces for automatic patch generation. We present results that characterize the effectiveness of the ...
Thumbnail

On Role Logic 

Kuncak, Viktor; Rinard, Martin (2003-10-24)
We present role logic, a notation for describing propertiesof relational structures in shape analysis, databases, andknowledge bases. We construct role logic using the ideas ofde Bruijn's notation for lambda calculus, an ...
Thumbnail

Automatic Error Elimination by Multi-Application Code Transfer 

Sidiroglou-Douskos, Stelios; Lahtinen, Eric; Rinard, Martin (2014-10-02)
We present pDNA, a system for automatically transfer- ring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor applications ...
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 7

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Discover

Author
Rinard, Martin (61)
Long, Fan (15)Kuncak, Viktor (12)Misailovic, Sasa (8)Sidiroglou-Douskos, Stelios (8)Achour, Sara (6)Lahtinen, Eric (6)Qi, Zichao (5)Shen, Jiasi (4)Carbin, Michael (3)... View MoreSubjectAutomatic Program Repair (2)automatic program repair (2)runtime instrumentation (2)security (2)Acceptability (1)automated machine learning (1)automatic patching (1)Autonomic Computing (1)code mining (1)Condition Synthesis (1)... View MoreDate Issued2020 - 2021 (2)2010 - 2019 (39)2003 - 2009 (20)Has File(s)Yes (61)

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries homeMIT Libraries logo

Find us on

Twitter Facebook Instagram YouTube RSS

MIT Libraries navigation

SearchHours & locationsBorrow & requestResearch supportAbout us
PrivacyPermissionsAccessibility
MIT
Massachusetts Institute of Technology
Content created by the MIT Libraries, CC BY-NC unless otherwise noted. Notify us about copyright concerns.