Martin C. Rinard

Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin: Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. ACM Trans. Inf. Syst. Secur. 15(4): 18 (2013)

Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard: Verified integrity properties for safe approximate program transformations. PEPM 2013: 63-66

Martin C. Rinard: Example-driven program synthesis for end-user programming: technical perspective. Commun. ACM 55(8): 96 (2012)

Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher: An introduction to data representation synthesis. Commun. ACM 55(12): 91-99 (2012)

Martin C. Rinard: What to do when things go wrong: recovery in complex (computer) systems. AOSD (Companion) 2012: 1-2

Martin C. Rinard: Obtaining and reasoning about good enough software. DAC 2012: 930-935

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Reasoning about Lock Placements. ESOP 2012: 336-356

Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard: Automatic input rectification. ICSE 2012: 80-90

Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard: Bolt: on-demand infinite loop escape in unmodified binaries. OOPSLA 2012: 431-450

Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard: Proving acceptability properties of relaxed nondeterministic approximate programs. PLDI 2012: 169-180

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Concurrent data representation synthesis. PLDI 2012: 417-428

Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard: Randomized accuracy-aware program transformations for efficient approximate computations. POPL 2012: 441-454

Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama: Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. SAT 2012: 143-156

Vijay Ganesh, Michael Carbin, Martin C. Rinard: Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography. CoRR abs/1202.0359 (2012)

Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard: Dynamic knobs for responsive power-aware computing. ASPLOS 2011: 199-212

Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin: Automatic error finding in access-control policies. ACM Conference on Computer and Communications Security 2011: 163-174

Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard: Detecting and Escaping Infinite Loops with Jolt. ECOOP 2011: 609-633

Martin C. Rinard: Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. PEPM 2011: 79-80

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Data representation synthesis. PLDI 2011: 38-49

Deokhwan Kim, Martin C. Rinard: Verification of semantic commutativity conditions and inverse operations on linked data structures. PLDI 2011: 528-541

Sasa Misailovic, Daniel M. Roy, Martin C. Rinard: Probabilistically Accurate Program Transformations. SAS 2011: 316-333

Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard: Managing performance vs. accuracy trade-offs with loop perforation. SIGSOFT FSE 2011: 124-134

Martin C. Rinard: Manipulating Program Functionality to Eliminate Security Vulnerabilities. Moving Target Defense 2011: 109-115

Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin: ARBAC Policy for a Large Multi-National Bank. CoRR abs/1110.2849 (2011)

Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller: Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports 1(2): 16-29 (2011)

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Data Structure Fusion. APLAS 2010: 204-221

Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard: Quality of service profiling. ICSE (1) 2010: 25-34

Michael Carbin, Martin C. Rinard: Automatically identifying critical input regions and code in applications. ISSTA 2010: 37-48

Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou: Patterns and statistical analysis for understanding reduced resource computing. OOPSLA 2010: 806-821

Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence Osborne: Optimal Scheduling of Urgent Preemptive Tasks. RTCSA 2010: 377-386

William R. Cook, Siobhán Clarke, Martin C. Rinard (Eds.): Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. ACM 2010, isbn 978-1-4503-0203-6

William R. Cook, Siobhán Clarke, Martin C. Rinard (Eds.): Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. ACM 2010, isbn 978-1-4503-0240-1

Brian Demsky, Martin C. Rinard: Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. IEEE Trans. Software Eng. 35(3): 305-324 (2009)

Martin C. Rinard: Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival. CADE 2009: 1-16

Vijay Ganesh, Tim Leek, Martin C. Rinard: Taint-based directed whitebox fuzzing. ICSE 2009: 474-484

Martin C. Rinard: Survival strategies for synthesized hardware systems. MEMOCODE 2009: 116-120

Karen Zee, Viktor Kuncak, Martin C. Rinard: An integrated proof language for imperative programs. PLDI 2009: 338-351

Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard: Automatically patching errors in deployed software. SOSP 2009: 87-102

Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap: A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. SYNASC 2009: 61-68

Martin C. Rinard: Technical perspective - Patching program errors. Commun. ACM 51(12): 86 (2008)

Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand: SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. SIGPLAN Notices 43(11): 6-29 (2008)

Martin C. Rinard: Using programming language concepts to teach general thinking skills. SIGPLAN Notices 43(11): 111-118 (2008)

Karen Zee, Viktor Kuncak, Martin C. Rinard: Verifying linked data structure implementations. IPDPS 2008: 1-5

Karen Zee, Viktor Kuncak, Martin C. Rinard: Full functional verification of linked data structures. PLDI 2008: 349-361

Martin C. Rinard: Automated Techniques for Surviving (Otherwise) Fatal Software Errors. Electr. Notes Theor. Comput. Sci. 174(4): 113-116 (2007)

Viktor Kuncak, Martin C. Rinard: Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. CADE 2007: 215-230

Bruno Marnette, Viktor Kuncak, Martin C. Rinard: Polynomial Constraints for Sets with Cardinality Bounds. FoSSaCS 2007: 258-273

Patrick Lam, Martin C. Rinard: Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS 2007: 1-6

Huu Hai Nguyen, Martin C. Rinard: Detecting and eliminating memory leaks using cyclic memory allocation. ISMM 2007: 15-30

Martin C. Rinard: Using early phase termination to eliminate load imbalances at barrier synchronization points. OOPSLA 2007: 369-386

Martin C. Rinard: Living in the comfort zone. OOPSLA 2007: 611-622

Karen Zee, Viktor Kuncak, Michael Taylor, Martin C. Rinard: Runtime Checking for Program Verification. RV 2007: 202-213

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard: Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI 2007: 74-88

Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard: Deciding Boolean Algebra with Presburger Arithmetic. J. Autom. Reasoning 36(3): 213-239 (2006)

Brian Demsky, Martin C. Rinard: Goal-Directed Reasoning for Specification-Based Data Structure Repair. IEEE Trans. Software Eng. 32(12): 931-951 (2006)

Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng. 32(12): 988-1005 (2006)

Martin C. Rinard: Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. ICS 2006: 324-334

Viktor Kuncak, Martin C. Rinard: An overview of the Jahob analysis system: project goals and current status. IPDPS 2006

Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard: Inference and enforcement of data structure consistency specifications. ISSTA 2006: 233-244

Steven Fraser, Gregor Kiczales, Ricardo Lopez, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin J. Sullivan: The ultra challenge: software systems beyond big. OOPSLA Companion 2006: 929-933

Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard: Incremental Deterministic Planning. SYNASC 2006: 93-102

Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard: Field Constraint Analysis. VMCAI 2006: 157-173

Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard: On Verifying Complex Properties using Symbolic Shape Analysis. CoRR abs/cs/0609104 (2006)

Konstantine Arkoudas, Martin C. Rinard: Deductive Runtime Certification. Electr. Notes Theor. Comput. Sci. 113: 45-63 (2005)

Viktor Kuncak, Martin C. Rinard: Decision Procedures for Set-Valued Fields. Electr. Notes Theor. Comput. Sci. 131: 51-62 (2005)

Radu Rugina, Martin C. Rinard: Symbolic bounds analysis of pointers, array indices, and accessed memory regions. ACM Trans. Program. Lang. Syst. 27(2): 185-235 (2005)

Patrick Lam, Viktor Kuncak, Martin C. Rinard: Crosscutting techniques in program specification and analysis. AOSD 2005: 169-180

Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard: An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. CADE 2005: 260-277

Patrick Lam, Viktor Kuncak, Martin C. Rinard: Hob: A Tool for Verifying Data Structure Consistency. CC 2005: 237-241

Viktor Kuncak, Martin C. Rinard, Bruno Marnette: On Algorithms and Complexity for Sets with Cardinality Constraints. Deduction and Applications 2005

Brian Demsky, Martin C. Rinard: Data structure repair using goal-directed reasoning. ICSE 2005: 176-185

Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen: Exploring the acceptability envelope. OOPSLA Companion 2005: 21-30

Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard: Memory Usage Verification for OO Programs. SAS 2005: 70-86

Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard: Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005: 187-202

Alexandru Salcianu, Martin C. Rinard: Purity and Side Effect Analysis for Java Programs. VMCAI 2005: 199-215

Patrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized Typestate Checking for Data Structure Consistency. VMCAI 2005: 430-447

Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Implications of a Data Structure Consistency Checking System. VSTTE 2005: 214-226

Bruno Marnette, Viktor Kuncak, Martin C. Rinard: On Algorithms and Complexity for Sets with Cardinality Constraints. CoRR abs/cs/0508123 (2005)

Patrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized typestate checking using set interfaces and pluggable analyses. SIGPLAN Notices 39(3): 46-55 (2004)

Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu: A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). ACSAC 2004: 82-90

Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard: Verifying a File System Implementation. ICFEM 2004: 373-390

Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee: Enhancing Server Availability and Security Through Failure-Oblivious Computing. OSDI 2004: 303-316

Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard: Region inference for an object-oriented language. PLDI 2004: 243-254

Viktor Kuncak, Martin C. Rinard: Generalized Records and Spatial Conjunction in Role Logic. SAS 2004: 361-376

Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara: A classification system and analysis for aspect-oriented programs. SIGSOFT FSE 2004: 147-158

Viktor Kuncak, Martin C. Rinard: Boolean Algebra of Shape Analysis Constraints. VMCAI 2004: 59-72

Viktor Kuncak, Martin C. Rinard: The First-Order Theory of Sets with Cardinality Constraints is Decidable. CoRR cs.LO/0407045 (2004)

Viktor Kuncak, Martin C. Rinard: On the Theory of Structural Subtyping. CoRR cs.LO/0408015 (2004)

Viktor Kuncak, Martin C. Rinard: On Spatial Conjunction as Second-Order Logic. CoRR cs.LO/0410073 (2004)

Viktor Kuncak, Patrick Lam, Martin C. Rinard: Roles Are Really Great! CoRR cs.PL/0408013 (2004)

Viktor Kuncak, Martin C. Rinard: Typestate Checking and Regular Graph Constraints. CoRR cs.PL/0408014 (2004)

Viktor Kuncak, Martin C. Rinard: On Role Logic. CoRR cs.PL/0408018 (2004)

Viktor Kuncak, Martin C. Rinard: On Generalized Records and Spatial Conjunction in Role Logic. CoRR cs.PL/0408019 (2004)

Radu Rugina, Martin C. Rinard: Pointer analysis for structured parallel programs. ACM Trans. Program. Lang. Syst. 25(1): 70-116 (2003)

Martin C. Rinard, Pedro C. Diniz: Eliminating synchronization bottlenecks using adaptive replication. ACM Trans. Program. Lang. Syst. 25(3): 316-359 (2003)

Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard: Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33

Patrick Lam, Martin C. Rinard: A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. ECOOP 2003: 275-302

Jianjun Zhao, Martin C. Rinard: Pipa: A Behavioral Interface Specification Language for AspectJ. FASE 2003: 150-165

Maria-Cristina V. Marinescu, Martin C. Rinard: A Formal Framework for Modular Synchronous System Design. FME 2003: 482-502

Brian Demsky, Martin C. Rinard: Static Specification Analysis for Termination of Specification-Based Data Structure Repair. ISSRE 2003: 71-84

C. Scott Ananian, Martin C. Rinard: Data size optimizations for java programs. LCTES 2003: 59-68

Viktor Kuncak, Martin C. Rinard: Structural Subtyping of Non-Recursive Types is Decidable. LICS 2003: 96-107

Brian Demsky, Martin C. Rinard: Automatic detection and repair of errors in data structures. OOPSLA 2003: 78-95

Martin C. Rinard: Acceptability-oriented computing. OOPSLA Companion 2003: 221-239

Shahrooz Feizabadi, William S. Beebee, Binoy Ravindran, Peng Li, Martin C. Rinard: Utilitiy Accrual Scheduling with Real-Time Java. OTM Workshops 2003: 550-563

Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard: Ownership types for safe region-based memory management in real-time Java. PLDI 2003: 324-337

Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard: Interprocedural compatibility analysis for static object preallocation. POPL 2003: 273-284

Viktor Kuncak, Martin C. Rinard: Existential Heap Abstraction Entailment Is Undecidable. SAS 2003: 418-438

Rudolf Eigenmann, Martin C. Rinard (Eds.): Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2003, June 11-13, 2003, San Diego, CA, USA. ACM 2003, isbn 1-58113-588-2

Karen Zee, Martin C. Rinard: Write barrier removal by static analysis. SIGPLAN Notices 37(4): 32-41 (2002)

Brian Demsky, Martin C. Rinard: Role-based exploration of object-oriented programs. ICSE 2002: 313-334

Karen Zee, Martin C. Rinard: Write barrier removal by static analysis. OOPSLA 2002: 191-210

Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard: Ownership types for safe programming: preventing data races and deadlocks. OOPSLA 2002: 211-230

Viktor Kuncak, Patrick Lam, Martin C. Rinard: Role analysis. POPL 2002: 17-32

Maria-Cristina V. Marinescu, Martin C. Rinard: High-level specification and efficient implementation of pipelined circuits. ASP-DAC 2001: 655-661

Radu Rugina, Martin C. Rinard: Design-Driven Compilation. CC 2001: 150-164

William S. Beebee, Martin C. Rinard: An Implementation of Scoped Memory for Real-Time Java. EMSOFT 2001: 289-305

Maria-Cristina V. Marinescu, Martin C. Rinard: High-level automatic pipelining for sequential circuits. ISSS 2001: 215-220

Viktor Kuncak, Patrick Lam, Martin C. Rinard: A Language for Role Specifications. LCPC 2001: 366-382

Chandrasekhar Boyapati, Martin C. Rinard: A Parameterized Type System for Race-Free Java Programs. OOPSLA 2001: 56-69

Frédéric Vivien, Martin C. Rinard: Incrementalized Pointer and Escape Analysis. PLDI 2001: 35-46

Alexandru Salcianu, Martin C. Rinard: Pointer and escape analysis for multithreaded programs. PPOPP 2001: 12-23

Martin C. Rinard: Analysis of Multithreaded Programs. SAS 2001: 1-19

Daniel Jackson, Martin C. Rinard: Software analysis: a roadmap: a roadmap. ICSE - Future of SE Track 2000: 133-145

Radu Rugina, Martin C. Rinard: Recursion Unrolling for Divide and Conquer Programs. LCPC 2000: 34-48

Radu Rugina, Martin C. Rinard: Symbolic bounds analysis of pointers, array indices, and accessed memory regions. PLDI 2000: 182-195

Pedro C. Diniz, Martin C. Rinard: Synchronization transformations for parallel computing. Concurrency - Practice and Experience 11(13): 773-802 (1999)

Pedro C. Diniz, Martin C. Rinard: Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback. ACM Trans. Comput. Syst. 17(2): 89-132 (1999)

Martin C. Rinard: Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives. ACM Trans. Comput. Syst. 17(4): 337-371 (1999)

Jonathan Babb, Martin C. Rinard, Csaba Andras Moritz, Walter Lee, Matthew Frank, Rajeev Barua, Saman P. Amarasinghe: Parallelizing Applications into Silicon. FCCM 1999: 70-

Martin C. Rinard, Pedro C. Diniz: Eliminating synchronization bottlenecks in object-based programs using adaptive replication. International Conference on Supercomputing 1999: 83-92

Maria-Cristina V. Marinescu, Martin C. Rinard: A Synthesis Algorithm for Modular Design of Pipelined Circuits. VLSI 1999: 620-635

John Whaley, Martin C. Rinard: Compositional Pointer and Escape Analysis for Java Programs. OOPSLA 1999: 187-206

Radu Rugina, Martin C. Rinard: Pointer Analysis for Multithreaded Programs. PLDI 1999: 77-90

Radu Rugina, Martin C. Rinard: Automatic Parallelization of Divide and Conquer Algorithms. PPOPP 1999: 72-83

Martin C. Rinard: Applications experience in Jade. Concurrency - Practice and Experience 10(6): 417-448 (1998)

Pedro C. Diniz, Martin C. Rinard: Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. J. Parallel Distrib. Comput. 49(2): 218-244 (1998)

Martin C. Rinard: Implicitly synchronized abstract data types: data structures for modular parallel programming. J. Prog. Lang. 6(1): 1-35 (1998)

Martin C. Rinard, Monica S. Lam: The Design, Implementation, and Evaluation of Jade. ACM Trans. Program. Lang. Syst. 20(3): 483-545 (1998)

Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard: On the Complexity of Commutativity Analysis. Int. J. Found. Comput. Sci. 8(1): 81-94 (1997)

Martin C. Rinard: Locality Optimizations for Parallel Computing Using Data Access Information. International Journal of High Speed Computing 9(2): 161-179 (1997)

Martin C. Rinard, Pedro C. Diniz: Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. ACM Trans. Program. Lang. Syst. 19(6): 942-991 (1997)

Pedro C. Diniz, Martin C. Rinard: Dynamic Feedback: An Effective Technique for Adaptive Computing. PLDI 1997: 71-84

Pedro C. Diniz, Martin C. Rinard: Synchronization Transformations for Parallel Computing. POPL 1997: 187-200

Martin C. Rinard: Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives. PPOPP 1997: 112-123

Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard: On the Complexity of Commutativity Analysis. COCOON 1996: 323-332

Martin C. Rinard, Pedro C. Diniz: Semantic Foundations of Commutativity Analysis. Euro-Par, Vol. I 1996: 414-423

Martin C. Rinard, Pedro C. Diniz: Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations. IPPS 1996: 14-22

Martin C. Rinard: An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language. IPPS 1996: 549-553

Pedro C. Diniz, Martin C. Rinard: Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. LCPC 1996: 285-299

Martin C. Rinard, Pedro C. Diniz: Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. PLDI 1996: 54-67

Martin C. Rinard: Communication Optimizations for Parallel Computing Using Data Access Information. SC 1995: 69

Martin C. Rinard, Daniel J. Scales, Monica S. Lam: Jade: A High-Level, Machine-Independent Language for Parallel Programming. IEEE Computer 26(6): 28-38 (1993)

Martin C. Rinard, Monica S. Lam: Semantic Foundations of Jade. POPL 1992: 105-118

Martin C. Rinard, Daniel J. Scales, Monica S. Lam: Heterogeneous Parallel Programming in Jade. SC 1992: 245-256

Daniel J. Scales, Martin C. Rinard, Monica S. Lam, Jennifer-Ann M. Anderson: Hierarchical Concurrency in Jade. LCPC 1991: 50-64

Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden: Semantic Foundations of Concurrent Constraint Programming. POPL 1991: 333-352

Monica S. Lam, Martin C. Rinard: Coarse-Grain Parallel Programming in Jade. PPOPP 1991: 94-105

Vijay A. Saraswat, Martin C. Rinard: Concurrent Constraint Programming. POPL 1990: 232-245

Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr.: IDEOSY: An Ideographic and Interactive Program Description System. Software Development Environments (SDE) 1984: 15-20