| 2023 | EMNLP | Ignore This Title and HackAPrompt: Exposing Systemic Vulnerabilities of LLMs Through a Global Prompt Hacking Competition |
| 2023 | EMNLP | PaperMage: A Unified Toolkit for Processing, Representing, and Manipulating Visually-Rich Scientific Documents |
| 2023 | EMNLP | Personalized Dense Retrieval on Global Index for Voice-enabled Conversational Systems |
| 2023 | ETAPS | Automatic Alignment in Higher-Order Probabilistic Programming Languages |
| 2023 | ETAPS | AutoHyper: Explicit-State Model Checking for HyperLTL |
| 2023 | EuroSys | OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel |
| 2023 | EuroSys | Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems |
| 2023 | EuroSys | Dissecting BFT Consensus: In Trusted Components we Trust! |
| 2023 | FOCS | Strong Bounds for 3-Progressions |
| 2023 | FOCS | The Subspace Flatness Conjecture and Faster Integer Programming |
| 2023 | FOGA | First Steps Towards a Runtime Analysis of Neuroevolution |
| 2023 | FORTE | Relating Reversible Petri Nets and Reversible Event Structures, categorically |
| 2023 | FoSSaCS | Unboundedness problems for machines with reversal-bounded counters |
| 2023 | FPGA | DONGLE: Direct FPGA-Orchestrated NVMe Storage for HLS |
| 2023 | FSE | Recommending Analogical APIs via Knowledge Graph Embedding |
| 2023 | FSE | TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts |
| 2023 | FSE | LExecutor: Learning-Guided Execution |
| 2023 | FSE | A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention |
| 2023 | FSE | Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities |
| 2023 | FSE | NeuRI: Diversifying DNN Generation via Inductive Rule Inference |
| 2023 | FSE | Can Machine Learning Pipelines Be Better Configured? |
| 2023 | FSE | An Automated Approach to Extracting Local Variables |
| 2023 | FSE | A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing |
| 2023 | FSE | Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors |
| 2023 | FSE | Speeding up SMT Solving via Compiler Optimization |
| 2023 | FSE | Baldur: Whole-Proof Generation and Repair with Large Language Models |
| 2023 | GECCO | Multi-Objective Multi-Gene Genetic Programming for the Prediction of Leakage in Water Distribution Networks |
| 2023 | GECCO | Grammar-guided Linear Genetic Programming for Dynamic Job Shop Scheduling |
| 2023 | GECCO | First Improvement Hill Climber with Linkage Learning -- on Introducing Dark Gray-Box Optimization into Statistical Linkage Learning Genetic Algorithms |
| 2023 | GECCO | Using Affine Combinations of BBOB Problems for Performance Assessment |