Christoph von Praun

According to our database, Christoph von Praun authored at least 26 papers between 2001 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2012

Optimization techniques for efficient HTA programs.

Basilio B. Fraguela, Ganesh Bikshandi, Jia Guo, María Jesús Garzarán, David A. Padua, Christoph von Praun

Parallel Comput., 2012

2011

Race Detection Techniques.

Christoph von Praun

Proceedings of the Encyclopedia of Parallel Computing, 2011

Race Conditions.

Christoph von Praun

Proceedings of the Encyclopedia of Parallel Computing, 2011

Determinacy.

Christoph von Praun

Proceedings of the Encyclopedia of Parallel Computing, 2011

2009

Compiler and runtime techniques for software transactional memory optimization.

Peng Wu, Maged M. Michael, Christoph von Praun, Takuya Nakaike, Rajesh Bordawekar, Harold W. Cain, Calin Cascaval, Siddhartha Chatterjee, Stefanie Chiras, Rui Hou, Mark F. Mergen, Xiaowei Shen, Michael F. Spear, Huayong Wang, Kun Wang

Concurr. Comput. Pract. Exp., 2009

2008

RingSTM: scalable transactions with a single atomic instruction.

Michael F. Spear, Maged M. Michael, Christoph von Praun

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Modeling optimistic concurrency using quantitative dependence analysis.

Christoph von Praun, Rajesh Bordawekar, Calin Cascaval

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Concurrency control with data coloring.

Luis Ceze, Christoph von Praun, Calin Cascaval, Pablo Montesinos, Josep Torrellas

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), 2008

2007

X10: concurrent programming for modern architectures.

Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

A theory of memory models.

Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Implicit parallelism with ordered transactions.

Christoph von Praun, Luis Ceze, Calin Cascaval

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Potential show-stoppers for transactional synchronization.

Ali-Reza Adl-Tabatabai, David Dice, Maurice Herlihy, Nir Shavit, Christos Kozyrakis, Christoph von Praun, Michael L. Scott

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Colorama: Architectural Support for Data-Centric Synchronization.

Luis Ceze, Pablo Montesinos, Christoph von Praun, Josep Torrellas

Proceedings of the 13st International Conference on High-Performance Computer Architecture (HPCA-13 2007), 2007

2006

Programming for parallelism and locality with hierarchically tiled arrays.

Ganesh Bikshandi, Jia Guo, Daniel Hoeflinger, Gheorghe Almási, Basilio B. Fraguela, María Jesús Garzarán, David A. Padua, Christoph von Praun

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Design and Use of htalib - A Library for Hierarchically Tiled Arrays.

Ganesh Bikshandi, Jia Guo, Christoph von Praun, Gabriel Tanase, Basilio B. Fraguela, María Jesús Garzarán, David A. Padua, Lawrence Rauchwerger

Proceedings of the Languages and Compilers for Parallel Computing, 2006

Conditional Memory Ordering.

Christoph von Praun, Harold W. Cain, Jong-Deok Choi, Kyung Dong Ryu

Proceedings of the 33rd International Symposium on Computer Architecture (ISCA 2006), 2006

On the effectiveness of speculative and selective memory fences.

Oliver Trachsel, Christoph von Praun, Thomas R. Gross

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Hierarchically tiled arrays for parallelism and locality.

Jia Guo, Ganesh Bikshandi, Daniel Hoeflinger, Gheorghe Almási, Basilio B. Fraguela, María Jesús Garzarán, David A. Padua, Christoph von Praun

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

X10: an object-oriented approach to non-uniform cluster computing.

Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, Vivek Sarkar

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Detecting synchronization defects in multi-threaded object-oriented programs.

Christoph von Praun

PhD thesis, 2004

Static Detection of Atomicity Violations in Object-Oriented Programs.

Christoph von Praun, Thomas R. Gross

J. Object Technol., 2004

Efficient Computation of Communicator Variables for Programs with Unstructured Parallelism.

Christoph von Praun

Proceedings of the Languages and Compilers for High Performance Computing, 2004

2003

Scientific Data Repositories: Designing for a Moving Target.

Etzard Stolte, Christoph von Praun, Gustavo Alonso, Thomas R. Gross

Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

Static conflict analysis for multi-threaded object-oriented programs.

Christoph von Praun, Thomas R. Gross

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Load Elimination in the Presence of Side Effects, Concurrency and Precise Exceptions.

Christoph von Praun, Florian T. Schneider, Thomas R. Gross

Proceedings of the Languages and Compilers for Parallel Computing, 2003

2001

Object Race Detection.

Christoph von Praun, Thomas R. Gross

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001