Publications

TitleAuthorsVenue 
Suggesting valid hole fits for typed-holes (experience report) Matthías Páll GissurarsonIn Proc. of ACM SIGPLAN Haskell SymposiumHASKELL 2018
Towards Adding Variety to Simplicity Nachiappan Valliappan, Solène Mirliaz, Elisabet Lobo Vesga, and Alejandro RussoIn Proc. of International Symposium On Leveraging Applications of Formal Methods, Verification and ValidationISoLA 2018

Information-flow control

TitleAuthorsVenue 
From fine- to coarse-grained dynamic information-flow control and back Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, and Deian StefanIn Proc. of ACM SIGPLAN Symposium on Principles of Programming Languages
2019
POPL 2019
Faceted Secure Multi Execution Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, and Alejandro RussoIn Proc. of ACM Conference on Computer and Communications SecurityCCS 2018

Testing

TitleAuthorsVenue 
Generating Random Structurally Rich Algebraic Data Type ValuesAgustín Mista and Alejandro RussoIn Proc. of IEEE/ACM International Workshop on Automation of Software TestAST 2019
Branching Processes for QuickCheck Generators Agustín Mista, Alejandro Russo, John HughesIn Proc. of ACM SIGPLAN Haskell SymposiumHASKELL 2018