Publication Exploring Perceus for OCaml Elton Pinto, Daan Leijen September 2023 Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23. Project
Publication PwR: Exploring the Role of Representations in Conversational Programming Pradyumna YM, Vinod Ganesan, Dinesh Kumar Arumugam, Meghna Gupta, Nischith Shadagopan, Tanay Dixit, Sameer Segal, Pratyush Kumar, Mohit Jain, Sriram Rajamani September 2023 Github Project Project
Publication PolySem: Efficient Polyglot Analytics on Semantic Data Xinyu Liu, Venkatesh Emani, Avrilia Floratou, Joyce Cahoon, Philip Seamark, Carlo Curino Poly’23: Polystore systems for heterogeneous data in multiple databases with privacy and security assurances | August 2023
Publication PyFroid: Scaling Data Analysis on a Commodity Workstation Venkatesh Emani, Avrilia Floratou, Carlo Curino EDBT 2024 | August 2023
Publication Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs Federico Cassano, John Gouwar, F. Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha PLDI 2025 | August 2023
Publication Contextual Self-attentive Temporal Point Process for Physical Decommissioning Prediction of Cloud Assets Fan Yang, Jue Zhang, Lu Wang, Bo Qiao, Di Weng, Xiaoting Qin, Gregory Weber, D. N. Das, Srinivasan Rakhunathan, Ranganathan Srikanth, Qingwei Lin 林庆维, Dongmei Zhang KDD’23 ADS | August 2023
Publication Root Cause Analysis for Microservice Systems via Hierarchical Reinforcement Learning from Human Feedback Lu Wang, Chaoyun Zhang, Ruomeng Ding, Yong Xu, Qihang Chen, Wentao Zou, Qingjun Chen, Meng Zhang, Xue‐Chao Gao, Hao Fan, S. Rajmohan, Qingwei Lin 林庆维 (qlin), Dongmei Zhang KDD’23 ADS | August 2023
Publication Demonstration of CORNET: Learning Spreadsheet Formatting Rules by Example Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen 49th International Conference on Very Large Data Bases – Demo Track | August 2023 Video
Publication Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko Usenix Security Symposium | August 2023 Project
Publication PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem Yiyuan Wang, Chenghou Jin, Shaowei Cai, Qingwei Lin 林庆维 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) | August 2023, pp. 5639-5647
