Application of transparent checkpointing to new domains, including cyber-security, mobile computing (e.g., Android), and supercomputing.
Gene Cooperman is a professor of the College of Computer and Information Science. Prior to joining Northeastern, he was a principal MTS at GTE Laboratories (1980-1986). He currently also holds a 5-year IDEX Chair of Attractivity at the University of Toulouse in France.
Professor Cooperman has worked in a series of inter-disciplinary research areas, including applied mathematics, computational and symbolic algebra, numerical analysis, computing in high energy physics, bioinformatics, high performance computing, and computer systems. He has currently co-authored approximately 100 refereed publications. Professor Cooperman has led or advised PhD students on several widely used open source software projects: TOP-C/C++ (Task-Oriented Parallel C/C++: a model for writing parallel software easily); Roomy (a middleware for big data that uses the many disks of a cluster to simulate many terabytes of RAM: used to show that 26 moves suffice for Rubik’s Cube, a record at its time); ParGeant4 (distributed parallelism for the Geant4 software for Monte Carlo particle-matter interaction in high energy physics); Geant4-MT (multi-threaded parallelism for Geant4); and DMTCP (Distributed Multi-Threaded CheckPointing).
The ParGeant4 and Geant4-MT work is part of a stream of collaborations with CERN. Professor Cooperman is a co-author on the foundational paper in that area, “GEANT4–a Simulation Toolkit”, which has approximately 12,000 citations — the most widely cited paper in high energy physics. In Jan., 2014, our Geant4-MT was incorporated into the Geant4-10.0 release, with a user base in the tens of thousands.
DMTCP for checkpointing is a long-running project, begun in 2004, and now in its third generation. It has over 8,500 downloads of the source code, and an unknown number of downloads of the binary — available in all major Linux distros. It is cited as being used in approximately 40 publications by independent researchers in some widely varying fields. Examples include circuit verification, formal verification, Intel’s chip design, VLSI circuit simulators, formalization of mathematics, bioinformatics (including a publication in the Proc. of the National Academy of Science), network simulation, high energy physics, cyber-security, big data, middleware, mobile computing, cloud computing, and high performance computing.
The brightest and most innovative in the industry