Applications experience in Jade
MARTIN C. RINARD
Concurrency and Computation: Practice and Experience 10 ( 6) 417 -448
1
1998
Incremental Verification of Timing Constraints for Real-Time Systems
Stefan ANDREI , Wei-Ngan CHIN , Martin RINARD
Hardware synthesis from term rewriting systems Hardware synthesis from term rewriting systems, 1999
Maria-Cristina MARINESCU , Martin RINARD
IEICE transactions on fundamentals of electronics, communications and computer sciences 84 ( 11) 2655 -2664
2001
Programming in Occam 2 Programming in Occam 2, 1988
Maria-Cristina MARINESCU , Martin RINARD
IEICE transactions on fundamentals of electronics, communications and computer sciences 84 ( 11) 2655 -2664
2001
Work in Progress: A Unified Algebraic Framework Of Program Analyses
MARTIN RINARD , THOMAS BOURGEAT
Runtime program certification
Konstantine Arkoudas1 Martin Rinard
Verifying Complex Properties using Symbolic Shape Analysis
Viktor Kuncak Karen Zee Martin Rinard
Interprocedural Compatibility Analysis for Static Object Preallocation
ALEXANDRU SALCIANU , OVIDIU GHEORGHIOIU , MARTIN C RINARD
Compositional Pointer Analysis for Java TM: Design, Correctness Proof, and Implementation
ALEXANDRU SALCIANU , MARTIN C RINARD
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Martin Rinard , Rudolf Eigenmann
acm sigplan symposium on principles and practice of parallel programming
2003
An Evaluation of Exhaustive Testing for Data Structures
Martin Rinard , Darko Marinov , Sarfraz Khurshid , Dumitru Daniliuc
50
2003
A source-to-source transformation tool for error fixing
Stelios Sidiroglou-Douskos , Martin Rinard , Youry Khmelevsky
conference of the centre for advanced studies on collaborative research 147 -160
5
2013
Language-Level Transactions for Modular Reliable Systems
Martin Rinard , C. S. Ananian
2004
Staged Program Repair in SPR
Martin Rinard , Fan Long
11
2015
Prophet: Automatic Patch Generation via Learning from Successful Human Patches
Martin Rinard , Fan Long
17
2015
Probabilistic and Statistical Analysis of Perforated Patterns
Sasa Misailovic , Martin Rinard , Daniel M. Roy
6
2011
Efficient Software Transactions for Object-Oriented Languages
Martin Rinard , C. Ananian
10
2005
Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures
Sasa Misailovic , Martin Rinard , Stelios Sidiroglou , Henry Hoffmann
112
2009
A Type System for Safe Region-Based Memory Management in Real-Time Java
Alexandru Sălcianu , Martin Rinard , Chandrasekhar Boyapati , William Beebee
4
2002
Automatic Discovery and Patching of Buffer and Integer Overflow Errors
Stelios Sidiroglou-Douskos , Martin Rinard , Eric Lahtinen
7
2015