Aseem Rastogi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
14
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code. | Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi |
| 2025 | ICSE | LLM Assistance for Memory Safety. | J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy |
| 2024 | CIDR | Welding Natural Language Queries to Analytics IRs with LLMs. | Kaushik Rajan, Aseem Rastogi, Akash Lal, Sampath Rajendra, Krithika Subramanian, Krut Patel |
| 2024 | FMCAD | Leveraging LLMs for Program Verification. | Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma |
| 2023 | CPP | FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores. | Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy |
| 2023 | EMNLP | Ranking LLM-Generated Loop Invariants for Program Verification. | Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy |
| 2022 | PLDI | Hardening attack surfaces with formally proven binary format parsers. | Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta |
| 2022 | SP | SecFloat: Accurate Floating-Point meets Secure 2-Party Computation. | Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi |
| 2021 | FMCAD | Celestial: A Smart Contracts Verification Framework. | Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal |
| 2021 | SIGMOD | FastVer: Making Data Integrity a Commodity. | Arvind Arasu, Badrish Chandramouli, Johannes Gehrke, Esha Ghosh, Donald Kossmann, Jonathan Protzenko, Ravi Ramamurthy, Tahina Ramananandro, Aseem Rastogi, Srinath T. V. Setty, Nikhil Swamy, Alexander van Renen, Min Xu |
| 2021 | SP | SiRnn: A Math Library for Secure RNN Inference. | Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi |
| 2020 | CCS | CrypTFlow2: Practical 2-Party Secure Inference. | Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma |
| 2020 | SP | CrypTFlow: Secure TensorFlow Inference. | Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma |
| 2020 | SP | EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. | Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cdric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Bguelin |
| 2019 | ECOOP | Reliable State Machines: A Framework for Programming Reliable Cloud Services. | Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy |
| 2019 | ESOP | Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. | Guido Martnez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clment Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy |
| 2019 | EuroSys | ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. | Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu |
| 2018 | CPP | A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. | Niklas Grimm, Kenji Maillard, Cdric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2017 | POPL | Dijkstra monads for free. | Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martnez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy |
| 2017 | SP | Implementing and Proving the TLS 1.3 Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue |
| 2016 | CCS | Formal Verification of Smart Contracts: Short Paper. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2016 | POPL | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |
| 2015 | POPL | Safe & Efficient Gradual Typing for TypeScript. | Aseem Rastogi, Nikhil Swamy, Cdric Fournet, Gavin M. Bierman, Panagiotis Vekris |
| 2014 | POPL | Gradual typing embedded securely in JavaScript. | Nikhil Swamy, Cdric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman |
| 2014 | SP | Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations. | Aseem Rastogi, Matthew A. Hammer, Michael Hicks |
| 2013 | PLDI | Knowledge inference for optimizing secure multi-party computation. | Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer |
| 2012 | APLAS | Types and Access Controls for Cross-Domain Security in Flash. | Aseem Rastogi, Avik Chaudhuri, Rob Johnson |
| 2012 | POPL | The ins and outs of gradual type inference. | Aseem Rastogi, Avik Chaudhuri, Basil Hosmer |