Compiler tools
| Title | Authors | Venue | |
|---|---|---|---|
| Suggesting valid hole fits for typed-holes (experience report) | Matthías Páll Gissurarson | In Proc. of ACM SIGPLAN Haskell Symposium | HASKELL 2018 |
| Towards Adding Variety to Simplicity | Nachiappan Valliappan, Solène Mirliaz, Elisabet Lobo Vesga, and Alejandro Russo | In Proc. of International Symposium On Leveraging Applications of Formal Methods, Verification and Validation | ISoLA 2018 |
Information-flow control
| Title | Authors | Venue | |
|---|---|---|---|
| From fine- to coarse-grained dynamic information-flow control and back | Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, and Deian Stefan | In 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 Russo | In Proc. of ACM Conference on Computer and Communications Security | CCS 2018 |
Testing
| Title | Authors | Venue | |
|---|---|---|---|
| Generating Random Structurally Rich Algebraic Data Type Values | Agustín Mista and Alejandro Russo | In Proc. of IEEE/ACM International Workshop on Automation of Software Test | AST 2019 |
| Branching Processes for QuickCheck Generators | Agustín Mista, Alejandro Russo, John Hughes | In Proc. of ACM SIGPLAN Haskell Symposium | HASKELL 2018 |