Travelled to:8 × USA
Collaborated with:T.R.Gross V.A.Saraswat C.Cascaval L.Ceze V.Sarkar R.Bordawekar P.Montesinos J.Torrellas R.Jagadeesan M.M.Michael E.Stolte G.Alonso A.Adl-Tabatabai D.Dice M.Herlihy N.Shavit C.Kozyrakis M.L.Scott G.Bikshandi J.Guo D.Hoeflinger G.Almási B.B.Fraguela M.J.Garzarán D.A.Padua P.Charles C.Grothoff C.Donawa A.Kielstra K.Ebcioglu
Talks about:program (3) object (3) architectur (2) transact (2) synchron (2) parallel (2) concurr (2) analysi (2) orient (2) model (2)
Person: Christoph von Praun
DBLP: Praun:Christoph_von
Contributed to:
2008
200720072006
2005
2003
20032001Wrote 11 papers:
- PPoPP-2008-PraunBC #analysis #concurrent #dependence #modelling #using
- Modeling optimistic concurrency using quantitative dependence analysis (CvP, RB, CC), pp. 185–196.
- HPCA-2007-CezeMPT #architecture #named
- Colorama: Architectural Support for Data-Centric Synchronization (LC, PM, CvP, JT), pp. 133–144.
- PPoPP-2007-Adl-TabatabaiDHSKPS #transaction
- Potential show-stoppers for transactional synchronization (ARAT, DD, MH, NS, CK, CvP, MLS), p. 55.
- PPoPP-2007-PraunCC #order #parallel #transaction
- Implicit parallelism with ordered transactions (CvP, LC, CC), pp. 79–89.
- PPoPP-2007-SaraswatJMP #formal method #memory management #modelling
- A theory of memory models (VAS, RJ, MMM, CvP), pp. 161–172.
- PPoPP-2007-SaraswatSP #architecture #concurrent #named #programming
- X10: concurrent programming for modern architectures (VAS, VS, CvP), p. 271.
- PPoPP-2006-BikshandiGHAFGPP #array #locality #parallel #programming
- Programming for parallelism and locality with hierarchically tiled arrays (GB, JG, DH, GA, BBF, MJG, DAP, CvP), pp. 48–57.
- OOPSLA-2005-CharlesGSDKEPS #approach #clustering #named #object-oriented
- X10: an object-oriented approach to non-uniform cluster computing (PC, CG, VAS, CD, AK, KE, CvP, VS), pp. 519–538.
- PLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code #thread
- Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.
- SIGMOD-2003-StoltePAG #design #repository
- Scientific Data Repositories: Designing for a Moving Target (ES, CvP, GA, TRG), pp. 349–360.
- OOPSLA-2001-PraunG #concurrent #detection
- Object Race Detection (CvP, TRG), pp. 70–82.