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

  1. Composing Interfering Abstract Protocols.

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

    ( paper [DOI], technical report, prototype [ZIP] )

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

    Filipe Militão. PhD thesis, December 2015.

    ( thesis defense slides [PDF] )

  3. Rely-Guarantee Protocols.

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

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

  4. Substructural Typestates.

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

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

  5. 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 )

  6. 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 )