Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gene Cooperman
@article{DBLP:journals/programming/PirtleJC23,
author = {Maxwell Pirtle and
Luka Jovanovic and
Gene Cooperman},
title = {McMini: {A} Programmable DPOR-Based Model Checker for Multithreaded
Programs},
journal = {Art Sci. Eng. Program.},
volume = {8},
number = {1},
year = {2023},
url = {https://doi.org/10.22152/programming-journal.org/2024/8/1},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/1},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/PirtleJC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/XuBJSSC23,
author = {Yao Xu and
Leonid Belyaev and
Twinkle Jain and
Derek Schafer and
Anthony Skjellum and
Gene Cooperman},
title = {Implementation-Oblivious Transparent Checkpoint-Restart for {MPI}},
booktitle = {Proceedings of the {SC} '23 Workshops of The International Conference
on High Performance Computing, Network, Storage, and Analysis, {SC-W}
2023, Denver, CO, USA, November 12-17, 2023},
pages = {1738--1747},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3624062.3624255},
doi = {10.1145/3624062.3624255},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/XuBJSSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-14996,
author = {Yao Xu and
Leonid Belyaev and
Twinkle Jain and
Derek Schafer and
Anthony Skjellum and
Gene Cooperman},
title = {Implementation-Oblivious Transparent Checkpoint-Restart for {MPI}},
journal = {CoRR},
volume = {abs/2309.14996},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.14996},
doi = {10.48550/ARXIV.2309.14996},
eprinttype = {arXiv},
eprint = {2309.14996},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-14996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-05468,
author = {Maxwell Pirtle and
Luka Jovanovic and
Gene Cooperman},
title = {McMini: {A} Programmable DPOR-based Model Checker for Multithreaded
Programs},
journal = {CoRR},
volume = {abs/2212.05468},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.05468},
doi = {10.48550/ARXIV.2212.05468},
eprinttype = {arXiv},
eprint = {2212.05468},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-05468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-05701,
author = {Yao Xu and
Gene Cooperman},
title = {Collective Vector Clocks: Low-Overhead Transparent Checkpointing for
{MPI}},
journal = {CoRR},
volume = {abs/2212.05701},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.05701},
doi = {10.48550/ARXIV.2212.05701},
eprinttype = {arXiv},
eprint = {2212.05701},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-05701.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/XuZ0KHC21,
author = {Yao Xu and
Zhengji Zhao and
Rohan Garg and
Harsh Khetawat and
Rebecca Hartman{-}Baker and
Gene Cooperman},
title = {{MANA-2.0:} {A} Future-Proof Design for Transparent Checkpointing
of {MPI} at Scale},
booktitle = {2021 {SC} Workshops Supplementary Proceedings, {SC} Workshops Supplementary
Proceedings 2021, St. Louis, MO, USA, November 14-19, 2021},
pages = {68--78},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCWS55283.2021.00019},
doi = {10.1109/SCWS55283.2021.00019},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/XuZ0KHC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-08546,
author = {Prashant Singh Chouhan and
Harsh Khetawat and
Neil Resnik and
Twinkle Jain and
Rohan Garg and
Gene Cooperman and
Rebecca Hartman{-}Baker and
Zhengji Zhao},
title = {Improving scalability and reliability of MPI-agnostic transparent
checkpointing for production workloads at {NERSC}},
journal = {CoRR},
volume = {abs/2103.08546},
year = {2021},
url = {https://arxiv.org/abs/2103.08546},
eprinttype = {arXiv},
eprint = {2103.08546},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-08546.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-05858,
author = {Yao Xu and
Zhengji Zhao and
Rohan Garg and
Harsh Khetawat and
Rebecca Hartman{-}Baker and
Gene Cooperman},
title = {{MANA-2.0:} {A} Future-Proof Design for Transparent Checkpointing
of {MPI} at Scale},
journal = {CoRR},
volume = {abs/2112.05858},
year = {2021},
url = {https://arxiv.org/abs/2112.05858},
eprinttype = {arXiv},
eprint = {2112.05858},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-05858.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-10100,
author = {Prashant Singh Chouhan and
Gregory Price and
Gene Cooperman},
title = {An Architecture for Exploiting Native User-Land Checkpoint-Restart
to Improve Fuzzing},
journal = {CoRR},
volume = {abs/2112.10100},
year = {2021},
url = {https://arxiv.org/abs/2112.10100},
eprinttype = {arXiv},
eprint = {2112.10100},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-10100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/OmezzineSTC20,
author = {Aya Omezzine and
Narj{\`{e}}s Bellamine Ben Saoud and
Sa{\"{\i}}d Tazi and
Gene Cooperman},
title = {Towards a generic multilayer negotiation framework for efficient application
provisioning in the cloud},
journal = {Concurr. Comput. Pract. Exp.},
volume = {32},
number = {1},
year = {2020},
url = {https://doi.org/10.1002/cpe.4182},
doi = {10.1002/CPE.4182},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/OmezzineSTC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/CoopermanQ20,
author = {Gene Cooperman and
Martin Quinson},
title = {Sthread: In-Vivo Model Checking of Multithreaded Programs},
journal = {Art Sci. Eng. Program.},
volume = {4},
number = {3},
pages = {13},
year = {2020},
url = {https://doi.org/10.22152/programming-journal.org/2020/4/13},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2020/4/13},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/CoopermanQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic2e/MohanNPVSICDKT20,
author = {Apoorve Mohan and
Shripad Nadgowda and
Bhautik Pipaliya and
Sona Varma and
Sahil Suneja and
Canturk Isci and
Gene Cooperman and
Peter Desnoyers and
Orran Krieger and
Ata Turk},
title = {Towards Non-Intrusive Software Introspection and Beyond},
booktitle = {2020 {IEEE} International Conference on Cloud Engineering, {IC2E}
2020, Sydney, Australia, April 21-24, 2020},
pages = {173--184},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IC2E48712.2020.00025},
doi = {10.1109/IC2E48712.2020.00025},
timestamp = {Wed, 27 May 2020 11:30:15 +0200},
biburl = {https://dblp.org/rec/conf/ic2e/MohanNPVSICDKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilecloud/0001MCP20,
author = {Arif Ahmed and
Apoorve Mohan and
Gene Cooperman and
Guillaume Pierre},
title = {Docker Container Deployment in Distributed Fog Infrastructures with
Checkpoint/Restart},
booktitle = {8th {IEEE} International Conference on Mobile Cloud Computing, Services,
and Engineering, MobileCloud 2020, Oxford, United Kingdom, August
3-6, 2020},
pages = {55--62},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MobileCloud48802.2020.00016},
doi = {10.1109/MOBILECLOUD48802.2020.00016},
timestamp = {Wed, 28 Oct 2020 10:46:50 +0100},
biburl = {https://dblp.org/rec/conf/mobilecloud/0001MCP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/JainC20,
author = {Twinkle Jain and
Gene Cooperman},
editor = {Christine Cuicchi and
Irene Qualters and
William T. Kramer},
title = {{CRAC:} checkpoint-restart architecture for {CUDA} with streams and
{UVM}},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2020, Virtual Event / Atlanta,
Georgia, USA, November 9-19, 2020},
pages = {77},
publisher = {{IEEE/ACM}},
year = {2020},
url = {https://doi.org/10.1109/SC41405.2020.00081},
doi = {10.1109/SC41405.2020.00081},
timestamp = {Wed, 04 May 2022 13:02:27 +0200},
biburl = {https://dblp.org/rec/conf/sc/JainC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06223,
author = {Gene Cooperman and
Martin Quinson},
title = {Sthread: In-Vivo Model Checking of Multithreaded Programs},
journal = {CoRR},
volume = {abs/2002.06223},
year = {2020},
url = {https://arxiv.org/abs/2002.06223},
eprinttype = {arXiv},
eprint = {2002.06223},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-06223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-10596,
author = {Twinkle Jain and
Gene Cooperman},
title = {{CRAC:} Checkpoint-Restart Architecture for {CUDA} with Streams and
{UVM}},
journal = {CoRR},
volume = {abs/2008.10596},
year = {2020},
url = {https://arxiv.org/abs/2008.10596},
eprinttype = {arXiv},
eprint = {2008.10596},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-10596.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhpcn/OmezzineSTC19,
author = {Aya Omezzine and
Narj{\`{e}}s Bellamine Ben Saoud and
Sa{\"{\i}}d Tazi and
Gene Cooperman},
title = {Adaptive and concurrent negotiation for an efficient cloud provisioning},
journal = {Int. J. High Perform. Comput. Netw.},
volume = {15},
number = {3/4},
pages = {145--157},
year = {2019},
url = {https://doi.org/10.1504/IJHPCN.2019.106088},
doi = {10.1504/IJHPCN.2019.106088},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhpcn/OmezzineSTC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/PascualCMCG19,
author = {Manuel Aurelio Rodriguez Pascual and
Jiajun Cao and
Jos{\'{e}} A. Mor{\'{\i}}{\~{n}}igo and
Gene Cooperman and
Rafael Mayo{-}Garc{\'{\i}}a},
title = {Job migration in {HPC} clusters by means of checkpoint/restart},
journal = {J. Supercomput.},
volume = {75},
number = {10},
pages = {6517--6541},
year = {2019},
url = {https://doi.org/10.1007/s11227-019-02857-y},
doi = {10.1007/S11227-019-02857-Y},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/PascualCMCG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/0001PC19,
author = {Rohan Garg and
Gregory Price and
Gene Cooperman},
editor = {Jon B. Weissman and
Ali Raza Butt and
Evgenia Smirni},
title = {{MANA} for {MPI:} MPI-Agnostic Network-Agnostic Transparent Checkpointing},
booktitle = {Proceedings of the 28th International Symposium on High-Performance
Parallel and Distributed Computing, {HPDC} 2019, Phoenix, AZ, USA,
June 22-29, 2019},
pages = {49--60},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3307681.3325962},
doi = {10.1145/3307681.3325962},
timestamp = {Mon, 24 Jun 2019 18:48:09 +0200},
biburl = {https://dblp.org/rec/conf/hpdc/0001PC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/MosayyebzadehMT19,
author = {Amin Mosayyebzadeh and
Apoorve Mohan and
Sahil Tikale and
Mania Abdi and
Nabil Schear and
Trammell Hudson and
Charles Munson and
Larry Rudolph and
Gene Cooperman and
Peter Desnoyers and
Orran Krieger},
editor = {Dahlia Malkhi and
Dan Tsafrir},
title = {Supporting Security Sensitive Tenants in a Bare-Metal Cloud},
booktitle = {2019 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2019, Renton,
WA, USA, July 10-12, 2019},
pages = {587--602},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/atc19/presentation/mosayyebzadeh},
timestamp = {Mon, 01 Feb 2021 17:03:06 +0100},
biburl = {https://dblp.org/rec/conf/usenix/MosayyebzadehMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-12595,
author = {Rohan Garg and
Gregory Price and
Gene Cooperman},
title = {{MANA} for {MPI:} MPI-Agnostic Network-Agnostic Transparent Checkpointing},
journal = {CoRR},
volume = {abs/1904.12595},
year = {2019},
url = {http://arxiv.org/abs/1904.12595},
eprinttype = {arXiv},
eprint = {1904.12595},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-12595.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-06110,
author = {Amin Mosayyebzadeh and
Apoorve Mohan and
Sahil Tikale and
Mania Abdi and
Nabil Schear and
Charles Munson and
Trammell Hudson and
Larry Rudolph and
Gene Cooperman and
Peter Desnoyers and
Orran Krieger},
title = {Supporting Security Sensitive Tenants in a Bare-Metal Cloud},
journal = {CoRR},
volume = {abs/1907.06110},
year = {2019},
url = {http://arxiv.org/abs/1907.06110},
eprinttype = {arXiv},
eprint = {1907.06110},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-06110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-07627,
author = {Amin Mosayyebzadeh and
Gerardo Ravago and
Apoorve Mohan and
Ali Raza and
Sahil Tikale and
Nabil Schear and
Trammell Hudson and
Jason Hennessey and
Naved Ansari and
Kyle Hogan and
Charles Munson and
Larry Rudolph and
Gene Cooperman and
Peter Desnoyers and
Orran Krieger},
title = {A Secure Cloud with Minimal Provider Trust},
journal = {CoRR},
volume = {abs/1907.07627},
year = {2019},
url = {http://arxiv.org/abs/1907.07627},
eprinttype = {arXiv},
eprint = {1907.07627},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-07627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/GargMSC18,
author = {Rohan Garg and
Apoorve Mohan and
Michael B. Sullivan and
Gene Cooperman},
title = {{CRUM:} Checkpoint-Restart Support for CUDA's Unified Memory},
booktitle = {{IEEE} International Conference on Cluster Computing, {CLUSTER} 2018,
Belfast, UK, September 10-13, 2018},
pages = {302--313},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/CLUSTER.2018.00047},
doi = {10.1109/CLUSTER.2018.00047},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cluster/GargMSC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GargPCT18,
author = {Rohan Garg and
Tirthak Patel and
Gene Cooperman and
Devesh Tiwari},
title = {Shiraz: Exploiting System Reliability and Application Resilience Characteristics
to Improve Large Scale System Throughput},
booktitle = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2018, Luxembourg City, Luxembourg, June 25-28,
2018},
pages = {83--94},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DSN.2018.00021},
doi = {10.1109/DSN.2018.00021},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/GargPCT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotcloud/MosayyebzadehRM18,
author = {Amin Mosayyebzadeh and
Gerardo Ravago and
Apoorve Mohan and
Ali Raza and
Sahil Tikale and
Nabil Schear and
Trammell Hudson and
Jason Hennessey and
Naved Ansari and
Kyle Hogan and
Charles Munson and
Larry Rudolph and
Gene Cooperman and
Peter Desnoyers and
Orran Krieger},
editor = {Ganesh Ananthanarayanan and
Indranil Gupta},
title = {A Secure Cloud with Minimal Provider Trust},
booktitle = {10th {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud
2018, Boston, MA, USA, July 9, 2018},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/hotcloud18/presentation/mosayyebzadeh},
timestamp = {Tue, 09 Feb 2021 08:31:40 +0100},
biburl = {https://dblp.org/rec/conf/hotcloud/MosayyebzadehRM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic2e/MohanTGTHKCDK18,
author = {Apoorve Mohan and
Ata Turk and
Ravi S. Gudimetla and
Sahil Tikale and
Jason Hennessey and
Emine Ugur Kaynar and
Gene Cooperman and
Peter Desnoyers and
Orran Krieger},
editor = {Abhishek Chandra and
Jie Li and
Ying Cai and
Tian Guo},
title = {{M2:} Malleable Metal as a Service},
booktitle = {2018 {IEEE} International Conference on Cloud Engineering, {IC2E}
2018, Orlando, FL, USA, April 17-20, 2018},
pages = {61--71},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/IC2E.2018.00028},
doi = {10.1109/IC2E.2018.00028},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic2e/MohanTGTHKCDK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-00540,
author = {Apoorve Mohan and
Ata Turk and
Ravi S. Gudimetla and
Sahil Tikale and
Jason Hennessey and
Emine Ugur Kaynar and
Gene Cooperman and
Peter Desnoyers and
Orran Krieger},
title = {{M2:} Malleable Metal as a Service},
journal = {CoRR},
volume = {abs/1801.00540},
year = {2018},
url = {http://arxiv.org/abs/1801.00540},
eprinttype = {arXiv},
eprint = {1801.00540},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-00540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-00117,
author = {Rohan Garg and
Apoorve Mohan and
Michael B. Sullivan and
Gene Cooperman},
title = {{CRUM:} Checkpoint-Restart Support for CUDA's Unified Memory},
journal = {CoRR},
volume = {abs/1808.00117},
year = {2018},
url = {http://arxiv.org/abs/1808.00117},
eprinttype = {arXiv},
eprint = {1808.00117},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-00117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/AryaDRC17,
author = {Kapil Arya and
Tyler Denniston and
Ariel Rabkin and
Gene Cooperman},
title = {Transition Watchpoints: Teaching Old Debuggers New Tricks},
journal = {Art Sci. Eng. Program.},
volume = {1},
number = {2},
pages = {16},
year = {2017},
url = {https://doi.org/10.22152/programming-journal.org/2017/1/16},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2017/1/16},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/AryaDRC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ficloud/AissaouiCMT17,
author = {Francois Aissaoui and
Gene Cooperman and
Thierry Monteil and
Sa{\"{\i}}d Tazi},
editor = {Muhammad Younas and
Markus Aleksy and
Jamal Bentahar},
title = {Intelligent Checkpointing Strategies for IoT System Management},
booktitle = {5th {IEEE} International Conference on Future Internet of Things and
Cloud, FiCloud 2017, Prague, Czech Republic, August 21-23, 2017},
pages = {305--312},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/FiCloud.2017.34},
doi = {10.1109/FICLOUD.2017.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ficloud/AissaouiCMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GargACCEGRS17,
author = {Rohan Garg and
Kapil Arya and
Jiajun Cao and
Gene Cooperman and
Jeff Evans and
Ankit Garg and
Neil A. Rosenberg and
K. Suresh},
title = {Adapting the {DMTCP} Plugin Model for Checkpointing of Hardware Emulation},
journal = {CoRR},
volume = {abs/1703.00897},
year = {2017},
url = {http://arxiv.org/abs/1703.00897},
eprinttype = {arXiv},
eprint = {1703.00897},
timestamp = {Wed, 30 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GargACCEGRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AryaDRC17,
author = {Kapil Arya and
Tyler Denniston and
Ariel Rabkin and
Gene Cooperman},
title = {Transition Watchpoints: Teaching Old Debuggers New Tricks},
journal = {CoRR},
volume = {abs/1703.10864},
year = {2017},
url = {http://arxiv.org/abs/1703.10864},
eprinttype = {arXiv},
eprint = {1703.10864},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AryaDRC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/AryaGPC16,
author = {Kapil Arya and
Rohan Garg and
Artem Y. Polyakov and
Gene Cooperman},
title = {Design and Implementation for Checkpointing of Distributed Resources
Using Process-Level Virtualization},
booktitle = {2016 {IEEE} International Conference on Cluster Computing, {CLUSTER}
2016, Taipei, Taiwan, September 12-16, 2016},
pages = {402--412},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CLUSTER.2016.55},
doi = {10.1109/CLUSTER.2016.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cluster/AryaGPC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ficloud/OmezzineSTC16,
author = {Aya Omezzine and
Narj{\`{e}}s Bellamine Ben Saoud and
Sa{\"{\i}}d Tazi and
Gene Cooperman},
editor = {Muhammad Younas and
Irfan Awan and
Winston Seah},
title = {Negotiation Based Scheduling for an Efficient SaaS Provisioning in
the Cloud},
booktitle = {4th {IEEE} International Conference on Future Internet of Things and
Cloud, FiCloud 2016, Vienna, Austria, August 22-24, 2016},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/FiCloud.2016.13},
doi = {10.1109/FICLOUD.2016.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ficloud/OmezzineSTC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/CaoAGMPSVC16,
author = {Jiajun Cao and
Kapil Arya and
Rohan Garg and
L. Shawn Matott and
Dhabaleswar K. Panda and
Hari Subramoni and
J{\'{e}}r{\^{o}}me Vienne and
Gene Cooperman},
title = {System-Level Scalable Checkpoint-Restart for Petascale Computing},
booktitle = {22nd {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2016, Wuhan, China, December 13-16, 2016},
pages = {932--941},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICPADS.2016.0125},
doi = {10.1109/ICPADS.2016.0125},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/CaoAGMPSVC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/AissaouiCMT16,
author = {Francois Aissaoui and
Gene Cooperman and
Thierry Monteil and
Sa{\"{\i}}d Tazi},
editor = {Alessandro Pellegrini and
Aris Gkoulalas{-}Divanis and
Pierangelo di Sanzo and
Dimiter R. Avresky},
title = {Smart scene management for IoT-based constrained devices using checkpointing},
booktitle = {15th {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2016, Cambridge, Boston, MA, USA, October 31 - November 2, 2016},
pages = {170--174},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/NCA.2016.7778613},
doi = {10.1109/NCA.2016.7778613},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/AissaouiCMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/OmezzineSTC16,
author = {Aya Omezzine and
Narj{\`{e}}s Bellamine Ben Saoud and
Sa{\"{\i}}d Tazi and
Gene Cooperman},
editor = {Alessandro Pellegrini and
Aris Gkoulalas{-}Divanis and
Pierangelo di Sanzo and
Dimiter R. Avresky},
title = {{SLA} and profit-aware SaaS provisioning through proactive renegotiation},
booktitle = {15th {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2016, Cambridge, Boston, MA, USA, October 31 - November 2, 2016},
pages = {351--358},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/NCA.2016.7778640},
doi = {10.1109/NCA.2016.7778640},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/OmezzineSTC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/openshmem/GargVC16,
author = {Rohan Garg and
J{\'{e}}r{\^{o}}me Vienne and
Gene Cooperman},
editor = {Manjunath Gorentla Venkata and
Neena Imam and
Swaroop Pophale and
Tiffany M. Mintz},
title = {System-Level Transparent Checkpointing for OpenSHMEM},
booktitle = {OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid
Environments - Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA,
August 2-4, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10007},
pages = {52--65},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50995-2\_4},
doi = {10.1007/978-3-319-50995-2\_4},
timestamp = {Sat, 19 Oct 2019 20:06:42 +0200},
biburl = {https://dblp.org/rec/conf/openshmem/GargVC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xsede/GargCACV16,
author = {Rohan Garg and
Jiajun Cao and
Kapil Arya and
Gene Cooperman and
J{\'{e}}r{\^{o}}me Vienne},
title = {Extended Batch Sessions and Three-Phase Debugging: Using {DMTCP} to
Enhance the Batch Environment},
booktitle = {Proceedings of the {XSEDE16} Conference on Diversity, Big Data, and
Science at Scale, Miami, USA, July 17-21, 2016},
pages = {42:1--42:8},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2949550.2949645},
doi = {10.1145/2949550.2949645},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/xsede/GargCACV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaoAGMPSVC16,
author = {Jiajun Cao and
Kapil Arya and
Rohan Garg and
L. Shawn Matott and
Dhabaleswar K. Panda and
Hari Subramoni and
J{\'{e}}r{\^{o}}me Vienne and
Gene Cooperman},
title = {System-level Scalable Checkpoint-Restart for Petascale Computing},
journal = {CoRR},
volume = {abs/1607.07995},
year = {2016},
url = {http://arxiv.org/abs/1607.07995},
eprinttype = {arXiv},
eprint = {1607.07995},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaoAGMPSVC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/CaoSCM15,
author = {Jiajun Cao and
Matthieu Simonin and
Gene Cooperman and
Christine Morin},
title = {Checkpointing as a Service in Heterogeneous Cloud Environments},
booktitle = {15th {IEEE/ACM} International Symposium on Cluster, Cloud and Grid
Computing, CCGrid 2015, Shenzhen, China, May 4-7, 2015},
pages = {61--70},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CCGrid.2015.160},
doi = {10.1109/CCGRID.2015.160},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/CaoSCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/CaoKAC14,
author = {Jiajun Cao and
Gregory Kerr and
Kapil Arya and
Gene Cooperman},
editor = {Beth Plale and
Matei Ripeanu and
Franck Cappello and
Dongyan Xu},
title = {Transparent checkpoint-restart over infiniband},
booktitle = {The 23rd International Symposium on High-Performance Parallel and
Distributed Computing, HPDC'14, Vancouver, BC, Canada - June 23 -
27, 2014},
pages = {13--24},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2600212.2600219},
doi = {10.1145/2600212.2600219},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/CaoKAC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaoSCM14,
author = {Jiajun Cao and
Matthieu Simonin and
Gene Cooperman and
Christine Morin},
title = {Checkpointing as a Service in Heterogeneous Cloud Environments},
journal = {CoRR},
volume = {abs/1411.1958},
year = {2014},
url = {http://arxiv.org/abs/1411.1958},
eprinttype = {arXiv},
eprint = {1411.1958},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaoSCM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/GargSJC13,
author = {Rohan Garg and
Komal Sodha and
Zhengping Jin and
Gene Cooperman},
title = {Checkpoint-restart for a network of virtual machines},
booktitle = {2013 {IEEE} International Conference on Cluster Computing, {CLUSTER}
2013, Indianapolis, IN, USA, September 23-27, 2013},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CLUSTER.2013.6702626},
doi = {10.1109/CLUSTER.2013.6702626},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cluster/GargSJC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scipy/AryaC13,
author = {Kapil Arya and
Gene Cooperman},
editor = {St{\'{e}}fan van der Walt and
K. Jarrod Millman and
Katy Huff},
title = {{DMTCP:} Bringing Checkpoint-Restart to Python},
booktitle = {Proceedings of the 12th Python in Science Conference, SciPy 2013,
Austin, Texas, June 24 - June 29, 2013},
pages = {2--7},
publisher = {scipy.org},
year = {2013},
url = {https://doi.org/10.25080/Majora-8b375195-001},
doi = {10.25080/MAJORA-8B375195-001},
timestamp = {Wed, 03 May 2023 17:10:38 +0200},
biburl = {https://dblp.org/rec/conf/scipy/AryaC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BeckC13,
author = {J. Christopher Beck and
Gene Cooperman},
editor = {Malte Helmert and
Gabriele R{\"{o}}ger},
title = {Invited Speakers},
booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
{SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/socs.v4i1.18276},
doi = {10.1609/SOCS.V4I1.18276},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/BeckC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/AryaDVC13,
author = {Kapil Arya and
Tyler Denniston and
Ana Maria Visan and
Gene Cooperman},
editor = {Tim Harris and
Anil Madhavapeddy},
title = {Semi-automated debugging via binary search through a process lifetime},
booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
2013},
pages = {9:1--9:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525528.2525533},
doi = {10.1145/2525528.2525533},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/AryaDVC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AryaCDE13,
author = {Kapil Arya and
Gene Cooperman and
Andrea Dotti and
Peter Elmer},
title = {Use of Checkpoint-Restart for Complex {HEP} Software on Traditional
Architectures and Intel {MIC}},
journal = {CoRR},
volume = {abs/1311.0272},
year = {2013},
url = {http://arxiv.org/abs/1311.0272},
eprinttype = {arXiv},
eprint = {1311.0272},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AryaCDE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbdurachmanovABBCDEEGJMM13,
author = {David Abdurachmanov and
Kapil Arya and
Josh Bendavid and
Tommaso Boccali and
Gene Cooperman and
Andrea Dotti and
Peter Elmer and
Giulio Eulisse and
Francesco Giacomini and
Christopher D. Jones and
Matteo Manzali and
Shahzad Muzaffar},
title = {Explorations of the Viability of {ARM} and Xeon Phi for Physics Processing},
journal = {CoRR},
volume = {abs/1311.1001},
year = {2013},
url = {http://arxiv.org/abs/1311.1001},
eprinttype = {arXiv},
eprint = {1311.1001},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbdurachmanovABBCDEEGJMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaoAC13,
author = {Jiajun Cao and
Kapil Arya and
Gene Cooperman},
title = {Transparent Checkpoint-Restart over InfiniBand},
journal = {CoRR},
volume = {abs/1312.3938},
year = {2013},
url = {http://arxiv.org/abs/1312.3938},
eprinttype = {arXiv},
eprint = {1312.3938},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaoAC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KazemiGC13,
author = {Samaneh Kazemi and
Rohan Garg and
Gene Cooperman},
title = {Transparent Checkpoint-Restart for Hardware-Accelerated 3D Graphics},
journal = {CoRR},
volume = {abs/1312.6650},
year = {2013},
url = {http://arxiv.org/abs/1312.6650},
eprinttype = {arXiv},
eprint = {1312.6650},
timestamp = {Wed, 30 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KazemiGC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/SlaviciVCH12,
author = {Vlad Slavici and
Raghu Varier and
Gene Cooperman and
Robert J. Harrison},
title = {Adapting Irregular Computations to Large {CPU-GPU} Clusters in the
{MADNESS} Framework},
booktitle = {2012 {IEEE} International Conference on Cluster Computing, {CLUSTER}
2012, Beijing, China, September 24-28, 2012},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CLUSTER.2012.42},
doi = {10.1109/CLUSTER.2012.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cluster/SlaviciVCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/KevilleGYAC12,
author = {Kurt L. Keville and
Rohan Garg and
David J. Yates and
Kapil Arya and
Gene Cooperman},
title = {Towards Fault-Tolerant Energy-Efficient High Performance Computing
in the Cloud},
booktitle = {2012 {IEEE} International Conference on Cluster Computing, {CLUSTER}
2012, Beijing, China, September 24-28, 2012},
pages = {622--626},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CLUSTER.2012.74},
doi = {10.1109/CLUSTER.2012.74},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cluster/KevilleGYAC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SlaviciKCL12,
author = {Vlad Slavici and
Daniel Kunkle and
Gene Cooperman and
Stephen A. Linton},
editor = {Joris van der Hoeven and
Mark van Hoeij},
title = {An efficient programming model for memory-intensive recursive algorithms
using parallel disks},
booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
Grenoble, France - July 22 - 25, 2012},
pages = {327--334},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2442829.2442876},
doi = {10.1145/2442829.2442876},
timestamp = {Wed, 08 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/SlaviciKCL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-1787,
author = {Rohan Garg and
Komal Sodha and
Gene Cooperman},
title = {A Generic Checkpoint-Restart Mechanism for Virtual Machines},
journal = {CoRR},
volume = {abs/1212.1787},
year = {2012},
url = {http://arxiv.org/abs/1212.1787},
eprinttype = {arXiv},
eprint = {1212.1787},
timestamp = {Wed, 30 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-1787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-5204,
author = {Kapil Arya and
Tyler Denniston and
Ana Maria Visan and
Gene Cooperman},
title = {FReD: Automated Debugging via Binary Search through a Process Lifetime},
journal = {CoRR},
volume = {abs/1212.5204},
year = {2012},
url = {http://arxiv.org/abs/1212.5204},
eprinttype = {arXiv},
eprint = {1212.5204},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-5204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DongC11,
author = {Xin Dong and
Gene Cooperman},
editor = {Emmanuel Jeannot and
Raymond Namyst and
Jean Roman},
title = {A Bit-Compatible Parallelization for ILU(k) Preconditioning},
booktitle = {Euro-Par 2011 Parallel Processing - 17th International Conference,
Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6853},
pages = {66--77},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23397-5\_8},
doi = {10.1007/978-3-642-23397-5\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/DongC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/VisanACD11,
author = {Ana Maria Visan and
Kapil Arya and
Gene Cooperman and
Tyler Denniston},
title = {{URDB:} a universal reversible debugger based on decomposing debugging
histories},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
pages = {8:1--8:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239.2039251},
doi = {10.1145/2039239.2039251},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/VisanACD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-5736,
author = {Vlad Slavici and
Daniel Kunkle and
Gene Cooperman and
Stephen A. Linton},
title = {Finding the Minimal {DFA} of Very Large Finite State Automata with
an Application to Token Passing Networks},
journal = {CoRR},
volume = {abs/1103.5736},
year = {2011},
url = {http://arxiv.org/abs/1103.5736},
eprinttype = {arXiv},
eprint = {1103.5736},
timestamp = {Wed, 08 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-5736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cap/KunkleSC10,
author = {Daniel Kunkle and
Vlad Slavici and
Gene Cooperman},
editor = {Marc Moreno Maza and
Jean{-}Louis Roch},
title = {Parallel disk-based computation for large, monolithic binary decision
diagrams},
booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic
Computation, {PASCO} 2010, July 21-23, 2010, Grenoble, France},
pages = {63--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837210.1837222},
doi = {10.1145/1837210.1837222},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cap/KunkleSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DongCA10,
author = {Xin Dong and
Gene Cooperman and
John Apostolakis},
editor = {Pasqua D'Ambra and
Mario Rosario Guarracino and
Domenico Talia},
title = {Multithreaded Geant4: Semi-automatic Transformation into Scalable
Thread-Parallel Software},
booktitle = {Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference,
Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6272},
pages = {287--303},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15291-7\_27},
doi = {10.1007/978-3-642-15291-7\_27},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/DongCA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SlaviciDKC10,
author = {Vlad Slavici and
Xin Dong and
Daniel Kunkle and
Gene Cooperman},
editor = {Wolfram Koepf},
title = {Fast multiplication of large permutations for disk, flash memory and
{RAM}},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {355--362},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1838001},
doi = {10.1145/1837934.1838001},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SlaviciDKC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KunkleC09,
author = {Daniel Kunkle and
Gene Cooperman},
title = {Harnessing parallel disks to solve Rubik's cube},
journal = {J. Symb. Comput.},
volume = {44},
number = {7},
pages = {872--890},
year = {2009},
url = {https://doi.org/10.1016/j.jsc.2008.04.013},
doi = {10.1016/J.JSC.2008.04.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KunkleC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/AnselAC09,
author = {Jason Ansel and
Kapil Arya and
Gene Cooperman},
title = {{DMTCP:} Transparent checkpointing for cluster computations and the
desktop},
booktitle = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2009, Rome, Italy, May 23-29, 2009},
pages = {1--12},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IPDPS.2009.5161063},
doi = {10.1109/IPDPS.2009.5161063},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/AnselAC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KunkleC09,
author = {Daniel Kunkle and
Gene Cooperman},
editor = {Jeremy R. Johnson and
Hyungju Park and
Erich L. Kaltofen},
title = {Biased tadpoles: a fast algorithm for centralizers in large matrix
groups},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
pages = {223--230},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1576702.1576734},
doi = {10.1145/1576702.1576734},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/issac/KunkleC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-5046,
author = {Ana Maria Visan and
Artem Y. Polyakov and
Praveen S. Solanki and
Kapil Arya and
Tyler Denniston and
Gene Cooperman},
title = {Temporal Debugging using {URDB}},
journal = {CoRR},
volume = {abs/0910.5046},
year = {2009},
url = {http://arxiv.org/abs/0910.5046},
eprinttype = {arXiv},
eprint = {0910.5046},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-5046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KunkleC08,
author = {Daniel Kunkle and
Gene Cooperman},
title = {Solving Rubik's Cube: disk is the new {RAM}},
journal = {Commun. {ACM}},
volume = {51},
number = {4},
pages = {31--33},
year = {2008},
url = {https://doi.org/10.1145/1330311.1330319},
doi = {10.1145/1330311.1330319},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KunkleC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/KunkleZC08,
author = {Daniel Kunkle and
Donghui Zhang and
Gene Cooperman},
title = {Mining Frequent Generalized Itemsets and Generalized Association Rules
Without Redundancy},
journal = {J. Comput. Sci. Technol.},
volume = {23},
number = {1},
pages = {77--102},
year = {2008},
url = {https://doi.org/10.1007/s11390-008-9107-1},
doi = {10.1007/S11390-008-9107-1},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/KunkleZC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0803-0048,
author = {Xin Dong and
Gene Cooperman},
title = {Scalable Task-Oriented Parallelism for Structure Based Incomplete
{LU} Factorization},
journal = {CoRR},
volume = {abs/0803.0048},
year = {2008},
url = {http://arxiv.org/abs/0803.0048},
eprinttype = {arXiv},
eprint = {0803.0048},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0803-0048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HammondZCPT07,
author = {Kevin Hammond and
Abdallah Al Zain and
Gene Cooperman and
Dana Petcu and
Philip W. Trinder},
editor = {Anne{-}Marie Kermarrec and
Luc Boug{\'{e}} and
Thierry Priol},
title = {SymGrid: {A} Framework for Symbolic Computation on the Grid},
booktitle = {Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference,
Rennes, France, August 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4641},
pages = {457--466},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74466-5\_49},
doi = {10.1007/978-3-540-74466-5\_49},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/HammondZCPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/RobinsonKC07,
author = {Eric Robinson and
Daniel Kunkle and
Gene Cooperman},
editor = {Marc Moreno Maza and
Stephen M. Watt},
title = {A comparative analysis of parallel disk-based Methods for enumerating
implicit graphs},
booktitle = {Parallel Symbolic Computation, {PASCO} 2007, International Workshop,
27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
pages = {78--87},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1278177.1278190},
doi = {10.1145/1278177.1278190},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/RobinsonKC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KunkleC07,
author = {Daniel Kunkle and
Gene Cooperman},
editor = {Dongming Wang},
title = {Twenty-six moves suffice for Rubik's cube},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {235--242},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277581},
doi = {10.1145/1277548.1277581},
timestamp = {Mon, 22 Apr 2024 21:24:34 +0200},
biburl = {https://dblp.org/rec/conf/issac/KunkleC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/RobinsonMC07,
author = {Eric Robinson and
J{\"{u}}rgen M{\"{u}}ller and
Gene Cooperman},
editor = {Dongming Wang},
title = {A disk-based parallel implementation for direct condensation of large
permutation modules},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {315--322},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277591},
doi = {10.1145/1277548.1277591},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/RobinsonMC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701037,
author = {Jason Ansel and
Michael Rieker and
Gene Cooperman},
title = {User-Level Socket-Based Checkpointing for Distributed and Parallel
Computation},
journal = {CoRR},
volume = {abs/cs/0701037},
year = {2007},
url = {http://arxiv.org/abs/cs/0701037},
eprinttype = {arXiv},
eprint = {cs/0701037},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0701037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/CoopermanAM06,
author = {Gene Cooperman and
Jason Ansel and
Xiaoqin Ma},
title = {Transparent Adaptive Library-Based Checkpointing for Master-Worker
Style Parallelism},
booktitle = {Sixth {IEEE} International Symposium on Cluster Computing and the
Grid (CCGrid 2006), 16-19 May 2006, Singapore},
pages = {283--291},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CCGRID.2006.106},
doi = {10.1109/CCGRID.2006.106},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/CoopermanAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/KunkleZC06,
author = {Daniel Kunkle and
Donghui Zhang and
Gene Cooperman},
editor = {Philip S. Yu and
Vassilis J. Tsotras and
Edward A. Fox and
Bing Liu},
title = {Efficient mining of max frequent patterns in a generalized environment},
booktitle = {Proceedings of the 2006 {ACM} {CIKM} International Conference on Information
and Knowledge Management, Arlington, Virginia, USA, November 6-11,
2006},
pages = {810--811},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1183614.1183742},
doi = {10.1145/1183614.1183742},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/KunkleZC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/RobinsonC06,
author = {Eric Robinson and
Gene Cooperman},
editor = {Barry M. Trager},
title = {A parallel architecture for disk-based computing over the Baby Monster
and other large finite simple groups},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2006, Genoa, Italy, July 9-12, 2006, Proceedings},
pages = {298--305},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1145768.1145817},
doi = {10.1145/1145768.1145817},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/RobinsonC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/CoopermanNM06,
author = {Gene Cooperman and
Viet Ha Nguyen and
Igor Malioutov},
title = {Parallelization of Geant4 Using {TOP-C} and Marshalgen},
booktitle = {Fifth {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2006, 24-26 July 2006, Cambridge, Massachusetts, {USA}},
pages = {48--55},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/NCA.2006.45},
doi = {10.1109/NCA.2006.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/CoopermanNM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/RiekerAC06,
author = {Michael Rieker and
Jason Ansel and
Gene Cooperman},
editor = {Hamid R. Arabnia},
title = {Transparent User-Level Checkpointing for the Native Posix Thread Library
for Linux},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications {\&} Conference on Real-Time
Computing Systems and Applications, {PDPTA} 2006, Las Vegas, Nevada,
USA, June 26-29, 2006, Volume 1},
pages = {492--498},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Tue, 28 Nov 2006 14:14:58 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/RiekerAC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/CoopermanAM05,
author = {Gene Cooperman and
Jason Ansel and
Xiaoqin Ma},
title = {Adaptive Checkpointing for Master-Worker Style Parallelism},
booktitle = {2005 {IEEE} International Conference on Cluster Computing {(CLUSTER}
2005), September 26 - 30, 2005, Boston, Massachusetts, {USA}},
pages = {1--2},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CLUSTR.2005.347096},
doi = {10.1109/CLUSTR.2005.347096},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cluster/CoopermanAM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/MaC05,
author = {Xiaoqin Ma and
Gene Cooperman},
title = {Fast Query Processing by Distributing an Index over {CPU} Caches},
booktitle = {2005 {IEEE} International Conference on Cluster Computing {(CLUSTER}
2005), September 26 - 30, 2005, Boston, Massachusetts, {USA}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CLUSTR.2005.347047},
doi = {10.1109/CLUSTR.2005.347047},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cluster/MaC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/ZhouZSCK05,
author = {Panfeng Zhou and
Donghui Zhang and
Betty Salzberg and
Gene Cooperman and
George Kollios},
editor = {Cyrus Shahabi and
Omar Boucelma},
title = {Close pair queries in moving object databases},
booktitle = {13th {ACM} International Workshop on Geographic Information Systems,
{ACM-GIS} 2005, November 4-5, 2005, Bremen, Germany, Proceedings},
pages = {2--11},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1097064.1097067},
doi = {10.1145/1097064.1097067},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gis/ZhouZSCK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Cooperman04,
author = {Gene Cooperman},
title = {The {TOP-C} parallel model and symbolic algebra},
journal = {{SIGSAM} Bull.},
volume = {38},
number = {1},
pages = {16--17},
year = {2004},
url = {https://doi.org/10.1145/980175.980181},
doi = {10.1145/980175.980181},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/Cooperman04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/CoopermanN04,
author = {Gene Cooperman and
Viet Ha Nguyen},
editor = {Hamid R. Arabnia and
Olaf Droegehorn},
title = {Marshalgen: Marshaling Objects in the Presence of Polymorphism},
booktitle = {Proceedings of the International Conference on Internet Computing,
{IC} '04, Las Vegas, Nevada, USA, June 21-24, 2004, Volume 1},
pages = {17--23},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Fri, 17 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic/CoopermanN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/CoopermanMN04,
author = {Gene Cooperman and
Xiaoqin Ma and
Viet Ha Nguyen},
editor = {Hamid R. Arabnia},
title = {Static Performance Evaluation for Memory-Bound Computing: The {MBRAM}
Model},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} '04, June 21-24, 2004,
Las Vegas, Nevada, USA, Volume 1},
pages = {435--441},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Fri, 17 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/CoopermanMN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0410066,
author = {Xiaoqin Ma and
Gene Cooperman},
title = {Fast Query Processing Using Cooperative {CPU} Caching for Index Structures},
journal = {CoRR},
volume = {cs.DC/0410066},
year = {2004},
url = {http://arxiv.org/abs/cs.DC/0410066},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0410066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/CoopermanCHW03,
author = {Gene Cooperman and
Henri Casanova and
Jim Hayes and
Thomas Witzel},
title = {Using {TOP-C} and {AMPIC} to port large parallel applications to the
Computational Grid},
journal = {Future Gener. Comput. Syst.},
volume = {19},
number = {4},
pages = {587--596},
year = {2003},
url = {https://doi.org/10.1016/S0167-739X(03)00037-2},
doi = {10.1016/S0167-739X(03)00037-2},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/CoopermanCHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/CoopermanKW03,
author = {Gene Cooperman and
Ning Ke and
Huanmei Wu},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Marshalgen: {A} Package for Semi-Automatic Marshaling of Objects},
booktitle = {Proceedings of the International Conference on Internet Computing,
{IC} '03, Las Vegas, Nevada, USA, June 23-26, 2003, Volume 2},
pages = {555--560},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Thu, 09 Oct 2003 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/ic/CoopermanKW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CoopermanR03,
author = {Gene Cooperman and
Eric Robinson},
editor = {J. Rafael Sendra},
title = {Memory-based and disk-based algorithms for very high degree permutation
groups},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
2003, Proceedings},
pages = {66--73},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860854.860877},
doi = {10.1145/860854.860877},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CoopermanR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0308004,
author = {Gene Cooperman and
Xiaoqin Ma and
Viet Ha Nguyen},
title = {{DPG:} {A} Cache-Efficient Accelerator for Sorting and for Join Operators},
journal = {CoRR},
volume = {cs.DB/0308004},
year = {2003},
url = {http://arxiv.org/abs/cs/0308004},
timestamp = {Fri, 17 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-DB-0308004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CoopermanM02,
author = {Gene Cooperman and
Xiaoqin Ma},
title = {Overcoming the memory wall in symbolic algebra: a faster permutation
multiplication},
journal = {{SIGSAM} Bull.},
volume = {36},
number = {4},
pages = {1--4},
year = {2002},
url = {https://doi.org/10.1145/641239.641241},
doi = {10.1145/641239.641241},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/CoopermanM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CoopermanG02,
author = {Gene Cooperman and
Victor Grinberg},
title = {Scalable Parallel Coset Enumeration: Bulk Definition and the Memory
Wall},
journal = {J. Symb. Comput.},
volume = {33},
number = {5},
pages = {563--585},
year = {2002},
url = {https://doi.org/10.1006/jsco.2002.0523},
doi = {10.1006/JSCO.2002.0523},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CoopermanG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/CoopermanCHW02,
author = {Gene Cooperman and
Henri Casanova and
Jim Hayes and
Thomas Witzel},
title = {Using {TOP-C} and {AMPIC} to Port Large Parallel Applications to the
Computational Grid},
booktitle = {2nd {IEEE} International Symposium on Cluster Computing and the Grid
(CCGrid 2002), 22-24 May 2002, Berlin, Germany},
pages = {120--127},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CCGRID.2002.1017119},
doi = {10.1109/CCGRID.2002.1017119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/CoopermanCHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CoopermanG01,
author = {Gene Cooperman and
Victor Grinberg},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Scalable parallel coset enumeration using bulk definition},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {77--84},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384113},
doi = {10.1145/384101.384113},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/issac/CoopermanG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/CoopermanFGH99,
author = {Gene Cooperman and
Sandra Feisel and
Joachim von zur Gathen and
George Havas},
editor = {Takao Asano and
Hiroshi Imai and
D. T. Lee and
Shin{-}Ichi Nakano and
Takeshi Tokuyama},
title = {{GCD} of Many Integers},
booktitle = {Computing and Combinatorics, 5th Annual International Conference,
{COCOON} '99, Tokyo, Japan, July 26-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1627},
pages = {310--317},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48686-0\_31},
doi = {10.1007/3-540-48686-0\_31},
timestamp = {Sat, 30 Sep 2023 09:37:25 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/CoopermanFGH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wan/1998,
editor = {Gene Cooperman and
Eike Jessen and
Gerhard O. Michler},
title = {Workshop on Wide Area Networks and High Performance Computing, September
1-5, 1998, Essen, Germany},
series = {Lecture Notes in Control and Information Sciences},
volume = {249},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/BFb0110074},
doi = {10.1007/BFB0110074},
isbn = {1-85233-642-0},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wan/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wan/CoopermanJM98,
author = {Gene Cooperman and
Eike Jessen and
Gerhard O. Michler},
editor = {Gene Cooperman and
Eike Jessen and
Gerhard O. Michler},
title = {Introduction: Distributed High Performance Computing and Gigabit Wide
Area Networks},
booktitle = {Workshop on Wide Area Networks and High Performance Computing, September
1-5, 1998, Essen, Germany},
series = {Lecture Notes in Control and Information Sciences},
volume = {249},
pages = {1--4},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0110075},
doi = {10.1007/BFB0110075},
timestamp = {Fri, 02 Jun 2017 12:08:29 +0200},
biburl = {https://dblp.org/rec/conf/wan/CoopermanJM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wan/Cooperman98,
author = {Gene Cooperman},
editor = {Gene Cooperman and
Eike Jessen and
Gerhard O. Michler},
title = {{TOP-C:} Task-Oriented Parallel {C} for Distributed and Shared Memory},
booktitle = {Workshop on Wide Area Networks and High Performance Computing, September
1-5, 1998, Essen, Germany},
series = {Lecture Notes in Control and Information Sciences},
volume = {249},
pages = {109--117},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0110081},
doi = {10.1007/BFB0110081},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wan/Cooperman98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Cooperman97,
author = {Gene Cooperman},
title = {Abstracts of the 4th East Coast Computer Algebra Day, Northeastern
University, Boston, MA, May 3, 1997},
journal = {{SIGSAM} Bull.},
volume = {31},
number = {4},
pages = {54--59},
year = {1997},
url = {https://doi.org/10.1145/274888.570096},
doi = {10.1145/274888.570096},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/Cooperman97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/em/CoopermanHL097,
author = {Gene Cooperman and
Gerhard Hiss and
Klaus Lux and
J{\"{u}}rgen M{\"{u}}ller},
title = {The Brauer Tree of the Principal 19-Block of the Sporadic Simple Thompson
Group},
journal = {Exp. Math.},
volume = {6},
number = {4},
pages = {293--300},
year = {1997},
url = {https://doi.org/10.1080/10586458.1997.10504617},
doi = {10.1080/10586458.1997.10504617},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/em/CoopermanHL097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CoopermanFTY97,
author = {Gene Cooperman and
Larry Finkelstein and
Michael Tselman and
Bryant W. York},
title = {Constructing Permutation Representations for Matrix Groups},
journal = {J. Symb. Comput.},
volume = {24},
number = {3/4},
pages = {471--488},
year = {1997},
url = {https://doi.org/10.1006/jsco.1997.0146},
doi = {10.1006/JSCO.1997.0146},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CoopermanFTY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/CoopermanH97,
author = {Gene Cooperman and
George Havas},
editor = {Panos M. Pardalos and
Sanguthevar Rajasekaran and
Jos{\'{e}} Rolim},
title = {Elementary algebra revisited: Randomized algorithms},
booktitle = {Randomization Methods in Algorithm Design, Proceedings of a {DIMACS}
Workshop, Princeton, New Jersey, USA, December 12-14, 1997},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {43},
pages = {37--44},
publisher = {{DIMACS/AMS}},
year = {1997},
url = {https://doi.org/10.1090/dimacs/043/03},
doi = {10.1090/DIMACS/043/03},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/CoopermanH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/CoopermanT97,
author = {Gene Cooperman and
Michael Tselman},
editor = {Charles E. Leiserson and
David E. Culler},
title = {Using Tadpoles to Reduce Memory and Communication Requirements for
Exhaustive, Breadth-First Search Using Distributed Computers},
booktitle = {Proceedings of the 9th Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} '97, Newport, RI, USA, June 23-25, 1997},
pages = {231--238},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258492.258515},
doi = {10.1145/258492.258515},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/CoopermanT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/Cooperman96,
author = {Gene Cooperman},
title = {{TOP-C:} {A} Task-Oriented Parallel {C} Interface},
booktitle = {Proceedings of the 5th International Symposium on High Performance
Distributed Computing {(HPDC} '96), Syracuse, NY, USA, August 6-9,
1996},
pages = {141--150},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/HPDC.1996.546183},
doi = {10.1109/HPDC.1996.546183},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/Cooperman96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CoopermanT96,
author = {Gene Cooperman and
Michael Tselman},
editor = {Erwin Engeler and
Bob F. Caviness and
Yagati N. Lakshman},
title = {New Sequential and Parallel Algorithms for Generating High Dimension
Hecke Algebras Using the Condensation Technique},
booktitle = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
pages = {155--160},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/236869.236927},
doi = {10.1145/236869.236927},
timestamp = {Tue, 29 Aug 2023 20:47:14 +0200},
biburl = {https://dblp.org/rec/conf/issac/CoopermanT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BabaiCFLS95,
author = {L{\'{a}}szl{\'{o}} Babai and
Gene Cooperman and
Larry Finkelstein and
Eugene M. Luks and
{\'{A}}kos Seress},
title = {Fast Monte Carlo Algorithms for Permutation Groups},
journal = {J. Comput. Syst. Sci.},
volume = {50},
number = {2},
pages = {296--308},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1024},
doi = {10.1006/JCSS.1995.1024},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/BabaiCFLS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Cooperman95,
author = {Gene Cooperman},
editor = {Larry Finkelstein and
William M. Kantor},
title = {{GAP/MPI:} Facilitating parallelism},
booktitle = {Groups and Computation, Proceedings of a {DIMACS} Workshop, New Brunswick,
New Jersey, USA, June 7-10, 1995},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {28},
pages = {69--83},
publisher = {{DIMACS/AMS}},
year = {1995},
url = {https://doi.org/10.1090/dimacs/028/06},
doi = {10.1090/DIMACS/028/06},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Cooperman95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/CoopermanFL95,
author = {Gene Cooperman and
Larry Finkelstein and
Steve Linton},
editor = {Larry Finkelstein and
William M. Kantor},
title = {Constructive recognition of a black box group isomorphic to GL(n,2)},
booktitle = {Groups and Computation, Proceedings of a {DIMACS} Workshop, New Brunswick,
New Jersey, USA, June 7-10, 1995},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {28},
pages = {85--100},
publisher = {{DIMACS/AMS}},
year = {1995},
url = {https://doi.org/10.1090/dimacs/028/07},
doi = {10.1090/DIMACS/028/07},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/CoopermanFL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Cooperman95,
author = {Gene Cooperman},
editor = {A. H. M. Levelt},
title = {{STAR/MPI:} Binding a Parallel Library to Interactive Symbolic Algebra
Systems},
booktitle = {Proceedings of the 1995 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '95, Montreal, Canada, July 10-12, 1995},
pages = {126--132},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/220346.220363},
doi = {10.1145/220346.220363},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Cooperman95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CoopermanFT95,
author = {Gene Cooperman and
Larry Finkelstein and
Michael Tselman},
editor = {A. H. M. Levelt},
title = {Computing with Matrix Groups Using Permutation Representations},
booktitle = {Proceedings of the 1995 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '95, Montreal, Canada, July 10-12, 1995},
pages = {259--264},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/220346.220379},
doi = {10.1145/220346.220379},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CoopermanFT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CoopermanF94,
author = {Gene Cooperman and
Larry Finkelstein},
title = {A Random Base Change Algorithm for Permutation Groups},
journal = {J. Symb. Comput.},
volume = {17},
number = {6},
pages = {513--528},
year = {1994},
url = {https://doi.org/10.1006/jsco.1994.1032},
doi = {10.1006/JSCO.1994.1032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CoopermanF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/CoopermanF94,
author = {Gene Cooperman and
Larry Finkelstein},
editor = {D. Frank Hsu and
Arnold L. Rosenberg and
Dominique Sotteau},
title = {Permutation routing via Cayley graphs with an example for bus interconnection
networks},
booktitle = {Workshop on Interconnection Networks and Mapping and Scheduling Parallel
Computations, Proceedings of a {DIMACS} Workshop, Piscataway, New
Jersey, USA, February 7-9, 1994},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {21},
pages = {47--56},
publisher = {{DIMACS/AMS}},
year = {1994},
url = {https://doi.org/10.1090/dimacs/021/05},
doi = {10.1090/DIMACS/021/05},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/CoopermanF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CoopermanFYT94,
author = {Gene Cooperman and
Larry Finkelstein and
Bryant W. York and
Michael Tselman},
editor = {Malcolm A. H. MacCallum},
title = {Constructing Permutation Representations for Large Matrix Groups},
booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '94, Oxford, UK, July 20-22, 1994},
pages = {134--138},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/190347.190384},
doi = {10.1145/190347.190384},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CoopermanFYT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/CoopermanF92,
author = {Gene Cooperman and
Larry Finkelstein},
title = {New Methods for Using Cayley Graphs in Interconnection Networks},
journal = {Discret. Appl. Math.},
volume = {37/38},
pages = {95--118},
year = {1992},
url = {https://doi.org/10.1016/0166-218X(92)90127-V},
doi = {10.1016/0166-218X(92)90127-V},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/CoopermanF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CoopermanF92,
author = {Gene Cooperman and
Larry Finkelstein},
editor = {Paul S. Wang},
title = {A Fast Cyclic Base Change for Permutation Groups},
booktitle = {Proceedings of the 1992 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '92, Berkeley, CA, USA, July 27-29, 1992},
pages = {224--232},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/143242.143316},
doi = {10.1145/143242.143316},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CoopermanF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CoopermanF91,
author = {Gene Cooperman and
Larry Finkelstein},
title = {A Strong Generating Test and Short Presentation for Permutation Groups},
journal = {J. Symb. Comput.},
volume = {12},
number = {4/5},
pages = {475--498},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80099-5},
doi = {10.1016/S0747-7171(08)80099-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CoopermanF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/CoopermanF91,
author = {Gene Cooperman and
Larry Finkelstein},
editor = {Larry Finkelstein and
William M. Kantor},
title = {Combinatorial Tools for Computational Group Theory},
booktitle = {Groups And Computation, Proceedings of a {DIMACS} Workshop, New Brunswick,
New Jersey, USA, October 7-10, 1991},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {11},
pages = {53--86},
publisher = {{DIMACS/AMS}},
year = {1991},
url = {https://doi.org/10.1090/dimacs/011/05},
doi = {10.1090/DIMACS/011/05},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/CoopermanF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BabaiCFS91,
author = {L{\'{a}}szl{\'{o}} Babai and
Gene Cooperman and
Larry Finkelstein and
{\'{A}}kos Seress},
editor = {Stephen M. Watt},
title = {Nearly Linear Time Algorithms for Permutation Groups with a Small
Base},
booktitle = {Proceedings of the 1991 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '91, Bonn, Germany, July 15-17, 1991},
pages = {200--209},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/120694.120724},
doi = {10.1145/120694.120724},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BabaiCFS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiCFLS91,
author = {L{\'{a}}szl{\'{o}} Babai and
Gene Cooperman and
Larry Finkelstein and
Eugene M. Luks and
{\'{A}}kos Seress},
editor = {Cris Koutsougeras and
Jeffrey Scott Vitter},
title = {Fast Monte Carlo Algorithms for Permutation Groups},
booktitle = {Proceedings of the 23rd Annual {ACM} Symposium on Theory of Computing,
May 5-8, 1991, New Orleans, Louisiana, {USA}},
pages = {90--100},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/103418.103435},
doi = {10.1145/103418.103435},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/BabaiCFLS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/CoopermanFS90,
author = {Gene Cooperman and
Larry Finkelstein and
N. Sarawagi},
editor = {Shojiro Sakata},
title = {Applications of Cayley Graphs},
booktitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {508},
pages = {367--378},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54195-0\_65},
doi = {10.1007/3-540-54195-0\_65},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/aaecc/CoopermanFS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CoopermanFS90,
author = {Gene Cooperman and
Larry Finkelstein and
N. Sarawagi},
editor = {Shunro Watanabe and
Morio Nagata},
title = {A Random Base Change Algorithm for Permutation Groups},
booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '90, Tokyo, Japan, August 20-24, 1990},
pages = {161--168},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/96877.96918},
doi = {10.1145/96877.96918},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CoopermanFS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/CoopermanFP89,
author = {Gene Cooperman and
Larry Finkelstein and
Paul Walton Purdom Jr.},
editor = {Erich L. Kaltofen and
Stephen M. Watt},
title = {Fast Group Membership Using a Strong Generating Test for Permutation
Groups},
booktitle = {Computers and Mathematics, Third Computers and Mathematics Conference,
MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
pages = {27--36},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-1-4613-9647-5\_4},
doi = {10.1007/978-1-4613-9647-5\_4},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/cm/CoopermanFP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CoopermanFL89,
author = {Gene Cooperman and
Larry Finkelstein and
Eugene M. Luks},
editor = {Gaston H. Gonnet},
title = {Reduction of Group Constructions to Point Stabilizers},
booktitle = {Proceedings of the {ACM-SIGSAM} 1989 International Symposium on Symbolic
and Algebraic Computation, {ISSAC} '89, Portland, Oregon, USA, July
17-19, 1989},
pages = {351--356},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74540.74581},
doi = {10.1145/74540.74581},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CoopermanFL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BrownCF88,
author = {Cynthia A. Brown and
Gene Cooperman and
Larry Finkelstein},
editor = {Patrizia M. Gianni},
title = {Solving Permutation Problems Using Rewriting Systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC'88,
Rome, Italy, July 4-8, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {358},
pages = {364--377},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51084-2\_35},
doi = {10.1007/3-540-51084-2\_35},
timestamp = {Fri, 26 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BrownCF88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Cooperman86,
author = {Gene Cooperman},
editor = {Bruce W. Char},
title = {A semantic matcher for computer algebra},
booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
{SYMSAC} 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
pages = {132--134},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/32439.32466},
doi = {10.1145/32439.32466},
timestamp = {Mon, 21 Mar 2022 21:50:23 +0100},
biburl = {https://dblp.org/rec/conf/issac/Cooperman86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
