Browse by Publisher

Group by: Item Type | Date | No Grouping

2021 2019 2017 2014

Number of items: 4.

2021

Rajani, Vineet, Gaboardi, Marco, Garg, Deepak, Hoffmann, Jan (2021) A unifying type-theory for higher-order (amortized) cost analysis. Proceedings of the ACM on Programming Languages, 5 (POPL). pp. 1-28. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3434308) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90653)

2019

Vassena, Marco, Russo, Alejandro, Garg, Deepak, Rajani, Vineet, Stefan, Deian (2019) From fine- to coarse-grained dynamic information flow control and back. Proceedings of the ACM on Programming Languages, 3 (POPL). pp. 1-31. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3290389) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90644)

2017

Rajani, Vineet, Bastys, Iulia, Rafnsson, Willard, Garg, Deepak (2017) Type systems for information flow control: the question of granularity. ACM SIGLOG News, 4 (1). pp. 6-21. ISSN 2372-3491. E-ISSN 2372-3491. (doi:10.1145/3051528.3051531) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90638)

2014

Bichhawat, Abhishek, Rajani, Vineet, Garg, Deepak, Hammer, Christian (2014) Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. In: PLAS'14: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security. PLAS'14: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security. . pp. 15-24. Association for Computing Machinery New York NY United States ISBN 978-1-4503-2862-3. (doi:10.1145/2637113.2637116) (KAR id:90566)

This list was generated on Thu Apr 18 00:56:23 2024 BST.