( en | de | ru )

 

Disambiguation of "Siegel, Stephen F."

Author of the publication

copydeleteadd this publication to your clipboard
A Memory-Efficient Data Redistribution Algorithm.

, and . PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 219-229. Springer, (2009)

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.

Stephen Wagner

Andreas Stephen

Stephen Stürzenbaum

Stephen Steffes

Stephen Riedel

 

Other publications of authors with the same name

Loop Invariant Symbolic Execution for Parallel Programs., and . VMCAI, volume 7148 of Lecture Notes in Computer Science, page 412-427. Springer, (2012)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)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)Towards Self-Verification in Finite Difference Code Generation., , , , , , , , and . CORRECTNESS@SC, page 42-49. ACM, (2017)What's Wrong with On-the-Fly Partial Order Reduction.. CAV (2), volume 11562 of Lecture Notes in Computer Science, page 478-495. Springer, (2019)Collective Assertions., and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 387-402. Springer, (2011)CIVL: the concurrency intermediate verification language., , , , , , , and . SC, page 61:1-61:12. ACM, (2015)Combining symbolic execution with model checking to verify parallel numerical programs., , , and . ACM Trans. Softw. Eng. Methodol., 17 (2): 10:1-10:34 (2008)A Memory-Efficient Data Redistribution Algorithm., and . PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 219-229. Springer, (2009)