Manuel Geffken

Manuel Geffken

I'm a Ph.D. student at the University of Freiburg, Institute for Computer Science, working in the group Progλang under the supervision of Prof. Dr. Peter Thiemann.

Contact

Address Dipl. Inf. Manuel Geffken
Department of Computer Science
University of Freiburg
Georges-Köhler-Allee 079
79110 Freiburg i. Br.
Germany
Room 00-014, building 079
Phone +49 761 203 8050
Fax +49 761 203 8052
Email geffken@info...

Publications and Talks

Publications

  • Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
    Transparent Object Proxies in JavaScript
    The European Conference on Object-Oriented Programming, ECOOP 2015
    [bibtex, pdf]
    Prague, Czech Republic, July 5-10, 2015
  • Manuel Geffken, Peter Thiemann
    Side Effect Monitoring for Java using Bytecode Rewriting
    2014 International Conference on Principles and Practices of Programming on the Java Platform (PPPJ), September 2014
    [bibtex, pdf, slides]
  • Manuel Geffken, Hannes Saffrich, Peter Thiemann
    Precise Interprocedural Side-Effect Analysis
    11th International Colloquium on Theoretical Aspects of Computing (ICTAC), September 2014
    [bibtex, pdf, slides, Technical Report]
  • Wolfgang Klingauf, Manuel Geffken
    Design Structure Analysis and Transaction Recording in SystemC Designs: A Minimal-Intrusive Approach
    Forum on specification & Design Languages (FDL), Darmstadt, September 2006
    [bibtex, pdf]

Teaching

Courses I co-organized

  • Theoretical Computer Science, Winter Term 2015/2016
  • Advanced Programming in Java, Summer Term 2015
  • Concurrency, Winter Term 2014/2015
  • Static Program Analysis, Summer Term 2014
  • Discrete Models, Winter Term 2013/2014
  • Bottom-up Pointer and Side Effect Analysis, Summer Term 2012
  • Compiler Construction, Winter Term 2012/2013
  • Software Engineering, Summer Term 2012, Summer Term 2013
  • JVM Internals, practical course, Summer Term 2011
  • Programmieren in Java, Summer Term 2011, together with Konrad Anton

Bachelor and Master Theses

  • Correctness Proof for an Interprocedural Side Effect Analysis (BSc)
  • Dynamic Location-Based Analysis of Access Contracts (MSc)
  • On the Proxy Equality in Javascript (MSc)