Publication FxD: a functional debugger for dysfunctional spreadsheets Ian Drosos, Nicholas Wilson, Andy Gordon, Sruti Srinivasa Ragavan, Jack Williams IEEE Symposium on Visual Languages and Human-Centric Computing | October 2023 Best Paper, Honorable Mention Project Project
Publication Reference Capabilities for Flexible Memory Management Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, Matthew J. Parkinson, James Noble, Tobias Wrigstad Proc. ACM Program. Lang. | October 2023, Vol 7(OOPSLA2) Project
Publication ColDeco: An End User Spreadsheet Inspection Tool for AI-Generated Code Kasra Ferdowsi, Jack Williams, Ian Drosos, Andy Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Ben Zorn IEEE Symposium on Visual Languages and Human-Centric Computing | October 2023 Project Project
Publication Continuing WebAssembly with Effect Handlers LUNA PHIPPS-COSTIN, ANDREAS ROSSBERG, ARJUN GUHA, Daan Leijen, DANIEL HILLERSTRÖM, KC SIVARAMAKRISHNAN, MATIJA PRETNAR, SAM LINDLEY OOPSLA’23 | October 2023 Project
Publication Explainable Program Synthesis by Localizing Specifications Amirmohammad Nazari , Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman OOPSLA | October 2023
Publication FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen 50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
Publication Conservative State Value Estimation for Offline Reinforcement Learning Liting Chen, Jie Yan, Zhengdao Shao, Lu Wang, Qingwei Lin 林庆维, Dongmei Zhang NeurIPS 2023 | October 2023
Publication Co-audit: tools to help humans double-check AI-generated content Andy Gordon, Carina Negreanu, José Cambronero, Rasika Mudumbai Chakravarthy, Ian Drosos, Hao Fang, Bhaskar Mitra, Hannah Richardson (nee Murfet), Advait Sarkar, Stephanie Simmons, Jack Williams, Ben Zorn October 2023 Project Project
Publication Inference of Resource Management Specifications Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan OOPSLA | October 2023
Publication Fixing Rust Compilation Errors using LLMs Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi 2308.05177 | October 2023 Published by arxiv Project