Cecilia Manzino

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

Collaborative distances:

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

2026

A formalization of System I with type Top in Agda.

Agustín Séttimo, Cristian Sottile, Cecilia Manzino

CoRR, March, 2026

2023

A Haskell-Embedded DSL for Secure Information-Flow.

Cecilia Manzino, Gonzalo de Latorre

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

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