Author of the publication

Rely-guarantee references for refinement types over aliased mutable data.

, , and . PLDI, page 73-84. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dynamically Discovering Likely Program Invariants to Support Program Evolution., , , and . IEEE Trans. Software Eng., 27 (2): 99-123 (2001)Reducing Feedback Delay of Software Development Tools via Continuous Analysis., , , and . IEEE Trans. Software Eng., 41 (8): 745-763 (2015)Graphs induced by Gray codes., and . Discrete Mathematics, 257 (2-3): 585-598 (2002)Prioritizing Warning Categories by Analyzing Software History., and . MSR, page 27. IEEE Computer Society, (2007)Feedback-Directed Random Test Generation., , , and . ICSE, page 75-84. IEEE Computer Society, (2007)Automated Support for Program Refactoring Using Invariants., , , and . ICSM, page 736-743. IEEE Computer Society, (2001)Refactoring using type constraints., , , , , and . ACM Trans. Program. Lang. Syst., 33 (3): 9:1-9:47 (2011)Mining temporal invariants from partially ordered logs., , , , and . Operating Systems Review, 45 (3): 39-46 (2011)Finding Latent Code Errors via Machine Learning over Program Executions., and . ICSE, page 480-490. IEEE Computer Society, (2004)ICSE Workshop on Dynamic Analysis (WODA 2003)., and . ICSE, page 795-796. IEEE Computer Society, (2003)