papers
Publications (4)
cs.PL2016
Lightweight User-Space Record And Replay
Robert O'Callahan, Chris Jones, Nathan Froyd +3
cs.SE2016
Interprocedural Semantic Change-Impact Analysis using Equivalence Relations
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
cs.CR2014
Exploiting Social Navigation
Meital Ben Sinai, Nimrod Partush, Shir Yadid +1
cs.PL2017
Engineering Record And Replay For Deployability: Extended Technical Report
Robert O'Callahan, Chris Jones, Nathan Froyd +3