Rinard - PDFSEARCH.IO - Document Search Engine

Rinard
Results: 40

#	Item
11	Static Verification of Design Constraints and Software Correctness Properties in the Hob System Patrick Lam and Martin Rinard Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Add to Reading List Source URL: patricklam.ca Language: English - Date: 2015-09-18 09:21:42
12	Program Fracture and Recombination for Efficient Automatic Code Reuse Peter Amidon Eli Davis, Stelios Sidiroglou-Douskos, and Martin Rinard Add to Reading List Source URL: www.ieee-hpec.org Language: English - Date: 2015-11-09 14:56:21
13	Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge, MA 02139, USA Add to Reading List Source URL: patricklam.ca Language: English - Date: 2015-09-18 09:21:55
14	A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information Patrick Lam Martin Rinard Add to Reading List Source URL: patricklam.ca Language: English - Date: 2015-09-18 09:21:54
15	Administrative Director David Slayton Director Jeff Rinard Add to Reading List Source URL: www.txcourts.gov - Date: 2015-05-08 09:33:36
16	Dancing with Uncertainty Sasa Misailovic Stelios Sidiroglou Martin C. Rinard Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-02-03 11:11:36 Parallel computing Compiler optimizations Analysis of parallel algorithms Automatic parallelization Speedup Reliability engineering Algorithm Floating point Thread
17	From Natural Language Specifications to Program Input Parsers Tao Lei, Fan Long, Regina Barzilay, and Martin Rinard Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {taolei, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-03-24 10:12:45
18	Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge, MA 02139, USA Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:06
19	Automatic Input Rectification Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, and Martin Rinard MIT CSAIL {fanl, vganesh, mcarbin, stelios, rinard}@csail.mit.edu Abstract—We present a novel technique, auto Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-02-03 11:11:57 Electric power conversion Rectifier JPEG Lookup table Algorithm Function Rectification
20	Exploring the Acceptability Envelope ∗ Martin Rinard Cristian Cadar Huu Hai Nguyen Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-03 12:25:42

UPDATE