Peter Backes

rtc

About Me

I studied computer science (and computational linguistics as a minor) at Saarland University, finishing my diploma in 2008. Since that year, I am a PhD student working at the chair of Reinhard Wilhelm.

Research Interests

  • Shape Analysis
  • Topologies of Dynamic Communication Systems
  • Probabilistic abstract systems
  • Strategy synthesis for abstract games
  • Timing predictability under cache influences
  • Graph transformation based programming languages

Projects

Publications

Conference Papers

  1. CAMA: A Predictable Cache-Aware Memory Allocator
    J. Herter, P. Backes, F. Haupenthal, and J. Reineke
    Proceedings of the 23rd Euromicro Conference on Real-Time Systems (ECRTS '11), 2011. [pdf]  [bib]
  2. A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication System
    P. Backes, and J. Reineke
    Transformation Tool Contest 2010, 2010. [pdf]  [slides]  [bib]
  3. Abstract Topology Analysis of the Join Phase of the Merge Protocol
    P. Backes, and J. Reineke
    Transformation Tool Contest 2010, 2010. [pdf]  [slides]  [bib]

MSc Theses

  1. Topology Analysis of Dynamic Communication Systems
    P. Backes
    Universität des Saarlandes, 2008. [bib]

Attended Conferences, Workshops and Seminars

Miscellaneous

Teaching

External Reviews

  • Secondary reviewer for LCTES10
  • Secondary reviewer for MEMOCODE10

Address

Peter Backes
FR. 6.2 - Informatik, Gebäude E1 3, Raum 403
Universität des Saarlandes
Campus E1 3
66123 Saarbrücken
Germany

Phone: +49-681-302-2454
Fax: +49-681-302-3065
Mail: rtc (at) cdl (dot) uni-saarland (dot) de

Links