Martin C. Rinard

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 67

Top Venues

CoRR

Proc. ACM Program. Lang.

PLDI

ESEC/SIGSOFT FSE

Publications

Toni Mattis, Eva Krebs, Martin C. Rinard, Robert Hirschfeld
Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example. Programming (2024)
Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Kai Jia, Martin C. Rinard
Limited-perception games. CoRR (2024)
Toni Mattis, Lukas Böhme, Eva Krebs, Martin C. Rinard, Robert Hirschfeld
Faster Feedback with AI? A Test Prioritization Study. Programming (2024)
Farid Arthaud, Edan Orzech, Martin C. Rinard
Edge-dominance games on graphs. CoRR (2024)
McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka
Probabilistic Programming with Programmable Variational Inference. CoRR (2024)
McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka
Probabilistic Programming with Programmable Variational Inference. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Charles Jin, Martin C. Rinard
Latent Causal Probing: A Formal Perspective on Probing with Causal Models of Data. CoRR (2024)
Ajay Brahmakshatriya, Martin C. Rinard, Manya Ghobadi, Saman P. Amarasinghe
NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Martin C. Rinard
Software Engineering Research in a World with Generative Artificial Intelligence. ICSE (2024)
Eva Krebs, Toni Mattis, Marius Dörbandt, Oliver Schulz, Martin C. Rinard, Robert Hirschfeld
Implementing Babylonian/G by Putting Examples into Game Contexts. Programming (2024)
Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables. CoRR (2024)
Kai Jia, Martin C. Rinard
Regularization With BinMask. CoRR (2023)
Farid Arthaud, Martin C. Rinard
Depth-bounded epistemic logic. CoRR (2023)
Charles Jin, Melinda Sun, Martin C. Rinard
Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks. ICLR (2023)
Edan Orzech, Martin C. Rinard
Randomness Requirements and Asymmetries in Nash Equilibria. CoRR (2023)
Kai Jia, Martin C. Rinard
A nonsmooth optimization method. CoRR (2023)
Farid Arthaud, Martin C. Rinard
Depth-bounded Epistemic Logic. TARK (2023)
Charles Jin, Martin C. Rinard
Evidence of Meaning in Language Models Trained on Programs. CoRR (2023)
Alexander K. Lew, Matin Ghavamizadeh, Martin C. Rinard, Vikash K. Mansinghka
Probabilistic Programming with Stochastic Probabilities. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Kai Jia, Pasapol Saowakon, Limor Appelbaum, Martin C. Rinard
Sound Explanation for Trustworthy Machine Learning. CoRR (2023)
Idan Orzech, Martin C. Rinard
Correlated vs. Uncorrelated Randomness in Adversarial Congestion Team Games. CoRR (2023)
Charles Jin, Zhang-Wei Hong, Farid Arthaud, Idan Orzech, Martin C. Rinard
Decentralized Inference via Capability Type Structures in Cooperative Multi-Agent Systems. CoRR (2023)
Yichen Yang, Martin C. Rinard
Emergence of Locally Suboptimal Behavior in Finitely Repeated Games. CoRR (2023)
Jiasi Shen, Martin C. Rinard, Nikos Vasilakis
Automatic synthesis of parallel unix commands and pipelines with KumQuat. PPoPP (2022)
Yichen Yang, Kai Jia, Martin C. Rinard
On the Impact of Player Capability on Congestion Games. SAGT (2022)
Kai Jia, Martin C. Rinard, Yichen Yang
Mixed Capability Games. CoRR (2022)
Yichen Yang, Kai Jia, Martin C. Rinard
On the Impact of Player Capability on Congestion Games. CoRR (2022)
Jiasi Shen, Martin C. Rinard
Active Learning for Inference and Regeneration of Applications that Access Databases. ACM Trans. Program. Lang. Syst. 42 (4) (2021)
Nikos Vasilakis, Grigoris Ntousakis, Veit Heller, Martin C. Rinard
Efficient module-level dynamic analysis for dynamic languages with module recontextualization. ESEC/SIGSOFT FSE (2021)
Charles Jin, Martin C. Rinard
Towards Context-Agnostic Learning Using Synthetic Data. NeurIPS (2021)
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard
An order-aware dataflow model for parallel Unix pipelines. Proc. ACM Program. Lang. 5 (POPL) (2021)
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS (2021)
Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka
SPPL: probabilistic programming with fast exact symbolic inference. PLDI (2021)
Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, Martin C. Rinard
Supply-Chain Vulnerability Elimination via Active Learning and Regeneration. CCS (2021)
Malavika Samak, José Pablo Cambronero, Martin C. Rinard
Searching for Replacement Classes. CoRR (2021)
Thurston H. Y. Dang, José Pablo Cambronero, Martin C. Rinard
Inferring Drop-in Binary Parsers from Program Executions. CoRR (2021)
Malavika Samak, Deokhwan Kim, Martin C. Rinard
Synthesizing replacement classes. Proc. ACM Program. Lang. 4 (POPL) (2020)
Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka
Exact Symbolic Inference in Probabilistic Programs via Sum-Product Representations. CoRR (2020)
Shivam Handa, Martin C. Rinard
Inductive program synthesis over noisy data. ESEC/SIGSOFT FSE (2020)
Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka
Optimal approximate sampling from discrete probability distributions. Proc. ACM Program. Lang. 4 (POPL) (2020)
Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka
Optimal Approximate Sampling from Discrete Probability Distributions. CoRR (2020)
Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions. CoRR (2020)
José Pablo Cambronero, Jürgen Cito, Martin C. Rinard
AMS: generating AutoML search spaces from weak specifications. ESEC/SIGSOFT FSE (2020)
Feras A. Saad, Marco F. Cusumano-Towner, Ulrich Schaechtle, Martin C. Rinard, Vikash K. Mansinghka
Bayesian synthesis of probabilistic programs for automatic data modeling. Proc. ACM Program. Lang. 3 (POPL) (2019)
José Pablo Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, Martin C. Rinard
Active learning for software engineering. Onward! (2019)
Feras A. Saad, Marco F. Cusumano-Towner, Ulrich Schaechtle, Martin C. Rinard, Vikash K. Mansinghka
Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling. CoRR (2019)
Martin C. Rinard
Technical perspective: Borrowing big code to automate programming activities. Commun. ACM 62 (3) (2019)
Jiasi Shen, Martin C. Rinard
Using active learning to synthesize models of applications that access databases. PLDI (2019)
José Pablo Cambronero, Martin C. Rinard
AL: autogenerating supervised learning programs. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Martin C. Rinard
A new approach for software correctness and reliability (keynote). SLE (2018)
Martin C. Rinard, Jiasi Shen, Varun Mangalick
Active learning for inference and regeneration of computer programs that store and retrieve data. Onward! (2018)
Fan Long, Martin C. Rinard
An analysis of the search spaces for generate and validate patch generation systems. ICSE (2016)
Phillip Stanley-Marbell, Virginia Estellers, Martin C. Rinard
Crayon: saving power through shape and color approximation on next-generation displays. EuroSys (2016)
Sara Achour, Rahul Sarpeshkar, Martin C. Rinard
Configuration synthesis for programmable analog devices with Arco. PLDI (2016)
Michael Carbin, Sasa Misailovic, Martin C. Rinard
Verifying quantitative reliability for programs that execute on unreliable hardware. Commun. ACM 59 (8) (2016)
Fereshte Khani, Martin C. Rinard, Percy Liang
Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings. ACL (1) (2016)
Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Daniel Willenson, Stelios Sidiroglou-Douskos, Martin C. Rinard
AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks. DIMVA (2016)
Phillip Stanley-Marbell, Martin C. Rinard
Reducing serial I/O power in error-tolerant applications by efficient lossy encoding. DAC (2016)
Michael I. Gordon, Deokhwan Kim, Jeff H. Perkins, Limei Gilham, Nguyen Nguyen, Martin C. Rinard
Information Flow Analysis of Android Applications in DroidSafe. NDSS (2015)
Peter Amidon, Eli Davis, Stelios Sidiroglou-Douskos, Martin C. Rinard
Program fracture and recombination for efficient automatic code reuse. HPEC (2015)
Isaac Evans, Fan Long, Ulziibayar Otgonbaatar, Howard E. Shrobe, Martin C. Rinard, Hamed Okhravi, Stelios Sidiroglou-Douskos
Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity. CCS (2015)
Zichao Qi, Fan Long, Sara Achour, Martin C. Rinard
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. ISSTA (2015)
Julia Rubin, Michael I. Gordon, Nguyen Nguyen, Martin C. Rinard
Covert Communication in Mobile Applications (T). ASE (2015)
Brendan Juba, Christopher Musco, Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard
Principled Sampling for Anomaly Detection. NDSS (2015)
Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, Martin C. Rinard
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. ASPLOS (2015)
Sara Achour, Martin C. Rinard
Approximate computation with outlier detection in Topaz. OOPSLA (2015)
Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, Martin C. Rinard
Sound input filter generation for integer overflow errors. POPL (2014)
Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard
Automatic runtime error repair and containment via recovery shepherding. PLDI (2014)
Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. OOPSLA (2014)
Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin
Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. ACM Trans. Inf. Syst. Secur. 15 (4) (2013)
Youry Khmelevsky, Martin C. Rinard, Stelios Sidiroglou-Douskos
A source-to-source transformation tool for error fixing. CASCON (2013)
Tao Lei, Fan Long, Regina Barzilay, Martin C. Rinard
From Natural Language Specifications to Program Input Parsers. ACL (1) (2013)
Michael Carbin, Sasa Misailovic, Martin C. Rinard
Verifying quantitative reliability for programs that execute on unreliable hardware. OOPSLA (2013)
Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints. CoRR (2013)
Sasa Misailovic, Deokhwan Kim, Martin C. Rinard
Parallelizing Sequential Programs with Statistical Accuracy Tests. ACM Trans. Embed. Comput. Syst. 12 (2s) (2013)
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
Verified integrity properties for safe approximate program transformations. PEPM (2013)
Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. SAT (2012)
Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher
An introduction to data representation synthesis. Commun. ACM 55 (12) (2012)
Martin C. Rinard
Obtaining and reasoning about good enough software. DAC (2012)
Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard
Bolt: on-demand infinite loop escape in unmodified binaries. OOPSLA (2012)
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
Concurrent data representation synthesis. PLDI (2012)
Martin C. Rinard
Example-driven program synthesis for end-user programming: technical perspective. Commun. ACM 55 (8) (2012)
Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard
Randomized accuracy-aware program transformations for efficient approximate computations. POPL (2012)
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
Reasoning about Lock Placements. ESOP (2012)
Vijay Ganesh, Michael Carbin, Martin C. Rinard
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography CoRR (2012)
Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard
Dancing with uncertainty. RACES@SPLASH (2012)
Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard
Automatic input rectification. ICSE (2012)
Martin C. Rinard
What to do when things go wrong: recovery in complex (computer) systems. AOSD (Companion) (2012)
Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard
Word Equations with Length Constraints: What's Decidable? Haifa Verification Conference (2012)
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
Proving acceptability properties of relaxed nondeterministic approximate programs. PLDI (2012)
Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard
Dynamic knobs for responsive power-aware computing. ASPLOS (2011)
Sasa Misailovic, Daniel M. Roy, Martin C. Rinard
Probabilistically Accurate Program Transformations. SAS (2011)
Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller
Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports 1 (2) (2011)
Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard
Managing performance vs. accuracy trade-offs with loop perforation. SIGSOFT FSE (2011)
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin
ARBAC Policy for a Large Multi-National Bank CoRR (2011)
Deokhwan Kim, Martin C. Rinard
Verification of semantic commutativity conditions and inverse operations on linked data structures. PLDI (2011)
Martin C. Rinard
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. PEPM (2011)
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin
Automatic error finding in access-control policies. CCS (2011)
Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard
Detecting and Escaping Infinite Loops with Jolt. ECOOP (2011)

Martin C. Rinard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin C. Rinard