| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vijay Ganesh, Michael Carbin, Martin C. Rinard |
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard |
Randomized accuracy-aware program transformations for efficient approximate computations. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
What to do when things go wrong: recovery in complex (computer) systems. |
AOSD (Companion) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Reasoning about Lock Placements. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin |
ARBAC Policy for a Large Multi-National Bank |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller |
Self-Repairing Programs (Dagstuhl Seminar 11062). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
Manipulating Program Functionality to Eliminate Security Vulnerabilities. |
Moving Target Defense |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Data representation synthesis. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deokhwan Kim, Martin C. Rinard |
Verification of semantic commutativity conditions and inverse operations on linked data structures. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard |
Dynamic knobs for responsive power-aware computing. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sasa Misailovic, Daniel M. Roy, Martin C. Rinard |
Probabilistically Accurate Program Transformations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard |
Detecting and Escaping Infinite Loops with Jolt. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard |
Managing performance vs. accuracy trade-offs with loop perforation. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carbin, Martin C. Rinard |
Automatically identifying critical input regions and code in applications. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
critical code, critical input, forgiving code, forgiving input |
| 1 | Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence Osborne |
Optimal Scheduling of Urgent Preemptive Tasks. |
RTCSA |
2010 |
DBLP DOI BibTeX RDF |
urgent task, polynomial-time algorithm, optimal scheduling |
| 1 | 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 |
OOPSLA |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
SPLASH/OOPSLA Companion |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou |
Patterns and statistical analysis for understanding reduced resource computing. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Data Structure Fusion. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard |
Quality of service profiling. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
loop perforation, quality of service, profiling |
| 1 | Brian Demsky, Martin C. Rinard |
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
An integrated proof language for imperative programs. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
verification, theorem prover, proof system |
| 1 | Martin C. Rinard |
Survival strategies for synthesized hardware systems. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
self healing |
| 1 | Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap |
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Tim Leek, Martin C. Rinard |
Taint-based directed whitebox fuzzing. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
Using programming language concepts to teach general thinking skills. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
Technical perspective - Patching program errors. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
Full functional verification of linked data structures. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
java, verification, data structure, decision procedure, theorem prover |
| 1 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
Verifying linked data structure implementations. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
Automated Techniques for Surviving (Otherwise) Fatal Software Errors. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen Zee, Viktor Kuncak, Michael Taylor, Martin C. Rinard |
Runtime Checking for Program Verification. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lam, Martin C. Rinard |
Static Verification of Design Constraints and Software Correctness Properties in the Hob System. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Huu Hai Nguyen, Martin C. Rinard |
Detecting and eliminating memory leaks using cyclic memory allocation. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
cyclic memory allocation, failure-oblivious computing, memory leaks |
| 1 | Martin C. Rinard |
Living in the comfort zone. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
acceptability properties, comfort zone, monitoring, repair, rectification |
| 1 | Martin C. Rinard |
Using early phase termination to eliminate load imbalances at barrier synchronization points. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
early phase termination, probabilistic cistortion models, parallel computing, barrier synchronization |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Marnette, Viktor Kuncak, Martin C. Rinard |
Polynomial Constraints for Sets with Cardinality Bounds. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard |
Modular Pluggable Analyses for Data Structure Consistency. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design |
| 1 | Brian Demsky, Martin C. Rinard |
Goal-Directed Reasoning for Specification-Based Data Structure Repair. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
Testing and debugging, language constructs and features |
| 1 | Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard |
On Verifying Complex Properties using Symbolic Shape Analysis |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard |
Deciding Boolean Algebra with Presburger Arithmetic. |
J. Autom. Reasoning |
2006 |
DBLP DOI BibTeX RDF |
complexity, program verification, decision procedure, Boolean algebra, quantifier elimination, Presburger arithmetic |
| 1 | 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 |
DBLP DOI BibTeX RDF |
data structure repair, dynamic invariant detection |
| 1 | Viktor Kuncak, Martin C. Rinard |
An overview of the Jahob analysis system: project goals and current status. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard |
Incremental Deterministic Planning. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. |
ICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
ultra, design, complexity, software, systems, ULS |
| 1 | Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard |
Field Constraint Analysis. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantine Arkoudas, Martin C. Rinard |
Deductive Runtime Certification. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Decision Procedures for Set-Valued Fields. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Rugina, Martin C. Rinard |
Symbolic bounds analysis of pointers, array indices, and accessed memory regions. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
static race detection, parallelization, Symbolic analysis |
| 1 | Bruno Marnette, Viktor Kuncak, Martin C. Rinard |
On Algorithms and Complexity for Sets with Cardinality Constraints |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard |
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
Optimizations for Compiling Declarative Models into Boolean Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
Crosscutting techniques in program specification and analysis. |
AOSD |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program verification, crosscutting concerns, static analysis tools |
| 1 | Viktor Kuncak, Martin C. Rinard, Bruno Marnette |
On Algorithms and Complexity for Sets with Cardinality Constraints. |
Deduction and Applications |
2005 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard |
Implications of a Data Structure Consistency Checking System. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
Hob: A Tool for Verifying Data Structure Consistency. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen |
Exploring the acceptability envelope. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
acceptability-oriented computing, failure-oblivious computing |
| 1 | Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard |
Memory Usage Verification for OO Programs. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
Generalized Typestate Checking for Data Structure Consistency. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Salcianu, Martin C. Rinard |
Purity and Side Effect Analysis for Java Programs. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky, Martin C. Rinard |
Data structure repair using goal-directed reasoning. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair |
| 1 | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
Generalized typestate checking using set interfaces and pluggable analyses. |
SIGPLAN Notices |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Typestate Checking and Regular Graph Constraints |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
The First-Order Theory of Sets with Cardinality Constraints is Decidable |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Patrick Lam, Martin C. Rinard |
Roles Are Really Great! |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
On Spatial Conjunction as Second-Order Logic |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
On Generalized Records and Spatial Conjunction in Role Logic |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
On Role Logic |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
On the Theory of Structural Subtyping |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard |
Verifying a File System Implementation. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard |
Region inference for an object-oriented language. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
downcasts, method overriding, region inference, type systems, memory management, object-oriented languages |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Generalized Records and Spatial Conjunction in Role Logic. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Boolean Algebra of Shape Analysis Constraints. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara |
A classification system and analysis for aspect-oriented programs. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
aspect oriented programming, program analysis |
| 1 | Radu Rugina, Martin C. Rinard |
Pointer analysis for structured parallel programs. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Pointer analysis |
| 1 | Martin C. Rinard, Pedro C. Diniz |
Eliminating synchronization bottlenecks using adaptive replication. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
commutativity analysis, parallel computing, synchronization, replication, parallelizing compilers, Atomic operations |
| 1 | Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard |
Ownership types for safe region-based memory management in real-time Java. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
real-time, encapsulation, regions, ownership types |
| 1 | Shahrooz Feizabadi, William S. Beebee, Binoy Ravindran, Peng Li, Martin C. Rinard |
Utilitiy Accrual Scheduling with Real-Time Java. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard |
Interprocedural compatibility analysis for static object preallocation. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
memory preallocation, static analysis, interprocedural analysis |
| 1 | Jianjun Zhao, Martin C. Rinard |
Pipa: A Behavioral Interface Specification Language for AspectJ. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard |
Integrating Model Checking and Theorem Proving for Relational Reasoning. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria-Cristina V. Marinescu, Martin C. Rinard |
A Formal Framework for Modular Synchronous System Design. |
FME |
2003 |
DBLP DOI BibTeX RDF |
modular, system design, asynchronous, formal |
| 1 | Martin C. Rinard |
Acceptability-oriented computing. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
acceptability properties, monitoring, repair, rectification |
| 1 | Brian Demsky, Martin C. Rinard |
Automatic detection and repair of errors in data structures. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair |
| 1 | Viktor Kuncak, Martin C. Rinard |
Structural Subtyping of Non-Recursive Types is Decidable. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Existential Heap Abstraction Entailment Is Undecidable. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem |
| 1 | Patrick Lam, Martin C. Rinard |
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky, Martin C. Rinard |
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
PPOPP |
2003 |
DBLP BibTeX RDF |
|
| 1 | C. Scott Ananian, Martin C. Rinard |
Data size optimizations for java programs. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
bitwidth analysis, field externalization, field packing, size optimizations, static specialization, embedded systems |
| 1 | Karen Zee, Martin C. Rinard |
Write barrier removal by static analysis. |
SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
program analysis, pointer analysis, write barriers, generational garbage collection |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")