Cecilia Manzino

According to our database, Cecilia Manzino authored at least 4 papers between 2008 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

A Haskell-embedded DSL for secure information-flow.

Cecilia Manzino, Gonzalo de Latorre

Sci. Comput. Program., 2026

2020

Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types.

Cecilia Manzino, Alberto Pardo

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2014

A Security Types Preserving Compiler in Haskell.

Cecilia Manzino, Alberto Pardo

Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014

2008

Shortcut Fusion of Monadic Programs.

Cecilia Manzino, Alberto Pardo

J. Univers. Comput. Sci., 2008