Martin Rinard

Identifiers

• name variant Martin Rinard 0.60 · backfill

Papers (20)

1. Nash Equilibria with Derangement Degree Probabilities cs.GT · 2026 · author #2
2. Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development cs.PL · 2026 · author #1
3. Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code cs.PL · 2026 · author #1
4. Compositional Inference Metaprogramming with Convergence Guarantees cs.PL · 2019 · author #3
5. Cimple: Instruction and Memory Level Parallelism cs.PL · 2018 · author #3
6. A Hardware Platform for Efficient Multi-Modal Sensing with Adaptive Approximation physics.app-ph · 2018 · author #2
7. Incremental Color Quantization for Color-Vision-Deficient Observers Using Mobile Gaming Data cs.HC · 2018 · author #3
8. Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings cs.LG · 2016 · author #2
9. An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems cs.SE · 2016 · author #2
10. (Un)Decidability Results for Word Equations with Length and Regular Expression Constraints cs.LO · 2013 · author #4
11. Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography cs.SE · 2012 · author #3
12. On Verifying Complex Properties using Symbolic Shape Analysis cs.PL · 2006 · author #5
13. On Algorithms and Complexity for Sets with Cardinality Constraints cs.PL · 2005 · author #3
14. On Spatial Conjunction as Second-Order Logic cs.LO · 2004 · author #2
15. On Generalized Records and Spatial Conjunction in Role Logic cs.PL · 2004 · author #2
16. On Role Logic cs.PL · 2004 · author #2
17. On the Theory of Structural Subtyping cs.LO · 2004 · author #2
18. Typestate Checking and Regular Graph Constraints cs.PL · 2004 · author #2
19. Roles Are Really Great! cs.PL · 2004 · author #3
20. The First-Order Theory of Sets with Cardinality Constraints is Decidable cs.LO · 2004 · author #2

Mentions

• 1306.6054 #4 · backfill · confidence 0.70 Martin Rinard
• 2605.27257 #2 · arxiv_oai · confidence 0.70 Martin Rinard
• 1202.0359 #3 · backfill · confidence 0.70 Martin Rinard

Frequent Coauthors

• Viktor Kuncak 9 shared papers
• Phillip Stanley-Marbell 2 shared papers
• Vijay Ganesh 2 shared papers
• Andreas Podelski 1 shared papers
• Armando Solar-Lezama 1 shared papers
• Bruno Marnette 1 shared papers
• Edan Orzech 1 shared papers
• Fan Long 1 shared papers
• Fereshte Khani 1 shared papers
• Haoran Xu 1 shared papers
• Jose Cambronero 1 shared papers
• Karen Zee 1 shared papers
• Mia Minnes 1 shared papers
• Michael Carbin 1 shared papers
• Patrick Lam 1 shared papers
• Percy Liang 1 shared papers
• Saman Amarasinghe 1 shared papers
• Shivam Handa 1 shared papers
• Thomas Wies 1 shared papers
• Vikash Mansinghka 1 shared papers