Martin C. Rinard

Affiliations:
  • Massachusetts Institute of Technology (MIT), CSAIL, Cambridge, MA, USA
  • Stanford University, CA, USA (PhD 1994)


According to our database1, Martin C. Rinard authored at least 260 papers between 1984 and 2023.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2009, "For his contributions to program analysis for parallel computing and techniques for enabling software systems to execute successfully in the face of errors and failures.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Probabilistic Programming with Stochastic Probabilities.
Proc. ACM Program. Lang., 2023

Randomness Requirements and Asymmetries in Nash Equilibria.
CoRR, 2023

A nonsmooth optimization method.
CoRR, 2023

Correlated vs. Uncorrelated Randomness in Adversarial Congestion Team Games.
CoRR, 2023

Depth-bounded Epistemic Logic.
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Sound Explanation for Trustworthy Machine Learning.
CoRR, 2023

Evidence of Meaning in Language Models Trained on Programs.
CoRR, 2023

Decentralized Inference via Capability Type Structures in Cooperative Multi-Agent Systems.
CoRR, 2023

Effective Neural Network L<sub>0</sub> Regularization With BinMask.
CoRR, 2023

Emergence of Locally Suboptimal Behavior in Finitely Repeated Games.
CoRR, 2023

Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022
Mixed Capability Games.
CoRR, 2022

On the Impact of Player Capability on Congestion Games.
Proceedings of the Algorithmic Game Theory - 15th International Symposium, 2022

Automatic synthesis of parallel unix commands and pipelines with KumQuat.
Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

2021
Active Learning for Inference and Regeneration of Applications that Access Databases.
ACM Trans. Program. Lang. Syst., 2021

Doing More with Less: Characterizing Dataset Downsampling for AutoML.
Proc. VLDB Endow., 2021

An order-aware dataflow model for parallel Unix pipelines.
Proc. ACM Program. Lang., 2021

Searching for Replacement Classes.
CoRR, 2021

Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility.
CoRR, 2021

Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization.
CoRR, 2021

Inferring Drop-in Binary Parsers from Program Executions.
CoRR, 2021

Program Synthesis Over Noisy Data with Guarantees.
CoRR, 2021

Program Synthesis Guided Reinforcement Learning.
CoRR, 2021

Efficient module-level dynamic analysis for dynamic languages with module recontextualization.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Verifying Low-Dimensional Input Neural Networks via Input Quantization.
Proceedings of the Static Analysis - 28th International Symposium, 2021

Exploiting Verified Neural Networks via Floating Point Numerical Error.
Proceedings of the Static Analysis - 28th International Symposium, 2021

SPPL: probabilistic programming with fast exact symbolic inference.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Towards Context-Agnostic Learning Using Synthetic Data.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Supply-Chain Vulnerability Elimination via Active Learning and Regeneration.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020
Synthesizing replacement classes.
Proc. ACM Program. Lang., 2020

Optimal approximate sampling from discrete probability distributions.
Proc. ACM Program. Lang., 2020

Warp: A Hardware Platform for Efficient Multimodal Sensing With Adaptive Approximation.
IEEE Micro, 2020

Automatic Synthesis of Parallel and Distributed Unix Commands with KumQuat.
CoRR, 2020

An Order-aware Dataflow Model for Extracting Shell Script Parallelism.
CoRR, 2020

Exact Symbolic Inference in Probabilistic Programs via Sum-Product Representations.
CoRR, 2020

Dataflow Analysis With Prophecy and History Variables.
CoRR, 2020

Learning From Context-Agnostic Synthetic Data.
CoRR, 2020

Manifold Regularization for Adversarial Robustness.
CoRR, 2020

Inductive program synthesis over noisy data.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

AMS: generating AutoML search spaces from weak specifications.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Efficient Exact Verification of Binarized Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Neurosymbolic Transformers for Multi-Agent Communication.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks.
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Comprehensive Java Metadata Tracking for Attack Detection and Repair.
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

Noise-Aware Dynamical System Compilation for Analog Devices with Legno.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions.
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019
Bayesian synthesis of probabilistic programs for automatic data modeling.
Proc. ACM Program. Lang., 2019

AL: autogenerating supervised learning programs.
Proc. ACM Program. Lang., 2019

Compositional Inference Metaprogramming with Convergence Guarantees.
CoRR, 2019

Correctness Verification of Neural Networks.
CoRR, 2019

Technical perspective: Borrowing big code to automate programming activities.
Commun. ACM, 2019

Characterizing Developer Use of Automatically Generated Patches.
Proceedings of the 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, 2019

Using active learning to synthesize models of applications that access databases.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Active learning for software engineering.
Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

Interactive production performance feedback in the IDE.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
Perceived-Color Approximation Transforms for Programs that Draw.
IEEE Micro, 2018

Cimple: Instruction and Memory Level Parallelism.
CoRR, 2018

A Hardware Platform for Efficient Multi-Modal Sensing with Adaptive Approximation.
CoRR, 2018

Incremental Color Quantization for Color-Vision-Deficient Observers Using Mobile Gaming Data.
CoRR, 2018

The Three Pillars of Machine-Based Programming.
CoRR, 2018

A new approach for software correctness and reliability (keynote).
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Probabilistic programming with programmable inference.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

The three pillars of machine programming.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

Active learning for inference and regeneration of computer programs that store and retrieve data.
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

Time Dilation and Contraction for Programmable Analog Devices with Jaunt.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

Cimple: instruction and memory level parallelism: a DSL for uncovering ILP and MLP.
Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques, 2018

2017
Error-Efficient Computing Systems.
Found. Trends Electron. Des. Autom., 2017

Robust programs with filtered iterators.
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

CodeCarbonCopy.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Automatic inference of code transforms for patch generation.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
Verifying quantitative reliability for programs that execute on unreliable hardware.
Commun. ACM, 2016

Automatic patch generation by learning correct code.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Configuration synthesis for programmable analog devices with Arco.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Battery-aware transformations in mobile applications.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

The challenges of staying together while moving fast: an exploratory study.
Proceedings of the 38th International Conference on Software Engineering, 2016

An analysis of the search spaces for generate and validate patch generation systems.
Proceedings of the 38th International Conference on Software Engineering, 2016

Encoder logic for reducing serial I/O power in sensors and sensor hubs.
Proceedings of the 2016 IEEE Hot Chips 28 Symposium (HCS), 2016

Crayon: saving power through shape and color approximation on next-generation displays.
Proceedings of the Eleventh European Conference on Computer Systems, 2016

AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks.
Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2016

Reducing serial I/O power in error-tolerant applications by efficient lossy encoding.
Proceedings of the 53rd Annual Design Automation Conference, 2016

Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings.
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

2015
Efficiency Limits for Value-Deviation-Bounded Approximate Communication.
IEEE Embed. Syst. Lett., 2015

Missing the Point(er): On the Effectiveness of Code Pointer Integrity.
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Staged program repair with condition synthesis.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Automatic error elimination by horizontal code transfer across multiple applications.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Approximate computation with outlier detection in Topaz.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Principled Sampling for Anomaly Detection.
Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

Information Flow Analysis of Android Applications in DroidSafe.
Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

Covert Communication in Mobile Applications (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

An analysis of patch plausibility and correctness for generate-and-validate patch generation systems.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Program fracture and recombination for efficient automatic code reuse.
Proceedings of the 2015 IEEE High Performance Extreme Computing Conference, 2015

Lax: Driver Interfaces for Approximate Sensor Device Access.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
Sound input filter generation for integer overflow errors.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Automatic runtime error repair and containment via recovery shepherding.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Chisel: reliability- and accuracy-aware optimization of approximate computational kernels.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013
Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies.
ACM Trans. Inf. Syst. Secur., 2013

Parallelizing Sequential Programs with Statistical Accuracy Tests.
ACM Trans. Embed. Comput. Syst., 2013

(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints.
CoRR, 2013

Verified integrity properties for safe approximate program transformations.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Contextual Policy Enforcement in Android Applications with Permission Event Graphs.
Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Parallel Synchronization-Free Approximate Data Structure Construction.
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

A source-to-source transformation tool for error fixing.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

From Natural Language Specifications to Program Input Parsers.
Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, 2013

2012
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography
CoRR, 2012

Example-driven program synthesis for end-user programming: technical perspective.
Commun. ACM, 2012

An introduction to data representation synthesis.
Commun. ACM, 2012

Lynx: A Programmatic SAT Solver for the RNA-Folding Problem.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

From Runtime Verification to Runtime Intervention and Adaptation.
Proceedings of the Runtime Verification, Third International Conference, 2012

Randomized accuracy-aware program transformations for efficient approximate computations.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Concurrent data representation synthesis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Proving acceptability properties of relaxed nondeterministic approximate programs.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Dancing with uncertainty.
Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, 2012

Bolt: on-demand infinite loop escape in unmodified binaries.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Workshop on relaxing synchronization for multicore and manycore scalability (RACES 2012).
Proceedings of the SPLASH'12, 2012

Automatic input rectification.
Proceedings of the 34th International Conference on Software Engineering, 2012

Word Equations with Length Constraints: What's Decidable?
Proceedings of the Hardware and Software: Verification and Testing, 2012

Reasoning about Lock Placements.
Proceedings of the Programming Languages and Systems, 2012

Obtaining and reasoning about good enough software.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

What to do when things go wrong: recovery in complex (computer) systems.
Proceedings of the Companion Volume of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
Manipulating Program Functionality to Eliminate Security Vulnerabilities.
Proceedings of the Moving Target Defense, 2011

Self-Repairing Programs (Dagstuhl Seminar 11062).
Dagstuhl Reports, 2011

ARBAC Policy for a Large Multi-National Bank
CoRR, 2011

Managing performance vs. accuracy trade-offs with loop perforation.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Probabilistically Accurate Program Transformations.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Verification of semantic commutativity conditions and inverse operations on linked data structures.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Data representation synthesis.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Detecting and Escaping Infinite Loops with Jolt.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Automatic error finding in access-control policies.
Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Dynamic knobs for responsive power-aware computing.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Optimal Scheduling of Urgent Preemptive Tasks.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Patterns and statistical analysis for understanding reduced resource computing.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Automatically identifying critical input regions and code in applications.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Quality of service profiling.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Data Structure Fusion.
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs.
IEEE Trans. Software Eng., 2009

Histogram-Based Global Load Balancing in Structured Peer-to-Peer Systems.
IEEE Trans. Knowl. Data Eng., 2009

A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems.
Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Automatically patching errors in deployed software.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

An integrated proof language for imperative programs.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Survival strategies for synthesized hardware systems.
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Taint-based directed whitebox fuzzing.
Proceedings of the 31st International Conference on Software Engineering, 2009

WikiDo.
Proceedings of the Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), 2009

Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.
Proceedings of the Automated Deduction, 2009

2008
Using programming language concepts to teach general thinking skills.
ACM SIGPLAN Notices, 2008

SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
ACM SIGPLAN Notices, 2008

Technical perspective - Patching program errors.
Commun. ACM, 2008

Full functional verification of linked data structures.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Verifying linked data structure implementations.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007
Using First-Order Theorem Provers in the Jahob Data Structure Verification System.
Proceedings of the Verification, 2007

Runtime Checking for Program Verification.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

Living in the comfort zone.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Using early phase termination to eliminate load imbalances at barrier synchronization points.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Detecting and eliminating memory leaks using cyclic memory allocation.
Proceedings of the 6th International Symposium on Memory Management, 2007

Static Verification of Design Constraints and Software Correctness Properties in the Hob System.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Polynomial Constraints for Sets with Cardinality Bounds.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic.
Proceedings of the Automated Deduction, 2007

2006
Modular Pluggable Analyses for Data Structure Consistency.
IEEE Trans. Software Eng., 2006

Goal-Directed Reasoning for Specification-Based Data Structure Repair.
IEEE Trans. Software Eng., 2006

Deciding Boolean Algebra with Presburger Arithmetic.
J. Autom. Reason., 2006

Automated Techniques for Surviving (Otherwise) Fatal Software Errors.
Proceedings of the Workshop on Verification and Debugging, 2006

On Verifying Complex Properties using Symbolic Shape Analysis
CoRR, 2006

Field Constraint Analysis.
Proceedings of the Verification, 2006

Incremental Deterministic Planning.
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

The ultra challenge: software systems beyond big.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Inference and enforcement of data structure consistency specifications.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

An overview of the Jahob analysis system: project goals and current status.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Probabilistic accuracy bounds for fault-tolerant computations that discard tasks.
Proceedings of the 20th Annual International Conference on Supercomputing, 2006

2005
Symbolic bounds analysis of pointers, array indices, and accessed memory regions.
ACM Trans. Program. Lang. Syst., 2005

Decision Procedures for Set-Valued Fields.
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Implications of a Data Structure Consistency Checking System.
Proceedings of the Verified Software: Theories, 2005

Purity and Side Effect Analysis for Java Programs.
Proceedings of the Verification, 2005

Generalized Typestate Checking for Data Structure Consistency.
Proceedings of the Verification, 2005

Optimizations for Compiling Declarative Models into Boolean Formulas.
Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Memory Usage Verification for OO Programs.
Proceedings of the Static Analysis, 12th International Symposium, 2005

Exploring the acceptability envelope.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Data structure repair using goal-directed reasoning.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

On Algorithms and Complexity for Sets with Cardinality Constraints.
Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005

Hob: A Tool for Verifying Data Structure Consistency.
Proceedings of the Compiler Construction, 14th International Conference, 2005

An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.
Proceedings of the Automated Deduction, 2005

Crosscutting techniques in program specification and analysis.
Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2004
Generalized typestate checking using set interfaces and pluggable analyses.
ACM SIGPLAN Notices, 2004

Deductive Runtime Certification.
Proceedings of the Fourth Workshop on Runtime Verification, 2004

On Role Logic
CoRR, 2004

Typestate Checking and Regular Graph Constraints
CoRR, 2004

Roles Are Really Great!
CoRR, 2004

On Spatial Conjunction as Second-Order Logic
CoRR, 2004

On the Theory of Structural Subtyping
CoRR, 2004

The First-Order Theory of Sets with Cardinality Constraints is Decidable
CoRR, 2004

Boolean Algebra of Shape Analysis Constraints.
Proceedings of the Verification, 2004

A classification system and analysis for aspect-oriented programs.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Generalized Records and Spatial Conjunction in Role Logic.
Proceedings of the Static Analysis, 11th International Symposium, 2004

Region inference for an object-oriented language.
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

Enhancing Server Availability and Security Through Failure-Oblivious Computing.
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Verifying a File System Implementation.
Proceedings of the Formal Methods and Software Engineering, 2004

A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors).
Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), 2004

2003
Pointer analysis for structured parallel programs.
ACM Trans. Program. Lang. Syst., 2003

Eliminating synchronization bottlenecks using adaptive replication.
ACM Trans. Program. Lang. Syst., 2003

Existential Heap Abstraction Entailment Is Undecidable.
Proceedings of the Static Analysis, 10th International Symposium, 2003

Interprocedural compatibility analysis for static object preallocation.
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Ownership types for safe region-based memory management in real-time Java.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Utilitiy Accrual Scheduling with Real-Time Java.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Acceptability-oriented computing.
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

Automatic detection and repair of errors in data structures.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Structural Subtyping of Non-Recursive Types is Decidable.
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Data size optimizations for java programs.
Proceedings of the 2003 Conference on Languages, 2003

Static Specification Analysis for Termination of Specification-Based Data Structure Repair.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

A Formal Framework for Modular Synchronous System Design.
Proceedings of the FME 2003: Formal Methods, 2003

Pipa: A Behavioral Interface Specification Language for AspectJ.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.
Proceedings of the ECOOP 2003, 2003

Integrating Model Checking and Theorem Proving for Relational Reasoning.
Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2002
Write barrier removal by static analysis.
ACM SIGPLAN Notices, 2002

Role analysis.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Ownership types for safe programming: preventing data races and deadlocks.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Role-based exploration of object-oriented programs.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
Analysis of Multithreaded Programs.
Proceedings of the Static Analysis, 8th International Symposium, 2001

Pointer and escape analysis for multithreaded programs.
Proceedings of the 2001 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'01), 2001

Incrementalized Pointer and Escape Analysis.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

A Parameterized Type System for Race-Free Java Programs.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

A Language for Role Specifications.
Proceedings of the Languages and Compilers for Parallel Computing, 2001

High-level automatic pipelining for sequential circuits.
Proceedings of the 14th International Symposium on Systems Synthesis, 2001

An Implementation of Scoped Memory for Real-Time Java.
Proceedings of the Embedded Software, First International Workshop, 2001

Design-Driven Compilation.
Proceedings of the Compiler Construction, 10th International Conference, 2001

High-level specification and efficient implementation of pipelined circuits.
Proceedings of ASP-DAC 2001, 2001

2000
Recursion Unrolling for Divide and Conquer Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 2000

Software analysis: a roadmap: a roadmap.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives.
ACM Trans. Comput. Syst., 1999

Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback.
ACM Trans. Comput. Syst., 1999

Synchronization transformations for parallel computing.
Concurr. Pract. Exp., 1999

Automatic Parallelization of Divide and Conquer Algorithms.
Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999

Pointer Analysis for Multithreaded Programs.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Compositional Pointer and Escape Analysis for Java Programs.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

A Synthesis Algorithm for Modular Design of Pipelined Circuits.
Proceedings of the VLSI: Systems on a Chip, 1999

Eliminating synchronization bottlenecks in object-based programs using adaptive replication.
Proceedings of the 13th international conference on Supercomputing, 1999

Parallelizing Applications into Silicon.
Proceedings of the 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 1999

1998
The Design, Implementation, and Evaluation of Jade.
ACM Trans. Program. Lang. Syst., 1998

Implicitly synchronized abstract data types: data structures for modular parallel programming.
J. Program. Lang., 1998

Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs.
J. Parallel Distributed Comput., 1998

Applications experience in Jade.
Concurr. Pract. Exp., 1998

1997
Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers.
ACM Trans. Program. Lang. Syst., 1997

Locality Optimizations for Parallel Computing Using Data Access Information.
Int. J. High Speed Comput., 1997

On the Complexity of Commutativity Analysis.
Int. J. Found. Comput. Sci., 1997

Dynamic Feedback: An Effective Technique for Adaptive Computing.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

1996
Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations.
Proceedings of IPPS '96, 1996

An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language.
Proceedings of IPPS '96, 1996

Semantic Foundations of Commutativity Analysis.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Communication Optimizations for Parallel Computing Using Data Access Information.
Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

1994
The design, implementation and evaluation of Jade: a portable, implicitly parallel programming language.
PhD thesis, 1994

1993
Jade: A High-Level, Machine-Independent Language for Parallel Programming.
Computer, 1993

1992
Heterogeneous Parallel Programming in Jade.
Proceedings of the Proceedings Supercomputing '92, 1992

Semantic Foundations of Jade.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1991
Coarse-Grain Parallel Programming in Jade.
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Semantic Foundations of Concurrent Constraint Programming.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Hierarchical Concurrency in Jade.
Proceedings of the Languages and Compilers for Parallel Computing, 1991

1990
Concurrent Constraint Programming.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

1984
IDEOSY: An Ideographic and Interactive Program Description System.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984


  Loading...