Martin Rinard
According to our database1,
Martin Rinard authored at least 3 papers
in 2026.
Collaborative distances:
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 OtherLinks
On csauthors.net:
Bibliography
2026
Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development.
CoRR, May, 2026
Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code.
CoRR, May, 2026