Author of the publication

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

Overcoming Asynchrony: An Analysis of the Effects of Asynchronous Noise on Nearest Neighbor Synchronizations., , and . EASC, volume 8759 of Lecture Notes in Computer Science, page 100-109. Springer, (2014)Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution., , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 198-212. Springer, (2013)Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges., and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 160-178. Springer, (2018)Loop Invariant Symbolic Execution for Parallel Programs., and . VMCAI, volume 7148 of Lecture Notes in Computer Science, page 412-427. Springer, (2012)Optimizing Memory Constrained Environments in Monte Carlo Nuclear Reactor Simulations., , and . Int. J. High Perform. Comput. Appl., 27 (2): 210-216 (2013)Connecting and Serving the Software Engineering Community., , , , , , , , , and 3 other author(s). IEEE Trans. Software Eng., 42 (3): 203-205 (2016)Towards Self-Verification in Finite Difference Code Generation., , , , , , , , and . CORRECTNESS@SC, page 42-49. ACM, (2017)A Memory-Efficient Data Redistribution Algorithm., and . PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 219-229. Springer, (2009)Verification of Halting Properties for MPI Programs Using Nonblocking Operations., and . PVM/MPI, volume 4757 of Lecture Notes in Computer Science, page 326-334. Springer, (2007)Transparent partial order reduction.. Formal Methods Syst. Des., 40 (1): 1-19 (2012)