Martin C. Rinard

309 papers A* 60A 38B 35C 5Misc 6Journal 110Unranked 51

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System. CoRR Ajay Brahmakshatriya, Saman P. Amarasinghe, Martin C. Rinard
2026	J	`jnl`	Probabilistic Programming with Vectorized Programmable Inference. Proc. ACM Program. Lang. McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Rif A. Saurous, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka
2025	—	`conf`	Dimensions of Examples: Toward a Framework for Qualifying Examples in Programming. Programming Toni Mattis, Lukas Böhme, Stefan Ramson, Tom Beckmann, Martin C. Rinard, Robert Hirschfeld
2025	J	`jnl`	Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning. CoRR Rem Yang, Julian Dai, Nikos Vasilakis, Martin C. Rinard
2025	—	`conf`	Guarding LLM-aided Software Transformation Tasks via Component Exoskeletons. PACMI@SOSP Evangelos Lamprou, Christian Gram Kalhauge, Martin C. Rinard, Nikos Vasilakis
2025	J	`jnl`	Lexo: Eliminating Stealthy Supply-Chain Attacks via LLM-Assisted Program Regeneration. CoRR Evangelos Lamprou, Julian Dai, Grigoris Ntousakis, Martin C. Rinard, Nikos Vasilakis
2025	J	`jnl`	Nash Equilibria with Irradical Probabilities. CoRR Edan Orzech, Martin C. Rinard
2025	J	`jnl`	Probing the Design Space: Parallel Versions for Exploratory Programming. CoRR Tom Beckmann, Joana Bergsiek, Eva Krebs, Toni Mattis, Stefan Ramson, Martin C. Rinard, Robert Hirschfeld
2025	J	`jnl`	Probing the Design Space: Parallel Versions for Exploratory Programming. Art Sci. Eng. Program. Tom Beckmann, Joana Bergsiek, Eva Krebs, Toni Mattis, Stefan Ramson, Martin C. Rinard, Robert Hirschfeld
2025	J	`jnl`	Probing the Design Space: Parallel Versions for Exploratory Programming. Art Sci. Eng. Program. Tom Beckmann, Joana Bergsiek, Eva Krebs, Toni Mattis, Stefan Ramson, Martin C. Rinard, Robert Hirschfeld
2024	B	`conf`	Edge-Dominance Games on Graphs. SAGT Farid Arthaud, Edan Orzech, Martin C. Rinard
2024	J	`jnl`	Edge-dominance games on graphs. CoRR Farid Arthaud, Edan Orzech, Martin C. Rinard
2024	A*	`conf`	Emergent Representations of Program Semantics in Language Models Trained on Programs. ICML Charles Jin, Martin C. Rinard
2024	—	`conf`	Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example. Programming Toni Mattis, Eva Krebs, Martin C. Rinard, Robert Hirschfeld
2024	—	`conf`	Faster Feedback with AI? A Test Prioritization Study. Programming Toni Mattis, Lukas Böhme, Eva Krebs, Martin C. Rinard, Robert Hirschfeld
2024	J	`jnl`	GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables. CoRR Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka
2024	J	`jnl`	GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables. Proc. ACM Program. Lang. Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka
2024	—	`conf`	Implementing Babylonian/G by Putting Examples into Game Contexts. Programming Eva Krebs, Toni Mattis, Marius Dörbandt, Oliver Schulz, Martin C. Rinard, Robert Hirschfeld
2024	J	`jnl`	Latent Causal Probing: A Formal Perspective on Probing with Causal Models of Data. CoRR Charles Jin, Martin C. Rinard
2024	J	`jnl`	Limited-perception games. CoRR Kai Jia, Martin C. Rinard
2024	J	`jnl`	Probabilistic Programming with Programmable Variational Inference. CoRR McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka
2024	J	`jnl`	Probabilistic Programming with Programmable Variational Inference. Proc. ACM Program. Lang. McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka
2024	A*	`conf`	Software Engineering Research in a World with Generative Artificial Intelligence. ICSE Martin C. Rinard
2023	J	`jnl`	A nonsmooth optimization method. CoRR Kai Jia, Martin C. Rinard
2023	J	`jnl`	Correlated vs. Uncorrelated Randomness in Adversarial Congestion Team Games. CoRR Idan Orzech, Martin C. Rinard
2023	J	`jnl`	Decentralized Inference via Capability Type Structures in Cooperative Multi-Agent Systems. CoRR Charles Jin, Zhang-Wei Hong, Farid Arthaud, Idan Orzech, Martin C. Rinard
2023	B	`conf`	Depth-bounded Epistemic Logic. TARK Farid Arthaud, Martin C. Rinard
2023	J	`jnl`	Depth-bounded epistemic logic. CoRR Farid Arthaud, Martin C. Rinard
2023	J	`jnl`	Effective Neural Network L CoRR Kai Jia, Martin C. Rinard
2023	J	`jnl`	Emergence of Locally Suboptimal Behavior in Finitely Repeated Games. CoRR Yichen Yang, Martin C. Rinard
2023	J	`jnl`	Evidence of Meaning in Language Models Trained on Programs. CoRR Charles Jin, Martin C. Rinard
2023	A*	`conf`	Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks. ICLR Charles Jin, Melinda Sun, Martin C. Rinard
2023	J	`jnl`	Probabilistic Programming with Stochastic Probabilities. Proc. ACM Program. Lang. Alexander K. Lew, Matin Ghavamizadeh, Martin C. Rinard, Vikash K. Mansinghka
2023	J	`jnl`	Randomness Requirements and Asymmetries in Nash Equilibria. CoRR Edan Orzech, Martin C. Rinard
2023	J	`jnl`	Sound Explanation for Trustworthy Machine Learning. CoRR Kai Jia, Pasapol Saowakon, Limor Appelbaum, Martin C. Rinard
2022	B	`conf`	Automatic synthesis of parallel unix commands and pipelines with KumQuat. PPoPP Jiasi Shen, Martin C. Rinard, Nikos Vasilakis
2022	J	`jnl`	Mixed Capability Games. CoRR Kai Jia, Martin C. Rinard, Yichen Yang
2022	B	`conf`	On the Impact of Player Capability on Congestion Games. SAGT Yichen Yang, Kai Jia, Martin C. Rinard
2022	J	`jnl`	On the Impact of Player Capability on Congestion Games. CoRR Yichen Yang, Kai Jia, Martin C. Rinard
2021	J	`jnl`	Active Learning for Inference and Regeneration of Applications that Access Databases. ACM Trans. Program. Lang. Syst. Jiasi Shen, Martin C. Rinard
2021	J	`jnl`	An order-aware dataflow model for parallel Unix pipelines. Proc. ACM Program. Lang. Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard
2021	J	`jnl`	Doing More with Less: Characterizing Dataset Downsampling for AutoML. Proc. VLDB Endow. Fatjon Zogaj, José Pablo Cambronero, Martin C. Rinard, Jürgen Cito
2021	—	`conf`	Efficient module-level dynamic analysis for dynamic languages with module recontextualization. ESEC/SIGSOFT FSE Nikos Vasilakis, Grigoris Ntousakis, Veit Heller, Martin C. Rinard
2021	B	`conf`	Exploiting Verified Neural Networks via Floating Point Numerical Error. SAS Kai Jia, Martin C. Rinard
2021	J	`jnl`	Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization. CoRR Shivam Handa, Martin C. Rinard
2021	J	`jnl`	Inferring Drop-in Binary Parsers from Program Executions. CoRR Thurston H. Y. Dang, José Pablo Cambronero, Martin C. Rinard
2021	J	`jnl`	Neurosymbolic Transformers for Multi-Agent Communication. CoRR Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama
2021	A*	`conf`	Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
2021	J	`jnl`	Program Synthesis Guided Reinforcement Learning. CoRR Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
2021	J	`jnl`	Program Synthesis Over Noisy Data with Guarantees. CoRR Shivam Handa, Martin C. Rinard
2021	J	`jnl`	Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility. CoRR Charles Jin, Melinda Sun, Martin C. Rinard
2021	A*	`conf`	SPPL: probabilistic programming with fast exact symbolic inference. PLDI Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka
2021	J	`jnl`	Searching for Replacement Classes. CoRR Malavika Samak, José Pablo Cambronero, Martin C. Rinard
2021	A*	`conf`	Supply-Chain Vulnerability Elimination via Active Learning and Regeneration. CCS Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, Martin C. Rinard
2021	A*	`conf`	Towards Context-Agnostic Learning Using Synthetic Data. NeurIPS Charles Jin, Martin C. Rinard
2021	B	`conf`	Verifying Low-Dimensional Input Neural Networks via Input Quantization. SAS Kai Jia, Martin C. Rinard
2021	J	`jnl`	Verifying Low-dimensional Input Neural Networks via Input Quantization. CoRR Kai Jia, Martin C. Rinard
2020	—	`conf`	AMS: generating AutoML search spaces from weak specifications. ESEC/SIGSOFT FSE José Pablo Cambronero, Jürgen Cito, Martin C. Rinard
2020	A	`conf`	An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks. MSR Jürgen Cito, Jiasi Shen, Martin C. Rinard
2020	J	`jnl`	An Order-aware Dataflow Model for Extracting Shell Script Parallelism. CoRR Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard
2020	J	`jnl`	Automatic Synthesis of Parallel and Distributed Unix Commands with KumQuat. CoRR Nikos Vasilakis, Jiasi Shen, Martin C. Rinard
2020	A	`conf`	Comprehensive Java Metadata Tracking for Attack Detection and Repair. DSN Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Martin C. Rinard
2020	J	`jnl`	Dataflow Analysis With Prophecy and History Variables. CoRR Martin C. Rinard, Austin Gadient
2020	A*	`conf`	Efficient Exact Verification of Binarized Neural Networks. NeurIPS Kai Jia, Martin C. Rinard
2020	J	`jnl`	Efficient Exact Verification of Binarized Neural Networks. CoRR Kai Jia, Martin C. Rinard
2020	J	`jnl`	Exact Symbolic Inference in Probabilistic Programs via Sum-Product Representations. CoRR Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka
2020	J	`jnl`	Exploiting Verified Neural Networks via Floating Point Numerical Error. CoRR Kai Jia, Martin C. Rinard
2020	J	`jnl`	Inductive Program Synthesis Over Noisy Data. CoRR Shivam Handa, Martin C. Rinard
2020	—	`conf`	Inductive program synthesis over noisy data. ESEC/SIGSOFT FSE Shivam Handa, Martin C. Rinard
2020	J	`jnl`	Learning From Context-Agnostic Synthetic Data. CoRR Charles Jin, Martin C. Rinard
2020	J	`jnl`	Manifold Regularization for Adversarial Robustness. CoRR Charles Jin, Martin C. Rinard
2020	A*	`conf`	Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama
2020	A*	`conf`	Noise-Aware Dynamical System Compilation for Analog Devices with Legno. ASPLOS Sara Achour, Martin C. Rinard
2020	J	`jnl`	Optimal Approximate Sampling from Discrete Probability Distributions. CoRR Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka
2020	J	`jnl`	Optimal approximate sampling from discrete probability distributions. Proc. ACM Program. Lang. Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka
2020	J	`jnl`	Synthesizing replacement classes. Proc. ACM Program. Lang. Malavika Samak, Deokhwan Kim, Martin C. Rinard
2020	A	`conf`	The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions. AISTATS Feras Saad, Cameron E. Freer, Martin C. Rinard, Vikash Mansinghka
2020	J	`jnl`	The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions. CoRR Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka
2020	J	`jnl`	Warp: A Hardware Platform for Efficient Multimodal Sensing With Adaptive Approximation. IEEE Micro Phillip Stanley-Marbell, Martin C. Rinard
2019	J	`jnl`	AL: autogenerating supervised learning programs. Proc. ACM Program. Lang. José Pablo Cambronero, Martin C. Rinard
2019	—	`conf`	Active learning for software engineering. Onward! José Pablo Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, Martin C. Rinard
2019	J	`jnl`	Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling. CoRR Feras A. Saad, Marco F. Cusumano-Towner, Ulrich Schaechtle, Martin C. Rinard, Vikash K. Mansinghka
2019	J	`jnl`	Bayesian synthesis of probabilistic programs for automatic data modeling. Proc. ACM Program. Lang. Feras A. Saad, Marco F. Cusumano-Towner, Ulrich Schaechtle, Martin C. Rinard, Vikash K. Mansinghka
2019	B	`conf`	Characterizing Developer Use of Automatically Generated Patches. VL/HCC José Pablo Cambronero, Jiasi Shen, Jürgen Cito, Elena L. Glassman, Martin C. Rinard
2019	J	`jnl`	Characterizing Developer Use of Automatically Generated Patches. CoRR José Pablo Cambronero, Jiasi Shen, Jürgen Cito, Elena L. Glassman, Martin C. Rinard
2019	J	`jnl`	Compositional Inference Metaprogramming with Convergence Guarantees. CoRR Shivam Handa, Vikash Mansinghka, Martin C. Rinard
2019	J	`jnl`	Correctness Verification of Neural Networks. CoRR Yichen Yang, Martin C. Rinard
2019	A*	`conf`	Interactive production performance feedback in the IDE. ICSE Jürgen Cito, Philipp Leitner, Martin C. Rinard, Harald C. Gall
2019	J	`jnl`	Technical perspective: Borrowing big code to automate programming activities. Commun. ACM Martin C. Rinard
2019	A*	`conf`	Using active learning to synthesize models of applications that access databases. PLDI Jiasi Shen, Martin C. Rinard
2018	J	`jnl`	A Hardware Platform for Efficient Multi-Modal Sensing with Adaptive Approximation. CoRR Phillip Stanley-Marbell, Martin C. Rinard
2018	B	`conf`	A new approach for software correctness and reliability (keynote). SLE Martin C. Rinard
2018	—	`conf`	Active learning for inference and regeneration of computer programs that store and retrieve data. Onward! Martin C. Rinard, Jiasi Shen, Varun Mangalick
2018	J	`jnl`	Cimple: Instruction and Memory Level Parallelism. CoRR Vladimir Kiriansky, Haoran Xu, Martin C. Rinard, Saman P. Amarasinghe
2018	B	`conf`	Cimple: instruction and memory level parallelism: a DSL for uncovering ILP and MLP. PACT Vladimir Kiriansky, Haoran Xu, Martin C. Rinard, Saman P. Amarasinghe
2018	J	`jnl`	Incremental Color Quantization for Color-Vision-Deficient Observers Using Mobile Gaming Data. CoRR José Pablo Cambronero, Phillip Stanley-Marbell, Martin C. Rinard
2018	J	`jnl`	Perceived-Color Approximation Transforms for Programs that Draw. IEEE Micro Phillip Stanley-Marbell, Martin C. Rinard
2018	A*	`conf`	Probabilistic programming with programmable inference. PLDI Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin C. Rinard
2018	J	`jnl`	The Three Pillars of Machine-Based Programming. CoRR Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson
2018	—	`conf`	The three pillars of machine programming. MAPL@PLDI Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson
2018	A*	`conf`	Time Dilation and Contraction for Programmable Analog Devices with Jaunt. ASPLOS Sara Achour, Martin C. Rinard
2017	—	`conf`	Automatic inference of code transforms for patch generation. ESEC/SIGSOFT FSE Fan Long, Peter Amidon, Martin C. Rinard
2017	—	`conf`	CodeCarbonCopy. ESEC/SIGSOFT FSE Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, Martin C. Rinard
2017	J	`jnl`	Error-Efficient Computing Systems. Found. Trends Electron. Des. Autom. Phillip Stanley-Marbell, Martin C. Rinard
2017	B	`conf`	Robust programs with filtered iterators. SLE Jiasi Shen, Martin C. Rinard
2016	J	`jnl`	An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems. CoRR Fan Long, Martin C. Rinard
2016	A*	`conf`	An analysis of the search spaces for generate and validate patch generation systems. ICSE Fan Long, Martin C. Rinard
2016	B	`conf`	AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks. DIMVA Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Daniel Willenson, Stelios Sidiroglou-Douskos, Martin C. Rinard
2016	A*	`conf`	Automatic patch generation by learning correct code. POPL Fan Long, Martin C. Rinard
2016	A*	`conf`	Battery-aware transformations in mobile applications. ASE Jürgen Cito, Julia Rubin, Phillip Stanley-Marbell, Martin C. Rinard
2016	A*	`conf`	Configuration synthesis for programmable analog devices with Arco. PLDI Sara Achour, Rahul Sarpeshkar, Martin C. Rinard
2016	A	`conf`	Crayon: saving power through shape and color approximation on next-generation displays. EuroSys Phillip Stanley-Marbell, Virginia Estellers, Martin C. Rinard
2016	—	`conf`	Encoder logic for reducing serial I/O power in sensors and sensor hubs. Hot Chips Symposium Phillip Stanley-Marbell, Pier Andrea Francese, Martin C. Rinard
2016	A*	`conf`	Reducing serial I/O power in error-tolerant applications by efficient lossy encoding. DAC Phillip Stanley-Marbell, Martin C. Rinard
2016	A*	`conf`	The challenges of staying together while moving fast: an exploratory study. ICSE Julia Rubin, Martin C. Rinard
2016	—	`conf`	Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings. ACL (1) Fereshte Khani, Martin C. Rinard, Percy Liang
2016	J	`jnl`	Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings. CoRR Fereshte Khani, Martin C. Rinard, Percy Liang
2016	J	`jnl`	Verifying quantitative reliability for programs that execute on unreliable hardware. Commun. ACM Michael Carbin, Sasa Misailovic, Martin C. Rinard
2015	A	`conf`	An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. ISSTA Zichao Qi, Fan Long, Sara Achour, Martin C. Rinard
2015	A	`conf`	Approximate computation with outlier detection in Topaz. OOPSLA Sara Achour, Martin C. Rinard
2015	A*	`conf`	Automatic error elimination by horizontal code transfer across multiple applications. PLDI Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin C. Rinard
2015	A*	`conf`	Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity. CCS Isaac Evans, Fan Long, Ulziibayar Otgonbaatar, Howard E. Shrobe, Martin C. Rinard, Hamed Okhravi, Stelios Sidiroglou-Douskos
2015	A*	`conf`	Covert Communication in Mobile Applications (T). ASE Julia Rubin, Michael I. Gordon, Nguyen Nguyen, Martin C. Rinard
2015	J	`jnl`	Efficiency Limits for Value-Deviation-Bounded Approximate Communication. IEEE Embed. Syst. Lett. Phillip Stanley-Marbell, Martin C. Rinard
2015	A*	`conf`	Information Flow Analysis of Android Applications in DroidSafe. NDSS Michael I. Gordon, Deokhwan Kim, Jeff H. Perkins, Limei Gilham, Nguyen Nguyen, Martin C. Rinard
2015	A	`conf`	Lax: Driver Interfaces for Approximate Sensor Device Access. HotOS Phillip Stanley-Marbell, Martin C. Rinard
2015	A*	`conf`	Missing the Point(er): On the Effectiveness of Code Pointer Integrity. IEEE Symposium on Security and Privacy Isaac Evans, Sam Fingeret, Julian Gonzalez, Ulziibayar Otgonbaatar, Tiffany Tang, Howard E. Shrobe, Stelios Sidiroglou-Douskos, Martin C. Rinard, Hamed Okhravi
2015	A*	`conf`	Principled Sampling for Anomaly Detection. NDSS Brendan Juba, Christopher Musco, Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard
2015	—	`conf`	Program fracture and recombination for efficient automatic code reuse. HPEC Peter Amidon, Eli Davis, Stelios Sidiroglou-Douskos, Martin C. Rinard
2015	—	`conf`	Staged program repair with condition synthesis. ESEC/SIGSOFT FSE Fan Long, Martin C. Rinard
2015	A*	`conf`	Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. ASPLOS Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, Martin C. Rinard
2014	A*	`conf`	Automatic runtime error repair and containment via recovery shepherding. PLDI Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard
2014	A	`conf`	Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. OOPSLA Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard
2014	A*	`conf`	Sound input filter generation for integer overflow errors. POPL Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, Martin C. Rinard
2013	J	`jnl`	(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints. CoRR Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard
2013	—	`conf`	A source-to-source transformation tool for error fixing. CASCON Youry Khmelevsky, Martin C. Rinard, Stelios Sidiroglou-Douskos
2013	A*	`conf`	Contextual Policy Enforcement in Android Applications with Permission Event Graphs. NDSS Kevin Zhijie Chen, Noah M. Johnson, Vijay D'Silva, Shuaifu Dai, Kyle MacNamara, Thomas R. Magrino, Edward XueJun Wu, Martin C. Rinard, Dawn Xiaodong Song
2013	—	`conf`	From Natural Language Specifications to Program Input Parsers. ACL (1) Tao Lei, Fan Long, Regina Barzilay, Martin C. Rinard
2013	J	`jnl`	Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. ACM Trans. Inf. Syst. Secur. Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin
2013	—	`conf`	Parallel Synchronization-Free Approximate Data Structure Construction. HotPar Martin C. Rinard
2013	J	`jnl`	Parallelizing Sequential Programs with Statistical Accuracy Tests. ACM Trans. Embed. Comput. Syst. Sasa Misailovic, Deokhwan Kim, Martin C. Rinard
2013	C	`conf`	Verified integrity properties for safe approximate program transformations. PEPM Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
2013	A	`conf`	Verifying quantitative reliability for programs that execute on unreliable hardware. OOPSLA Michael Carbin, Sasa Misailovic, Martin C. Rinard
2012	J	`jnl`	An introduction to data representation synthesis. Commun. ACM Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher
2012	A*	`conf`	Automatic input rectification. ICSE Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard
2012	A	`conf`	Bolt: on-demand infinite loop escape in unmodified binaries. OOPSLA Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard
2012	A*	`conf`	Concurrent data representation synthesis. PLDI Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2012	J	`jnl`	Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography CoRR Vijay Ganesh, Michael Carbin, Martin C. Rinard
2012	—	`conf`	Dancing with uncertainty. RACES@SPLASH Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard
2012	J	`jnl`	Example-driven program synthesis for end-user programming: technical perspective. Commun. ACM Martin C. Rinard
2012	B	`conf`	From Runtime Verification to Runtime Intervention and Adaptation. RV Martin C. Rinard
2012	A	`conf`	Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. SAT Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama
2012	A*	`conf`	Obtaining and reasoning about good enough software. DAC Martin C. Rinard
2012	—	`ed.`	Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, RACES@SPLASH 2012, Tucson, Arizona, USA, October 21, 2012. RACES@SPLASH Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin C. Rinard, David M. Ungar
2012	A*	`conf`	Proving acceptability properties of relaxed nondeterministic approximate programs. PLDI Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
2012	A*	`conf`	Randomized accuracy-aware program transformations for efficient approximate computations. POPL Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard
2012	A	`conf`	Reasoning about Lock Placements. ESOP Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2012	—	`conf`	What to do when things go wrong: recovery in complex (computer) systems. AOSD (Companion) Martin C. Rinard
2012	—	`conf`	Word Equations with Length Constraints: What's Decidable? Haifa Verification Conference Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard
2012	—	`conf`	Workshop on relaxing synchronization for multicore and manycore scalability (RACES 2012). SPLASH Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin C. Rinard, David M. Ungar
2011	J	`jnl`	ARBAC Policy for a Large Multi-National Bank CoRR Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin
2011	A*	`conf`	Automatic error finding in access-control policies. CCS Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin
2011	A*	`conf`	Data representation synthesis. PLDI Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2011	A	`conf`	Detecting and Escaping Infinite Loops with Jolt. ECOOP Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard
2011	A*	`conf`	Dynamic knobs for responsive power-aware computing. ASPLOS Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard
2011	—	`conf`	Managing performance vs. accuracy trade-offs with loop perforation. SIGSOFT FSE Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard
2011	—	`ch.`	Manipulating Program Functionality to Eliminate Security Vulnerabilities. Moving Target Defense Martin C. Rinard
2011	C	`conf`	Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. PEPM Martin C. Rinard
2011	B	`conf`	Probabilistically Accurate Program Transformations. SAS Sasa Misailovic, Daniel M. Roy, Martin C. Rinard
2011	J	`jnl`	Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller
2011	A*	`conf`	Verification of semantic commutativity conditions and inverse operations on linked data structures. PLDI Deokhwan Kim, Martin C. Rinard
2010	A	`conf`	Automatically identifying critical input regions and code in applications. ISSTA Michael Carbin, Martin C. Rinard
2010	—	`ed.`	Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, part of SPLASH 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA SPLASH/OOPSLA Companion William R. Cook, Siobhán Clarke, Martin C. Rinard
2010	B	`conf`	Data Structure Fusion. APLAS Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2010	B	`conf`	Optimal Scheduling of Urgent Preemptive Tasks. RTCSA Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence J. Osborne
2010	A	`conf`	Patterns and statistical analysis for understanding reduced resource computing. OOPSLA Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou
2010	A	`ed.`	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 William R. Cook, Siobhán Clarke, Martin C. Rinard
2010	—	`conf`	Quality of service profiling. ICSE (1) Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard
2009	Misc	`conf`	A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. SYNASC Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap
2009	A*	`conf`	An integrated proof language for imperative programs. PLDI Karen Zee, Viktor Kuncak, Martin C. Rinard
2009	J	`jnl`	Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. IEEE Trans. Software Eng. Brian Demsky, Martin C. Rinard
2009	A*	`conf`	Automatically patching errors in deployed software. SOSP Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard
2009	J	`jnl`	Histogram-Based Global Load Balancing in Structured Peer-to-Peer Systems. IEEE Trans. Knowl. Data Eng. Quang Hieu Vu, Beng Chin Ooi, Martin C. Rinard, Kian-Lee Tan
2009	A	`conf`	Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival. CADE Martin C. Rinard
2009	C	`conf`	Survival strategies for synthesized hardware systems. MEMOCODE Martin C. Rinard
2009	A*	`conf`	Taint-based directed whitebox fuzzing. ICSE Vijay Ganesh, Tim Leek, Martin C. Rinard
2009	Misc	`conf`	WikiDo. HotNets Nate Kushman, Micah Z. Brodsky, S. R. K. Branavan, Dina Katabi, Regina Barzilay, Martin C. Rinard
2008	A*	`conf`	Full functional verification of linked data structures. PLDI Karen Zee, Viktor Kuncak, Martin C. Rinard
2008	J	`jnl`	SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. ACM SIGPLAN Notices 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
2008	J	`jnl`	Technical perspective - Patching program errors. Commun. ACM Martin C. Rinard
2008	J	`jnl`	Using programming language concepts to teach general thinking skills. ACM SIGPLAN Notices Martin C. Rinard
2008	A	`conf`	Verifying linked data structure implementations. IPDPS Karen Zee, Viktor Kuncak, Martin C. Rinard
2007	C	`conf`	Detecting and eliminating memory leaks using cyclic memory allocation. ISMM Huu Hai Nguyen, Martin C. Rinard
2007	A	`conf`	Living in the comfort zone. OOPSLA Martin C. Rinard
2007	B	`conf`	Polynomial Constraints for Sets with Cardinality Bounds. FoSSaCS Bruno Marnette, Viktor Kuncak, Martin C. Rinard
2007	B	`conf`	Runtime Checking for Program Verification. RV Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard
2007	A	`conf`	Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS Patrick Lam, Martin C. Rinard
2007	A	`conf`	Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. CADE Viktor Kuncak, Martin C. Rinard
2007	B	`conf`	Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard
2007	A	`conf`	Using early phase termination to eliminate load imbalances at barrier synchronization points. OOPSLA Martin C. Rinard
2006	A	`conf`	An overview of the Jahob analysis system: project goals and current status. IPDPS Viktor Kuncak, Martin C. Rinard
2006	—	`conf`	Automated Techniques for Surviving (Otherwise) Fatal Software Errors. V&D@FLoC Martin C. Rinard
2006	J	`jnl`	Deciding Boolean Algebra with Presburger Arithmetic. J. Autom. Reason. Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
2006	B	`conf`	Field Constraint Analysis. VMCAI Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard
2006	J	`jnl`	Goal-Directed Reasoning for Specification-Based Data Structure Repair. IEEE Trans. Software Eng. Brian Demsky, Martin C. Rinard
2006	Misc	`conf`	Incremental Deterministic Planning. SYNASC Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
2006	A	`conf`	Inference and enforcement of data structure consistency specifications. ISSTA Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard
2006	J	`jnl`	Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng. Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
2006	J	`jnl`	On Verifying Complex Properties using Symbolic Shape Analysis CoRR Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard
2006	A	`conf`	Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. ICS Martin C. Rinard
2006	—	`conf`	The ultra challenge: software systems beyond big. OOPSLA Companion Steven Fraser, Gregor Kiczales, Ricardo López, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin J. Sullivan
2005	A	`conf`	An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. CADE Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
2005	—	`conf`	Crosscutting techniques in program specification and analysis. AOSD Patrick Lam, Viktor Kuncak, Martin C. Rinard
2005	A*	`conf`	Data structure repair using goal-directed reasoning. ICSE Brian Demsky, Martin C. Rinard
2005	—	`conf`	Decision Procedures for Set-Valued Fields. AIOOL@VMCAI Viktor Kuncak, Martin C. Rinard
2005	—	`conf`	Exploring the acceptability envelope. OOPSLA Companion Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen
2005	B	`conf`	Generalized Typestate Checking for Data Structure Consistency. VMCAI Patrick Lam, Viktor Kuncak, Martin C. Rinard
2005	B	`conf`	Hob: A Tool for Verifying Data Structure Consistency. CC Patrick Lam, Viktor Kuncak, Martin C. Rinard
2005	—	`conf`	Implications of a Data Structure Consistency Checking System. VSTTE Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
2005	B	`conf`	Memory Usage Verification for OO Programs. SAS Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard
2005	J	`jnl`	On Algorithms and Complexity for Sets with Cardinality Constraints CoRR Bruno Marnette, Viktor Kuncak, Martin C. Rinard
2005	—	`conf`	On Algorithms and Complexity for Sets with Cardinality Constraints. Deduction and Applications Viktor Kuncak, Martin C. Rinard, Bruno Marnette
2005	A	`conf`	Optimizations for Compiling Declarative Models into Boolean Formulas. SAT Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard
2005	B	`conf`	Purity and Side Effect Analysis for Java Programs. VMCAI Alexandru Salcianu, Martin C. Rinard
2005	J	`jnl`	Symbolic bounds analysis of pointers, array indices, and accessed memory regions. ACM Trans. Program. Lang. Syst. Radu Rugina, Martin C. Rinard
2004	A	`conf`	A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). ACSAC Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu
2004	—	`conf`	A classification system and analysis for aspect-oriented programs. SIGSOFT FSE Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara
2004	B	`conf`	Boolean Algebra of Shape Analysis Constraints. VMCAI Viktor Kuncak, Martin C. Rinard
2004	—	`conf`	Deductive Runtime Certification. RV@ETAPS Konstantine Arkoudas, Martin C. Rinard
2004	A*	`conf`	Enhancing Server Availability and Security Through Failure-Oblivious Computing. OSDI Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee
2004	B	`conf`	Generalized Records and Spatial Conjunction in Role Logic. SAS Viktor Kuncak, Martin C. Rinard
2004	J	`jnl`	Generalized typestate checking using set interfaces and pluggable analyses. ACM SIGPLAN Notices Patrick Lam, Viktor Kuncak, Martin C. Rinard
2004	J	`jnl`	On Generalized Records and Spatial Conjunction in Role Logic CoRR Viktor Kuncak, Martin C. Rinard
2004	J	`jnl`	On Role Logic CoRR Viktor Kuncak, Martin C. Rinard
2004	J	`jnl`	On Spatial Conjunction as Second-Order Logic CoRR Viktor Kuncak, Martin C. Rinard
2004	J	`jnl`	On the Theory of Structural Subtyping CoRR Viktor Kuncak, Martin C. Rinard
2004	A*	`conf`	Region inference for an object-oriented language. PLDI Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard
2004	J	`jnl`	Roles Are Really Great! CoRR Viktor Kuncak, Patrick Lam, Martin C. Rinard
2004	J	`jnl`	The First-Order Theory of Sets with Cardinality Constraints is Decidable CoRR Viktor Kuncak, Martin C. Rinard
2004	J	`jnl`	Typestate Checking and Regular Graph Constraints CoRR Viktor Kuncak, Martin C. Rinard
2004	C	`conf`	Verifying a File System Implementation. ICFEM Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard
2003	—	`conf`	A Formal Framework for Modular Synchronous System Design. FME Maria-Cristina V. Marinescu, Martin C. Rinard
2003	A	`conf`	A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. ECOOP Patrick Lam, Martin C. Rinard
2003	—	`conf`	Acceptability-oriented computing. OOPSLA Companion Martin C. Rinard
2003	A	`conf`	Automatic detection and repair of errors in data structures. OOPSLA Brian Demsky, Martin C. Rinard
2003	B	`conf`	Data size optimizations for java programs. LCTES C. Scott Ananian, Martin C. Rinard
2003	J	`jnl`	Eliminating synchronization bottlenecks using adaptive replication. ACM Trans. Program. Lang. Syst. Martin C. Rinard, Pedro C. Diniz
2003	B	`conf`	Existential Heap Abstraction Entailment Is Undecidable. SAS Viktor Kuncak, Martin C. Rinard
2003	—	`conf`	Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard
2003	A*	`conf`	Interprocedural compatibility analysis for static object preallocation. POPL Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard
2003	A*	`conf`	Ownership types for safe region-based memory management in real-time Java. PLDI Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard
2003	B	`conf`	Pipa: A Behavioral Interface Specification Language for AspectJ. FASE Jianjun Zhao, Martin C. Rinard
2003	J	`jnl`	Pointer analysis for structured parallel programs. ACM Trans. Program. Lang. Syst. Radu Rugina, Martin C. Rinard
2003	B	`ed.`	Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2003, June 11-13, 2003, San Diego, CA, USA PPoPP Rudolf Eigenmann, Martin C. Rinard
2003	A	`conf`	Static Specification Analysis for Termination of Specification-Based Data Structure Repair. ISSRE Brian Demsky, Martin C. Rinard
2003	A*	`conf`	Structural Subtyping of Non-Recursive Types is Decidable. LICS Viktor Kuncak, Martin C. Rinard
2003	—	`conf`	Utilitiy Accrual Scheduling with Real-Time Java. OTM Workshops Shahrooz Feizabadi, William S. Beebee, Binoy Ravindran, Peng Li, Martin C. Rinard
2002	A	`conf`	Ownership types for safe programming: preventing data races and deadlocks. OOPSLA Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard
2002	A*	`conf`	Role analysis. POPL Viktor Kuncak, Patrick Lam, Martin C. Rinard
2002	A*	`conf`	Role-based exploration of object-oriented programs. ICSE Brian Demsky, Martin C. Rinard
2002	A	`conf`	Write barrier removal by static analysis. OOPSLA Karen Zee, Martin C. Rinard
2002	J	`jnl`	Write barrier removal by static analysis. ACM SIGPLAN Notices Karen Zee, Martin C. Rinard
2001	—	`conf`	A Language for Role Specifications. LCPC Viktor Kuncak, Patrick Lam, Martin C. Rinard
2001	A	`conf`	A Parameterized Type System for Race-Free Java Programs. OOPSLA Chandrasekhar Boyapati, Martin C. Rinard
2001	Misc	`conf`	An Implementation of Scoped Memory for Real-Time Java. EMSOFT William S. Beebee, Martin C. Rinard
2001	B	`conf`	Analysis of Multithreaded Programs. SAS Martin C. Rinard
2001	B	`conf`	Design-Driven Compilation. CC Radu Rugina, Martin C. Rinard
2001	—	`conf`	High-level automatic pipelining for sequential circuits. ISSS Maria-Cristina V. Marinescu, Martin C. Rinard
2001	—	`conf`	High-level specification and efficient implementation of pipelined circuits. ASP-DAC Maria-Cristina V. Marinescu, Martin C. Rinard
2001	A*	`conf`	Incrementalized Pointer and Escape Analysis. PLDI Frédéric Vivien, Martin C. Rinard
2001	B	`conf`	Pointer and escape analysis for multithreaded programs. PPoPP Alexandru Salcianu, Martin C. Rinard
2000	—	`conf`	Recursion Unrolling for Divide and Conquer Programs. LCPC Radu Rugina, Martin C. Rinard
2000	—	`conf`	Software analysis: a roadmap: a roadmap. ICSE - Future of SE Track Daniel Jackson, Martin C. Rinard
2000	A*	`conf`	Symbolic bounds analysis of pointers, array indices, and accessed memory regions. PLDI Radu Rugina, Martin C. Rinard
1999	—	`conf`	A Synthesis Algorithm for Modular Design of Pipelined Circuits. VLSI Maria-Cristina V. Marinescu, Martin C. Rinard
1999	B	`conf`	Automatic Parallelization of Divide and Conquer Algorithms. PPoPP Radu Rugina, Martin C. Rinard
1999	A	`conf`	Compositional Pointer and Escape Analysis for Java Programs. OOPSLA John Whaley, Martin C. Rinard
1999	J	`jnl`	Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives. ACM Trans. Comput. Syst. Martin C. Rinard
1999	J	`jnl`	Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback. ACM Trans. Comput. Syst. Pedro C. Diniz, Martin C. Rinard
1999	A	`conf`	Eliminating synchronization bottlenecks in object-based programs using adaptive replication. International Conference on Supercomputing Martin C. Rinard, Pedro C. Diniz
1999	Misc	`conf`	Parallelizing Applications into Silicon. FCCM Jonathan Babb, Martin C. Rinard, Csaba Andras Moritz, Walter Lee, Matthew I. Frank, Rajeev Barua, Saman P. Amarasinghe
1999	A*	`conf`	Pointer Analysis for Multithreaded Programs. PLDI Radu Rugina, Martin C. Rinard
1999	J	`jnl`	Synchronization transformations for parallel computing. Concurr. Pract. Exp. Pedro C. Diniz, Martin C. Rinard
1998	J	`jnl`	Applications experience in Jade. Concurr. Pract. Exp. Martin C. Rinard
1998	J	`jnl`	Implicitly synchronized abstract data types: data structures for modular parallel programming. J. Program. Lang. Martin C. Rinard
1998	J	`jnl`	Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. J. Parallel Distributed Comput. Pedro C. Diniz, Martin C. Rinard
1998	J	`jnl`	The Design, Implementation, and Evaluation of Jade. ACM Trans. Program. Lang. Syst. Martin C. Rinard, Monica S. Lam
1997	J	`jnl`	Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. ACM Trans. Program. Lang. Syst. Martin C. Rinard, Pedro C. Diniz
1997	A*	`conf`	Dynamic Feedback: An Effective Technique for Adaptive Computing. PLDI Pedro C. Diniz, Martin C. Rinard
1997	B	`conf`	Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives. PPoPP Martin C. Rinard
1997	J	`jnl`	Locality Optimizations for Parallel Computing Using Data Access Information. Int. J. High Speed Comput. Martin C. Rinard
1997	J	`jnl`	On the Complexity of Commutativity Analysis. Int. J. Found. Comput. Sci. Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard
1997	A*	`conf`	Synchronization Transformations for Parallel Computing. POPL Pedro C. Diniz, Martin C. Rinard
1996	—	`conf`	An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language. IPPS Martin C. Rinard
1996	A*	`conf`	Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. PLDI Martin C. Rinard, Pedro C. Diniz
1996	—	`conf`	Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations. IPPS Martin C. Rinard, Pedro C. Diniz
1996	—	`conf`	Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. LCPC Pedro C. Diniz, Martin C. Rinard
1996	Misc	`conf`	On the Complexity of Commutativity Analysis. COCOON Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard
1996	—	`conf`	Semantic Foundations of Commutativity Analysis. Euro-Par, Vol. I Martin C. Rinard, Pedro C. Diniz
1995	A	`conf`	Communication Optimizations for Parallel Computing Using Data Access Information. SC Martin C. Rinard
1994	—	`—`	The design, implementation and evaluation of Jade: a portable, implicitly parallel programming language. Martin C. Rinard
1993	J	`jnl`	Jade: A High-Level, Machine-Independent Language for Parallel Programming. Computer Martin C. Rinard, Daniel J. Scales, Monica S. Lam
1992	A	`conf`	Heterogeneous Parallel Programming in Jade. SC Martin C. Rinard, Daniel J. Scales, Monica S. Lam
1992	A*	`conf`	Semantic Foundations of Jade. POPL Martin C. Rinard, Monica S. Lam
1991	B	`conf`	Coarse-Grain Parallel Programming in Jade. PPoPP Monica S. Lam, Martin C. Rinard
1991	—	`conf`	Hierarchical Concurrency in Jade. LCPC Daniel J. Scales, Martin C. Rinard, Monica S. Lam, Jennifer-Ann M. Anderson
1991	A*	`conf`	Semantic Foundations of Concurrent Constraint Programming. POPL Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden
1990	A*	`conf`	Concurrent Constraint Programming. POPL Vijay A. Saraswat, Martin C. Rinard
1984	—	`conf`	IDEOSY: An Ideographic and Interactive Program Description System. Software Development Environments (SDE) Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr.