Contact

Tel	_	+49 681 302-2034
Mail	_
Room	_	431
Address	_	Saarland Informatics Campus Building E1 3 66123 Saarbrücken Germany

Christoph Mallon

Research Interests

Compilers, code generation, program analysis

Teaching

Winter Term 2009

• Core Lecture: Compiler Construction
• Course: C/C++ Programming

Summer Term 2009

• Lecture: Programmierung 2
• Proseminar: 13 Sprachen in 13 Wochen

Publications

Conferences

• Preference-Guided Register Assignment - CC 2010
  Braun, M., Mallon, C. and Hack, S.
  Compiler Construction, pages 205–223, Springer, 2010. [doi] [bib]
  

  @CONFERENCE{BMH:2010:Preference,
     author = {Matthias Braun and Christoph Mallon and Sebastian Hack},
     title = {{P}reference-{G}uided {R}egister {A}ssignment},
     booktitle = {Compiler Construction},
     booktitle_short = {CC},
     year = {2010},
     isbn = {978-3-642-11969-9},
     pages = {205--223},
     publisher = {Springer},
     location = {Paphos, Cyprus},
     volume = {6011},
     series = {Lecture Notes In Computer Science},
     doi = {10.1007/978-3-642-11970-5},
   }

• Generating Test Cases for Specification Mining - ISSTA 2010
  Dallmeier, V., Knopp, N., Mallon, C., Hack, S. and Zeller, A.
  International Symposium on Software Testing and Analysis, pages 85–96, ACM, 2010. [doi] [bib]
  

  @CONFERENCE{DKMHZ:2010:issta,
       author = {Valentin Dallmeier and Nikolai Knopp and Christoph Mallon and Sebastian Hack and Andreas Zeller},
       title = {{G}enerating {T}est {C}ases {f}or {S}pecification {M}ining},
       year = {2010},
       booktitle = {International Symposium on Software Testing and Analysis},
       booktitle_short = {ISSTA},
       isbn = {978-1-60558-823-0},
       location = {Trento, Italy},
       pages = {85--96},
       numpages = {12},
       doi = {10.1145/1831708.1831719},
       acmid = {1831719},
       publisher = {ACM},
       address = {New York, NY, USA},
       keywords = {specification mining, test case generation, typestate analysis},
   }