Publication Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy 2025 International Conference on Software Engineering | April 2025 Télécharger Télécharger Projet
Publication 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy 2025 International Conference on Software Engineering | April 2025 Projet
Publication Smart Casual Verification of the Confidential Consortium Framework Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks 2025 Networked Systems Design and Implementation | April 2025 Projet
Publication Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software Anna Mazhar , Saad Sher Alam , William Zheng , Yinfang Chen , Suman Nath, Tianyin Xu International Conference on Software Engineering (ICSE) | April 2025
Publication LLM Assistance for Memory Safety Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy 47th International Conference on Software Engineering (ICSE) | April 2025
Publication RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi 47th International Conference on Software Engineering (ICSE) | April 2025
Publication HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova NeurIPS 2024 | December 2024
Publication Balance Reward and Safety Optimization for Safe Reinforcement Learning: A Perspective of Gradient Manipulation Shangding Gu, Hong Cheng, Hang Dong, Bo Qiao, Si Qin, Qingwei Lin 林庆维 December 2024
Publication Building AI Agents for Autonomous Clouds: Challenges and Design Principles Manisha M Shetty, Yinfang Chen, Gagan Somashekar, Minghua Ma, Yogesh L. Simmhan, Xuchao Zhang, Jonathan Mace, Pedro Las-Casas, Shachee Mishra Gupta, Suman Nath, Chetan Bansal, Saravan Rajmohan 2024 Symposium on Cloud Computing | November 2024
Publication SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula 2024 Symposium on Operating Systems Principles | November 2024 Projet
