Gene Cooperman

According to our database, Gene Cooperman authored at least 112 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2024

McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs.

Maxwell Pirtle, Luka Jovanovic, Gene Cooperman

Art Sci. Eng. Program., 2024

WarmSwap: Sharing Dependencies for Accelerating Cold Starts in Serverless Functions.

Rui Li, Devesh Tiwari, Gene Cooperman

CoRR, 2024

Enabling Practical Transparent Checkpointing for MPI: A Topological Sort Approach.

Yao Xu, Gene Cooperman

Proceedings of the IEEE International Conference on Cluster Computing, 2024

2023

Implementation-Oblivious Transparent Checkpoint-Restart for MPI.

Yao Xu, Leonid Belyaev, Twinkle Jain, Derek Schafer, Anthony Skjellum, Gene Cooperman

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

2022

Collective Vector Clocks: Low-Overhead Transparent Checkpointing for MPI.

Yao Xu, Gene Cooperman

CoRR, 2022

2021

An Architecture for Exploiting Native User-Land Checkpoint-Restart to Improve Fuzzing.

Prashant Singh Chouhan, Gregory Price, Gene Cooperman

CoRR, 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, Gene Cooperman, Rebecca Hartman-Baker, Zhengji Zhao

CoRR, 2021

MANA-2.0: A Future-Proof Design for Transparent Checkpointing of MPI at Scale.

Yao Xu, Zhengji Zhao, Rohan Garg, Harsh Khetawat, Rebecca Hartman-Baker, Gene Cooperman

Proceedings of the 2021 SC Workshops Supplementary Proceedings, 2021

2020

Sthread: In-Vivo Model Checking of Multithreaded Programs.

Gene Cooperman, Martin Quinson

Art Sci. Eng. Program., 2020

Towards a generic multilayer negotiation framework for efficient application provisioning in the cloud.

Aya Omezzine, Narjès Bellamine Ben Saoud, Saïd Tazi, Gene Cooperman

Concurr. Comput. Pract. Exp., 2020

CRAC: checkpoint-restart architecture for CUDA with streams and UVM.

Twinkle Jain, Gene Cooperman

Proceedings of the International Conference for High Performance Computing, 2020

Docker Container Deployment in Distributed Fog Infrastructures with Checkpoint/Restart.

Arif Ahmed, Apoorve Mohan, Gene Cooperman, Guillaume Pierre

Proceedings of the 8th IEEE International Conference on Mobile Cloud Computing, 2020

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

Proceedings of the 2020 IEEE International Conference on Cloud Engineering, 2020

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

Adaptive and concurrent negotiation for an efficient cloud provisioning.

Aya Omezzine, Narjès Bellamine Ben Saoud, Saïd Tazi, Gene Cooperman

Int. J. High Perform. Comput. Netw., 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

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

MANA for MPI: MPI-Agnostic Network-Agnostic Transparent Checkpointing.

Rohan Garg, Gregory Price, Gene Cooperman

Proceedings of the 28th International Symposium on High-Performance Parallel and Distributed Computing, 2019

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

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

A Secure Cloud with Minimal Provider Trust.

Amin Mosayyebzadeh, Gerardo Ravago, Apoorve Mohan, Ali Raza, Sahil Tikale, Nabil Schear, Trammell Hudson, Jason Hennessey, Naved Ansari, Kyle Hogan, Charles Munson, Larry Rudolph, Gene Cooperman, Peter Desnoyers, Orran Krieger

Proceedings of the 10th USENIX Workshop on Hot Topics in Cloud Computing, 2018

Shiraz: Exploiting System Reliability and Application Resilience Characteristics to Improve Large Scale System Throughput.

Rohan Garg, Tirthak Patel, Gene Cooperman, Devesh Tiwari

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

CRUM: Checkpoint-Restart Support for CUDA's Unified Memory.

Rohan Garg, Apoorve Mohan, Michael B. Sullivan, Gene Cooperman

Proceedings of the IEEE International Conference on Cluster Computing, 2018

2017

Transition Watchpoints: Teaching Old Debuggers New Tricks.

Kapil Arya, Tyler Denniston, Ariel Rabkin, Gene Cooperman

Art Sci. Eng. Program., 2017

Adapting the DMTCP Plugin Model for Checkpointing of Hardware Emulation.

Rohan Garg, Kapil Arya, Jiajun Cao, Gene Cooperman, Jeff Evans, Ankit Garg, Neil A. Rosenberg, K. Suresh

CoRR, 2017

Intelligent Checkpointing Strategies for IoT System Management.

Francois Aissaoui, Gene Cooperman, Thierry Monteil, Saïd Tazi

Proceedings of the 5th IEEE International Conference on Future Internet of Things and Cloud, 2017

2016

Extended Batch Sessions and Three-Phase Debugging: Using DMTCP to Enhance the Batch Environment.

Rohan Garg, Jiajun Cao, Kapil Arya, Gene Cooperman, Jérôme Vienne

Proceedings of the XSEDE16 Conference on Diversity, 2016

System-Level Transparent Checkpointing for OpenSHMEM.

Rohan Garg, Jérôme Vienne, Gene Cooperman

Proceedings of the OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments, 2016

SLA and profit-aware SaaS provisioning through proactive renegotiation.

Aya Omezzine, Narjès Bellamine Ben Saoud, Saïd Tazi, Gene Cooperman

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Smart scene management for IoT-based constrained devices using checkpointing.

Francois Aissaoui, Gene Cooperman, Thierry Monteil, Saïd Tazi

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

System-Level Scalable Checkpoint-Restart for Petascale Computing.

Jiajun Cao, Kapil Arya, Rohan Garg, L. Shawn Matott, Dhabaleswar K. Panda, Hari Subramoni, Jérôme Vienne, Gene Cooperman

Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

Negotiation Based Scheduling for an Efficient SaaS Provisioning in the Cloud.

Aya Omezzine, Narjès Bellamine Ben Saoud, Saïd Tazi, Gene Cooperman

Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud, 2016

Design and Implementation for Checkpointing of Distributed Resources Using Process-Level Virtualization.

Kapil Arya, Rohan Garg, Artem Y. Polyakov, Gene Cooperman

Proceedings of the 2016 IEEE International Conference on Cluster Computing, 2016

2015

Checkpointing as a Service in Heterogeneous Cloud Environments.

Jiajun Cao, Matthieu Simonin, Gene Cooperman, Christine Morin

Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

2014

Transparent checkpoint-restart over infiniband.

Jiajun Cao, Gregory Kerr, Kapil Arya, Gene Cooperman

Proceedings of the 23rd International Symposium on High-Performance Parallel and Distributed Computing, 2014

2013

Transparent Checkpoint-Restart for Hardware-Accelerated 3D Graphics.

Samaneh Kazemi, Rohan Garg, Gene Cooperman

CoRR, 2013

Transparent Checkpoint-Restart over InfiniBand.

Jiajun Cao, Kapil Arya, Gene Cooperman

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

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

Semi-automated debugging via binary search through a process lifetime.

Kapil Arya, Tyler Denniston, Ana Maria Visan, Gene Cooperman

Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

Invited Speakers.

J. Christopher Beck, Gene Cooperman

Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

DMTCP: Bringing Checkpoint-Restart to Python.

Kapil Arya, Gene Cooperman

Proceedings of the 12th Python in Science Conference, 2013

Checkpoint-restart for a network of virtual machines.

Rohan Garg, Komal Sodha, Zhengping Jin, Gene Cooperman

Proceedings of the 2013 IEEE International Conference on Cluster Computing, 2013

2012

FReD: Automated Debugging via Binary Search through a Process Lifetime

Kapil Arya, Tyler Denniston, Ana Maria Visan, Gene Cooperman

CoRR, 2012

A Generic Checkpoint-Restart Mechanism for Virtual Machines

Rohan Garg, Komal Sodha, Gene Cooperman

CoRR, 2012

An efficient programming model for memory-intensive recursive algorithms using parallel disks.

Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen A. Linton

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Adapting Irregular Computations to Large CPU-GPU Clusters in the MADNESS Framework.

Vlad Slavici, Raghu Varier, Gene Cooperman, Robert J. Harrison

Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012

Towards Fault-Tolerant Energy-Efficient High Performance Computing in the Cloud.

Kurt L. Keville, Rohan Garg, David J. Yates, Kapil Arya, Gene Cooperman

Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012

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

URDB: a universal reversible debugger based on decomposing debugging histories.

Ana Maria Visan, Kapil Arya, Gene Cooperman, Tyler Denniston

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

A Bit-Compatible Parallelization for ILU(k) Preconditioning.

Xin Dong, Gene Cooperman

Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

2010

Fast multiplication of large permutations for disk, flash memory and RAM.

Vlad Slavici, Xin Dong, Daniel Kunkle, Gene Cooperman

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Multithreaded Geant4: Semi-automatic Transformation into Scalable Thread-Parallel Software.

Xin Dong, Gene Cooperman, John Apostolakis

Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

Parallel disk-based computation for large, monolithic binary decision diagrams.

Daniel Kunkle, Vlad Slavici, Gene Cooperman

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2009

Harnessing parallel disks to solve Rubik's cube.

Daniel Kunkle, Gene Cooperman

J. Symb. Comput., 2009

Temporal Debugging using URDB

Ana Maria Visan, Artem Y. Polyakov, Praveen S. Solanki, Kapil Arya, Tyler Denniston, Gene Cooperman

CoRR, 2009

Biased tadpoles: a fast algorithm for centralizers in large matrix groups.

Daniel Kunkle, Gene Cooperman

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

DMTCP: Transparent checkpointing for cluster computations and the desktop.

Jason Ansel, Kapil Arya, Gene Cooperman

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2008

Mining Frequent Generalized Itemsets and Generalized Association Rules Without Redundancy.

Daniel Kunkle, Donghui Zhang, Gene Cooperman

J. Comput. Sci. Technol., 2008

Scalable Task-Oriented Parallelism for Structure Based Incomplete LU Factorization

Xin Dong, Gene Cooperman

CoRR, 2008

Solving Rubik's Cube: disk is the new RAM.

Daniel Kunkle, Gene Cooperman

Commun. ACM, 2008

2007

User-Level Socket-Based Checkpointing for Distributed and Parallel Computation

Jason Ansel, Michael Rieker, Gene Cooperman

CoRR, 2007

A disk-based parallel implementation for direct condensation of large permutation modules.

Eric Robinson, Jürgen Müller, Gene Cooperman

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

A comparative analysis of parallel disk-based Methods for enumerating implicit graphs.

Eric Robinson, Daniel Kunkle, Gene Cooperman

Proceedings of the Parallel Symbolic Computation, 2007

Twenty-six moves suffice for Rubik's cube.

Daniel Kunkle, Gene Cooperman

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

SymGrid: A Framework for Symbolic Computation on the Grid.

Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder

Proceedings of the Euro-Par 2007, 2007

2006

Transparent User-Level Checkpointing for the Native Posix Thread Library for Linux.

Michael Rieker, Jason Ansel, Gene Cooperman

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

Parallelization of Geant4 Using TOP-C and Marshalgen.

Gene Cooperman, Viet Ha Nguyen, Igor Malioutov

Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006

A parallel architecture for disk-based computing over the Baby Monster and other large finite simple groups.

Eric Robinson, Gene Cooperman

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

Efficient mining of max frequent patterns in a generalized environment.

Daniel Kunkle, Donghui Zhang, Gene Cooperman

Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, 2006

Transparent Adaptive Library-Based Checkpointing for Master-Worker Style Parallelism.

Gene Cooperman, Jason Ansel, Xiaoqin Ma

Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

2005

Close pair queries in moving object databases.

Panfeng Zhou, Donghui Zhang, Betty Salzberg, Gene Cooperman, George Kollios

Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005

Fast Query Processing by Distributing an Index over CPU Caches.

Xiaoqin Ma, Gene Cooperman

Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005

Adaptive Checkpointing for Master-Worker Style Parallelism.

Gene Cooperman, Jason Ansel, Xiaoqin Ma

Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005

2004

Fast Query Processing Using Cooperative CPU Caching for Index Structures

Xiaoqin Ma, Gene Cooperman

CoRR, 2004

The TOP-C parallel model and symbolic algebra.

Gene Cooperman

SIGSAM Bull., 2004

Static Performance Evaluation for Memory-Bound Computing: The MBRAM Model.

Gene Cooperman, Xiaoqin Ma, Viet Ha Nguyen

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

Marshalgen: Marshaling Objects in the Presence of Polymorphism.

Gene Cooperman, Viet Ha Nguyen

Proceedings of the International Conference on Internet Computing, 2004

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

DPG: A Cache-Efficient Accelerator for Sorting and for Join Operators

Gene Cooperman, Xiaoqin Ma, Viet Ha Nguyen

CoRR, 2003

Memory-based and disk-based algorithms for very high degree permutation groups.

Gene Cooperman, Eric Robinson

Proceedings of the Symbolic and Algebraic Computation, 2003

Marshalgen: A Package for Semi-Automatic Marshaling of Objects.

Gene Cooperman, Ning Ke, Huanmei Wu

Proceedings of the International Conference on Internet Computing, 2003

2002

Scalable Parallel Coset Enumeration: Bulk Definition and the Memory Wall.

Gene Cooperman, Victor Grinberg

J. Symb. Comput., 2002

Overcoming the memory wall in symbolic algebra: a faster permutation multiplication.

Gene Cooperman, Xiaoqin Ma

SIGSAM Bull., 2002

2001

Scalable parallel coset enumeration using bulk definition.

Gene Cooperman, Victor Grinberg

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

1999

GCD of Many Integers.

Gene Cooperman, Sandra Feisel, Joachim von zur Gathen, George Havas

Proceedings of the Computing and Combinatorics, 5th Annual International Conference, 1999

1998

Introduction: Distributed High Performance Computing and Gigabit Wide Area Networks.

Gene Cooperman, Eike Jessen, Gerhard O. Michler

Proceedings of the Workshop on Wide Area Networks and High Performance Computing, 1998

TOP-C: Task-Oriented Parallel C for Distributed and Shared Memory.

Gene Cooperman

Proceedings of the Workshop on Wide Area Networks and High Performance Computing, 1998

1997

Constructing Permutation Representations for Matrix Groups.

Gene Cooperman, Larry Finkelstein, Michael Tselman, Bryant W. York

J. Symb. Comput., 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

Exp. Math., 1997

Abstracts of the 4th East Coast Computer Algebra Day, Northeastern University, Boston, MA, May 3, 1997.

Gene Cooperman

SIGSAM Bull., 1997

Using Tadpoles to Reduce Memory and Communication Requirements for Exhaustive, Breadth-First Search Using Distributed Computers.

Gene Cooperman, Michael Tselman

Proceedings of the 9th Annual ACM Symposium on Parallel Algorithms and Architectures, 1997

Elementary algebra revisited: Randomized algorithms.

Gene Cooperman, George Havas

Proceedings of the Randomization Methods in Algorithm Design, 1997

1996

New Sequential and Parallel Algorithms for Generating High Dimension Hecke Algebras Using the Condensation Technique.

Gene Cooperman, Michael Tselman

Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, 1996

TOP-C: A Task-Oriented Parallel C Interface.

Gene Cooperman

Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

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

Computing with Matrix Groups Using Permutation Representations.

Gene Cooperman, Larry Finkelstein, Michael Tselman

Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, 1995

STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra Systems.

Gene Cooperman

Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, 1995

Constructive recognition of a black box group isomorphic to GL(n,2).

Gene Cooperman, Larry Finkelstein, Steve Linton

Proceedings of the Groups and Computation, 1995

GAP/MPI: Facilitating parallelism.

Gene Cooperman

Proceedings of the Groups and Computation, 1995

1994

A Random Base Change Algorithm for Permutation Groups.

Gene Cooperman, Larry Finkelstein

J. Symb. Comput., 1994

Constructing Permutation Representations for Large Matrix Groups.

Gene Cooperman, Larry Finkelstein, Bryant W. York, Michael Tselman

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

Permutation routing via Cayley graphs with an example for bus interconnection networks.

Gene Cooperman, Larry Finkelstein

Proceedings of the Workshop on Interconnection Networks and Mapping and Scheduling Parallel Computations, 1994

1992

New Methods for Using Cayley Graphs in Interconnection Networks.

Gene Cooperman, Larry Finkelstein

Discret. Appl. Math., 1992

A Fast Cyclic Base Change for Permutation Groups.

Gene Cooperman, Larry Finkelstein

Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

1991

A Strong Generating Test and Short Presentation for Permutation Groups.

Gene Cooperman, Larry Finkelstein

J. Symb. Comput., 1991

Nearly Linear Time Algorithms for Permutation Groups with a Small Base.

László Babai, Gene Cooperman, Larry Finkelstein, Ákos Seress

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

Combinatorial Tools for Computational Group Theory.

Gene Cooperman, Larry Finkelstein

Proceedings of the Groups And Computation, 1991

1990

A Random Base Change Algorithm for Permutation Groups.

Gene Cooperman, Larry Finkelstein, N. Sarawagi

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

Applications of Cayley Graphs.

Gene Cooperman, Larry Finkelstein, N. Sarawagi

Proceedings of the Applied Algebra, 1990

1989

Reduction of Group Constructions to Point Stabilizers.

Gene Cooperman, Larry Finkelstein, Eugene M. Luks

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

Fast Group Membership Using a Strong Generating Test for Permutation Groups.

Gene Cooperman, Larry Finkelstein, Paul Walton Purdom Jr.

Proceedings of the Computers and Mathematics, 1989

1988

Solving Permutation Problems Using Rewriting Systems.

Cynthia A. Brown, Gene Cooperman, Larry Finkelstein

Proceedings of the Symbolic and Algebraic Computation, 1988

1986

A semantic matcher for computer algebra.

Gene Cooperman

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986