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 Counter-Empirical Attacking based on Adversarial Reinforcement Learning for Time-Relevant Scoring System Xiangguo Sun, Hong Cheng, Hang Dong, Bo Qiao, Si Qin, Qingwei Lin 林庆维 TKDE’24 | November 2024
Publication Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024 https://2024.esec-fse.org/details/fse-2024-research-papers/51/Can-Large-Language-Models-Transform-Natural-Language-Intent-into-Formal-Method-Postco Project
Publication ImDiffusion: Imputed Diffusion Models for Multivariate Time Series Anomaly Detection Yuhang Chen, C. Zhang, Minghua Ma, Yudong Liu, Ruomeng Ding, Bo Li, Shilin He, S. Rajmohan, Qingwei Lin 林庆维, Dongmei Zhang PVLDB’24 | July 2024, Vol abs/2307.00754
Publication RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani AIware 2024 | July 2024
Publication CORE: Resolving Code Quality Issues using LLMs Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade (kanadeaditya), Suresh Parthasarathy (supartha), Sriram Rajamani (sriram) FSE | July 2024
Publication Reference Counting Deeply Immutable Data Structures with Cycles: an Intellectual Abstract Matthew J. Parkinson, Sylvan Clebsch, Tobias Wrigstad n Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM ’24) | June 2024 Project
Publication BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract Nathaniel Filardo, Matthew J. Parkinson Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM’24) | June 2024 Project
Publication The Functional Essence of Imperative Binary Search Trees Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley PLDI’24 | June 2024 Project
Publication Jacdac: Service-Based Prototyping of Embedded Systems Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal Programming Language Design and Implementation (PLDI) | June 2024 Project