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

Adapting the DMTCP Plugin Model for Checkpointing of Hardware Emulation., , , , , , , and . CoRR, (2017)Explorations of the viability of ARM and Xeon Phi for physics processing, , , , , , , , , and 2 other author(s). (Jan 21, 2014)Efficient mining of max frequent patterns in a generalized environment., , and . CIKM, page 810-811. ACM, (2006)STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra Systems.. ISSAC, page 126-132. ACM, (1995)URDB: a universal reversible debugger based on decomposing debugging histories., , , and . PLOS@SOSP, page 8:1-8:5. ACM, (2011)Using Tadpoles to Reduce Memory and Communication Requirements for Exhaustive, Breadth-First Search Using Distributed Computers., and . SPAA, page 231-238. ACM, (1997)SymGrid: A Framework for Symbolic Computation on the Grid., , , , and . Euro-Par, volume 4641 of Lecture Notes in Computer Science, page 457-466. Springer, (2007)McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs., , and . Art Sci. Eng. Program., (June 2023)Collective Vector Clocks: Low-Overhead Transparent Checkpointing for MPI., and . CoRR, (2022)An Architecture for Exploiting Native User-Land Checkpoint-Restart to Improve Fuzzing., , and . CoRR, (2021)