Filipe Militão
[ email | GitHub | LinkedIn ]
Received PhD in Computer Science from CMU and UNL in December 2015.
Was advised by Jonathan Aldrich and Luís Caires.

  1. Rely-Guarantee Protocols for Safe Interference over Shared Memory.

    Filipe Militão. PhD thesis, December 2015.

    ( thesis defense slides [PDF] )

  2. Rely-Guarantee Protocols.

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

    ( paper [DOI], technical report, talk slides [PDF], prototype, errata )

  3. Substructural Typestates.

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

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

  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 )