Verification for machine learning
- A modal type theory of expected cost in higher-order probabilistic programs
[preprint
|here]
With Gilles Barthe and Deepak Garg
In Proceedings of the ACM on Programming Languages (OOPSLA), 2024
- Counterfactual Explanations and Model Multiplicity: a Relational Verification
View [here]
With Francesco Leofante and Elena Botoeva
In International Conference on Principles of Knowledge Representation and Reasoning (KR), 2023
Secure information flow
- On Graded Coeffect Types for Information-Flow Control
[here]
With Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, and Michael Vollmer
In Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice.
Lecture Notes in Computer Science, Vol 15500. Springer (2026)
- A graded modal approach to relaxed semantic declassification
[here]
With Alex Coleman and Hrutvik Kanabar
In IEEE Computer Security Foundations Symposium (CSF), 2025
- Towards relating hyper- and epistemic-temporal logics
[here]
With Matvey Soloviev and Musard Balliu
Workshop on Programming Languages and Analysis for Security (PLAS), 2024
- Information Flow above Optimising Compilers With Weak Memory
[here]
With Jay Richards and Mark Batty
Workshop on Programming Languages and Analysis for Security (PLAS), 2024
- From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
[here]
With Marco Vassena, Alejandro Russo, Deepak Garg and Deian Stefan
In Foundations and Trends in Programming Languages, 2023
(Journal version of the POPL'19 paper)
- Permissive Runtime Information Flow Control in the Presence of Exceptions
[here]
With Abhishek Bichhawat, Deepak Garg and Christian Hammer
In Journal of Computer Security (JCS), 2021
- On the expressiveness and semantics of information flow types
[here
| technical
appendix]
With Deepak Garg
In Journal of Computer Security (JCS), 2020
- From fine- to coarse-grained dynamic information flow control and back
[here]
With Marco Vassena, Alejandro Russo, Deepak Garg and Deian Stefan
In Proceedings of the ACM on Programming Languages (POPL), 2019
Distinguished paper
- Types for information flow control: labeling granularity and semantic models
[here
| technical
appendix]
with Deepak Garg
In IEEE Computer Security Foundations Symposium (CSF), 2018
Distinguished paper
- WebPol: Fine-grained information flow policies for web browsers
[here
| full
version]
with Abhishek Bichhawat, Jinank Jain, Deepak Garg and Christian Hammer
In European Symposium on Research in Computer Security (ESORICS), 2017
- Type systems for information flow control: The question of granularity
[here
| technical
report]
with Iulia Bastys, Willard Rafnsson and Deepak Garg
Invited article in ACM SIGLOG News, 2017
- Information flow control for event handling and the DOM in web browsers
[here
| full
version
| OCaml
Model]
with Abhishek Bichhawat, Deepak Garg and Christian Hammer
In IEEE Computer Security Foundations Symposium (CSF), 2015
RS3 best paper award
- Generalizing permissive-upgrade in dynamic information flow analysis
[here
| full
version (with minor revision)]
with Abhishek Bichhawat, Deepak Garg and Christian Hammer
In ACM Workshop on Programming Languages and Analysis for Security (PLAS), 2014
- Information flow control in webkit's javascript bytecode
[here
| full
version]
with Abhishek Bichhawat, Deepak Garg and Christian Hammer
In Conference on Principles of Security and Trust (POST), 2014
Resource analysis
- A unifying type-theory for higher-order (amortized) cost analysis
[here
| technical
appendix]
With Marco Gaboardi, Deepak Garg and Jan Hoffmann
In Proceedings of the ACM on Programming Languages (POPL), 2021
- A type-theory for higher-order amortized analysis
[here
| technical
report]
PhD thesis, 2020
Summa cum laude
Language-based authorization
- On access control, capabilities, their equivalence and confused deputy attacks
[here
| technical
appendix]
with Deepak Garg and Tamara Rezk
In IEEE Computer Security Foundations Symposium (CSF), 2016
Distributed programming
- Psi-CAL: Foundations of a programming language for services computing
[here]
with Arun Kumar and Dharanipragada Janakiram
In IEEE International Conference on Services Computing (SCC), 2013
- KAAS: Kernel as a service
[here]
with Hemang Mehta, S. J. Balaji and Dharanipragada Janakiram
In IEEE World Congress on Services (SERVICES), 2012
- Xi-Calculus: A calculus for service interactions
[here]
with Arun Kumar and Dharanipragada Janakiram
In IEEE International Conference on Services Computing (SCC), 2010
Best paper nominee
Operating system and virtualization
- Heterogeneous disk to apply service level agreement levels
[here]
with Nagendra S. Tomar
US patent US10613786B2
- Non-homogeneous disk abstraction for data oriented applications
[here]
with Nagendra S. Tomar
US patent 9880773B2
- Object-oriented wrappers for the linux kernel
[here]
with D. Janakiram, Ashok Gunnam, N. Suneetha and K. Vinay Kumar Reddy
In Journal of Software: Practice and Experience (SPE), Vol. 38, 2008