Filipe Militão
Computer Science PhD student in the CMU|Portugal program.
@ CMU affiliated with CSD, office: GHC 9005 GHC 7701.
@ FCT-UNL affiliated with DI, office: P3/14.
Co-advised by Jonathan Aldrich (CMU) and Luís Caires (FCT-UNL).

Publications:

  1. Rely-Guarantee View Typestate.

    Filipe Militão, Jonathan Aldrich, Luís Caires. 2012. ( draft )

    ( full paper , technical report )

  2. Aliasing control with view-based typestate.

    Filipe Militão, Jonathan Aldrich, Luís Caires. In FTfJP 2010.

    ( full paper , presentation slides , (slightly outdated) CSD OpenHouse 2010 poster )

  3. An Exception Aware Behavioral Type System for Object-Oriented Programs.

    Filipe Militão, Luís Caires. In INFORUM 2009.

    ( full paper , presentation slides , yak prototype page )

Random stuff: