Martin Rinard

According to our database¹, Martin Rinard authored at least 1 paper in 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

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

Bibliography

2026

Lemma Discovery in Agentic Program Verification.

[BibT_eX]

[DOI]

CoRR, March, 2026

Martin Rinard

Awards

ACM Fellow

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...