Luísa Lourenço

Software Engineer

Contacts

Curriculum Vitae

Technical Reports

2014
Dependent Information Flow Types (with Luís Caires)
Technical Report, July 2014
2013
Information Flow Analysis for Valued-Indexed Data Security Compartments (with Luís Caires)
Technical Report, April 2013 (pdf)

Peer-Reviewed Papers

2015
Dependent Information Flow Types (with Luís Caires)
In Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming, POPL 2015, Mumbai, India, January 12-18 2015 (pre-print)
2013
Information Flow Analysis for Valued-Indexed Data Security Compartments (with Luís Caires)
In proceedings of 8th International Symposium on Trustworthy Global Computing, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 (pdf)
2012
Segurança de Dados em Aplicações Centradas em Dados por Análise de Fluxo de Informação (with Luís Caires)
In proceedings of Simpósio de Informática, INFORUM'12, Caparica, Portugal, September 6-7, 2012 (pdf)
2011
A Core Language for Data-centric Processes (with Luís Caires)
In proceedings of Simpósio de Informática, INFORUM'11, Coimbra, Portugal, September 8-9, 2011 (pdf)
2010
Inference of Conversation Types for Distributed Multiparty Systems (with Luís Caires)
In PLACES’10, 3rd International Workshop in Programming Language Approaches to Concurrency and Communication-cEntric Software at European Joint Conferences on Theory and Practice of Software (ETAPS’10), 2010 (pdf)

Theses

2016
Dependent Information Flow Types
Ph.D. Thesis (2016) (pdf - final version)
Supervised by Luís Caires.
2010
Type Inference for Conversation Types
MSc Dissertation (2010) (pdf)
Supervised by Luís Caires.