Below is the traditional chronological listing of papers published.
-
"Enabling Practical Transparent Checkpointing for MPI: A Topological
Sort Approach", Yao Xu and Gene Cooperman,
IEEE International Conference on Cluster Computing (Cluster'24), 2024, to appear, Sept., 24-27, 2024
-
"Implementation-Oblivious Transparent Checkpoint-Restart for MPI",
Yao Xu, Leonid Belyaev, Twinkle Jain, Derek Schafer, Anthony Skjellum,
Gene Cooperman,
(2023 SC Workshops Supplementary Proceedings (SC-W'23);
SuperCheck-SC23), pp. 1738–1747 (technical report at
arxiv.org)
-
"McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs",
Maxwell Pirtle, Luka Jovanovic, Gene Cooperman,
The Art, Science, and Engineering of
Programming 8(1),
Jun. 15, 2024, pp. 1:1--1:32,
https://programming-journal.org/2024/8/1/
-
"Debugging MPI Implementations via Reduction-to-Primitives",
Gene Cooperman, Dahong Li, Zhengji Zhao,
Symposium on Checkpointing for Supercomputing (SuperCheck'SC-22;
2022 SC Workshops Supplementary Proceedings (SCWS)),
pp.~11-18,
at pdf
and
local copy (pdf)
-
"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,
Symposium on Checkpointing for Supercomputing (SuperCheck'SC-21;
2021 SC Workshops Supplementary Proceedings (SCWS)),
pp. 68--78,
pdf and at
arxiv.org
and
local copy
-
"Improving Scalability and Reliability of MPI-Agnostic Transparent
Checkpointing for Production Workloads at NERSC" (extended abstract),
Prashant Singh Chouhan, Harsh Khetawat, Neil Resnik, Jain Twinkle,
Rohan Garg, Gene Cooperman, Rebecca Hartman-Baker, and Zhengji Zhao,
First International Symposium on Checkpointing for Supercomputing (SuperCheck'21),
4 pages,
pdf and at
arxiv.org,
(from
conference web page)
-
"CRAC: Checkpoint-Restart Architecture for CUDA with Streams and UVM",
Twinkle Jain and Gene Cooperman,
Proceedings of the International Conference for High
Performance Computing, Networking, Storage and Analysis
(SC'20),
pp. 1083--1097, Nov., 2020, IEEE Computer Society ,
pdf,
(and earlier technical report of same name at
https://arxiv.org/abs/2008.10596)
-
"Deploying Checkpoint/Restart for Production Workloads at NERSC",
Zhengji Zhao, Rebecca Hartman-Baker, Gene Cooperman,
Proceedings of the International Conference for High
Performance Computing, Networking, Storage and Analysis
(State of the Practice at
https://sc20.supercomputing.org/proceedings/sotp/)
(SC'20), Nov., 2020, 3 pages, IEEE Computer Society,
pdf
-
"Docker Container Deployment in Distributed Infrastructures with
Checkpoint/Restart Fog",
Arif Ahmed, Apoorve Mohan, Gene Cooperman, Guillaume Pierre,
Proc. of 8th IEEE Int. Conf. on Mobile Cloud Computing,
Services, and Engineering (MobileCloud'20), pp. 55--62,
Aug., 2020, IEEE Press
(pdf)
(and
HAL Technical Report)
-
"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,
Int. Conf. on Cloud Engineering {IC2E'20},
pp. 173--184, Apr., 2020, IEEE Press
-
"Sthread: In-Vivo Model Checking of Multithreaded Programs",
Gene Cooperman and Martin Quinson,
The Art, Science, and Engineering of Programming,
vol. 4, issue 3, article 13, 26 pages, Feb., 2020,
http://programming-journal.org/2017/1/16/
and
https://arxiv.org/pdf/2002.06223v1.pdf
-
"Job Migration in HPC Clusters by Means of Checkpoint/Restart",
Manuel Rodríguez-Pascual, Jiajun Cao, José A. Moríñigo,
Gene Cooperman, Rafael Mayo-García,
The Journal of Supercomputing 75(10),
pp. 6517--6541, 2019, Springer;
Online April 23, 2019; in print Oct., 2019;
https://link.springer.com/article/10.1007/s11227-019-02857-y,
or pdf
-
"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 Annual Technical Conference (ATC'19),
Usenix Association, pp. 587--602, July, 2019,
(.pdf,
slides and video)
-
"MANA for MPI: MPI-Agnostic Network-Agnostic Transparent Checkpointing",
Rohan Garg, Gregory Price, and Gene Cooperman,
Proc. of 28th Int. Symp. on High Performance Parallel and Distributed Computing (HPDC'19),
Phoenix, AZ, USA, ACM, pp. 49--60, June, 2019
(.pdf),
(and tech. report at
https://arxiv.org/abs/1904.12595)
-
"Functional Classification of Protein Structures
by Local Structure Matching in Graph Representation",
Caitlyn L. Mills, Rohan Garg, Joslynn S. Lee, Liang Tian,
Alexandru Suciu, Gene Cooperman, Penny J. Beuning, Mary Jo Ondrechen,
Protein Science 27(6),
pp. 1125--1135,
2018,
https://www.ncbi.nlm.nih.gov/pubmed/29604149
-
"CRUM: Checkpoint-Restart Support for CUDA's Unified Memory",
Rohan Garg, Apoorve Mohan, Michael Sullivan, Gene Cooperman,
Proc. of IEEE Int. Conf. on Cluster Computing (Cluster'18),
pp. 302--313, 2018 (.pdf),
(and tech. report at
https://arxiv.org/abs/1808.00117)
-
"Shiraz: Exploiting System Reliability and Application Resilience
Characteristics to Improve Large Scale System Throughput",
Rohan Garg, Tirthak Patel, Gene Cooperman, Devesh Tiwari,
Proc. of IEEE/IFIP International Conference on Dependable
Systems and Networks (DSN'18), pp. 83--94, 2018
(.pdf)
-
"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,
Proc. of HotCloud'18, 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, and
Orran Krieger,
IEEE Int. Conf. on Cloud Engineering (IC2E'18), Orlando, FL,
pp. 61--71 Apr. 17--20, 2018.
(technical report of same name at
http://arxiv.org/abs/1801.00540)
-
"Transparently Checkpointing Software Test Benches to Improve Productivity
of SoC Verification in an Emulation Environment",
Ankit Garg, Suresh Krishnamurthy,
Gene Cooperman, Rohan Garg, and Jeff Evans,
2018 Design and Verification Conference and Exhibition
(DVCON-US 2018),
San Jose, CA, Feb. 26 -- Mar. 1, 2018; DVCON-US 2018,
paper (odf)
and slides (pdf)
(also as local pdf)
-
"Expedite any Simulation with DMTCP and Save Decades of Computation",
Balaji R, Sathish Kumar Sugumara, Gene Cooperman, Rohan Garg,
and Jiajun Cao,
2017 Design and Verification Conference and Exhibition
(DVCON-India 2017),
Bengalauru, India, Sept. 15, 2017; DVCON-India 2017,
http://events.dvcon.org/events/proceedings.aspx?id=241--13
(or local pdf)
(IMPORTANT: Browser must allow popups, to view paper at
DVCon site.)
-
"Intelligent Checkpointing Strategies for IoT System Management",
François Aïssaoui, Gene Cooperman, Thierry Monteil, and
Saïd Tazi,
5th Int. Conf. on Future Internet of Things and Cloud
(FiCloud'17),
IEEE Press,
pp. 305--312, Aug., 2017,
http://ieeexplore.ieee.org/document/8114497/
-
"Towards a Generic Multilayer Negotiation Framework for Efficient
Application Provisioning in the Cloud",
Aya Omezzine, Narjès Bellamine Ben Saoud, Saïd Tazi
and Gene Cooperman,
Concurrency and Computation: Practice and Experience,
Wiley Online Library,
May 31, 2017;
print version on 10 Jan., 2020;
http://onlinelibrary.wiley.com/doi/10.1002/cpe.4182/abstract
-
"Transition Watchpoints: Teaching Old Debuggers New Tricks",
Kapil Arya, Tyler Denniston, Ariel Rabkin and Gene Cooperman,
The Art, Science, and Engineering of Programming,
vol. 1, issue 2, article 16, 28 pages, 2017,
http://programming-journal.org/2017/1/16/
and
https://arxiv.org/pdf/1703.10864v1.pdf
-
"System-level Scalable Checkpoint-Restart for Petascale Computing",
Jiajun Cao, Kapil Arya, Rohan Garg, Shawn Matott, Dhabaleswar K. Panda,
Hari Subramoni,
Jérôme Vienne and Gene Cooperman,
Proc. of 22nd IEEE Int. Conf. on Parallel and Distributed Systems
(ICPADS'16),
IEEE Press, pp. 932--941, Dec., 2016,
(.pdf)
-
"Marrying HPC and Cloud for Long Term Happiness" (poster paper),
Apoorve Mohan, Ravi S Gudimetla, Ata Turk, Sourabh Bollapragada, Rajul
Kumar, Jason Hennessey, Evan Weinberg, Dimitri Makrigiorgos, Christopher
N Hill, Gene Cooperman, Peter Desnoyers, Richard Brower, Orran Krieger,
The International Conference for High Performance Computing, Networking,
Storage and Analysis (SC'16 Research Poster), 2 pages, Nov., 2016,
(
.pdf)
-
"Recent Developments in Geant4",
J. Allison et al. (99 co-authors in total, including
G. Cooperman),
Nuclear Instruments and Methods in Physics Research Section A:
Accelerators, Spectrometers, Detectors and Associated
Equipment 835, pp. 186--225, Nov. 1, 2016
(.pdf,
or
http://www.sciencedirect.com/science/article/pii/S0168900216306957)
-
"SLA and Profit-aware SaaS Provisioning through Proactive Renegotiation",
Aya Omezzine, Narjès Bellamine Ben Saoud, Saïd Tazi,
and Gene Cooperman,
15th IEEE Int. Symp. on Network Computing and Applications (NCA 2016),
pp. 351--358,
IEEE Press, Nov., 2016
(.pdf)
-
"Smart Scene Management for IoT-based Constrained Devices Using Checkpointing",
François Aïssaoui, Gene Cooperman, Thierry Monteil
and Saïd Tazi,
15th IEEE Int. Symp. on Network Computing and Applications (NCA 2016),
pp. 170--174,
IEEE Press, Nov., 2016
(.pdf)
-
"Design and Implementation for Checkpointing of Distributed Resources
using Process-level Virtualization",
Kapil Arya, Rohan Garg, Artem Y. Polyakov and Gene Cooperman,
Proc. of IEEE Int. Conf. on Cluster Computing (Cluster'16),
pp. 402--412, Taipei, Taiwan, IEEE Press, Sept., 2016
(.pdf)
-
"Scalable System-level Transparent Checkpointing for OpenSHMEM",
Rohan Garg, Jérôme Vienne and Gene Cooperman,
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM
for Hybrid Environements --- Third Workshop, OpenSHMEM 2016,
Baltimore, MD, USA, Aug. 2--4, 2016, Revised Selected Papers
(OpenSHMEM'16),
pp. 52--65,
Lecture Notes in Computer Science, Volume 10007,
Springer-Verlag, Aug., 2016
(.pdf)
-
"Extended Batch Sessions and Three-Phase Debugging: Using DMTCP
to Enhance the Batch Environment",
Rohan Garg, Jiajun Cao, Kapil Arya, Gene Cooperman
and Jérôme Vienne,
Proc. of the (XSEDE16) Conference on Diversity, Big Data, and Science
at Scale,
pp. 42:1--42:8, ACM Press, July, 2016
(.pdf)
- "Negotiation-based Scheduling for an Efficient SaaS Provisioning
in the Cloud",
Aya Omezzine, Narjès Bellamine Ben Saoud, Saïd Tazi
and Gene Cooperman,
IEEE 4th Int. Conf. on Future Internet of Things
and Cloud (FiCloud'16),
pp. 33--40, IEEE Press, Aug., 2016
(.pdf)
- "DMTCP: Bringing Interactive Checkpoint-Restart to Python",
Kapil Arya and Gene Cooperman,
Computational Science & Discovery,
16 pages, 2015, IOPScience,
http://iopscience.iop.org/1749-4699/8/1/014005/
- "Checkpointing as a Service in Heterogeneous Cloud Environments",
Jiajun Cao, Matthieu Simonin, Gene Cooperman and Christine Morin,
Proc. of 15th IEEE/ACM International Symposium
on Cluster, Cloud and Grid Computing (CCGrid'15),
pp. 61--70,
IEEE Press, 2015
(.pdf)
- "Transparent Checkpoint-Restart over InfiniBand",
Jiajun Cao, Gregory Kerr, Kapil Arya and Gene Cooperman,
ACM Symposium on High Performance Parallel and
Distributed Computing (HPDC'14), pp. 13--24,
ACM Press, 2014
(.pdf)
- "Geant4: Bringing Multi-Threaded Geant4 into Production",
Sunil Ahn, John Apostolakis,
Makoto Asai, Daniel Brandt, Gene Cooperman, Gabriele Cosmo, Xin Dong,
Andrea Dotti, Andrzej Nowak and S.J. Yun,
Joint International Conference on Supercomputing in Nuclear Applications + Monte Carlo (SNA + MC 2013) (2014)04213,
8 pages, 2014,
abstract (and full pdf for subscribers) at
http://sna-and-mc-2013-proceedings.edpsciences.org/articles/snamc/abs/2014/01/snamc2013_04213/snamc2013_04213.html
- "Use of Checkpoint-Restart for Complex HEP Software
on Traditional Architectures and Intel MIC",
Kapil Arya, Gene Cooperman, Andrea Dotti and Peter Elmer,
Proc. of 15th Int. Workshop on Advanced Computing and
Analysis Techniques in Physics Research (ACAT2013),
Journal of Physics: Conference Series 523(2014)012015,
8 pages, 2014,
abstract and full pdf
at
http://iopscience.iop.org/1742-6596/523/1/012015
(with slides)
- "DMTCP: Bringing Checkpoint-Restart to Python",
Kapil Arya and Gene Cooperman,
Proc. of the 12th Python in Science Conf. (SciPy 2013),
6 pages, 2013,
http://conference.scipy.org/proceedings/scipy2013/pdfs/arya.pdf
- "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 and Shahzad Muzaffar,
Proc. of Conference on High Energy Physics (CHEP-13),
Journal of Physics: Conference Series 513(2014)052008,
7 pages, 2014,
abstract and full pdf
at
http://iopscience.iop.org/1742-6596/513/5/052008
- "Semi-Automated Debugging via Binary Search
through a Process Lifetime",
Kapil Arya, Tyler Denniston, Ana-Maria Visan and Gene Cooperman,
Proc. of 7th Workshop on Programming Languages
and Operating Systems (PLOS)
(part of Proc. of 24th ACM Symp. on Operating System
Principles (SOSP)), ACM Press, 2013
(7 pages)
(.pdf)
)
- "Checkpoint-Restart for a Network of Virtual Machines",
Rohan Garg, Komal Sodha, Zhengping Jin and and Gene Cooperman,
Proc. of 2013 IEEE Computer Society International Conference
on Cluster Computing (Cluster'13),
IEEE Press, 2013 (8 pages, electronic copy only)
(.pdf; and
slides (.pdf))
- "Creating and Improving Multi-Threaded Geant4",
Xin Dong, Gene Cooperman, John Apostolakis, Sverre Jarp, Andrzej Nowak,
Makoto Asai and Daniel Brandt,
Proceedings of the International Conference on
Computing in High Energy and Nuclear Physics, CHEP2012,
J. Physics: Conference Series 396(2012)052007,
IOP Science Publishers,
abstract
(.pdf)
- "A Roadmap For Geant4",
Makoto Asai, on behalf of the Geant4 Collaboration (over 100 authors,
including G. Cooperman),
Proceedings of the International Conference on
Computing in High Energy and Nuclear Physics, CHEP2012,
J. Physics: Conference Series 396(2012)052007,
IOP Science Publishers,
abstract
(.pdf)
- "Adapting Irregular Computations to Large CPU-GPU Clusters
in the MADNESS Framework",
Vlad Slavici, Raghu Varier, Gene Cooperman, and Robert J. Harrison,
Proc. of 2012 IEEE Computer Society
International Conference on Cluster Computing,
IEEE Press, 2012 (9 pages on CD)
(.pdf)
- "Towards Fault-Tolerant Energy-Efficient High Performance Computing
in the Cloud",
Kurt L. Keville, Rohan Garg, David J. Yates, Kapil Arya
and Gene Cooperman,
Proc. of 2012 IEEE Computer Society International Conference
on Cluster Computing,
IEEE Press, 2012 (5 pages, on CD)
(.pdf; and
slides (.pdf))
- "An Efficient Programming Model for Memory-Intensive Recursive Algorithms
using Parallel Disks",
Vlad Slavici, Daniel Kunkle, Gene Cooperman and Stephen Linton,
Proc. of the International Symposium on Symbolic and
Algebraic Computation (ISSAC '12),
eds. J. van der Hoeven, M. van Hoeij,
(8 pages on CD), 2012
(.pdf)
- "URDB: A Universal Reversible Debugger Based on
Decomposing Debugging Histories",
Ana-Maria Visan, Kapil Arya, Gene Cooperman and Tyler Denniston,
Proc. of 6th Workshop on Programming Languages
and Operating Systems (PLOS)
(part of Proc. of 23rd ACM Symp. on Operating System
Principles (SOSP)), ACM Press, 2011,
5 pages, electronic copy at
http://sigops.org/sosp/sosp11/workshops/plos/08-visan.pdf
- "A Bit-Compatible Parallelization for ILU(k) Preconditioning",
Xin Dong and Gene Cooperman, Proc. of Euro-Par 2011 ---
Parallel Processing (Part 2), Springer-Verlag,
Lecture Notes in Computer Science 6853,
Springer, 2011, pp. 66--77
(.pdf)
- "Multithreaded Geant4: Semi-automatic Transformation into Scalable
Thread-Parallel Software", Xin Dong, Gene Cooperman and John Apostolakis,
Proc. of Euro-Par 2010 -- Parallel Processing,
Lecture Notes in Computer Science 6272, Springer, 2010,
pp. 287--303
(.pdf;
Geant4MT software freely available)
- "Fast Multiplication of Large Permutations for Disk, Flash Memory
and RAM", Vlad Slavici, Xin Dong, Daniel Kunkle and Gene
Cooperman,
Proc. of the International Symposium on Symbolic and
Algebraic Computation (ISSAC '10),
ACM Press, pp. 355--362, 2010.
(.pdf)
- "Parallel Disk-Based Computation for Large, Monolithic Binary
Decision Diagrams", Daniel Kunkle, Vlad Slavici and Gene
Cooperman,
Proceedings of the International Workshop on
Parallel Symbolic Computation (PASCO '10),
ACM Press, Grenoble, France, pp. 63--72, 2010
(
.pdf)
- "Biased Tadpoles: a Fast Algorithm for Centralizers in Large Matrix
Groups", Daniel Kunkle and Gene Cooperman,
Proc. of International Symposium on Symbolic and Algebraic
Computation (ISSAC '09),
ACM Press, 2009, pp. 223--230.
(.dvi.gz,
.pdf)
- "DMTCP: Transparent Checkpointing for Cluster Computations and the
Desktop", Jason Ansel, Kapil Arya and Gene Cooperman,
Proc. of IEEE International Parallel and Distributed Processing
Symposium, IPDPS-09, IEEE Press, 2009, 12 pages
on CD
(.pdf)
- "Harnessing Parallel Disks to Solve Rubik's Cube", Daniel Kunkle
and Gene Cooperman,
J. Symbolic Computation 44(7),
2009, pp. 872--890.
(.pdf)
- "Stroke Tissue Outcome Prediction Using A Spatially-Correlated
Model",
Viet Ha Nguyen, Homer H. Pien, Nina Menenzes, Chloe J. Lopez,
Christopher Melinosky, Ona Wu, A. Gregory Sorensen,
Gene Cooperman, Hakan Ay, Walter J. Koroshetz,
Yawu Liu, Juho Nuutinen, Hannu J. Aronen, and Jari Karonen,
Proc. of Pan-Pacific Imaging Conference '08
(PPIC'08), The Imaging Society of Japan
(electronic proceedings)
(.pdf)
- "Solving Rubik's Cube: Disk is the New RAM" (ACM Viewpoint),
Daniel Kunkle and Gene Cooperman,
ACM Commmunications 51(4), pp. 31--33,
April, 2008.
(.pdf)
- "Mining Frequent Generalized Itemsets and Generalized Association
Rules Without Redundancy",
Daniel Kunkle, Donghui Zhang, and Gene Cooperman,
Journal of Computer Science and Technology 23(1),
Jan., 2008, pp. 77--102, Science Press, Beijing, China
(electronic version at
http://www.springer.com/computer/journal/11390).
(.pdf)
- "SymGrid: a Framework for Symbolic Computation on the Grid",
Kevin Hammond, Abdallah Al Zain, Gene Cooperman,
Dana Petcu and Phil Trinder,
Proc. of Euro-Par 2007,
Lecture notes in Computer Science 4641, Springer, 2007,
pp. 457--476
(.pdf (diagrams omitted),
.pdf (full version))
- "Twenty-Six Moves Suffice for Rubik's Cube",
Daniel Kunkle and Gene Cooperman,
Proc. of International Symposium on Symbolic and Algebraic
Computation (ISSAC '07), ACM Press, 2007, pp. 235--242
(.dvi.gz,
.pdf); Also, see
recent slides (.pdf)
- "A Disk-Based Parallel Implementation for Direct Condensation
of Large Permutation Modules", Eric Robinson, Jürgen Müller
and Gene Cooperman,
Proc. of International Symposium on Symbolic and Algebraic
Computation (ISSAC '07), ACM Press, 2007, pp 315--322
(.ps.gz,
.pdf)
- "A Comparative Analysis of Parallel Disk-Based Methods
for Enumerating Implicit Graphs",
Eric Robinson, Daniel Kunkle and Gene Cooperman,
Proc. of 2007 International Workshop on
Parallel Symbolic and Algebraic
Computation (PASCO '07; a workshop of ISSAC-07),
ACM Press, 2007, pp. 78--87
(.pdf)
- "Efficient Mining of Max Frequent Patterns in a
Generalized Environment" (poster paper),
Daniel Kunkle, Donghui Zhang and Gene Cooperman,
International Conference on Information and Knowledge Management
(CIKM-06), 2006, pp. 810--811
(.ps.gz,
.pdf)
- "Parallelization of Geant4 Using TOP-C and Marshalgen",
Gene Cooperman, Viet Ha Nguyen and Igor Malioutov,
The 5th IEEE International Symposium on
Network Computing and Applications (NCA-06),
IEEE Computer Society Press, 2006, pp. 48--55
(.dvi.gz,
.pdf)
- "Transparent User-Level Checkpointing for the Native POSIX
Thread Library for Linux",
Michael Rieker, Jason Ansel and Gene Cooperman,
Proc. of the 2006 International Conference on Parallel and
Distributed Processing Techniques and Applications (PDPTA'06),
CSREA Press, 2006, pp. 492--498
(.ps.gz,
.pdf)
- "Transparent Adaptive Library-Based Checkpointing for
Master-Worker Style Parallelism",
Gene Cooperman, Jason Ansel and Xiaoqin Ma,
Proc. of 6th IEEE International Symposium
on Cluster Computing and the Grid (CCGrid06), 2&nsbp;pages,
IEEE Press, 2006, pp. 283--291
(.dvi.gz,
.pdf)
- "A Parallel Architecture for Disk-Based Computing over the
Baby Monster and Other Large Finite Simple Groups",
Eric Robinson and Gene Cooperman,
Proc. of International Symposium on Symbolic and Algebraic
Computation (ISSAC '06), ACM Press, 2006, pp. 298--305
(.dvi.gz,
.pdf)
- "Geant4 Developments and Applications",
J. Allison et al. (73 authors, incl. G. Cooperman),
IEEE Transactions on Nuclear Science
2006, pp. 270--278
(.pdf)
- "Close Pair Queries in Moving Object Databases",
Panfeng Zhou, Donghui Zhang, Betty Salzberg, Gene Cooperman
and George Kollios,
Proceedings of 13th ACM International Symposium on Advances
in Geographic Information Systems (GIS), Bremen, Germany,
pp. 2--11, 2005
- "Fast Query Processing by Distributing an Index over CPU Caches",
Xiaoqin Ma and G. Cooperman,
Proc. of 2005 IEEE Computer Society International
Conference on Cluster Computing, IEEE Press, 2005
(.pdf)
- "Adaptive Checkpointing for Master-Worker Style Parallelism"
(Extended Abstract),
G. Cooperman, Jason Ansel and Xiaoqin Ma,
Proc. of 2005 IEEE Computer Society International
Conference on Cluster Computing, 2 pages,
IEEE Press, 2005.
(.pdf)
- "Static Performance Evaluation for Memory-Bound Computing:
the MBRAM Model",
G. Cooperman, Xiaoqin Ma and Viet Ha Nguyen.
Proc. of the 2004 International Conference on Parallel and
Distributed Processing Techniques and Applications (PDPTA'04),
8 pages, 2004.
(.dvi.gz,
.ps.gz,
.pdf)
- "Marshalgen: Marshaling Objects in the Presence of Polymorphism",
G. Cooperman and Viet Ha Nguyen,
Proc. of the International Conference on Internet Computing
(IC '04), 2004.
(.ps.gz,
.pdf)
- "Memory-Based and Disk-Based Algorithms
for Very High Degree Permutation Groups",
G. Cooperman and E. Robinson,
Proc. of International Symposium on Symbolic and Algebraic
Computation (ISSAC '03), ACM Press, 2003, pp. 66--73.
(.dvi.gz,
.ps.gz,
.pdf)
- "Marshalgen: A Package for Semi-Automatic Marshaling of Objects",
G. Cooperman, N. Ke and H. Wu,
Proc. of the International Conference on Internet Computing
(IC '03), 2003, pp. 555--560.
(.ps.gz,
.pdf)
- "Overcoming the Memory Wall in
Symbolic Algebra: A Faster Permutation Algorithm" (Formally
Reviewed Communication),
G. Cooperman and X. Ma,
Communications in Computer Algebra
(CCA -- SIGSAM Bulletin) 36(4), pp. 1--4, 2002.
(SIGSAM Bulletin is now: Communications in Computer Algebra (CCA))
(.dvi.gz,
.ps.gz,
.pdf)
(Given the following code fragment for object rearrangement or permutation
multiplication:
object Z[], Y[]; int X[];
for (int i = 0; i < N; i++) Z[i] = Y[X[i]];
How can you do it faster?)
- "Using TOP-C and AMPIC to Port Large Parallel Applications
to the Computational Grid",
G. Cooperman, H. Casanova, J. Hayes
and T. Witzel,
Future Generation Computer Systems
(FGCS) 19(4), 2003, pp. 587--596
(special issue, extended versions of best papers CCGrid-02).
(.ps.gz)
- "Geant4: A Simulation Toolkit",
S. Agnostelli et al.,
Nuclear Instruments and Methods in
Physics Research Section A 506(3),
2003, pp. 250--303
(over 100 authors, incl. G. Cooperman),
(.pdf)
- "Scalable Parallel Coset Enumeration: Bulk Definition
and the Memory Wall",
G. Cooperman and V. Grinberg,
J. Symbolic Computation 33
(special issue, extended
versions of best papers from ISSAC-01), 2002, pp. 563--585
(.dvi.gz,
.ps.gz)
- "Using TOP-C and AMPIC to Port Large Parallel Applications
to the Computational Grid,"
G. Cooperman, H. Casanova, J. Hayes and T. Witzel,
Proc. of 2nd IEEE/ACM International Symposium
on Cluster Computing and the Grid (CCGrid 2002),
H. Bal, A. Reinefeld, and P. Lohr (eds.), IEEE Press,
2002, pp. 120--127
- "Scalable Parallel Coset Enumeration Using Bulk Definition",
G. Cooperman and V. Grinberg,
Proc. of International Symposium on Symbolic and Algebraic
Computation (ISSAC '01), ACM Press, 2001, pp. 77--84
- "Using TOP-C for Commodity Parallel Computing
in Cosmic Ray Physics Simulations",
G. Alverson, L. Anchordoqui, G. Cooperman, V. Grinberg, T. McCauley,
S. Reucroft, and J. Swain,
Nuclear Physics B (Proc. Suppl.) 97
2001, pp. 193--195
-
"Parallel GAP: Mature Interactive Parallel Computing", G. Cooperman,
Proceedings of Conference on Groups and Computation,
Groups and Computation III,
W. Kantor and A. Seress (eds.),
DeGruyter Publishers, 2001, pp. 123-138
(.dvi.gz
and .ps.gz)
- "Scalable Parallel Implementation of Geant4 Using Commodity Hardware
and Task Oriented Parallel C", G. Cooperman,
L. Anchordoqui, V. Grinberg, T. McCauley, S. Reucroft,
and J. Swain, Proceedings of the International Conference on Computing
in High Energy and Nuclear Physics,
http://chep2000.pd.infn.it/short_p/spa_e041.pdf,
CHEP2000, Padova, Italy, February 7-11, 2000
- "TOP-C: Task-Oriented Parallel C for Distributed and Shared Memory",
G. Cooperman, Workshop on Wide Area Networks and High Performance
Computing, Lecture Notes in Control and Information Sciences 249, 1999,
Springer Verlag, pp. 109-118
- "GCD of many integers", G. Cooperman, S. Feisel,
J. von zur Gathen,
and G. Havas, Computing and Combinatorics, Lecture Notes
in Computer Science 1627 1999, pp. 310-317
(.pdf)
- "A New Existence Proof of Janko's Simple Group J4", G. Cooperman,
W. Lempken, G. Michler and M. Weller, Progress In Mathematics 173,
Birkhauser, 1999, pp. 161-175
(.dvi.gz,
.pdf)
- "TOP-WEB: Task-Oriented Metacomputing on the WEB", G. Cooperman and V. Grinberg, International Journal of Parallel and Distributed
Systems and Networks 1, 1998, pp. 184-192
(.ps.gz)
- "Elementary Algebra Revisited: Randomized Algorithms", G. Cooperman
and G. Havas, Proc. of DIMACS Workshop on Randomization Methods
in Algorithm Design 43, DIMACS Series in Discrete Mathematics and
Theoretical Computer Science, P. Pardalos, S. Rajasekaran, and J. Rolim
(eds.), AMS, Providence, RI, 1998, pp. 37-44
(.dvi,
.pdf)
- "TOP-WEB: Task-Oriented Metacomputing on the Web", G. Cooperman
and V. Grinberg, Proceedings of Ninth IASTED International
Conference on Parallel and Distributed Computing and Systems (PDCS-97),
IASTED/Acta Press, Anaheim, 1997, pp. 279-286
- "The Brauer tree of the principal 19-block of the sporadic simple Thompson group", G. Cooperman, G. Hiss, K. Lux, and J. Müller, J. of Experimental Mathematics 6(4), 1997, pp. 293-300
- "Practical Task-Oriented Parallelism for Gaussian Elimination in Distributed Memory", G. Cooperman, Linear Algebra and its Applications 275-276, 1998, pp. 107-120
(.dvi.gz,
.pdf)
- "Using Tadpoles to Reduce Memory and Communication Requirements
for Exhaustive, Breadth-First Search Using Distributed Computers", G. Cooperman and M. Tselman, Proc. of ACM Symposium on Parallel Architectures and Algorithms (SPAA-97), ACM Press, 1997, pp. 231-238
(.dvi.gz,
.ps.gz) ; also
N.U. Tech. Rept. NU-CCS-97-02, 1997
- "Practical Parallel Coset Enumeration", G. Cooperman and G. Havas,
Proc. of Workshop on High Performance Computation and Gigabit Local
Area Networks, Lecture notes in control and information sciences 226,
Springer Verlag, 1997, pp. 15-27
- "Constructing Permutation Representations for Matrix Groups", G. Cooperman, L. Finkelstein, M. Tselman and B. York, J. of Symbolic Computation 24, 1997, pp. 471-488
(.dvi.gz
and .ps.gz)
- "GAP/MPI: Facilitating Parallelism", G. Cooperman, Proc. of DIMACS
Workshop on Groups and Computation II 28, DIMACS Series in Discrete
Mathematics and Theoretical Computer Science, AMS, Providence, RI,
1997, pp. 69-84
(.dvi.gz
and .pdf)
- "Constructive Recognition of a Black Box Group Isomorphic to GL (n; 2)",
G. Cooperman, L. Finkelstein and S. Linton, Proc. of DIMACS Workshop
on Groups and Computation II 28, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, AMS, Providence, RI, 1997,
pp. 85-101
(.dvi.gz
and .pdf)
- "New Sequential and Parallel Algorithms for Generating High Dimension
Hecke Algebras using the Condensation Technique", G. Cooperman and
M. Tselman, Proc. of International Symposium on Symbolic and
Algebraic Computation (ISSAC '96), ACM Press, 1996, pp. 155-160
(.dvi.gz
and .pdf)
- "TOP-C: A Task-Oriented Parallel C Interface", G. Cooperman,
5th International Symposium on High Performance Distributed
Computing (HPDC-5), IEEE Press, 1996, pp. 141-150
- "Computing with Matrix Groups using Permutation Representations",
G. Cooperman, L. Finkelstein and M. Tselman,
Proc. of International
Symposium on Symbolic and Algebraic Computation (ISSAC '95), ACM
Press, 1995, pp. 259-264
(.dvi.gz
and .ps.gz)
- "STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra
Systems", G. Cooperman,
Proc. of International Symposium on Symbolic
and Algebraic Computation (ISSAC '95), ACM Press, 1995,
pp. 126-132
(.dvi.gz,
.ps.gz)
- "Fast Monte Carlo Algorithms for Permutation Groups", L. Babai, G. Cooperman, L. Finkelstein, E. Luks, and 'A. Seress, J. of Computer and System
Sciences 50(2), 1995, pp. 296-308
(.dvi.gz,
.ps.gz)
- "Permutation Routing via Cayley graphs with an Example for Bus Interconnection Networks", G. Cooperman and L. Finkelstein, DIMACS Series
in Discrete Mathematics and Theoretical Computer Science 21, F. Hsu,
A. Rosenberg and J. Sotteau (eds.), AMS, Providence, RI., 1995, pp. 47-56
(.dvi.gz,
.pdf)
- "Constructing Permutation Representations for Large Matrix Groups",
G. Cooperman, L. Finkelstein, B. York and M. Tselman,
Proc. of International Symposium on Symbolic and Algebraic
Computation (ISSAC '94), ACM Press, 1994, pp. 134-138
(.dvi.gz,
.pdf)
- "A Random Base Change Algorithm for Permutation Groups", G. Cooperman and L. Finkelstein, J. of Symbolic Computation 17, 1994, pp. 513-528
(jsc94.dvi.gz,
jsc94.ps.gz)
- "Combinatorial Tools for Computational Group Theory", G. Cooperman
and L. Finkelstein, Proceedings of DIMACS Workshop on
Groups and
Computation, DIMACS-AMS 11, AMS Press, Providence, RI, 1993, pp. 53-86
(.dvi.gz,
.pdf)
- "Group Membership for Groups with Primitive Orbits", N. Sarawagi,
G. Cooperman and L. Finkelstein, Proceedings of DIMACS Workshop on
Groups and Computation, DIMACS-AMS 11, 1993, AMS, Providence, RI
(.dvi.gz,
.pdf)
- "Randomized Algorithms for Permutation Groups", G. Cooperman and
L. Finkelstein, Centrum Wissenschaft Institut Quarterly
(CWI), Netherlands, June, 1992, pp. 107-125
(.ps.gz)
- "New Methods for Using Cayley Graphs in Interconnection Networks",
G. Cooperman and L. Finkelstein, Discrete Applied Mathematics 37/38
(special issue on Interconnection Networks), 1992, pp. 95-118
(.dvi.gz,
.ps.gz)
(Some less powerful versions of Section 5 of this paper
were later rediscovered in the permutation group section of the following paper:
Total Ordering on Subgroups and Cosets,
by Alexander Hulpke and Steve Linton, ISSAC 2003,
pp. 156--160)
- "A Fast Cyclic Base Change for Permutation Groups", G. Cooperman
and L. Finkelstein, Proc. of International Symposium on Symbolic
and
Algebraic Computation (ISSAC-92), ACM Press, 1992, pp. 224-232
(.pdf)
- "Parallel Implementations of Group Membership and the Method of Random Subproducts", G. Cooperman, L. Finkelstein, and B. York, Proc.
of 1992 Dartmouth Institute for Advanced Graduate Studies in
Parallel Computation Symposium (DAGS'92), D. Johnson,
F. Makedon, and
P. Metaxas (eds.), Department of Mathematics and Computer Science,
Dartmouth College, pp. 94-100, June 17-20, 1992
- "A Strong Generating Test and Short Presentations for Permutation Groups",
G. Cooperman and L. Finkelstein, J. of Symbolic Computation 12 (1991),
pp. 475-497
(.dvi.gz,
.pdf)
- "Nearly Linear Time Algorithms for Permutation Groups with a Small
Base", L. Babai, G. Cooperman, L. Finkelstein, and
Á. Seress, Proc. of the
1991 International Symposium on Symbolic and Algebraic Computation
(ISSAC '91), Bonn, pp. 200-209, July, 1991
(.pdf)
- "Fast Monte Carlo Algorithms for Permutation Groups", L. Babai, G. Cooperman, L. Finkelstein, E. Luks, and Á Seress,
23rd ACM Symposium on
Theory of Computer Science (1991), pp. 90-100
(.dvi.gz,
.pdf)
- "Applications of Cayley Graphs", G. Cooperman, L. Finkelstein and N. Sarawagi,
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC-8) Springer-Verlag Lecture Notes in Computer Science 508, S. Sakata
(Ed.), 1990, pp. 367-378
(determined shortest solutions for Rubik's 2x2x2 cube: 11 moves
needed for quarter- plus half-turn metric; 14 moves needed for
quarter-turn metric using 1 MB of RAM;
also determined shortest solutions for 8-puzzle, the 3x3 version of
the 15-puzzle (undoubtedly also known earlier, but computed here
as cosets of a certain group); Apparently,
the Rubik's Cube results had also been known earlier: see
Cubic Circular,
Issue 5/6, pp. 26 -- 27)
(.dvi.gz,
.ps.gz,
.pdf)
- "A Random Base Change Algorithm for Permutation Groups", G. Cooperman, L. Finkelstein and N. Sarawagi, Proc. of 1990 International Symposium on Symbolic and Algebraic Computation, Tokyo, Japan, ACM
Press and Addison-Wesley, Aug., 1990, pp. 161-168
- "Reduction of Group Constructions to Point Stabilizers", G. Cooperman,
L. Finkelstein, and E. Luks, Proc. of 1989 International Symposium
on Symbolic and Algebraic Computation, Portland, Oregon, July 17-19,
pp. 351-356, ACM Press, 1989
- "Fast Group Membership Using a Strong Generating Test for Permutation
Groups", G. Cooperman, L. Finkelstein, and P. Purdom,
Computers and Mathematics,
(E. Kaltofen, and S.M. Watt, eds.) Springer-Verlag, New
York, 1989, pp. 27-36
- "Solving Permutation Problems Using Rewriting Systems", C. Brown,
G. Cooperman, and L. Finkelstein, Symbolic and Algebraic Computation
(Proc. of International Symposium ISSAC '88, Rome, 1988), Springer
Verlag Lecture Notes in Computer Science 358, pp. 364-377, 1989
- "A Semantic Matcher for Computer Algebra", G. Cooperman, Proc. of
the 1986 Symposium on Symbolic and Algebraic Computation (Symsac'86), July 21-23, 1986, Waterloo, Ontario, pp. 132-134, A.C.M., 1986
(.pdf)
- "The Influence of Turbulent Diffusivity on Electrostatic Precipitator Performance: Author's Reply", G. Cooperman, Atmospheric Environment,
Vol. 19, #9, pp. 1551-53, 1985
- "Enhanced Optical Nonlinearities of Superlattices within the Kronig-Penney
Model Incorporating Inherent Bulk Nonlinearities", L. Friedman, W.L. Bloss,
and G. Cooperman, Superlattices and Microstructures,
Vol. 1(3), 1985
(and Proc. of Int. Conf. on Superlattices, Microstr., and Microdev.)
(.pdf)
- "Exact Solutions for Superlattices and How to Recognize Them with Computer Algebra", G. Cooperman, L. Friedman, and W. Bloss, in Applications of Computer Algebra, ed. by R. Pavelle, pp. 407-414, Kluwer
Academic Publishing, Hingham, Mass., 1985
- "An Alternate Top-Level for Macsyma", G. Cooperman, Proceedings of
the Third Macsyma Users' Conference, July 23-25, 1984, Schenectady,
New York
- "Corrections to Enhanced Optical Nonlinearity of Superlattices",
G. Cooperman, L. Friedman, and W.L. Bloss, Applied
Physics Letters 44(10),
pp. 977-979, May 15, 1984
- "A Unified Efficiency Theory for Electrostatic Precipitators", G. Cooperman, Atmospheric Environment, Vol. 18(2), pp. 277-285, Feb., 1984
- "Switching Behavior of Bistable Resonators Filled with Two-Level Atoms",
G. Cooperman, M. Dagenais, and H.G. Winful, in Optical Bistability 2,
ed. by C.M. Bowden, H.M. Gibbs, and S.L. McCall, Plenum Press, 1984,
pp. 17-24
- "A Unified Efficiency Theory for Electrostatic Precipitators", G. Cooperman, Proceedings of the Industrial Pollution Control Symposium, Energy-Sources Technology Conference, Feb., 1983, Houston, Texas
- "Precipitator Efficiency for Log-Normal Distributions", P. Cooperman and
G. Cooperman, Atmospheric Environment, Vol. 16, (1982) pp. 307-313
- "Self-Pulsing and Chaos in Distributed Feedback Bistable Optical Devices", H.G. Winful and G. Cooperman, Appl. Phys. Letters, Vol. 40(4),
pp. 298-300, Feb. 15, 1982
- "Overcompensated Surface Layer in n-GaAs Due to Anodic Oxidation",
E. Kamieniecki and G. Cooperman, J. Vac. Sci. Technology, Vol. 19(3),
pp. 453-455, Sept./Oct. 1981
- "A New Current-Voltage Relation for Duct Precipitators Valid for Low and
High Current Densities", G. Cooperman, IEEE Transactions on Industry
Applications, Vol. IA-17, No. 2, March/April 1981,
pp. 236--239
(.pdf); Note that there are
two typographical errors in the equations. In particular,
in the Nomenclature listed in Section V, the variable d
is expressed as a summation (Σ). Instead, it should
be a product (Π). If my memory serves correctly,
the second typographical error is in the second equation of
Section III.A. The expression b³ should be
b². In addition, in Section III.B, "if the plane
is cloe to the wire" should instead be "if the plate is close
to the wire".)
- "Turbulent Diffusion in Electrostatic Precipitators",
P. Feldman, S. Kumar, and G. Cooperman, AIChE
Symposium Series No. 165 (Dispersion and Control of
Atmospheric Emissions), Vol. 73, (1977) pp. 120-130
Gene Cooperman