Peter Backes

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

Automatic Verification and Analysis of Complex Systems (AVACS), Subproject S2 – Dynamic Communication Systems

Publications

Conference Papers

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]

@INPROCEEDINGS{Herter11,
   author = {J\"org Herter and Peter Backes and Florian Haupenthal and Jan Reineke},
   title = {{CAMA}: A Predictable Cache-Aware Memory Allocator},
   booktitle = {Proceedings of the 23rd Euromicro Conference on Real-Time Systems (ECRTS '11)},
   year = {2011},
   month = {July},
   publisher = {IEEE Computer Society},
   url = {http://rw4.cs.uni-sb.de/~jherter/papers/CAMAecrts11.pdf}
 }

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]

@INPROCEEDINGS{Backes10a,
   author = {Peter Backes and Jan Reineke},
   title = {A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication System},
   booktitle = {Transformation Tool Contest 2010},
   year = {2010},
   volume = {WP10-03},
   series = {{CTIT} Workshop Proceedings},
   pages = {107--118},
   address = {Enschede},
   publisher = {University of Twente},
   slides = {http://rw4.cs.uni-sb.de/~rtc/ttc10s.pdf},
   url = {http://rw4.cs.uni-sb.de/~rtc/ttc2010.pdf}
 }

Abstract Topology Analysis of the Join Phase of the Merge Protocol
P. Backes, and J. Reineke
Transformation Tool Contest 2010, 2010. [pdf] [slides] [bib]

@INPROCEEDINGS{Backes10,
   author = {Peter Backes and Jan Reineke},
   title = {Abstract Topology Analysis of the Join Phase of the Merge Protocol},
   booktitle = {Transformation Tool Contest 2010},
   year = {2010},
   volume = {WP10-03},
   series = {{CTIT} Workshop Proceedings},
   pages = {127--133},
   address = {Enschede},
   publisher = {University of Twente},
   slides = {http://rw4.cs.uni-sb.de/~rtc/ttc10bs.pdf},
   url = {http://rw4.cs.uni-sb.de/~rtc/ttc2010b.pdf}
 }

MSc Theses

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

@MASTERSTHESIS{Backes08,
   author = {Peter Backes},
   title = {Topology Analysis of Dynamic Communication Systems},
   school = {Universit\"at des Saarlandes},
   year = {2008},
   type = {Diploma thesis},
   month = {March},
 }

Attended Conferences, Workshops and Seminars

Miscellaneous

ASTRA—A tool for abstract analysis of graph transformation systems

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

Compiler Design Lab