By Dr Vineet Rajani

Journal articles

Rajani V; Barthe G; Garg D, 2024, 'A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs', Proceedings of the ACM on Programming Languages, 8, pp. 389 - 414, http://dx.doi.org/10.1145/3689725

Vassena M; Russo A; Garg D; Rajani V; Stefan D, 2023, 'From Fine- to Coarse-Grained Dynamic Information Flow Control and Back', Foundations and Trends® in Programming Languages, 8, pp. 1 - 117, http://dx.doi.org/10.1561/2500000046

Bichhawat A; Rajani V; Garg D; Hammer C, 2021, 'Permissive runtime information flow control in the presence of exceptions', Journal of Computer Security, 29, pp. 361 - 401, http://dx.doi.org/10.3233/jcs-211385

Rajani V; Gaboardi M; Garg D; Hoffmann J, 2021, 'A unifying type-theory for higher-order (amortized) cost analysis', Proceedings of the ACM on Programming Languages, 5, pp. 1 - 28, http://dx.doi.org/10.1145/3434308

Rajani V; Garg D, 2020, 'On the expressiveness and semantics of information flow types', Journal of Computer Security, 28, pp. 129 - 156, http://dx.doi.org/10.3233/jcs-191382

Vassena M; Russo A; Garg D; Rajani V; Stefan D, 2019, 'From fine- to coarse-grained dynamic information flow control and back', Proceedings of the ACM on Programming Languages, 3, pp. 1 - 31, http://dx.doi.org/10.1145/3290389

Rajani V; Bastys I; Rafnsson W; Garg D, 2017, 'Type systems for information flow control', ACM SIGLOG News, 4, pp. 6 - 21, http://dx.doi.org/10.1145/3051528.3051531

Janakiram D; Gunnam A; Suneetha N; Rajani V; Reddy KVK, 2008, 'Object‐oriented wrappers for the Linux kernel', Software: Practice and Experience, 38, pp. 1411 - 1427, http://dx.doi.org/10.1002/spe.879

Back to profile page