Christoph Mallon

Dipl.-Inform.

Contact

Tel		+49 681 302-2034
Fax		+49 681 302-3065
Mail
Room		426
Address		FR 6.2 Informatik Campus E1 3 66123 Saarbrücken Germany

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

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] [more] [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},
   booktitle_short = {ISSTA 2010},
   year = {2010},
   booktitle = {International Symposium on Software Testing and Analysis},
   series = {ISSTA '10},
   isbn = {978-1-60558-823-0},
   location = {Trento, Italy},
   pages = {85--96},
   numpages = {12},
   url = {http://doi.acm.org/10.1145/1831708.1831719},
   doi = {10.1145/1831708.1831719},
   acmid = {1831719},
   publisher = {ACM},
   address = {New York, NY, USA},
   keywords = {specification mining, test case generation, typestate analysis},
 }

Preference-Guided Register Assignment - CC 2010
Braun, M., Mallon, C. and Hack, S.
Compiler Construction 2010, 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 2010},
   booktitle_short = {CC 2010},
   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},
 }