- A SYNTHESIS ALGORITHM FOR MODULAR DESIGN OF PIPELINED CIRCUITS
- Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback
- ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), November 2002 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
- A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors)
- Pointer and Escape Analysis for Multithreaded Programs Alexandru Salcianu
- Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
- Compositional Pointer and Escape Analysis for Java Programs John Whaley and Martin Rinard
- Synchronization Transformations for Parallel Computing \Lambda Pedro Diniz and Martin Rinard
- Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback
- Generalized Records and Spatial Conjunction in Viktor Kuncak and Martin Rinard
- A Classification System and Analysis for Aspect-Oriented Martin Rinard, Alexandru Salcianu, and Suhabe Bugrara
- An Implementation of Scoped Memory for Real-Time Java
- Locality Optimizations for Parallel Computing Using Data Access Information
- Credible Compilation Martin Rinard
- Eliminating Synchronization Bottlenecks in ObjectBased Programs Using Adaptive Replication
- Automatic Parallelization of Divide and Conquer Algorithms \Lambda Radu Rugina and Martin Rinard
- A Classification System and Analysis for AspectOriented Martin Rinard, Alexandru S
- Inference and enforcement of data structure consistency specifications
- Living In The Comfort Zone Martin Rinard
- Eliminating Synchronization Bottlenecks in ObjectBased Programs Using Adaptive Replication
- Integrated Reasoning and Proof Choice Point Selection in the Jahob System
- Automated Techniques for Surviving (Otherwise) Fatal Software Errors
- Detecting and Escaping Infinite Loops with Jolt Michael Carbin, Sasa Misailovic, Michael Kling, and Martin C. Rinard
- Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures
- Dynamic Knobs for Responsive Power-Aware Computing Henry Hoffmann
- Manipulating Program Functionality to Eliminate Security Vulnerabilities
- Nate Kushman Micah Brodsky S.R.K. Branavan Dina Katabi Regina Barzilay Martin Rinard Massachusetts Institute of Technology
- A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems Stefan Andrei
- 86 communications of the acm | december 2008 | vol. 51 | no. 12 C programmers are all too familiar with
- Working on these tasks will be one of the jobs of the SIGPLAN Education Board. In addition, the Ed Board will actively and continously seek input and contributions from the community to improve and evolve this
- Static Verification of Design Constraints and Software Correctness Properties in the Hob System
- An Overview of the Jahob Analysis System Project Goals and Current Status
- BATON: A Balanced Tree Structure for Peer-to-Peer Networks
- Implications of a Data Structure Consistency Checking Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard
- Memory Usage Verification for OO Programs Wei-Ngan Chin1,2
- Data Structure Repair Using Goal-Directed Reasoning Brian Demsky and Martin Rinard
- Purity and Side Effect Analysis for Java Programs
- Memory Usage Inference for Object-Oriented Programs
- Failure-Oblivious Computing and Boundless Memory Blocks
- Region Type Checking for Core-Java Wei-Ngan Chin
- Automatic Detection and Repair of Errors in Data Brian Demsky
- Structural Subtyping of Non-Recursive Types is Decidable Viktor Kuncak and Martin Rinard
- Existential Heap Abstraction Entailment is Undecidable
- Eliminating Synchronization Bottlenecks Using Adaptive Replication
- Pipa: A Behavioral Interface Specification Language for AspectJ
- Interprocedural Compatibility Analysis for Static Object Preallocation
- Credible Compilation Martin Rinard
- Write Barrier Removal by Static Analysis Karen Zee and Martin Rinard
- ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2001 A Parameterized Type System for Race-Free Java Programs
- Incrementalized Pointer and Escape Analysis Frederic Vivien
- Design-Driven Compilation Radu Rugina and Martin Rinard
- Design-Driven Compilation Radu Rugina and Martin Rinard
- High-level Specication and Efcient Implementation of Pipelined Circuits Maria-Cristina Marinescu Martin Rinard
- Synchronization Transformations for Parallel Computing PEDRO C. DINIZ
- Credible Compilation with Pointers Martin C. Rinard and Darko Marinov
- Eliminating Synchronization Bottlenecks in Object-Based Programs Using Adaptive Replication
- Automatic Parallelization of Divide and Conquer Algorithms Radu Rugina and Martin Rinard
- Parallelizing Applications into Silicon Jonathan Babb, Martin Rinard, Csaba Andras Moritz, Walter Lee,
- Journal of Programming Languages 6 (1998), 135 Implicitly synchronized abstract data types
- To Appear in Concurrency: Practice and Experience Applications Experience in Jade
- Effective Fine-Grain Synchronization For Automatically Parallelized Programs Using Optimistic Synchronization Primitives
- Locality Optimizations for Parallel Computing Using Data Access Information
- Synchronization Transformations for Parallel Computing Pedro Diniz and Martin Rinard
- An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language
- Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations
- Jade: A High-Level, Machine-Independent Language for Parallel Programming
- In Proceedings of the 19th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages Semantic Foundations of Jade
- Jade is a data-oriented language for exploiting coarse-grain parallelism. A Jade programmer simply augments a serial program with assertions
- Semantic foundations of concurrent constraint programming Vijay A. Saraswat, Xerox PARC
- Static Verification of Design Constraints and Software Correctness Properties in the Hob System
- Integrated Reasoning and Proof Choice Point Selection in the Jahob System
- Living In The Comfort Zone Martin Rinard
- Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
- Implicitly Synchronized Abstract Data Types: Data Structures for Modular Parallel Programming
- Data Structure Fusion Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv
- Heterogeneous Parallel Programming in Jade Martin C. Rinard, Daniel J. Scales and Monica S. Lam
- An Ideographic and Interactive Program Description System ~ Alessandro Giacalone, Martin C. Rinard, and Thomas W. Doeppner Jr.
- Write Barrier Removal by Static Analysis Karen Zee and Martin Rinard
- Survival Strategies for Synthesized Hardware Systems Martin Rinard
- Acceptability-Oriented Computing Martin Rinard
- Dynamic Feedback: An Effective Technique for Adaptive Computing \Lambda
- Automatic Detection and Repair of Errors in Data Brian Demsky
- Inference and enforcement of data structure consistency specifications
- Semantic Foundations of Commutativity Analysis Martin C. Rinard y and Pedro C. Diniz z
- Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized ObjectBased Programs \Lambda
- Building Resilient Systems Using Acceptability-Oriented Computing
- A Language for Role Specifications Viktor Kuncak, Patrick Lam, and Martin Rinard
- Efficient SpecificationAssisted Error Localization Brian Demsky Cristian Cadar Daniel Roy Martin Rinard
- Recursion Unrolling for Divide and Conquer Programs Radu Rugina and Martin Rinard
- Automated Techniques for Surviving (Otherwise) Fatal Software Errors
- Credible Compilation Martin C. Rinard
- Heterogeneous Parallel Programming in Jade Martin C. Rinard, Daniel J. Scales and Monica S. Lam
- Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
- Pointer and Escape Analysis for Multithreaded Programs Alexandru S
- Concurrent Constraint Programming Vijay A. Saraswat
- Static Specification Analysis for Termination of Specification-Based Data Structure Repair
- Patterns and Statistical Analysis for Understanding Reduced Resource Computing
- A SYNTHESIS ALGORITHM FOR MODULAR DESIGN OF PIPELINED CIRCUITS
- Purity and Side E#ect Analysis for Java Programs
- 978-1-4244-1694-3/08/$25.00 2008 IEEE Verifying Linked Data Structure Implementations
- Using Early Phase Termination To Eliminate Load Imbalances At Barrier Synchronization Points
- Probabilistic Accuracy Bounds for Fault-Tolerant Computations that Discard Tasks
- On the Complexity of Commutativity Analysis Oscar Ibarray
- Incrementalized Pointer and Escape Analysis Frederic Vivien
- Analysis of Multithreaded Programs Martin Rinard
- Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions \Lambda
- THE DESIGN, IMPLEMENTATION AND EVALUATION OF JADE: A PORTABLE, IMPLICITLY PARALLEL
- The Design, Implementation, and Evaluation of Jade MARTIN C. RINARD
- A Type System and Analysis for the Automatic Extraction and Enforcement of Design
- Detecting and Eliminating Memory Leaks Using Cyclic Memory Huu Hai Nguyen and Martin Rinard
- A Formal Framework for Modular Synchronous System Design ?
- Probabilistic Accuracy Bounds for FaultTolerant Computations that Discard Tasks #
- Generalized Typestate Checking for Data Structure Consistency
- DesignDriven Compilation Radu Rugina and Martin Rinard
- Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers
- Data Structure Repair Using GoalDirected Reasoning Brian Demsky and Martin Rinard
- An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
- Highlevel Automatic Pipelining for Sequential Circuits MariaCristina V. Marinescu
- Incrementalized Pointer and Escape Analysis \Lambda eric Vivien
- Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
- Survival Techniques for Computer Programs Martin Rinard
- Exploring the Acceptability Envelope # Martin Rinard
- Automatically Patching Errors in Deployed Software Jeff H. Perkins a , Sunghun Kim b , Sam Larsen g , Saman Amarasinghe a , Jonathan Bachrach a ,
- Automatic Data Structure Repair for SelfHealing Systems Brian Demsky
- Using Early Phase Termination To Eliminate Load Imbalances At Barrier Synchronization Points
- Static Specification Analysis for Termination of SpecificationBased Data Structure Repair
- Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers
- Pointer Analysis for Multithreaded Programs \Lambda Radu Rugina and Martin Rinard
- Role Analysis Viktor Kuncak, Patrick Lam, and Martin Rinard
- Jade: A HighLevel, MachineIndependent Language for Parallel Programming
- CoarseGrain Parallel Programming in Jade Monica S. Lam and Martin C. Rinard
- Goal-Directed Reasoning for Specification-Based Data Structure Repair
- International Journal of Foundations of Computer Science c World Scienti c Publishing Company
- Probabilistic Accuracy Bounds for Perforated Programs A New Foundation for Program Analysis and Transformation
- ACM Conference on Programming Language Design and Implementation (PLDI), June 2003 Ownership Types for Safe Region-Based Memory
- Pointer Analysis for Multithreaded Programs Radu Rugina and Martin Rinard
- Coarse-Grain Parallel Programming in Jade Monica S. Lam and Martin C. Rinard
- Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs
- Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs
- Detecting and Eliminating Memory Leaks Using Cyclic Memory Huu Hai Nguyen and Martin Rinard
- Hierarchical Concurrency in Jade Daniel J. Scales, Martin C. Rinard, Monica S. Lam, and Jennifer M. Anderson
- Highlevel Specification and Efficient Implementation of Pipelined Circuits MariaCristina Marinescu Martin Rinard
- Pointer Analysis for Multithreaded Programs \Lambda Radu Rugina and Martin Rinard
- Optimal Scheduling of Urgent Preemptive Tasks
- Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized ObjectBased Programs
- DesignDriven Compilation \Lambda Radu Rugina and Martin Rinard
- AABBSSTTRRAACCTT We describe the challenges of software analysis by presenting a
- Pointer Analysis for Multithreaded Programs Radu Rugina and Martin Rinard
- Quality of Service Profiling Sasa Misailovic
- Synchronization Transformations for Parallel Computing PEDRO C. DINIZ
- Pointer Analysis for Structured Parallel Programs RADU RUGINA
- Effective FineGrain Synchronization For Automatically Parallelized Programs Using
- Boolean Algebra of Shape Analysis Constraints Viktor Kuncak and Martin Rinard
- Effective Fine-Grain Synchronization For Automatically Parallelized Programs Using
- The Ultra Challenge: Software Systems Beyond Big Steven Fraser (Chair)
- A Formal Framework for Modular Synchronous System Design
- Automatic Data Structure Repair for Self-Healing Systems Brian Demsky
- Using Programming Language Concepts to Teach General Thinking Martin Rinard
- An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
- Communication Optimizations for Parallel Computing Using Data Access Information
- Incremental Deterministic Planning Stefan ANDREI
- Semantic Foundations of Commutativity Analysis Martin C. Rinardy
- Eliminating Synchronization Bottlenecks in Object-Based Programs Using Adaptive Replication
- Generalized Typestate Checking Using Set Interfaces and Pluggable Analyses Patrick Lam, Viktor Kuncak, and Martin Rinard
- Dynamic Feedback: An Effective Technique for Adaptive Computing
- Semantic Foundations of Jade Martin C. Rinard and Monica S. Lam
- IEICE TRANS. FUNDAMENTALS, VOL.E84{A, NO.11 NOVEMBER 2001 PAPER Special Section on VLSI Design and CAD Algorithms
- An Overview of the Jahob Analysis System Project Goals and Current Status
- AcceptabilityOriented Computing Martin Rinard
- Recursion Unrolling for Divide and Conquer Programs Radu Rugina and Martin Rinard
- Deductive runtime certification Konstantine Arkoudas 1
- Implicitly Synchronized Abstract Data Types: Data Structures for Modular Parallel Programming
- High-level Automatic Pipelining for Sequential Circuits Maria-Cristina V. Marinescu
- Automatically Identifying Critical Input Regions and Code in Applications
- The Design, Implementation, and Evaluation of Jade MARTIN C. RINARD
- Role Analysis Viktor Kuncak, Patrick Lam, and Martin Rinard
- Interprocedural Compatibility Analysis for Static Object Preallocation
- Enhancing Server Availability and Security Through FailureOblivious Computing
- Histogram-Based Global Load Balancing in Structured Peer-to-Peer Systems
- Pointer Analysis for Structured Parallel Programs
- Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers
- Role-Based Exploration of Object-Oriented Programs Brian Demsky
- THE DESIGN, IMPLEMENTATION AND EVALUATION OF JADE: A PORTABLE, IMPLICITLY PARALLEL
- Communication Optimizations for Parallel Computing Using Data Access Information
- Effective FineGrain Synchronization For Automatically Parallelized Programs Using Optimistic Synchronization Primitives
- Incrementalized Pointer and Escape Analysis \Lambda eric Vivien
- Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
- Taint-based Directed Whitebox Fuzzing Vijay Ganesh and Tim Leek and Martin Rinard
- Generalized Typestate Checking for Data Structure Consistency
- Managing Performance vs. Accuracy Trade-offs With Loop Perforation
- Randomized Accuracy-Aware Program Transformations For Efficient Approximate Computations
- Probabilistically Accurate Program Transformations
