A semantic matcher for computer algebra. - Gene Cooperman (SYMSAC, 1986)

Solving Permutation Problems Using Rewriting Systems. - Cynthia A. Brown; Gene Cooperman; Larry Finkelstein (ISSAC, 1988)

Fast Group Membership Using a Strong Generating Test for Permutation Groups. - Gene Cooperman; Larry Finkelstein; Paul Walton Purdom Jr. (Computers and Mathematics, 1989)

Reduction of Group Constructions to Point Stabilizers. - Gene Cooperman; Larry Finkelstein; Eugene M. Luks (ISSAC, 1989)

Applications of Cayley Graphs. - Gene Cooperman; Larry Finkelstein; N. Sarawagi (AAECC, 1990)

A Random Base Change Algorithm for Permutation Groups. - Gene Cooperman; Larry Finkelstein; N. Sarawagi (ISSAC, 1990)

Combinatorial Tools for Computational Group Theory. - Gene Cooperman; Larry Finkelstein (Groups And Computation, 1991)

Nearly Linear Time Algorithms for Permutation Groups with a Small Base. - László Babai; Gene Cooperman; Larry Finkelstein; Ákos Seress (ISSAC, 1991)

A Strong Generating Test and Short Presentation for Permutation Groups. - Gene Cooperman; Larry Finkelstein (J. Symb. Comput., 1991)

A Fast Cyclic Base Change for Permutation Groups. - Gene Cooperman; Larry Finkelstein (ISSAC, 1992)

New Methods for Using Cayley Graphs in Interconnection Networks. - Gene Cooperman; Larry Finkelstein (Discret. Appl. Math., 1992)

Permutation routing via Cayley graphs with an example for bus interconnection networks. - Gene Cooperman; Larry Finkelstein (Interconnection Networks and Mapping and Scheduling Parallel Computations, 1994)

Constructing Permutation Representations for Large Matrix Groups. - Gene Cooperman; Larry Finkelstein; Bryant W. York; Michael Tselman (ISSAC, 1994)

A Random Base Change Algorithm for Permutation Groups. - Gene Cooperman; Larry Finkelstein (J. Symb. Comput., 1994)

GAP/MPI: Facilitating parallelism. - Gene Cooperman (Groups and Computation, 1995)

Constructive recognition of a black box group isomorphic to GL(n,2). - Gene Cooperman; Larry Finkelstein; Steve Linton (Groups and Computation, 1995)

STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra Systems. - Gene Cooperman (ISSAC, 1995)

Computing with Matrix Groups Using Permutation Representations. - Gene Cooperman; Larry Finkelstein; Michael Tselman (ISSAC, 1995)

Fast Monte Carlo Algorithms for Permutation Groups. - László Babai; Gene Cooperman; Larry Finkelstein; Eugene M. Luks; Ákos Seress (J. Comput. Syst. Sci., 1995)

TOP-C: A Task-Oriented Parallel C Interface. - Gene Cooperman (HPDC, 1996)

New Sequential and Parallel Algorithms for Generating High Dimension Hecke Algebras Using the Condensation Technique. - Gene Cooperman; Michael Tselman (ISSAC, 1996)

Elementary algebra revisited: Randomized algorithms. - Gene Cooperman; George Havas (Randomization Methods in Algorithm Design, 1997)

Using Tadpoles to Reduce Memory and Communication Requirements for Exhaustive, Breadth-First Search Using Distributed Computers. - Gene Cooperman; Michael Tselman (SPAA, 1997)

Abstracts of the 4th East Coast Computer Algebra Day, Northeastern University, Boston, MA, May 3, 1997. - Gene Cooperman (SIGSAM Bull., 1997)

The Brauer Tree of the Principal 19-Block of the Sporadic Simple Thompson Group. - Gene Cooperman; Gerhard Hiss; Klaus Lux; Jürgen Müller 004 (Exp. Math., 1997)

Constructing Permutation Representations for Matrix Groups. - Gene Cooperman; Larry Finkelstein; Michael Tselman; Bryant W. York (J. Symb. Comput., 1997)

TOP-C: Task-Oriented Parallel C for Distributed and Shared Memory. - Gene Cooperman (Wide Area Networks and High Performance Computing, 1998)

Introduction: Distributed High Performance Computing and Gigabit Wide Area Networks. - Gene Cooperman; Eike Jessen; Gerhard O. Michler (Wide Area Networks and High Performance Computing, 1998)

GCD of Many Integers. - Gene Cooperman; Sandra Feisel; Joachim von zur Gathen; George Havas (COCOON, 1999)

Scalable parallel coset enumeration using bulk definition. - Gene Cooperman; Victor Grinberg (ISSAC, 2001)

Overcoming the memory wall in symbolic algebra: a faster permutation multiplication. - Gene Cooperman; Xiaoqin Ma (SIGSAM Bull., 2002)

Scalable Parallel Coset Enumeration: Bulk Definition and the Memory Wall. - Gene Cooperman; Victor Grinberg (J. Symb. Comput., 2002)

Marshalgen: A Package for Semi-Automatic Marshaling of Objects. - Gene Cooperman; Ning Ke; Huanmei Wu (International Conference on Internet Computing, 2003)

Memory-based and disk-based algorithms for very high degree permutation groups. - Gene Cooperman; Eric Robinson (ISSAC, 2003)

DPG: A Cache-Efficient Accelerator for Sorting and for Join Operators - Gene Cooperman; Xiaoqin Ma; Viet Ha Nguyen 003 (CoRR, 2003)

Using TOP-C and AMPIC to port large parallel applications to the Computational Grid. - Gene Cooperman; Henri Casanova; Jim Hayes; Thomas Witzel (Future Gener. Comput. Syst., 2003)

Marshalgen: Marshaling Objects in the Presence of Polymorphism. - Gene Cooperman; Viet Ha Nguyen 003 (International Conference on Internet Computing, 2004)

Static Performance Evaluation for Memory-Bound Computing: The MBRAM Model. - Gene Cooperman; Xiaoqin Ma; Viet Ha Nguyen 003 (PDPTA, 2004)

The TOP-C parallel model and symbolic algebra. - Gene Cooperman (SIGSAM Bull., 2004)

Fast Query Processing Using Cooperative CPU Caching for Index Structures - Xiaoqin Ma; Gene Cooperman (CoRR, 2004)

Adaptive Checkpointing for Master-Worker Style Parallelism. - Gene Cooperman; Jason Ansel; Xiaoqin Ma (CLUSTER, 2005)

Fast Query Processing by Distributing an Index over CPU Caches. - Xiaoqin Ma; Gene Cooperman (CLUSTER, 2005)

Close pair queries in moving object databases. - Panfeng Zhou; Donghui Zhang; Betty Salzberg; Gene Cooperman; George Kollios (GIS, 2005)

Transparent Adaptive Library-Based Checkpointing for Master-Worker Style Parallelism. - Gene Cooperman; Jason Ansel; Xiaoqin Ma (CCGRID, 2006)

Efficient mining of max frequent patterns in a generalized environment. - Daniel Kunkle; Donghui Zhang; Gene Cooperman (CIKM, 2006)

A parallel architecture for disk-based computing over the Baby Monster and other large finite simple groups. - Eric Robinson; Gene Cooperman (ISSAC, 2006)

Parallelization of Geant4 Using TOP-C and Marshalgen. - Gene Cooperman; Viet Ha Nguyen 003; Igor Malioutov (NCA, 2006)

Transparent User-Level Checkpointing for the Native Posix Thread Library for Linux. - Michael Rieker; Jason Ansel; Gene Cooperman (PDPTA, 2006)

SymGrid: A Framework for Symbolic Computation on the Grid. - Kevin Hammond; Abdallah Al Zain; Gene Cooperman; Dana Petcu; Philip W. Trinder (Euro-Par, 2007)

Twenty-six moves suffice for Rubik's cube. - Daniel Kunkle; Gene Cooperman (ISSAC, 2007)

A comparative analysis of parallel disk-based Methods for enumerating implicit graphs. - Eric Robinson; Daniel Kunkle; Gene Cooperman (PASCO, 2007)

A disk-based parallel implementation for direct condensation of large permutation modules. - Eric Robinson; Jürgen Müller 004; Gene Cooperman (ISSAC, 2007)

User-Level Socket-Based Checkpointing for Distributed and Parallel Computation - Jason Ansel; Michael Rieker; Gene Cooperman (CoRR, 2007)

Solving Rubik's Cube: disk is the new RAM. - Daniel Kunkle; Gene Cooperman (Commun. ACM, 2008)

Scalable Task-Oriented Parallelism for Structure Based Incomplete LU Factorization - Xin Dong 004; Gene Cooperman (CoRR, 2008)

Mining Frequent Generalized Itemsets and Generalized Association Rules Without Redundancy. - Daniel Kunkle; Donghui Zhang; Gene Cooperman (J. Comput. Sci. Technol., 2008)

DMTCP: Transparent checkpointing for cluster computations and the desktop. - Jason Ansel; Kapil Arya; Gene Cooperman (IPDPS, 2009)

Biased tadpoles: a fast algorithm for centralizers in large matrix groups. - Daniel Kunkle; Gene Cooperman (ISSAC, 2009)

Temporal Debugging using URDB - Ana Maria Visan; Artem Y. Polyakov; Praveen S. Solanki; Kapil Arya; Tyler Denniston; Gene Cooperman (CoRR, 2009)

Harnessing parallel disks to solve Rubik's cube. - Daniel Kunkle; Gene Cooperman (J. Symb. Comput., 2009)

Parallel disk-based computation for large, monolithic binary decision diagrams. - Daniel Kunkle; Vlad Slavici; Gene Cooperman (PASCO, 2010)

Multithreaded Geant4: Semi-automatic Transformation into Scalable Thread-Parallel Software. - Xin Dong 004; Gene Cooperman; John Apostolakis (Euro-Par (2), 2010)

Fast multiplication of large permutations for disk, flash memory and RAM. - Vlad Slavici; Xin Dong 004; Daniel Kunkle; Gene Cooperman (ISSAC, 2010)

A Bit-Compatible Parallelization for ILU(k) Preconditioning. - Xin Dong 004; Gene Cooperman (Euro-Par (2), 2011)

URDB: a universal reversible debugger based on decomposing debugging histories. - Ana Maria Visan; Kapil Arya; Gene Cooperman; Tyler Denniston (PLOS@SOSP, 2011)

Finding the Minimal DFA of Very Large Finite State Automata with an Application to Token Passing Networks - Vlad Slavici; Daniel Kunkle; Gene Cooperman; Stephen A. Linton (CoRR, 2011)

Towards Fault-Tolerant Energy-Efficient High Performance Computing in the Cloud. - Kurt L. Keville; Rohan Garg 001; David J. Yates; Kapil Arya; Gene Cooperman (CLUSTER, 2012)

Adapting Irregular Computations to Large CPU-GPU Clusters in the MADNESS Framework. - Vlad Slavici; Raghu Varier; Gene Cooperman; Robert J. Harrison (CLUSTER, 2012)

An efficient programming model for memory-intensive recursive algorithms using parallel disks. - Vlad Slavici; Daniel Kunkle; Gene Cooperman; Stephen A. Linton (ISSAC, 2012)

A Generic Checkpoint-Restart Mechanism for Virtual Machines - Rohan Garg 001; Komal Sodha; Gene Cooperman (CoRR, 2012)

FReD: Automated Debugging via Binary Search through a Process Lifetime - Kapil Arya; Tyler Denniston; Ana Maria Visan; Gene Cooperman (CoRR, 2012)

Checkpoint-restart for a network of virtual machines. - Rohan Garg 001; Komal Sodha; Zhengping Jin; Gene Cooperman (CLUSTER, 2013)

DMTCP: Bringing Checkpoint-Restart to Python. - Kapil Arya; Gene Cooperman (SciPy, 2013)

Invited Speakers. - J. Christopher Beck; Gene Cooperman (SOCS, 2013)

Semi-automated debugging via binary search through a process lifetime. - Kapil Arya; Tyler Denniston; Ana Maria Visan; Gene Cooperman (PLOS@SOSP, 2013)

Explorations of the Viability of ARM and Xeon Phi for Physics Processing. - David Abdurachmanov; Kapil Arya; Josh Bendavid; Tommaso Boccali; Gene Cooperman; Andrea Dotti; Peter Elmer; Giulio Eulisse; Francesco Giacomini; Christopher D. Jones; Matteo Manzali; Shahzad Muzaffar (CoRR, 2013)

Use of Checkpoint-Restart for Complex HEP Software on Traditional Architectures and Intel MIC. - Kapil Arya; Gene Cooperman; Andrea Dotti; Peter Elmer (CoRR, 2013)

Transparent Checkpoint-Restart over InfiniBand. - Jiajun Cao; Kapil Arya; Gene Cooperman (CoRR, 2013)

Transparent Checkpoint-Restart for Hardware-Accelerated 3D Graphics. - Samaneh Kazemi; Rohan Garg 001; Gene Cooperman (CoRR, 2013)

Transparent checkpoint-restart over infiniband. - Jiajun Cao; Gregory Kerr; Kapil Arya; Gene Cooperman (HPDC, 2014)

Checkpointing as a Service in Heterogeneous Cloud Environments. - Jiajun Cao; Matthieu Simonin; Gene Cooperman; Christine Morin (CCGRID, 2015)

Design and Implementation for Checkpointing of Distributed Resources Using Process-Level Virtualization. - Kapil Arya; Rohan Garg 001; Artem Y. Polyakov; Gene Cooperman (CLUSTER, 2016)

Negotiation Based Scheduling for an Efficient SaaS Provisioning in the Cloud. - Aya Omezzine; Narjès Bellamine Ben Saoud; Saïd Tazi 001; Gene Cooperman (FiCloud, 2016)

System-Level Scalable Checkpoint-Restart for Petascale Computing. - Jiajun Cao; Kapil Arya; Rohan Garg 001; L. Shawn Matott; Dhabaleswar K. Panda 001; Hari Subramoni; Jérôme Vienne; Gene Cooperman (ICPADS, 2016)

Smart scene management for IoT-based constrained devices using checkpointing. - Francois Aissaoui; Gene Cooperman; Thierry Monteil 001; Saïd Tazi 001 (NCA, 2016)

SLA and profit-aware SaaS provisioning through proactive renegotiation. - Aya Omezzine; Narjès Bellamine Ben Saoud; Saïd Tazi 001; Gene Cooperman (NCA, 2016)

System-Level Transparent Checkpointing for OpenSHMEM. - Rohan Garg 001; Jérôme Vienne; Gene Cooperman (OpenSHMEM, 2016)

Extended Batch Sessions and Three-Phase Debugging: Using DMTCP to Enhance the Batch Environment. - Rohan Garg 001; Jiajun Cao; Kapil Arya; Gene Cooperman; Jérôme Vienne (XSEDE, 2016)

Intelligent Checkpointing Strategies for IoT System Management. - Francois Aissaoui; Gene Cooperman; Thierry Monteil 001; Saïd Tazi 001 (FiCloud, 2017)

Adapting the DMTCP Plugin Model for Checkpointing of Hardware Emulation. - Rohan Garg 001; Kapil Arya; Jiajun Cao; Gene Cooperman; Jeff Evans; Ankit Garg; Neil A. Rosenberg; K. Suresh (CoRR, 2017)

Transition Watchpoints: Teaching Old Debuggers New Tricks. - Kapil Arya; Tyler Denniston; Ariel Rabkin; Gene Cooperman (Art Sci. Eng. Program., 2017)

CRUM: Checkpoint-Restart Support for CUDA's Unified Memory. - Rohan Garg 001; Apoorve Mohan; Michael B. Sullivan 001; Gene Cooperman (CLUSTER, 2018)

Shiraz: Exploiting System Reliability and Application Resilience Characteristics to Improve Large Scale System Throughput. - Rohan Garg 001; Tirthak Patel; Gene Cooperman; Devesh Tiwari (DSN, 2018)

A Secure Cloud with Minimal Provider Trust. - Amin Mosayyebzadeh; Gerardo Ravago; Apoorve Mohan; Ali Raza 003; Sahil Tikale; Nabil Schear; Trammell Hudson; Jason Hennessey; Naved Ansari; Kyle Hogan; Charles Munson; Larry Rudolph; et al. (HotCloud, 2018)

M2: Malleable Metal as a Service. - Apoorve Mohan; Ata Turk; Ravi S. Gudimetla; Sahil Tikale; Jason Hennessey; Emine Ugur Kaynar; Gene Cooperman; Peter Desnoyers; Orran Krieger (IC2E, 2018)

MANA for MPI: MPI-Agnostic Network-Agnostic Transparent Checkpointing. - Rohan Garg 001; Gregory Price; Gene Cooperman (HPDC, 2019)

Supporting Security Sensitive Tenants in a Bare-Metal Cloud. - Amin Mosayyebzadeh; Apoorve Mohan; Sahil Tikale; Mania Abdi; Nabil Schear; Trammell Hudson; Charles Munson; Larry Rudolph; Gene Cooperman; Peter Desnoyers; Orran Krieger (USENIX ATC, 2019)

Adaptive and concurrent negotiation for an efficient cloud provisioning. - Aya Omezzine; Narjès Bellamine Ben Saoud; Saïd Tazi 001; Gene Cooperman (Int. J. High Perform. Comput. Netw., 2019)

Job migration in HPC clusters by means of checkpoint/restart. - Manuel Aurelio Rodriguez Pascual; Jiajun Cao; José A. Moríñigo; Gene Cooperman; Rafael Mayo-García (J. Supercomput., 2019)

Towards Non-Intrusive Software Introspection and Beyond. - Apoorve Mohan; Shripad Nadgowda; Bhautik Pipaliya; Sona Varma; Sahil Suneja; Canturk Isci; Gene Cooperman; Peter Desnoyers; Orran Krieger; Ata Turk (IC2E, 2020)

Docker Container Deployment in Distributed Fog Infrastructures with Checkpoint/Restart. - Arif Ahmed 001; Apoorve Mohan; Gene Cooperman; Guillaume Pierre (MobileCloud, 2020)

CRAC: checkpoint-restart architecture for CUDA with streams and UVM. - Twinkle Jain; Gene Cooperman (SC, 2020)

Towards a generic multilayer negotiation framework for efficient application provisioning in the cloud. - Aya Omezzine; Narjès Bellamine Ben Saoud; Saïd Tazi 001; Gene Cooperman (Concurr. Comput. Pract. Exp., 2020)

Sthread: In-Vivo Model Checking of Multithreaded Programs. - Gene Cooperman; Martin Quinson (Art Sci. Eng. Program., 2020)

MANA-2.0: A Future-Proof Design for Transparent Checkpointing of MPI at Scale. - Yao Xu; Zhengji Zhao; Rohan Garg 001; Harsh Khetawat; Rebecca Hartman-Baker; Gene Cooperman (SC (Workshops), 2021)

Improving scalability and reliability of MPI-agnostic transparent checkpointing for production workloads at NERSC. - Prashant Singh Chouhan; Harsh Khetawat; Neil Resnik; Twinkle Jain; Rohan Garg 001; Gene Cooperman; Rebecca Hartman-Baker; Zhengji Zhao (CoRR, 2021)

An Architecture for Exploiting Native User-Land Checkpoint-Restart to Improve Fuzzing. - Prashant Singh Chouhan; Gregory Price; Gene Cooperman (CoRR, 2021)

Collective Vector Clocks: Low-Overhead Transparent Checkpointing for MPI. - Yao Xu; Gene Cooperman (CoRR, 2022)

Implementation-Oblivious Transparent Checkpoint-Restart for MPI. - Yao Xu; Leonid Belyaev; Twinkle Jain; Derek Schafer; Anthony Skjellum; Gene Cooperman (SC Workshops, 2023)

Enabling Practical Transparent Checkpointing for MPI: A Topological Sort Approach. - Yao Xu; Gene Cooperman (CLUSTER, 2024)

WarmSwap: Sharing Dependencies for Accelerating Cold Starts in Serverless Functions. - Rui Li; Devesh Tiwari; Gene Cooperman (CoRR, 2024)

McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs. - Maxwell Pirtle; Luka Jovanovic; Gene Cooperman (Art Sci. Eng. Program., 2024)

The Case for ABI Interoperability in a Fault Tolerant MPI. - Yao Xu; Grace Nansamba; Anthony Skjellum; Gene Cooperman (IPDPS (Workshops), 2025)

BootSeer: Analyzing and Mitigating Initialization Bottlenecks in Large-Scale LLM Training. - Rui Li; Xiaoyun Zhi; Jinxin Chi; Menghan Yu; Lixin Huang; Jia Zhu; Weilun Zhang; Xing Ma; Wenjia Liu; Zhicheng Zhu; Daowen Luo; Zuquan Song; et al. (CoRR, 2025)