1. Fabian Muehlboeck

    In German: Fabian Mühlböck PhD candidate in Computer Science Cornell University - Department of Computer Science Office: Gates Hall 456 E-Mail: fabianm [preposition] cs.cornell.edu
    A photo of me

    I am a fourth-year PhD student and I am interested in type systems and how to reduce the burden that they place on their users. Before coming to Cornell, I have been a Fulbright exchange student at Northeastern University, from which I received an M.S. degree in Computer Science. I received my BSc degree in Software & Information Engineering from the Vienna University of Technology (Austria).

    Currently, I am working with Ross Tate on gradual typing for object-oriented languages. We are trying to fix the issues that arise when combining gradual typing with other object-oriented language features, such as generics with type-argument inference or extension methods. We are also looking to improve the efficiency of sound implementations of gradual typing.

  2. Research

    Type Systems for Object-Oriented Languages

    I'm investigating how to integrate type system features of object-oriented languages with each other such that in the end we can have gradual typing for object-oriented languages that always does what a programmer would expect. Among other things, this means that programs that type-check and run without errors while fully statically annotated should also run without errors after all static type annotations are replace with dynamic ones.

    Getting F-Bounded Polymorphism into Shape(PLDI 2014) With Ben Greenman and Ross Tate Paper | Technical Report | BibTeX

    Binding Hygiene

    Paul Stansifer and Mitchell Wand developed a type system for reasoning about variable bindings. For my MS Thesis, I implemented a compiler of a higher-level macro language using the type system, providing some type inference and error explanations.

    Checking Binding Hygiene Statically(MS Thesis, Northeastern University, 2013) Advisor: Mitchell Wand | Second Reader: Amal Ahmed Thesis
  3. Teaching

    Office Hours

    I'm not currently teaching anything

    Former Teaching

    Spring 2014TACS 2800Discrete StructuresCornell
    Fall 2013TACS 4120Introduction to CompilersCornell
    Fall 2012Head TACS 5010Program Design ParadigmsNortheastern
    Spring 2012TACS 5010Program Design ParadigmsNortheastern
    Winter 2010Tutor (~TA)E 185.162Object-Oriented ProgrammingVienna UT
    Summer 2010Tutor (~TA)E 185.179Logic ProgrammingVienna UT
    Winter 2009Tutor (~TA)E 185.162Object-Oriented ProgrammingVienna UT
    Winter 2009Tutor (~TA)E 185.179Logic ProgrammingVienna UT
  4. Other

    Czarships

    Colloquium Co-CzarFall 2013 - current
    Desk CzarSummer 2014 - current
    Czar CzarSummer 2015 - current
    PhD Visit Day Czar2014

    I am also one of the people running the Theory of Programming Languages Seminar.

    Me time

    I spend most of my non-CS time playing board- and computer games that ideally are either about trust between players or building a large economy (or both). And I bake cakes.