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).
Contact: filipe.militao@cs.cmu.edu

Research

  1. Rely-Guarantee Protocols.

    Filipe Militão, Jonathan Aldrich, Luís Caires. In ECOOP 2014.

    ( paper [DOI] , technical report , prototype )

  2. Substructural Typestates.

    Filipe Militão, Jonathan Aldrich, Luís Caires. In PLPV 2014.

    ( paper [DOI] , appendix , talk slides [PDF] , prototype )

  3. Rely-Guarantee View Typestate.

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

    ( draft , technical report )

  4. Aliasing control with view-based typestate.

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

    ( paper [DOI] , talk slides , CSD OpenHouse 2010 poster )

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

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

    ( paper , talk slides , yak prototype page )

Random Stuff