Christoph von Praun's Publications
Journals
- Peng Wu , Maged M. Michael, Christoph von Praun, Takuya Nakaike, Rajesh
Bordawekar, Harold W. Cain, Calin Cascaval, Siddhartha Chatterjee, Stefanie
Chiras, Rui Hou, Mark Mergen, Xiaowei Shen, Michael F. Spear, Hua Yong Wang,
Kun Wang. Compiler and Runtime Techniques for Software Transactional Memory
Optimization, Concurrency and Computation: Practice and Experience, Volume
21, Issue 1, July 2008.
- Christoph von Praun and Thomas Gross.
Static Detection of Atomicity Violations in Object-Oriented Programs,
Journal of Object Technology, vol.3, no. 6, Special issue: Selected papers from the ECOOP 2003 Workshop on FTfJP, June 2004. [Extended version of the FTfJP'03 paper]
- Pascal Saint-Hilaire, Christoph von Praun, Etzard Stolte, Gustavo
Alonso, Arnold Benz, and Thomas Gross. The RHESSI
Experimental Data Center. Journal of Solar Physics,
210:143-164, October 2002.
- Kaspar Arzner, Arnold Benz, Christoph von Praun, and Etzard
Stolte. RHESSI - neue Herausforderungen im Management grosser
Datenmengen. Switch Journal, June 2002.
- Christoph von Praun. A Framework for Modeling
and Simulating Data Flows in Distributed Computing Systems
IEEE Transactions on Nuclear Science 45(1), special issue with selected papers of IEEE RT'97, January 1998 (same as the IEEE RT'97 conference paper).
Conferences
- Michael Spear, Maged Michael, Christoph von Praun: RingSTM: Scalable Transactions with a single Atomic Operation, Symposium on Parallelism in Algorithms and Architectures (SPAA), June 2008
- Christoph von Praun, Rajesh Bordawekar, and Calin Cascaval.
Modeling Optimistic Concurrency using Quantitative Dependence Analysis, Symposium
on Principles and Practice of Parallel Programming (PPoPP), February 2008
- Vijay Saraswat, Radha Jagadeesan, Maged Michael, and Christoph von Praun. A Theory of Memory Models, Symposium on Principles and
Practice of Parallel Programming (PPoPP), March 2007.
- Christoph von Praun, Luis Ceze, and Calin Cascaval. Implicit Parallelism with Ordered Transactions, Symposium on Principles and
Practice of Parallel Programming (PPoPP), March 2007.
- Luis Ceze, Pablo Montesinos, Christoph von Praun, and Josep Torellas. Colorama: Architectural Support for Data-Centric Synchronization, International Symposium on High Performance Computer Architecture (HPCA), February 2007.
- Christoph von Praun, Trey Cain, Jong-Deok Choi, and Kyung Ryu. Conditional Memory Ordering, International
Symposium on Computer Architecture (ISCA), June 2006.
- Oliver Trachsel, Christoph von Praun, Thomas Gross. On the Effectiveness of Speculative and Selective
Memory Fences, International Parallel and Distributed
Processing Symposium (IPDPS), April 2006.
- Ganesh Bikshandi, Jia Guo, George Almasi, Basilio Fraguela, Maria
Garzaran, David Padua, Christoph von Praun. Programming for Parallelism and Locality
with Hierarchically Tiled Arrays. Symposium on Principles and
Practice of Parallel Programming (PPoPP), March 2006.
- Philippe Charles, Christopher Donawa, Kemal Ebcioglu, Christian
Grothoff, Allan Kielstra, Christoph von Praun Vijay Sarsawat and Vivek
Sarkar. X10: An Object-Oriented
Approach to Non-Uniform Cluster Computing, Conference on
Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA), October 2005.
- Christoph von Praun and Trey Cain.
Conditional Memory Ordering, Watson Conference on Interaction
between Architecture, Circuits, and Compilers (PAC2),
September 2005.
- Christoph von Praun and Thomas Gross.
Static Conflict Analysis for Multi-Threaded Object-Oriented
Programs Conference on Programming Language Design and
Implementation (PLDI), June 2003.
- Etzard Stolte, Christoph von Praun, Gustavo Alonso, Thomas
Gross. Scientific Data Repositories - Designing
for a Moving Target, Conference on Management of Data
(SIGMOD), June 2003.
- Christoph von Praun and Thomas Gross. Object-Race Detection, Conference on
Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA), October 2001.
- Christoph von Praun. A Framework for Modeling
and Simulating Data Flows in Distributed Computing Systems,
IEEE Real-Time Conference, September 1997.
Workshops
- Luis Ceze, Christoph von Praun, Calin Cascaval, Pablo Montesinos and Josep
Torrellas: Programming and Debugging Shared Memory Programs with Data Coloring. Workshop on Compilers for Parallel Computers, January 2009.
- Luis Ceze, Christoph von Praun, Calin Cascaval, Pablo Montesinos and Josep
Torrellas: Concurrency Control with Data Coloring. Workshop on Memory Systems Performance and Correctness (MSPC), 2008.
- Ganesh Bikshandi, Jia Guo, Christoph von Praun, Gabriel Tanase, Basilio Fraguela, Maria
Garzaran, David Padua, Lawrence Rauchwerger. Design and Use of htalib -- a Library for Hierarchically Tiled Arrays. International Workshop on Languages and Compilers for Parallel Computing (LCPC), November 2006.
- Ganesh Bikshandi, Jia Guo, Daniel Hoeflinger, Gheorghe Almasi,
Basilio Fraguela, María Jesús Garzarán, David Padua, and Christoph von
Praun. Hierarchically Tiled Arrays for
Parallelism and Locality.Workshop on Performance Engineering
Technology and Research Sponsored under the NSF Next Generation
Software Program, in conjunction with IPDPS, April 2006.
- Christoph von Praun.
Deconstructing Redundant Memory Synchronization,
ISCA Workshop on Duplicating, Deconstructing, and Debunking (WDDD),
June 2005.
- Christoph von Praun. Efficient Computation
of Communicator Variables in Programs with Unstructured
Parallelism, International Workshop on Languages and Compilers
for Parallel Computing (LCPC), September 2004.
- Christoph von Praun, Florian Schneider and Thomas Gross. Load Elimination in the Presence of Side Effects,
Concurrency and Precise Exceptions, International Workshop on
Languages and Compilers for Parallel Computing (LCPC), October
2003.
- Christoph von Praun and Thomas Gross.
Static Detection of Atomicity Violations in Object-Oriented Programs,
ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP),
July 2003.
- Christoph von Praun and Thomas Gross.
Compiling Multi-Threaded Object-Oriented Programs,
International Workshop on Compilers for Parallel Computers
(CPC), January 2003.
- Christoph von Praun, Thomas Gross. Compiler-Based Object Consistency, Workshop on
Caching, Coherence and Consistency (WC3), June 2001.
Reports and Posters
- Felix Schmidt, Christoph von Praun: Programming for Cache Locality on CMPs with Memory Temperatures (Abstract), Poster and Work in Progress Session at EuroSys, April 2009.
- Christoph von Praun, Luis Ceze and Calin Cascaval.
Implicit Parallelism with Ordered Transactions, IBM Research Report (RC24054), September 2006.
- Christoph von Praun. SoDA - Framework for the
Simulation of Distributed Computing Architectures. CERN Report, September 1998.
- Michele Michelotto and Christoph von Praun. A Paper
Model for the ATLAS Event Filter Sub-Farm, CERN-ATLAS Technical
Note No. 055, 1997.
- Christoph von Praun and Michele Michelotto. An analytical model for data
flows in distributed computing systems, CERN IT Report No. 97-009, 1997.
Tutorials
Monographs
- Christoph von Praun. Detecting Synchronization Defects in Multi-Threaded Object-Oriented Programs,
Dissertation, ETH Zürich, July 2004.
- Christoph von Praun. Object-Oriented Modeling and
Generation of User Interfaces for Business Information Systems, Diploma Thesis, TU-München,
August 1996.
Patents
ACM Copyright © by Association for Computing Machinery,
Inc. Permission to make digital or hard copies of part of all of this
work for personal or classroom use is granted without fee provided
that copies are not made or distributed for profit or commercial
advantage. To copy otherwise, to republish, to post on servers, or to
redistribute to lists, requires prior specific permission and/or a
fee.
IEEE - Copyright © by IEEE. Permission to make digital or hard
copies of part or all of this work for personal or classroom use is
granted without fee provided that copies are not made or distributed
for profit. To copy otherwise, to republish, to post on servers, or to
redistribute to lists, requires prior specific permission and/or a
fee.
Last change:
10-Jul-2010.