Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Christoph von Praun
@article{DBLP:journals/pc/FraguelaBGGPP12,
author = {Basilio B. Fraguela and
Ganesh Bikshandi and
Jia Guo and
Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and
David A. Padua and
Christoph von Praun},
title = {Optimization techniques for efficient {HTA} programs},
journal = {Parallel Comput.},
volume = {38},
number = {9},
pages = {465--484},
year = {2012},
url = {https://doi.org/10.1016/j.parco.2012.05.002},
doi = {10.1016/J.PARCO.2012.05.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/FraguelaBGGPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/Praun11,
author = {Christoph von Praun},
editor = {David A. Padua},
title = {Determinacy},
booktitle = {Encyclopedia of Parallel Computing},
pages = {561--565},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_37},
doi = {10.1007/978-0-387-09766-4\_37},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/Praun11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/Praun11a,
author = {Christoph von Praun},
editor = {David A. Padua},
title = {Race Conditions},
booktitle = {Encyclopedia of Parallel Computing},
pages = {1691--1697},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_36},
doi = {10.1007/978-0-387-09766-4\_36},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/Praun11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/Praun11b,
author = {Christoph von Praun},
editor = {David A. Padua},
title = {Race Detection Techniques},
booktitle = {Encyclopedia of Parallel Computing},
pages = {1697--1706},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_38},
doi = {10.1007/978-0-387-09766-4\_38},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/Praun11b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/WuMPNBCCCCHMSSWW09,
author = {Peng Wu and
Maged M. Michael and
Christoph von Praun and
Takuya Nakaike and
Rajesh Bordawekar and
Harold W. Cain and
Calin Cascaval and
Siddhartha Chatterjee and
Stefanie Chiras and
Rui Hou and
Mark F. Mergen and
Xiaowei Shen and
Michael F. Spear and
Huayong Wang and
Kun Wang},
title = {Compiler and runtime techniques for software transactional memory
optimization},
journal = {Concurr. Comput. Pract. Exp.},
volume = {21},
number = {1},
pages = {7--23},
year = {2009},
url = {https://doi.org/10.1002/cpe.1336},
doi = {10.1002/CPE.1336},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/WuMPNBCCCCHMSSWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/CezePCMT08,
author = {Luis Ceze and
Christoph von Praun and
Calin Cascaval and
Pablo Montesinos and
Josep Torrellas},
editor = {Emery D. Berger and
Brad Chen},
title = {Concurrency control with data coloring},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} workshop on Memory Systems
Performance and Correctness: held in conjunction with the Thirteenth
International Conference on Architectural Support for Programming
Languages and Operating Systems {(ASPLOS} '08), Seattle, Washington,
USA, March 2, 2008},
pages = {6--10},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1353522.1353525},
doi = {10.1145/1353522.1353525},
timestamp = {Sat, 30 Sep 2023 09:34:47 +0200},
biburl = {https://dblp.org/rec/conf/asplos/CezePCMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/PraunBC08,
author = {Christoph von Praun and
Rajesh Bordawekar and
Calin Cascaval},
editor = {Siddhartha Chatterjee and
Michael L. Scott},
title = {Modeling optimistic concurrency using quantitative dependence analysis},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2008, Salt Lake City, UT,
USA, February 20-23, 2008},
pages = {185--196},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1345206.1345234},
doi = {10.1145/1345206.1345234},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/PraunBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/SpearMP08,
author = {Michael F. Spear and
Maged M. Michael and
Christoph von Praun},
editor = {Friedhelm Meyer auf der Heide and
Nir Shavit},
title = {RingSTM: scalable transactions with a single atomic instruction},
booktitle = {{SPAA} 2008: Proceedings of the 20th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Munich, Germany, June 14-16, 2008},
pages = {275--284},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1378533.1378583},
doi = {10.1145/1378533.1378583},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/SpearMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/CezeMPT07,
author = {Luis Ceze and
Pablo Montesinos and
Christoph von Praun and
Josep Torrellas},
title = {Colorama: Architectural Support for Data-Centric Synchronization},
booktitle = {13st International Conference on High-Performance Computer Architecture
{(HPCA-13} 2007), 10-14 February 2007, Phoenix, Arizona, {USA}},
pages = {133--144},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HPCA.2007.346192},
doi = {10.1109/HPCA.2007.346192},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpca/CezeMPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Adl-TabatabaiDHSKPS07,
author = {Ali{-}Reza Adl{-}Tabatabai and
David Dice and
Maurice Herlihy and
Nir Shavit and
Christos Kozyrakis and
Christoph von Praun and
Michael L. Scott},
editor = {Katherine A. Yelick and
John M. Mellor{-}Crummey},
title = {Potential show-stoppers for transactional synchronization},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2007, San Jose, California,
USA, March 14-17, 2007},
pages = {55},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229428.1229439},
doi = {10.1145/1229428.1229439},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Adl-TabatabaiDHSKPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/PraunCC07,
author = {Christoph von Praun and
Luis Ceze and
Calin Cascaval},
editor = {Katherine A. Yelick and
John M. Mellor{-}Crummey},
title = {Implicit parallelism with ordered transactions},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2007, San Jose, California,
USA, March 14-17, 2007},
pages = {79--89},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229428.1229443},
doi = {10.1145/1229428.1229443},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/PraunCC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/SaraswatJMP07,
author = {Vijay A. Saraswat and
Radha Jagadeesan and
Maged M. Michael and
Christoph von Praun},
editor = {Katherine A. Yelick and
John M. Mellor{-}Crummey},
title = {A theory of memory models},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2007, San Jose, California,
USA, March 14-17, 2007},
pages = {161--172},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229428.1229469},
doi = {10.1145/1229428.1229469},
timestamp = {Sun, 12 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/SaraswatJMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/SaraswatSP07,
author = {Vijay A. Saraswat and
Vivek Sarkar and
Christoph von Praun},
editor = {Katherine A. Yelick and
John M. Mellor{-}Crummey},
title = {{X10:} concurrent programming for modern architectures},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2007, San Jose, California,
USA, March 14-17, 2007},
pages = {271},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229428.1229483},
doi = {10.1145/1229428.1229483},
timestamp = {Sun, 12 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/SaraswatSP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GuoBHAFGPP06,
author = {Jia Guo and
Ganesh Bikshandi and
Daniel Hoeflinger and
Gheorghe Alm{\'{a}}si and
Basilio B. Fraguela and
Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and
David A. Padua and
Christoph von Praun},
title = {Hierarchically tiled arrays for parallelism and locality},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639573},
doi = {10.1109/IPDPS.2006.1639573},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/GuoBHAFGPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/TrachselPG06,
author = {Oliver Trachsel and
Christoph von Praun and
Thomas R. Gross},
title = {On the effectiveness of speculative and selective memory fences},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639272},
doi = {10.1109/IPDPS.2006.1639272},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/TrachselPG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/PraunCCR06,
author = {Christoph von Praun and
Harold W. Cain and
Jong{-}Deok Choi and
Kyung Dong Ryu},
title = {Conditional Memory Ordering},
booktitle = {33rd International Symposium on Computer Architecture {(ISCA} 2006),
June 17-21, 2006, Boston, MA, {USA}},
pages = {41--52},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISCA.2006.16},
doi = {10.1109/ISCA.2006.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/PraunCCR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/BikshandiGPTFGPR06,
author = {Ganesh Bikshandi and
Jia Guo and
Christoph von Praun and
Gabriel Tanase and
Basilio B. Fraguela and
Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and
David A. Padua and
Lawrence Rauchwerger},
editor = {George Alm{\'{a}}si and
Calin Cascaval and
Peng Wu},
title = {Design and Use of htalib - {A} Library for Hierarchically Tiled Arrays},
booktitle = {Languages and Compilers for Parallel Computing, 19th International
Workshop, {LCPC} 2006, New Orleans, LA, USA, November 2-4, 2006. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {4382},
pages = {17--32},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-72521-3\_3},
doi = {10.1007/978-3-540-72521-3\_3},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/BikshandiGPTFGPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BikshandiGHAFGPP06,
author = {Ganesh Bikshandi and
Jia Guo and
Daniel Hoeflinger and
Gheorghe Alm{\'{a}}si and
Basilio B. Fraguela and
Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and
David A. Padua and
Christoph von Praun},
editor = {Josep Torrellas and
Siddhartha Chatterjee},
title = {Programming for parallelism and locality with hierarchically tiled
arrays},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, {PPOPP} 2006, New York, New York, USA, March
29-31, 2006},
pages = {48--57},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1122971.1122981},
doi = {10.1145/1122971.1122981},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/BikshandiGHAFGPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CharlesGSDKEPS05,
author = {Philippe Charles and
Christian Grothoff and
Vijay A. Saraswat and
Christopher Donawa and
Allan Kielstra and
Kemal Ebcioglu and
Christoph von Praun and
Vivek Sarkar},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {{X10:} an object-oriented approach to non-uniform cluster computing},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {519--538},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094852},
doi = {10.1145/1094811.1094852},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/CharlesGSDKEPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Praun04,
author = {Christoph von Praun},
title = {Detecting synchronization defects in multi-threaded object-oriented
programs},
school = {{ETH} Zurich, Z{\"{u}}rich, Switzerland},
year = {2004},
url = {https://hdl.handle.net/20.500.11850/72874},
doi = {10.3929/ETHZ-A-004756402},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Praun04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PraunG04,
author = {Christoph von Praun and
Thomas R. Gross},
title = {Static Detection of Atomicity Violations in Object-Oriented Programs},
journal = {J. Object Technol.},
volume = {3},
number = {6},
pages = {103--122},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.6.a5},
doi = {10.5381/JOT.2004.3.6.A5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/PraunG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/Praun04,
author = {Christoph von Praun},
editor = {Rudolf Eigenmann and
Zhiyuan Li and
Samuel P. Midkiff},
title = {Efficient Computation of Communicator Variables for Programs with
Unstructured Parallelism},
booktitle = {Languages and Compilers for High Performance Computing, 17th International
Workshop, {LCPC} 2004, West Lafayette, IN, USA, September 22-24, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3602},
pages = {209--223},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11532378\_16},
doi = {10.1007/11532378\_16},
timestamp = {Wed, 20 Nov 2019 17:19:17 +0100},
biburl = {https://dblp.org/rec/conf/lcpc/Praun04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/PraunSG03,
author = {Christoph von Praun and
Florian T. Schneider and
Thomas R. Gross},
editor = {Lawrence Rauchwerger},
title = {Load Elimination in the Presence of Side Effects, Concurrency and
Precise Exceptions},
booktitle = {Languages and Compilers for Parallel Computing, 16th International
Workshop, {LCPC} 2003, College Station, TX, USA, October 2-4, 2003,
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2958},
pages = {390--405},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24644-2\_25},
doi = {10.1007/978-3-540-24644-2\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/PraunSG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PraunG03,
author = {Christoph von Praun and
Thomas R. Gross},
editor = {Ron Cytron and
Rajiv Gupta},
title = {Static conflict analysis for multi-threaded object-oriented programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
Language Design and Implementation 2003, San Diego, California, USA,
June 9-11, 2003},
pages = {115--128},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/781131.781145},
doi = {10.1145/781131.781145},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PraunG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/StoltePAG03,
author = {Etzard Stolte and
Christoph von Praun and
Gustavo Alonso and
Thomas R. Gross},
editor = {Alon Y. Halevy and
Zachary G. Ives and
AnHai Doan},
title = {Scientific Data Repositories: Designing for a Moving Target},
booktitle = {Proceedings of the 2003 {ACM} {SIGMOD} International Conference on
Management of Data, San Diego, California, USA, June 9-12, 2003},
pages = {349--360},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/872757.872800},
doi = {10.1145/872757.872800},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/StoltePAG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PraunG01,
author = {Christoph von Praun and
Thomas R. Gross},
editor = {Linda M. Northrop and
John M. Vlissides},
title = {Object Race Detection},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2001, Tampa,
Florida, USA, October 14-18, 2001},
pages = {70--82},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/504282.504288},
doi = {10.1145/504282.504288},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PraunG01.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-25 02:17 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:
