🏠홈📊트렌드🏆논문👤마이
CS-Pedia
TrendsBest Papers
Best Papers

CS Best Paper Archive

209개 주요 CS 학회의 Best Paper 수상 논문 1,687건을 연도와 학회별로 탐색하세요.

1980개 논문 · 188개 학회 · 2020–2026

연도
분야
학회

2026

349 papers
NDSSDistinguished Paper Award
Decompiling the Synergy: An Empirical Study of Human-LLM Teaming in Software Reverse Engineering
Zion Leonahenahe Basque, Samuele Doria, Ananta Soneji, Wil Gibbs, Adam Doupe, Yan Shoshitaishvili, Eleonora Losiouk, Ruoyu "Fish" Wang, Simone Aonzo
LLM
NDSSDistinguished Paper Award
Fuzzilicon: A Post-Silicon Microcode-Guided x86 CPU Fuzzer
Johannes Lenzen, Mohamadreza Rostami, Lichao Wu, Ahmad-Reza Sadeghi
NDSSDistinguished Paper Award
Indicator of Benignity: An Industry View of False Positive in Malicious Domain Detection and its Mitigation
Daiping Liu, Danyu Sun, Zhenhua Chen, Shu Wang, Zhou Li
Detection
NDSSDistinguished Paper Award
LOKI: Proactively Discovering Online Scam Websites by Mining Toxic Search Queries
Pujan Paudel, Gianluca Stringhini
Search Algorithms
NDSSDistinguished Paper Award
OCCUPY+PROBE: Cross-Privilege Branch Target Buffer Side-Channel Attacks at Instruction Granularity
Kaiyuan Rong, Junqi Fang, Haixia Wang, Dapeng Ju, Dongsheng Wang
Side-Channel Attacks
NDSSDistinguished Paper Award
One Email, Many Faces: A Deep Dive into Identity Confusion in Email Aliases
Mengying Wu, Geng Hong, Jiatao Chen, Baojun Liu, Mingxuan Liu, Min Yang
NDSSDistinguished Paper Award
Peering Inside the Black-Box: Long-Range and Scalable Model Architecture Snooping via GPU Electromagnetic Side-Channel
Rui Xiao, Sibo Feng, Soundarya Ramesh, Jun Han, Jinsong Han
Side-Channel AttacksGPU Computing
NDSSDistinguished Paper Award
Phishing in Wonderland: Evaluating Learning-Based Ethereum Phishing Transaction Detection and Pitfalls
Ahod Alghuried, David Mohaisen
PhishingTransactions
NDSSDistinguished Paper Award
Should I Trust You? Rethinking the Principle of Zone-Based Isolation DNS Bailiwick Checking
Yuxiao Wu, Yunyi Zhang, Chaoyi Lu, Baojun Liu
NDSSDistinguished Paper Award
Small Cell, Big Risk: A Security Assessment of 4G LTE Femtocells in the Wild
Yaru Yang, Yiming Zhang, Tao Wan, Haixin Duan, Deliang Chang, Yishen Li, Shujun Tang
AAAIOutstanding Paper Award
Model Change for Description Logic Concepts
Ana Ozaki, Jandson S Ribeiro
Logic
AAAIOutstanding Paper Award
Causal Structure Learning for Dynamical Systems with Theoretical Score Analysis
Nicholas Tagliapietra, Katharina Ensinger, Christoph Zimmer, Osman Mian
AAAIOutstanding Paper Award
ReconVLA: Reconstructive Vision-Language-Action Model as Effective Robot Perceiver
Wenxuan Song, Ziyang Zhou, Han Zhao, Jiayi Chen, Pengxiang Ding, Haodong Yan, Yuxin Huang, Feilong Tang, Donglin Wang, Haoang Li
Vision-LanguageRobotics
AAAIOutstanding Paper Award
LLM2CLIP: Powerful Language Model Unlocks Richer Cross-Modality Representation
Weiquan Huang, Aoqi Wu, Yifan Yang, Xufang Luo, Yuqing Yang, Liang Hu, Qi Dai, Chunyu Wang, Xiyang Dai, Dongdong Chen, Chong Luo, Lili Qiu
Language Models
AAAIOutstanding Paper Award
High-pass matters: Theoretical insights and sheaflet-based design for hypergraph neural networks
Ming Li, Yujie Fang, Dongrui Shen, Han Feng, Xiaosheng Zhuang, Kelin Xia, Pietro Lio
AAAIOutstanding Paper Award
PlantTraitNet: An Uncertainty-Aware Multimodal Framework for Global-Scale Plant Trait Inference from Citizen Science Data
Ayushi Sharma, Johanna Trost, Daniel Lusk, Johannes Dollinger, Julian Schrader, Christian Rossi, Javier Lopatin, Etienne Laliberte, Simon Haberstroh, Jana Eichel, Daniel Mederer, Jose Miguel Cerda-Paredes, Shyam S. Phartyal, Lisa-Maricia Schwarz, Anja Linstadter, Maria Conceicao Caldeira, Teja Kattenborn
ScalabilityMultimodal Learning
AAAIOutstanding Paper Award
Generalizable Slum Detection from Satellite Imagery with Mixture-of-Experts
Sumin Lee, Sungwon Park, Jeasurk Yang, Jihee Kim, Meeyoung Cha
Detection
ICLROutstanding Paper Award
Transformers are Inherently Succinct
Pascal Bergstrasser, Ryan Cotterell, Anthony Widjaja Lin
ICLROutstanding Paper Award
LLMs Get Lost In Multi-Turn Conversation
Philippe Laban, Hiroaki Hayashi, Yingbo Zhou, Jennifer Neville
LLMDialogue Systems
ICLRHonorable Mention
The Polar Express: Optimal Matrix Sign Methods and their Application to the Muon Algorithm
Noah Amsel, David Persson, Christopher Musco, Robert M. Gower
AISTATSBest Paper Award
EventFlow: Forecasting Temporal Point Processes with Flow Matching
Gavin Kerrigan, Kai Nelson, Padhraic Smyth
AISTATSBest Student Paper Award
We Still Don’t Understand High-Dimensional Bayesian Optimization
Colin Doumont, Donney Fan, Natalie Maus, Jacob Gardner, Henry Moss, Geoff Pleiss
OptimizationBayesian Methods
AISTATSTest of Time Award
Non-stochastic Best Arm Identification and Hyperparameter Optimization
Kevin Jamieson, Ameet Talwalkar
OptimizationHyperparameter Tuning
AISTATSHonorable Mention
Deep Kernel Learning
Andrew Gordon Wilson, Zhiting Hu, Ruslan Salakhutdinov, Eric P. Xing
Operating Systems
CHIBest Paper Award
The Words That Can't Be Shared: Exploring the Design of Unsent Messages
Michael Yin, Robert Xiao
CHIBest Paper Award
Becoming Watchful on the Trail and at Home: Understanding Experiential Outcomes of Capra in Long-Term Use
Samuel Barnett, Jordan White, MinYoung Yoo, Nico Brand, Henry Lin, William Odom
PPoPPBest Paper Award
Binary Compatible Critical Section Delegation
Junyao Zhang, Zhuo Wang, Zhe Zhou
Parallel ProgrammingConcurrency
WSDMBest Paper Award
Diversification as Risk Minimization
Rikiya Takehi, Fernando Diaz, Tetsuya Sakai
Information RetrievalRanking
3DVBest Paper Award
Look Around and Pay Attention: Multi-camera Point Tracking Reimagined with Transformers
Bishoy Galoaa, Xiangyu Bai, Shayda Moezzi, Utsav Nandi, Sai Siddhartha Vivek Dhir Rangoju, Somaieh Amraee, Sarah Ostadabbas
3D VisionPoint Tracking
EDBTBest Paper Award
In-memory Incremental Maintenance of Provenance Sketches
Pengyuan Li, Boris Glavic, Dieter Gawlick, Vasudha Krishnaswamy, Zhen Hua Liu, Danica Porobic, Xing Niu
Database SystemsProvenance
DASFAABest Paper Award
DynamicPO: Dynamic Preference Optimization for Recommendation
Xingyu Hu, Kai Zhang, Jiancan Wu, Shuli Wang, Chi Wang, Wenshuai Chen, Yinhua Zhu, Haitao Wang, Xingxing Wang, Xiang Wang
RecommendationPreference Optimization
DASFAABest Paper Runner-Up
Mitigating Generic Token Dominance in Cross-Domain Foundation Model for Text-Attributed Graphs
Heng Zheng, Haochen You, Zijian Zhang, Lubin Gan, Hao Zhang, Wenjun Huang, Jin Huang
Graph LearningFoundation Models
ISPASSBest Paper Award
LLMServingSim 2.0: A Unified Simulator for Heterogeneous and Disaggregated LLM Serving Infrastructure
Jaehong Cho, Hyunmin Choi, Guseul Heo, Jongse Park
LLM ServingSimulation
ISPASSBest Paper Award
Hardware Generation and Exploration of Lookup Table-Based Accelerators for 1.58-bit LLM Inference
Joran Heldens, Robin Geens, Joren Dumoulin, Marian Verhelst
Computer ArchitectureLLM Inference
ISPASSHonorable Mention
An Empirical Study of LLM Serving in Confidential GPUs
Eunseong Park, Timo Thans, Vishnu Kumar Kalidasan, Qinghao Hu, Wenjie Xiong
LLM ServingConfidential Computing
RTASBest Paper Award
ZeroSwap: Minimizing Swap Overhead for Real-Time Multi-DNN Inference via SSD-based GPU Memory Extension
Jisung Park et al.
Real-Time SystemsDNN Inference
RTASBest Student Paper Award
Per-Bank Memory Bandwidth Regulation for Predictable and Performant Real-Time Systems
Connor Rudy Sullivan, Amin Mamandipoor, Cole Ridge Strickler, Heechul Yun
Real-Time SystemsMemory Bandwidth
ASPLOSBest Paper Award
CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions
Nick Lindsay, Caroline Trippel, Anurag Khandelwal, Abhishek Bhattacharjee
Computer Architecture
ASPLOSBest Paper Award
Finding Reusable Instructions via E-Graph Anti-Unification
Youwei Xiao, Chenyun Yin, Yitian Sun, Yuyang Zou, Yun Liang
CompilersE-Graphs
ASPLOSBest Paper Award
Lifetime-Aware Design of Item-Level Intelligence
Shvetank Prakash, Andrew Cheng, Olof Kindgren, Ashiq Ahamed, Graham Knight, Jed Kufel, Francisco Rodriguez, Arya Tschand, David Kong, Mariam Elgamal, Jerry Huang, Emma Chen, Gage Hills, Richard Price, Emre Ozer, Vijay Janapa Reddi
Computer Architecture
ASPLOSBest Paper Award
PF-LLM: Large Language Model Hinted Hardware Prefetching
Ceyu Xu, Xiangfeng Sun, Weihang Li, Chen Bai, Bangyan Wang, Mengming Li, Zhiyao Xie, Yuan Xie
PrefetchingLLM
ASPLOSBest Paper Award
vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures
Anatole Lefort, Julian Pritzi, Nicolò Carpentieri, David Schall, Simon Dittrich, Soham Chakraborty, Nicolai Oswald, Pramod Bhatotia
CXLVerification
IEEE VRBest Paper Award
How Much Is Too Much? Comfort Envelopes for Distortions in Virtual Reality Interaction
Hayeon Kim, In-Kwon Lee
Virtual RealityInteraction
IEEE VRBest Paper Award
Shadowless Projection Mapping for Tabletop Workspaces with Synthetic Aperture Projector
Takahiro Okamoto, Masaki Takeuchi, Masataka Sawayama, Daisuke Iwai
Projection MappingVirtual Reality
IEEE VRBest Paper Award
Dynamic Worlds, Dynamic Humans: Generating Virtual Human-Scene Interaction Motion in Dynamic Scenes
Yin Wang, Zhiying Leng, Haitian Liu, Frederick W. B. Li, Mu Li, Xiaohui Liang
Virtual HumansMotion Generation
IEEE VRBest Paper Award
A Large-Scale Quantitative Analysis of Avatars in VR and AR
Natalie Hube, Alexander Achberger, Michael Sedlmair
VR AvatarsAR
IEEE VRBest Paper Award
Setup-Independent Full Projector Compensation
Haibo Li, Qingyue Deng, Jijiang Li, Haibin Ling, Bingyao Huang
ProjectionComputer Graphics
SANERDistinguished Paper Award
STELLAR: A Search-Based Testing Framework for Large Language Model Applications
Lev Sorokin, Ivan Vasilev, Ken Friedl, Andrea Stocco
Software TestingLLM Applications
SANERDistinguished Paper Award
Leveraging Commit-Size Context and Hyper Co-Change Graph Centralities for Defect Prediction
Amit Kumar, Ethari Hrishikesh, Sonali Agarwal
Defect PredictionSoftware Analytics
SANERDistinguished Paper Award
Beyond Lexical: Functional Semantics and Fusion for Precise Architecture Recovery
Chunguang Zhang, Bixin Li, Yan Xiao
Architecture RecoveryProgram Analysis
SANERDistinguished Paper Award
What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice
Yuqing Niu, Jieke Shi, Rundong Han, Ye Liu, Chengyan Ma, Yunbo Lyu, David Lo
Trusted Execution EnvironmentsSoftware Security
SACBest Paper Award
Aurora: Neuro-Symbolic AI Driven Advising Agent
Lorena Amanda Quincoso Lugones, Christopher Kverne, Nityam Sharadkumar Bhimani, Ana Carolina Oliveira, Agoritsa Polyzou, Christine Lisetti, Janki Bhimani
AI AgentsNeuro-Symbolic AI
SACBest Paper Award
ShipNN: On-Device, Ship Identification from Underwater Noise
Kainat Altaf, Momin Ali, Laura Harms, Christian Renner, Olaf Landsiedel
Distributed SystemsOn-Device AI
SACBest Paper Award
Advancing Normal Tissue Complication Probability Modeling with Supervised Contrastive Learning for Predicting Osteoradionecrosis
Eric Ababio Anyimadu, Xinhua Zhang, Clifton Fuller, Elisabeta Marai, Guadalupe Canahuate
Health InformaticsContrastive Learning
SACBest Paper Award
Supporting Agility at Scale Through an Organization-wide Software Engineering Community of Practice: Insights from a Large Software Development Organization
Franziska Tobisch, Klaus Häuptle, Florian Matthes
Software EngineeringAgile
SACBest Paper Award
Adaptive Page Migration for Tiered Memory Systems via Working Set Awareness
Hyolim Hong, Hyungsoo Jung
System SoftwareTiered Memory
ICMLOutstanding Paper Award
The Flexibility Trap: Rethinking the Value of Arbitrary Order in Diffusion Language Models
Zanlin Ni, Shenzhi Wang, Yang Yue, Tianyu Yu, Weilin Zhao, Yeguo Hua, Tianyi Chen, Jun Song, Cheng Yu, Bo Zheng, Gao Huang
Diffusion Language ModelsReinforcement Learning
ICMLOutstanding Paper Award
High-Accuracy Sampling for Diffusion Models and Log-Concave Distributions
Fan Chen, Sinho Chewi, Constantinos Daskalakis, Alexander Rakhlin
Diffusion ModelsSampling Theory
ICMLOutstanding Paper Award
Position: The Alignment Community is Unintentionally Building a Censor’s Toolkit
Sarah Ball, Phil Hackemann
Position PaperAI Alignment
ICMLHonorable Mention
The Obfuscation Atlas: Mapping Where Honesty Emerges in RLVR with Deception Probes
Mohammad Taufeeque, Stefan Heimersheim, Adam Gleave, Chris Cundy
RLVRAI Alignment
ICMLHonorable Mention
Motion Attribution for Video Generation
Xindi Wu, Despoina Paschalidou, Jun Gao, Antonio Torralba, Laura Leal-Taixé, Olga Russakovsky, Sanja Fidler, Jonathan Lorraine
Video GenerationData Attribution
ICMLHonorable Mention
How much can language models memorize?
John Xavier Morris, Chawin Sitawarin, Narine Kokhlikyan, Chuan Guo, G. Edward Suh, Alexander M Rush, Kamalika Chaudhuri, Saeed Mahloujifar
Language ModelsMemorization
ICMLHonorable Mention
A Random Matrix Perspective on the Consistency of Diffusion Models
Binxu Wang, Jacob A Zavatone-Veth, Cengiz Pehlevan
Diffusion ModelsRandom Matrix Theory
ICMLHonorable Mention
To Grok Grokking: Provable Grokking in Ridge Regression
Mingyue Xu, Gal Vardi, Itay Safran
GrokkingTheory
ICMLHonorable Mention
Position: AI/ML Deepfake Research is Misaligned with AI Generated Non-Consensual Intimate Imagery (AIG-NCII)
Li Qiwei, Wells Lucas Santo, Sarita Schoenebeck, Eric Gilbert
Position PaperDeepfakesAI Safety
ICMLTest of Time Award
Asynchronous Methods for Deep Reinforcement Learning
Volodymyr Mnih, Adrià Puigdomènech Badia, Mehdi Mirza, Alex Graves, Timothy P. Lillicrap, Tim Harley, David Silver, Koray Kavukcuoglu
Reinforcement LearningAsynchronous Learning
ACLBest Paper Award
The Imperfective Paradox in Large Language Models
Bolei Ma, Yusuke Miyao
Best PaperLanguage Models
ACLBest Paper Award
Memory Efficiency and Resource-Rational Encoding in Sentence Processing
Weijie Xu, Brian Dillon, Richard Futrell
Best PaperSentence Processing
ACLBest Paper Award
Characterizing the Expressivity of Local Attention in Transformers
Jiaoda Li, Ryan Cotterell
Best PaperTransformers
ACLBest Paper Award
CoSToM: Causal-oriented Steering for Intrinsic Theory-of-Mind Alignment in Large Language Models
Mengfan Li, Xuanhua Shi, Yang Deng
Best Theme PaperTheory of MindLanguage Models
ACLBest Paper Award
Mapping the Circumplex of Affect: Geometric Analysis of Emotion Representations via Hyperspherical Contrastive Learning
Yusuke Yamauchi, Akiko Aizawa
Best Theme PaperEmotion Representations
ACLBest Paper Award
HSCodeComp: A Realistic and Expert-level Agent Benchmark for Hierarchical Rule Application
Tian Lan, Yiqian Yang, Qianghuai Jia, Li Zhu, Hui Jiang, Hang Zhu, Weihua Luo, Longyue Wang
Best Resource PaperBenchmarkAgents
ACLBest Paper Award
ImplicitMemBench: Measuring Unconscious Behavioral Adaptation in Large Language Models
Chonghan Qin, Xiachong Feng, Weitao Ma, Xiaocheng Feng, Lingpeng Kong
Best Resource PaperBenchmarkLanguage Models
ACLBest Paper Award
Audio MultiChallenge: A Multi-Turn Evaluation of Spoken Dialogue Systems on Natural Human Interaction
Advait Gosai, Tyler Vuong, Utkarsh Tyagi, Steven Li, Wenjia You, Miheer Bavare, Arda Ucar, Zhongwang Fang, Brian Jang, Bing Liu, Yunzhong He
Best Resource PaperSpoken DialogueBenchmark
ACLBest Paper Award
VeriTaS: The First Dynamic Benchmark for Multimodal Automated Fact-Checking
Mark Rothermel, Marcus Kornmann, Marcus Rohrbach, Anna Rohrbach
Best Resource PaperFact CheckingMultimodal
ACLBest Paper Award
DIA-HARM: Dialectal Disparities in Harmful Content Detection Across 50 English Dialects
Jason S Lucas, Matt Murtagh White, Ali Al-Lawati, Uchendu Uchendu, Adaku Uchendu, Dongwon Lee
Best Social Impact PaperFairnessContent Moderation
ACLBest Paper Award
Your Students Don’t Use LLMs Like You Wish They Did
Sebastian Kobler, Matthew Clemson, Angela Sun, Jonathan K. Kummerfeld
Best Social Impact PaperEducationLanguage Models
ACLBest Paper Award
Afri-MCQA: Multimodal Cultural Question Answering for African Languages
Atnafu Lambebo Tonja, Srija Anand, Emilio Villa-Cueva, Israel Abebe Azime, Jesujoba Oluwadara Alabi, Muhidin A Mohamed, Debela Desalegn Yadeta, Negasi Haile Abadi, Abigail Oppong, Nnaemeka Casmir Obiefuna, Idris Abdulmumin, Naome A Etori, Eric Peter Wairagala, Kanda Patrick Tshinu, Imanigirimbabazi Emmanuel, Gabofetswe Malema, Alham Fikri Aji, David Ifeoluwa Adelani, Thamar Solorio
Best Social Impact PaperMultilingual NLPMultimodal QA
ACLOutstanding Paper Award
MauBERT: Universal Phonetic Inductive Biases for Few-Shot Acoustic Units Discovery
Angelo Ortiz Tandazo, Manel Khentout, Youssef Benchekroun, Thomas Hueber, Emmanuel Dupoux
PhoneticsSpeech
ACLOutstanding Paper Award
Evolutionary Guided Decoding: Iterative Value Refinement for LLMs
Zhenhua Liu, Lijun Li, Ruizhe Chen, Yuxian Jiang, Tong Zhu, Zhaochen Su, Wenliang Chen, Jing Shao
DecodingLanguage Models
ACLOutstanding Paper Award
Beyond the Final Actor: Modeling the Dual Roles of Creator and Editor for Fine-Grained LLM-Generated Text Detection
Yang Li, Qiang Sheng, Zhengjia Wang, Yehan Yang, Danding Wang, Juan Cao
Generated Text DetectionLanguage Models
ACLOutstanding Paper Award
Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage
Jinwei Hu, Xinmiao Huang, Youcheng Sun, Yi Dong, Xiaowei Huang
Multi-Agent SystemsBelief Manipulation
ACLOutstanding Paper Award
Hierarchical Acoustic-Semantic Modeling: Modality Separation and Semantic Coherence for Full-Duplex SLMs
Zhenyu Liu, Xuanyu Zhang, Yunxin Li, Qixun Teng, Shenyuan Jiang, Haolan Chen, Minjun Zhao, Fanbo Meng, Yu Xu, Yancheng He, Baotian Hu, Haizhou Li, Min Zhang
Speech Language ModelsMultimodal
ACLOutstanding Paper Award
Mind the (DH) Gap! A Contrast in Risky Choices Between Reasoning and Conversational LLMs
Luise Ge, Yongyan Zhang, Yevgeniy Vorobeychik
Reasoning ModelsRisky Choices
ACLOutstanding Paper Award
MediEval: A Unified Medical Benchmark for Patient-Contextual and Knowledge-Grounded Reasoning in LLMs
Zhan Qu, Michael Farber
Medical NLPBenchmarkLanguage Models
ACLOutstanding Paper Award
Maximizing Local Entropy Where It Matters: Prefix-Aware Localized LLM Unlearning
Naixin Zhai, Pengyang Shao, Binbin Zheng, Yonghui Yang, Fei Shen, Long Bai, Xun Yang
UnlearningLanguage Models
ACLOutstanding Paper Award
GeoRA: Geometry-Aware Low-Rank Adaptation for RLVR
Jiaying Zhang, Lei Shi, Jiguo Li, Jun Xu, Jiuchong Gao, Jinghua Hao, Renqing He
Low-Rank AdaptationRLVR
ACLOutstanding Paper Award
CURE: Critique-Driven Unified Reinforcement Learning for Test-Time Self-Improvement
Guirong Chen, Shuqi Ye, Wenkai Yang, Shiqi Shen, Guangyao Shen, Yankai Lin
Reinforcement LearningTest-Time Improvement
ACLOutstanding Paper Award
Systematicity between Forms and Meanings across Languages Supports Efficient Communication
Doreen Osmelak, Yang Xu, Michael Hahn, Kate McCurdy
LinguisticsEfficient Communication
ACLOutstanding Paper Award
Rethinking Entropy Interventions in RLVR: An Entropy Change Perspective
Zhezheng Hao, Hong Wang, Haoyang Liu, Jian Luo, Jiarui Yu, Hande Dong, Qiang Lin, Can Wang, Jiawei Chen
RLVREntropy
ACLOutstanding Paper Award
From Local to Global: Revisiting Structured Pruning Paradigms for Large Language Models
Ziyan Wang, Enmao Diao, Qi Le, Pu Wang, Minwoo Lee, Shu-ping Yeh, Evgeny Stupachenko, Hao Feng, Li Yang
Model PruningLanguage Models
ACLOutstanding Paper Award
Massively Multilingual Joint Segmentation and Glossing
Michael Ginn, Lindia Tjuatja, Enora Rice, Ali Marashian, Maria Valentini, Jasmine Xu, Graham Neubig, Alexis Palmer
Multilingual NLPSegmentation
ACLOutstanding Paper Award
CAR-bench: Evaluating the Consistency and Limit-Awareness of LLM Agents under Real-World Uncertainty
Johannes Kirmayr, Lukas Stappen, Elisabeth Andre
BenchmarkLLM Agents
ACLOutstanding Paper Award
ViLL-E: Video LLM Embeddings for Retrieval
Rohit Gupta, Jayakrishnan Unnikrishnan, Fan Fei, Sheng Liu, Son Tran, Mubarak Shah
Video RetrievalEmbeddings
ACLOutstanding Paper Award
CxMP: A Linguistic Minimal-Pair Benchmark for Evaluating Constructional Understanding in Language Models
Miyu Oba, Saku Sugawara
BenchmarkLanguage Models
ACLOutstanding Paper Award
CIG: Measuring Conversational Information Gain in Deliberative Dialogues with Semantic Memory Dynamics
Ming-Bin Chen, Jey Han Lau, Lea Frermann
DialogueInformation Gain
ACLBest Paper Award
The olmOCR Project: Building Fully Open OCR using VLMs
Jake Poznanski, Kyle Lo, Luca Soldaini
Best Demonstration PaperOCRVision-Language Models
ACLBest Student Paper Award
Evaluation of Multilingual Ability to Use Spatial Deictic Expressions in Vision-Language Models
Kaito Watanabe, Taisei Yamamoto, Tomoki Doi, Hitomi Yanaka
Student Research WorkshopVision-Language ModelsMultilingual NLP
ACLBest Student Paper Award
BanglaSocialBench: A Benchmark for Evaluating Sociopragmatic and Cultural Alignment of LLMs in Bangladeshi Social Interaction
Tanvir Ahmed Sijan, S. M Golam Rifat, Pankaj Chowdhury Partha, Md. Tanjeed Islam, Md. Musfique Anwar
Student Research WorkshopBenchmarkCultural Alignment
ISCABest Paper Award
Patterns Behind Chaos: Forecasting Data Movement for Efficient Large-Scale MoE LLM Inference
Zhongkai Yu, Yue Guan, Zihao Yu, Chenyang Zhou, Zhengding Hu, Shuyi Pei, Yangwook Kang, Yufei Ding, Po-An Tsai
MoELLM InferenceArchitecture
ISCABest Paper Award
Cerberus: Cross-Layer ECC Co-Design for Robust and Efficient Memory Protection
Junhwan Kim, Seunghyun Kim, Yesin Ryu, Saeid Gorgin, Jungrae Kim
Memory ProtectionECCArchitecture
WWWBest Paper Award
From Retrieval to Generation: Unifying External and Parametric Knowledge for Medical Question Answering
Lei Li, Xiao Zhou, Yingying Zhang, Xian Wu
Medical QARetrieval-Augmented Generation
WWWBest Paper Award
DualGR: Generative Retrieval with Long and Short-Term Interests Modeling
Zhongchao Yi, Kai Feng, Xiaojian Ma, Yalong Wang, Yongqi Liu, Han Li, Zhengyang Zhou, Yang Wang
Best Short PaperGenerative RetrievalRecommender Systems
WWWTest of Time Award
LINE: Large-scale information network embedding
Jian Tang, Meng Qu, Mingzhe Wang, Ming Zhang, Jun Yan, Qiaozhu Mei
Network EmbeddingTest of Time
COLTBest Paper Award
Optimal Reconstruction from Linear Queries
Yuval Filmus, Shay Moran, Elizaveta Nesterova
Learning TheoryLinear Queries
COLTBest Student Paper Award
Minimax Limits of k-Fold Cross-Validation via Majority
Ido Nachum, Rudiger Urbanke, Thomas Weinberger
Learning TheoryCross-Validation
CVPRBest Paper Award
Efficiently Reconstructing Dynamic Scenes One D4RT at a Time
Chuhan Zhang; Guillaume Le Moing; Skanda Koppula; Ignacio Rocco; Liliane Momeni; Junyu Xie; Shuyang Sun; Rahul Sukthankar; Joelle K. Barral; Raia Hadsell; Zoubin Ghahramani; Andrew Zisserman; Junlin Zhang; Mehdi S. M. Sajjadi
CVPRBest Student Paper Award
Native and Compact Structured Latents for 3D Generation
Jianfeng Xiang; Xiaoxue Chen; Sicheng Xu; Ruicheng Wang; Zelong Lv; Yu Deng; Hongyuan Zhu; Yue Dong; Hao Zhao; Nicholas Jing Yuan; Jiaolong Yang
CVPRHonorable Mention
NitroGen: An Open Foundation Model for Generalist Gaming Agents
Loic Magne; Anas Awadalla; Guanzhi Wang; Yinzhen Xu; Joshua Belofsky; Fengyuan Hu; Joohwan Kim; Ludwig Schmidt; Georgia Gkioxari; Jan Kautz; Yisong Yue; Yejin Choi; Yuke Zhu; Linxi Fan
CVPRHonorable Mention
SAM 3D: 3Dfy Anything in Images
Xingyu Chen; FU-JEN CHU; Pierre Gleize; Kevin J Liang; Alexander Sax; Hao Tang; Weiyao Wang; Michelle Guo; Thibaut Hardin; Xiang Li; Aohan Lin; Jia-Wei Liu; Ziqi Ma; Anushka Sagar; Bowen Song; Xiaodong Wang; Jianing Yang; Bowen Zhang; Piotr Dollar; Georgia Gkioxari; Matt Feiszli; Jitendra Malik
CVPRHonorable Mention
ChordEdit: One-Step Low-Energy Transport for Image Editing
Liangsi Lu; Xuhang Chen; Minzhe Guo; Shichu Li; Jingchao Wang; Yang Shi
PLDIDistinguished Paper Award
Verification of Recursively Defined Quantum Circuits
Mingsheng Ying; Zhicheng Zhang
PLDIDistinguished Paper Award
Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
Charles Yuan
PLDIDistinguished Paper Award
MatchBox: A Semantic Foundation for Data Plane Portability
Eric Hayden Campbell; Robert Zhang; Divyanshu Saxena; Aditya Akella; Isil Dillig
PLDIDistinguished Paper Award
Modular GPU Programming with Typed Perspectives
Manya Bansal; Daniel Sainati; Joseph W. Cutler; Saman Amarasinghe; Jonathan Ragan-Kelley
PLDIDistinguished Paper Award
Towards Removing Undef Values from LLVM IR
Pedro Lobo; John McIver; George Mitenkov; Juneyoung Lee; Kirshanthan Sundararajah; Nuno P. Lopes
PLDIDistinguished Paper Award
Synthesizing Backward Error Bounds, Backward
Laura Zielinski; Justin Hsu
PLDIDistinguished Paper Award
Categorical Semantics of Probabilistic Symbolic Execution
John M. Li; Jack Czenszak; Steven Holtzen
PLDIDistinguished Paper Award
Enumerating Ill-Typed Programs for Testing Type Analyzers
Thodoris Sotiropoulos; Zhendong Su
PLDIDistinguished Paper Award
VerusBelt: A Semantic Foundation for Verus's Proof-Oriented Extensions to the Rust Type System
Travis Hance; Laila Elbeheiry; Yusuke Matsushita; Derek Dreyer
PLDIDistinguished Paper Award
Bonsai: Compiling Queries to Pruned Tree Traversals
Alexander J Root; Christophe Gyurgyik; Purvi Goel; Kayvon Fatahalian; Jonathan Ragan-Kelley; Andrew Adams; Fredrik Kjolstad
PLDITest of Time Award
Ivy: Safety Verification by Interactive Generalization
Oded Padon; Kenneth Lauchlin McMillan; Aurojit Panda; Mooly Sagiv; Sharon Shoham
SIGMODBest Paper Award
GPM: The Gaussian Pancake Mechanism for Planting Undetectable Backdoors in Differential Privacy
Haochen Sun; Xi He
SIGMODHonorable Mention
F3: The Open-Source Data File Format for the Future
Xinyu Zeng; Ruijun Meng; Martin Prammer; Wes McKinney; Jignesh M. Patel; Andrew Pavlo; Huanchen Zhang
SIGMODHonorable Mention
Integrating Vector Databases across Embedding Models
Beining Yang; Yang Cao; Yang Ren
SIGMODHonorable Mention
Sublime: Sublinear Error & Space for Unbounded Skewed Streams
Navid Eslami; Ioana Bercea; Rasmus Pagh; Niv Dayan
SIGMODTest of Time Award
The Snowflake Elastic Data Warehouse
Benoit Dageville; Thierry Cruanes; Marcin Zukowski; Vadim Antonov; Artin Avanes; Jon Bock; Jonathan Claybaugh; Daniel Engovatov; Martin Hentschel; Jiansheng Huang; Allison W. Lee; Ashish Motivala; Abdul Q. Munir; Steven Pelley; Peter Povinec; Greg Rahn; Spyridon Triantafyllis; Philipp Unterbrunner
PODSBest Paper Award
Unbiased Insights: Optimal Streaming Algorithms for l_p Sampling, the Forget Model, and Beyond
Honghao Lin; Hoai-An Nguyen; William Swartworth; David P. Woodruff
PODSDistinguished Paper Award
FPT Parameterisations of Fractional and Generalised Hypertree Width
Matthias Lanzinger; Igor Razgon; Daniel Unterberger
PODSDistinguished Paper Award
PANDAExpress: a Simpler and Faster PANDA Algorithm
Mahmoud Abo Khamis; Hung Q. Ngo; Dan Suciu
PODSTest of Time Award
FAQ: Questions Asked Frequently
Mahmoud Abo Khamis; Hung Q. Ngo; Atri Rudra
PODCBest Paper Award
Simple and Efficient Randomized Wait-Free Locks
Kahbod Aeini; Dante Bencivenga; George Giakkoupis; Philipp Woelfel
PODCBest Student Paper Award
Efficient Counting and Simulation in Content-Oblivious Rings
Jeremie Chalopin; Yi-Jun Chang; Giuseppe Antonio Di Luna; Haoran Zhou
SPAABest Paper Award
Scheduler Augmentation: A Lightweight, Customizable, Low-Cost Profiling Technique for Fork-Join Parallel Programs
Sam Westrick; Darshan Dinesh Kumar; Seong-Heon Jung
SPAAOutstanding Paper Award
Energy-Efficient Aggregation and Minimum-Degree Spanning Trees in Radio Networks
Yi-Jun Chang; Yang Ze Guan
SPAAOutstanding Paper Award
The Local/Global Disk Problem: How to Use Shared High-Bandwidth Storage Economically
Michael A. Bender; Philip Bille; Martin Farach-Colton; Jeremy Fineman; Michael T. Goodrich; Hanna Komlos; Inge Li Gortz; Bradley C. Kuszmaul; William Kuszmaul; Rose Silver; Todd Veldhuizen; Renfei Zhou
FSEDistinguished Paper Award
A Grounded Theory of Debugging in Professional Software Engineering Practice
Haolin Li; Michael Coblenz
FSEDistinguished Paper Award
An Empirical Study of Fuzz Harness Degradation
Philipp Gorz; Joschua Schilling; Nicolai Bissantz; Thorsten Holz
FSEDistinguished Paper Award
Building Software by Rolling the Dice: A Qualitative Study of Vibe Coding
Yi-Hung Chou; Boyuan Jiang; Yi Wen Chen; Mingyue Weng; Victoria Jackson; Thomas Zimmermann; James A. Jones
FSEDistinguished Paper Award
Carbon-Taxed Transformers: A Green Compression Pipeline for Overgrown Language Models
Ajmain Inqiad Alam; Palash Roy; Chanchal K. Roy; Banani Roy; Kevin A. Schneider
FSEDistinguished Paper Award
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
Juyeon Yoon; Somin Kim; Robert Feldt; Shin Yoo
FSEDistinguished Paper Award
Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis
Jiahong Xiang; Xiaoyang Xu; Xiaopan Chu; Hongliang Tian; Yuqun Zhang
FSEDistinguished Paper Award
GraphLocator: Graph-Guided Causal Reasoning for Issue Localization
Wei Liu; Chao Peng; Pengfei Gao; Aofan Liu; Wei Zhang; Haiyan Zhao; Zhi Jin
FSEDistinguished Paper Award
One Size Does Fit All: Exploring Model Fusion for Software Engineering Tasks
Yinggang Qiu; Yihao Qin; Mingyang Geng; Shangwen Wang; Dezun Dong
FSEDistinguished Paper Award
Pig: Leveraging Large Language Models for Python Library Migrations
Miryeong Kang; Wonseok Oh; Gabin An; Hakjoo Oh
FSEDistinguished Paper Award
Understanding Binary Code Similarity for Real-World Vulnerability Detection: A Large-Scale Empirical Study
Jingdong Guo; Chaopeng Dong; Yimo Ren; Siyuan Li; Jie Liu; Hong Li; Hongsong Zhu
OSDIBest Paper Award
Teaching the Old Dog New Tricks: Building Efficient Data Pipelines for Large-Scale LLM Pre-Training (Operational Systems)
Luofan Chen; Chenhan Wang; Weidong Zhang; Jinxin Chi; Hequan Zhang; Zanbo Wang; Chenyuan Wang; Lishu Luo; Sijin Wu; Junqi Hu; Jun Wang; Cheng Chen; Lixin Huang; Liyang Zhao; Yong Tian; Jun Guo; Youhui Bai; Wencong Xiao; Kang Chen; Cheng Li
OSDIBest Paper Award
ValScope: Value-Semantics-Aware Metamorphic Testing for Detecting Logical Bugs in DBMSs
Li Lin; Liehang Chen; Rongxin Wu
OSDIBest Paper Award
Controlling Opaque-Component Effects with Semisolates and Try
Evangelos Lamprou; Tianyu (Ezri) Zhu; Di Jin; Grigoris Ntousakis; Georgios Liargkovas; Calvin Eng; Konstantinos Kallas; Michael Greenberg; Nikos Vasilakis
ICALPBest Paper Award
Canonical Labelling of Random Regular Graphs
Mikhail Isaev; Tamas Makai; Brendan D. McKay; Pawel Pralat; Jane Tan; Maksim Zhukovskii
ICALPBest Paper Award
Optimal Lower Bounds for Symmetric Modular Circuits
Benedikt Pago
ICALPBest Student Paper Award
Recursive Jump Operators and Optimal Proof Systems
Fabian Egidy
ICALPBest Student Paper Award
Deciding DFA-Primality Is NP-Hard
Daniel Alexander Spenner
CoNLLBest Paper Award
When transformers learn "impossible" languages, what do they learn?
Ram Janarthan; Coleman Haley; Sharon Goldwater
CoNLLOutstanding Paper Award
Readers make targeted regressions to plausible errors in reanalysis of "noisy-channel garden-path" sentences
Thomas Hikaru Clark; Roger P. Levy; Edward Gibson
CoNLLOutstanding Paper Award
Presupposition and Reasoning in Conditionals: A Theory-Based Study of Humans and LLMs
Tara Azin; Yongan Yu; Raj Singh; Olessia Jouravlev
ECOOPDistinguished Paper Award
Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis
Wenyao Chen; Wei Li; Jingling Xue
ECOOPDistinguished Paper Award
A Complete Program Logic for Compositional Linearizability
Eashan Hatti; Arthur Oliveira Vale; Zhongye Wang; Yueyang Feng; Zhong Shao
ECOOPDistinguished Paper Award
Language-Integrated Recursive Queries
Anna Herlihy; Amir Shaikhha; Anastasia Ailamaki; Martin Odersky
ECOOPTest of Time Award
Automated Detection of Refactorings in Evolving Components
Danny Dig; Can Comertoglu; Darko Marinov; Ralph Johnson
EGSRBest Paper Award
Volumetric Inverse Rendering via Neural Radiative Transfer
Ntumba Elie Nsampi; Adarsh Djeacoumar; Hans-Peter Seidel; Tobias Ritschel; Thomas Leimkuhler
SGPTest of Time Award
Laplace-Beltrami Eigenfunctions for Deformation Invariant Shape Representation
Raif M. Rustamov
DSNTest of Time Award
Targeted Attacks on Teleoperated Surgical Robots: Dynamic Model-Based Detection and Mitigation
Homa Alemzadeh; Daniel Chen; Xiao Li; Thenkurussi Kesavadas; Zbigniew T. Kalbarczyk; Ravishankar K. Iyer
DSNTest of Time Award
PARBOR: An Efficient System-Level Technique to Detect Data-Dependent Failures in DRAM
Samira Khan; Donghyuk Lee; Onur Mutlu
LICSBest Student Paper Award
Star Complexity of Parikh Images of Languages over Infinite Alphabets
Yoav Danieli
LICSDistinguished Paper Award
A Complexity Bound for Determinisation of Min-Plus Weighted Automata
Shaull Almagor; Guy Arbel; Sarai Sheinvald
LICSDistinguished Paper Award
PVASS Reachability Is Decidable
Roland Guttenberg; Eren Keskin; Roland Meyer
LICSDistinguished Paper Award
Existential Positive Transductions of Sparse Graphs
Nikolas Mählmann; Sebastian Siebertz
LICSDistinguished Paper Award
The Logic of Bunched Implications Is Undecidable
Nikolaos Galatos; Peter Jipsen; Søren Brinck Knudstorp; Revantha Ramanayake
LICSDistinguished Paper Award
Quantum Control and General Recursion Beyond the Unitary Case
Kathleen Barsse; Romain Péchoux; Simon Perdrix
LICSDistinguished Paper Award
Wiring the π-Calculus to Denotational Semantics
Ken Sakayori; Davide Sangiorgi; Simon Castellan; Pierre Clairambault
LICSDistinguished Paper Award
The ∞-Category of ∞-Categories in Simplicial Type Theory
Daniel Gratzer; Jonathan Weinberger; Ulrik Buchholtz
LICSDistinguished Paper Award
Dynamic Planar Graph Isomorphism Is in DynFO
Samir Datta; Asif Khan; Felix Tschirbs; Nils Vortmeier; Thomas Zeume
LICSTest of Time Award
On Model-Checking Trees Generated by Higher-Order Recursion Schemes
Chih-Hao Luke Ong
LICSTest of Time Award
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Nir Piterman
SIGGRAPHBest Paper Award
GimmBO: Interactive Generative Image Model Merging via Bayesian Optimization
Chenxi Liu; Selena Ling; Alec Jacobson
SIGGRAPHBest Paper Award
Mixwell: Sharp 2D Fluid Brushes for Progressive Physics-Based Mixing
Doug James; Ethan James
SIGGRAPHBest Paper Award
Walk on Decomposed Subdomains: A Hybrid Monte Carlo-Deterministic Solver for Elliptic PDEs
Clément Jambon; Mohammad Sina Nabizadeh; Mina Konaković Luković
SIGGRAPHBest Paper Award
Robust Planar Maps for 3D Vectorization
Robert Fuchs; Keenan Crane
SIGGRAPHBest Paper Award
Inverse Rendering for Discrete X-Ray Computed Tomography
Lovro Nuic; Ziyi Zhang; Korbinian Sager; Wenzel Jakob
PETSBest Student Paper Award
QUICstep: Evaluating connection migration based QUIC censorship circumvention
Seungju Lee; Mona Wang; Watson Jia; Qiang Wu; Henry Birge-Lee; Liang Wang; Prateek Mittal
PETSBest Student Paper Award
Analysis and Attacks on the Reputation System of Nym
Xinmu Alexis Cao; Matthew Green
PETSBest Student Paper Award
Quantifying Classifier Utility under Local Differential Privacy
Ye Zheng; Yidan Hu
PETSBest Student Paper Award
No Privacy for Privates: How Military Communities Experience and Perceive the Privacy Risks of Military-Marketed Mobile Apps
Joshua Shinkle; Chandrika Mukherjee; Abdullah Imran; Arjun Arunasalam; Donna Artusy; Antonio Bianchi; Z. Berkay Celik; Alexander Master
KRBest Paper Award
Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
Marvin Grosser; Carsten Lutz
KRBest Student Paper Award
Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
Davide Bizzaro; Alessandro Daniele
Marco Cadoli Award
KRBest Student Paper Award Runner-Up
Splitting Argumentation Frameworks with Collective Attacks and Supports
Matti Berthold; Lydia Blümel; Giovanni Buraglio; Anna Rapberger
Marco Cadoli Award
CogSciComputational Modeling Prize
Neuro-Composer: Bridging Intention and Articulation via Dual-Stream Predictive Coding and Metacognitive Feedback
Liying Zhang; Qi Zhu; Peiliang Gong; Chuhang Zheng; Kun Wang; Daoqiang Zhang
Computational Modeling PrizeApplied Cognition
CogSciComputational Modeling Prize
A rational cascade from teaching explains strategy discovery in development: The case of early addition
Merrick Giles; Andrew Perfors; Francis Mollica
Computational Modeling PrizeHigher-Level Cognition
CogSciComputational Modeling Prize
On convexity and efficiency in semantic systems
Nathaniel Imel; Noga Zaslavsky
Computational Modeling PrizeLanguage
CogSciComputational Modeling Prize
Developmental Analysis of Drawing Sequences: How Young Children and Adults Organize Object Parts in Line Drawing
Zijian Tian; Takeshi Kishiyama; Tzu-Yin Chen; Yuki Hirose; Michiru Makuuchi
Computational Modeling PrizePerception & ActionOfficial Program
HPDCBest Paper Award
Pome: Parallelizing I/Os and Computations for Efficient LSM-tree-based Data Storage
Yanpeng Hu; Li Zhu; Lei Jia; Chundong Wang
ICAPSBest Paper Award
Learning Lifted Action Models from Unsupervised Visual Traces
Kai Xi; Stephen Gould; Sylvie Thiébaux
ICAPSBest Paper Runner-Up
Potential Heuristics as Real-Valued Multilinear Polynomials
Augusto B. Corrêa; Simon Dold; Malte Helmert
ICAPSBest Student Paper Award
I Always Told My Mom That Order Is Overrated: Unordered HTN Planning is in PSPACE and Models Problems Beyond STRIPS
Pascal Lauer; Yifan Zhang; Patrik Haslum; Pascal Bercher
MobiSysBest Paper Award
Insecurity of Lost/Stolen Phone Reporting Services: Vulnerabilities, Attacks, and Countermeasures
Min-Yue Chen; Yiwen Hu; Yu-An Chen; Chi-Yu Li; Tian Xie; Guan-Hua Tu
MobiSysBest Paper Runner-Up
TimelyLLM: Time-sensitive LLM Serving System for Physical-I/O Limited Agents
Neiwen Ling; Guojun Chen; Anurag Khandelwal; Lin Zhong
MobiSysBest Paper Runner-Up
Vec-LUT: Vector Table Lookup for Parallel Ultra-Low-Bit LLM Inference on Edge Devices
Xiangyu Li; Chengyu Yin; Weijun Wang; Jianyu Wei; Ting Cao; Yunxin Liu
DSNBest Paper Award
PRAXIS: Integrating Program Analysis with Observability for Root-Cause Analysis
Shengkun Cui; Rahul Krishna; Saurabh Jha; Ravishankar K. Iyer
DSNBest Paper Award
Thinking Inside the Box: Injecting Realistic Radiation Faults in ML Accelerators
Bruno Loureiro Coelho; Mani Sadati; Abraham Chan; Alex Hands; Karthik Pattabiraman; Paolo Rech
DSNBest Paper Award
Q3Fuzz: Multi-Layered Stateful Fuzzing for the QUIC-HTTP/3 Protocol Stack
Isa Jafarov; Choongin Lee; Heejo Lee; Sven Dietrich
STOCBest Paper Award
Lower Estimates for L_1-Distortion of Transportation Cost Spaces
Chris Gartland; Mikhail Ostrovskii
STOCBest Paper Award
Separating QMA from QCMA with a classical oracle
John Bostanci; Jonas Haferkamp; Chinmay Nirkhe; Mark Zhandry
STOCBest Paper Award
Boolean function monotonicity testing requires (almost) n^1/2 queries
Mark Chen; Xi Chen; Hao Cui; William Pires; Jonah Stockwell
STOCBest Student Paper Award
NP-membership for the boundary-boundary art-gallery problem
Jack Stade
STOCBest Student Paper Award
MIP^co = coRE
Junqiao (Randy) Lin
RSSOutstanding Paper Award
FlashSAC: Fast and Stable Off-Policy Reinforcement Learning for High-Dimensional Robot Control
Donghu Kim; Youngdo Lee; Minho Park; Kinam Kim; Takuma Seno; I Made Aswin Nahrendra; Sehee Min; Daniel Palenicek; Florian Vogt; Danica Kragic; Jan Peters; Jaegul Choo; Hojoon Lee
RSSBest Student Paper Award
Muninn: Your Trajectory Diffusion Model But Faster
Gokul Puthumanaillam; Hao Jiang; Ruben Hernandez; Jose Fuentes; Paulo Padrao; Leonardo Bobadilla; Melkior Ornik
ICMRBest Paper Award
Frozen LVLMs for Micro-Video Recommendation: A Systematic Study of Feature Extraction and Fusion
Huatuan Sun; Yunshan Ma; Changguang Wu; Yanxin Zhang; Pengfei Wang; Xiaoyu Du
ICMRBest Student Paper Award
Text4Radar-V2X: Text-guided 4D Radar for Cooperative 3D Object Detection
Xiangyuan Peng; Kay Bierzynski; Lorenzo Servadei; Robert Wille
ECRTSBest Paper Award
PREEMPT-FaaS: Taming Orchestration Times in Latency-Sensitive Serverless Environments
Marcello Cinque; Luigi De Simone; Raffaele Della Corte; Stefano Toscano
ECRTSOutstanding Paper Award
Multi-core Integration of Sporadic Events in Time-triggered Systems
Anaïs Finzi; Silviu Craciunas
ECRTSOutstanding Paper Award
Semi-Clairvoyant Scheduling for Jobs with Multiple Criticalities
Kunal Agrawal; Tung Duc Thai; Jinhao Zhao
ECRTSOutstanding Paper Award
HyperSSE: Cross-Domain Static Analysis of Partitioned Real-Time Hypervisor Systems
Andreas Kässens; Mareike Burg; Daniel Lohmann
CONCURTest of Time Award
A New Type System for Deadlock-Free Processes
Naoki Kobayashi
CONCURTest of Time Award
Strategy Logic
Krishnendu Chatterjee; Thomas A. Henzinger; Nir Piterman
VLDBBest Paper Award
Garnet: A Next-Generation Cache-Store for Accelerating Applications and Services
Badrish Chandramouli; Vasileios Zois; Ted Hart; Tal Zaccai; Lukas Maas; Yoganand Rajasekaran; Darren Gehring
VLDBHonorable Mention
Scalable GPU Acceleration of Scalar Functions in Analytical Databases: Compilation, Benchmarking, and Optimization
Kaushik Rajan; Sampath Rajendra; Momin Al-Ghosien; Nicolas Bruno; Carlo Curino; Matteo Interlandi; Yinan Li; Lukas M. Maas; Craig Peeper; Surajit Chaudhuri; Johannes Gehrke
VLDBHonorable Mention
How to Write to SSDs
Bohyun Lee; Tobias Ziegler; Viktor Leis
VLDBHonorable Mention
Demystifying and Improving Lazy Promotion in Cache Eviction (EA&B)
Qinghan Chen; Muhammad Haekal Muhyidin Al-Araby; Ziyue Qiu; Zhuofan Chen; Rashmi Vinayak; Juncheng Yang
VLDBTest of Time Award
The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-scale, Unbounded, Out-of-order Data Processing
Tyler Akidau; Robert Bradshaw; Craig Chambers; Slava Chernyak; Rafael Fernández-Moctezuma; Reuven Lax; Sam McVeety; Daniel Mills; Frances Perry; Eric Schmidt; Sam Whittle
ICFPDistinguished Paper Award
Inlining as a space optimization: a simple time- and space-invariant implementation of the weak lambda-calculus
Thibaut Balabonski
ICFPDistinguished Paper Award
First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination
Chun Kit Lam; Florent Ferrari-Dominguez; Lionel Parreaux
ICFPDistinguished Paper Award
Programmable Property-Based Testing
Alperen Keles; Justine Frank; Ceren Mert; Harrison Goldstein; Leonidas Lampropoulos
ICFPDistinguished Paper Award
A Catenable, Splittable, Transient Sequence Data Structure
Arthur Charguéraud; François Pottier
MFCSBest Paper Award
Algorithmic Information Bounds for Distances and Orthogonal Projections
Peter Cholak; Marianna Csörnyei; Neil Lutz; Patrick Lutz; Elvira Mayordomo; Donald Stull
MFCSBest Student Paper Award
Testing Equivalence to the Hamiltonian Cycle Polynomial
Agrim Dewan
MFCSBest Student Paper Award
A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs
Colin Blake
IJCAIDistinguished Paper Award
Approximate Strategyproofness in Approval-based Budget Division
Haris Aziz; Patrick Lederer; Jeremy Vollen
IJCAIDistinguished Paper Award
Tuple Inconsistency Measures: Toward Explaining Query Answers
Yurun Gu; Badran Raddaoui; Yue Ma; Aikaterini Tzompanaki; Nicole Bidoit
IJCAIDistinguished Paper Award
StreamTimer: Efficient Inference for Long-Context Time Series Transformers
Xiyu Meng; Yuhan Wu; Canran Xiao; Yabo Dong; Duanqing Xu
SIGCOMMBest Paper Award
λ_{λ}: A Programming Language for Silicon Photonics
Vaibhav Mehta; Arjun Devraj; Bill Owens; Justin Hsu; Rachee Singh
SIGCOMMBest Paper Award
Presto: A Match-Action TCP Stack for the Terabit Era
Rajath Shashidhara; Antoine Kaufmann; Simon Peter
UAIBest Paper Award
Fundamental Limits and Optimal Methods for Sharp Analytical Causal Bounds in Instrumental Variable Models
Arefe Boushehrian; Mohammad Reza Badri; Sina Akbari; Negar Kiyavash
UAIBest Paper Runner-Up
Nonlinear Axiomatic Attribution for Cooperative Games
Weida Li; Zhuanghua Liu; Yaoliang Yu; Bryan Kian Hsiang Low
UAIHonorable Mention
Gaussian Process Limit Reveals Structural Benefits of Graph Transformers
Nil Ayday; Lingchu Yang; Debarghya Ghoshdastidar
USENIX SecurityDistinguished Paper Award
Opossum Attack: Application Layer Desynchronization using Opportunistic TLS
Robert Merget; Nurullah Erinola; Marcel Maehren; Lukas Knittel; Sven Hebrok; Marcus Brinkmann; Juraj Somorovsky; Jörg Schwenk
USENIX SecurityDistinguished Paper Award
LPG: Raise Your Location Privacy Game in Direct-to-Cell LEO Satellite Networks
Quan Shi; Liying Wang; Prosanta Gope; Qi Liang; Haowen Wang; Qirui Liu; Chenren Xu; Shangguang Wang; Qing Li; Biplab Sikdar
USENIX SecurityDistinguished Paper Award
The State of Passkeys: Studying the Adoption and Security of Passkeys on the Web
Louis Jannett; Andreas Mayer; Maximilian Westers; Vladislav Mladenov; Christian Mainka; Jörg Schwenk
USENIX SecurityDistinguished Paper Award
Sliding into the Flight Deck's DMs: Practical Message Attacks on CPDLC
Mehdi Ziazi; Khalid Aleem; Harshad Sathaye; Martin Strohmeier
USENIX SecurityDistinguished Paper Award
Bridges to Self: Silent Web-to-App Tracking on Mobile via Localhost
Tim Vlummens; Aniketh Girish; Nipuna Weerasekara; Frederik Zuiderveen Borgesius; Gunes Acar; Narseo Vallina-Rodriguez
USENIX SecurityDistinguished Paper Award
Download More RAM: Dismantling Windows Operating System Defences with Mischievous Memory
Sam Collins; Tom Chothia; William Burgess; Marius Muench; David Oswald
USENIX SecurityDistinguished Paper Award
Security and Privacy Considerations for Confirming Payments in Rwandan Mobile Money Systems
Oluwole A. Adewusi; Assane Gueye; Wallace S. Msagusa; Jema David Ndibwile; David Nkundineza; Okemawo Obadofin; Wilson Rutaremara; Blase Ur
USENIX SecurityDistinguished Paper Award
An Integer Overflow Endgame: Compiler and Architecture Support for Default-On Integer Overflow Mitigation
Zheng Zhang; Qi Ling; Kian Kasad; Brendan Ryan Sweeney; Deepak Gupta; Tal Garfinkel; Kazem Taram
CCCBest Paper Award
A weak regularity lemma for polynomials
Guy Moshkovitz; Dora Woodruff
CCCBest Student Paper Award
Randomized separations in black-box TFNP
Fyodor Kiselyov
CCCTest of Time Award
Unbalanced Expanders and Randomness Extractors from Parvaresh-Vardy Codes
Venkatesan Guruswami; Christopher Umans; Salil Vadhan
CAVDistinguished Paper Award
Complete Local Reasoning About Parameterized Programs Over Topologies
Ruotong Cheng; Azadeh Farzan
CAVDistinguished Paper Award
Fast Obligation Translation and Synthesis
Alexandre Duret-Lutz; Giuseppe De Giacomo; Marcin Jurdzinski; Nir Piterman; Moshe Y. Vardi; Shufang Zhu
CAVDistinguished Paper Award
Satisfiability Modulo Extensional Constant Arrays
Mathias Preiner; Aina Niemetz; Clark Barrett
CAVDistinguished Paper Award
Mallob: Scalable Automated Reasoning On Demand
Dominik Schreiber; Niccolò Rigi-Luperti; Peter Sanders
CAVDistinguished Paper Award
Modular Reasoning about Object Relations
Micha Greutmann; Marco Eilers; Peter Müller
CAVDistinguished Paper Award
Velvet: A Foundational Multi-Modal Verifier for Imperative Programs in Lean
Vladimir Gladshtein; Vitaly Kurin; Yueyang Feng; Dipesh Kafle; George Pîrlea; Qiyuan Zhao; Ilya Sergey
CAVDistinguished Paper Award
Liveness Proofs for Hardware Model Checking
Nils Froleyks; Emily Yu; Bart Bogaerts; Armin Biere; Keijo Heljanko
CAVDistinguished Paper Award
Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
Joe Hattori; Naoki Kobayashi; Ken Sakayori
DACBest Paper Award
Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking
Jiaying Zhu; Zhengyuan Shi; Mengxia Tao; Kezhi Li; Min Li; Qiang Xu
ICLPBest Paper Award
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
Angelos Charalambidis; Giannos Chatziagapis; Babis Kostopoulos; Panos Rondogiannis
ICLPBest Student Paper Award
Answer-Set-Programming-based Abstractions for Reinforcement Learning
Rafael Bankosegger; Thomas Eiter; Johannes Oetsch
ICLPTest of Time Award
Coinductive Logic Programming
Luke Simon; Ajay Mallya; Ajay Bansal; Gopal Gupta
ICLPTest of Time Award
Justifications for Logic Programs Under Answer Set Semantics
Enrico Pontelli; Tran Cao Son
ICLPTest of Time Award
Theory Solving Made Easy with Clingo 5
Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Max Ostrowski; Torsten Schaub; Philipp Wanko
CSEETBest Paper Award
What Makes A Good Commit? A Delphi Study
Phillip T. Conrad; Aileen Tang; Christopher Hundhausen; Kevin Buffardi; Summit Haque
CSEETBest Paper Award
Human-AI Grading Agreement in Computing Education: A Question-Level Reliability and Calibration Study
Cemil Emre Yavas; Lei Chen; Nancy R. Mead; Christopher Kadlec
GECCOBest Paper Award
Parent Selection Mechanisms in Elitist Crossover-Based Algorithms
Andre Opris; Denis Antipov
GECCOBest Paper Award
Evolution With Purpose: Hierarchy-Informed Optimization of Whole-Brain Models
Hormoz Shahrzad; Niharika Gajawelli; Kaitlin Maile; Manish Saggar; Risto Miikkulainen
GECCOBest Paper Award
Evolving Multi-Channel Confidence-Aware Activation Functions for Missing Data with Channel Propagation
Naeem Shahabi Sani; Ferial Najiantabriz; Shayan Shafaei; Dean Hougen
GECCOBest Paper Award
A Learning-Based Cooperative Coevolution Framework for Heterogeneous Large-Scale Global Optimization
Wenjie Qiu; Zixin Wang; Hongyu Fang; Zeyuan Ma; Yue-Jiao Gong
GECCOBest Paper Award
Introns and Templates Matter: Rethinking Linkage in GP-GOMEA
Johannes Koch; Tanja Alderliesten; Peter Bosman
GECCOBest Paper Award
Multi-objective Local Optima Networks based on Decomposition
Gabriela Ochoa; Quentin Renau; Arnaud Liefooghe; Jonathan Fieldsend
GECCOBest Paper Award
Distributional Value Estimation Without Target Networks for Robust Quality-Diversity
Behrad Koohy; Jamie Bayne
GECCOBest Paper Award
A Heterogeneous Ant Colony Framework with Semantic Manifold Learning for Dynamic Ore-Flow Blending
Hao Tang; Changhe Li; Guoyu Chen; Shoufei Han; Michalis Mavrovouniotis; Miqing Li
GECCOBest Paper Award
In Search of the Ingredients of Open-Endedness: Replicating Picbreeder with Large Vision-Language Models
Sam Earle; Kai Arulkumaran; Akarsh Kumar; Andrew Dai; Julian Togelius; Sebastian Risi
GECCOBest Paper Award
Exploration of Pareto-preserving Search Space Transformations in Multi-objective Test Functions
Diederick Vermetten; Jeroen Rook
SCABest Paper Award
Generalized Audio-driven Synthesis of Precise Drummer Motion
Álvaro Iñesta; Mattia Ryffel; Amit Haim Bermano; Robert Sumner; Martin Guay
SCAHonorable Mention
Prior-First, Condition-Second: Scalable and Controllable Hand Motion Completion
Mingyi Shi; Xuelin Chen; Taku Komura
SCAHonorable Mention
Pose-based Neural Clothing for Animated Characters
Julian N. Heidenreich; Vinicius C. Azevedo; Jakob Buhmann; Lento Manickathan; Arnold Moon; Paul Kanyuk; Amit H. Bermano; Jingwei Tang
ICSBest Paper Award
OCTANE: Breaking the Neighbor-List Bottleneck in GPU Molecular Dynamics
Hanieh Toutouni; Suman Chakraborty; Yicheng Tu; Jiajun Huang
MDMBest Paper Award
Adaptive Edge Context Caching Framework for Context-Aware Mobile IoT Applications
Ashish Manchanda; Prem Prakash Jayaraman; Abhik Banerjee; Arkady Zaslavsky
MDMTest of Time Award
Building Accurate 3D Spatial Networks to Enable Next Generation Intelligent Transportation Systems
Manohar Kaul; Bin Yang; Christian S. Jensen
DISBest Paper Award
Exploring Fairy Cursor as a Form of AI Agent for In-the-Flow Assistance: Design Opportunities and Challenges
Yining Cao; James Hollan; Haijun Xia
DISBest Paper Award
Shifting Narrative Salience: Fine-Tuning LLMs as a Design Intervention in Generative Design Fiction
Piyum Fernando; Nipuni Siyambalapitiya; Tharindu S Kumarage
DISBest Paper Award
Beyond Project Time: Multiple Years of Living with a Slow Technology Research Product
William Odom
DISBest Paper Award
Floating Companion: Exploring Design Space for Lighter-than-Air Soft Floating Robots in Indoor Environments
Mingyang Xu; Yanheng Li; Burcu Nimet Dumlu; RAY LC; Giulia Barbareschi; Matthias Hoppe; Jie Li; Kouta Minamizawa; Kai Kunze
DISBest Paper Award
Building A Civic Tool for Community–Police Engagement to Adapt Neighborhood Policing
Ravinithesh Reddy Annapureddy; Staņislavs Šeiko; Natalie Higham-James; William Droz; Alessandro Fornaroli; Sarah Vollmer; Britta Elena Hecking; Daniel Gatica-Perez
DISBest Paper Award
What Makes Technology Feel ‘Alive’: The Precursors of Perceived Consciousness in Interactive Systems Scale
Paweł W. Woźniak; Jasmin Niess; Julia Dominiak; Ava Elizabeth Scott; Barbara Sienkiewicz; Konstantin R. Strömel; Anna Walczak; Mikołaj P. Woźniak
DISBest Paper Award
Knit Joinery: Incorporating Multifunctional Materials with Single-bed Machine Knitting
Yi-Chin Lee; Vernelle A. A. Noel; Scott E Hudson; James McCann; Lea Albaugh
DISBest Paper Award
Praxis Guides: Community Approaches to Resistance Efforts through Mutual Aid Zineing
Alesandra Baca-Vázquez; Kiara (Sunny) Dailey; Lynn Dombrowski; Angela D. R. Smith
DISBest Paper Award
Sensibilities as Knowledge in Design Research
Mafalda Gamboa; Kristina Andersen
DISBest Paper Award
Rushed by Discomfort, Trapped by Immersion: Users’ Experiences and Responses to Privacy Deceptive Design in Commercial VR Applications
Hilda Hadan; Michaela Valiquette; Lennart E. Nacke; Leah Zhang-Kennedy
DISBest Paper Award
From Nowhere to Now-here: Centering Black Senses of Place and Placemaking in Speculative Design
Alex Jiahong Lu; Comfort Umoren-Olorunnisomo; Caitlin Crutcher
DISBest Paper Award
DataSway: Vivifying Metaphoric Visualization with Animation Clip Generation and Coordination
Liwenhan Xie; Jiayi Zhou; Anyi Rao; Huamin Qu; Xinhuan Shu
DISBest Paper Award
Warped Tour: Analyzing Design Tools Support for Multilayer Weaving Production in HCI
Devon Frost; Jennifer Jacobs
DISBest Paper Award
Machine Learning as Design Material for Music Co-Creation
Lucía Montesinos García; Anders Sundnes Løvlie
DISBest Paper Award
Compass vs Railway Tracks: Unpacking User Mental Models for Communicating Long-Horizon Work to Humans vs. AI
Savvas Dimitrios Petridis; Michael Xieyang Liu; Alexander J. Fiannaca; Carrie J Cai; Michael Terry
DISBest Paper Award
The Trials of Designing Communication Aids for Clinical Trials: Challenges and Recommendations from Practicing Co-Design in the Domain of Medical Research
Sarah Dunn; Bettina Weber; David Studer; Areti Manataki; Lia Bally; Benjamin Bach; Tara Capel
DISHonorable Mention
Conceptualizing How to Design for AI Literacy through Game Artifacts
Joseph Tu; Geneva M. Smith; Simone Bassanelli; Annapaola Marconi; Lennart E. Nacke
DISHonorable Mention
Embodied AI in the Wild: Comparing Older Adults’ Interactions with an Avatar and a Humanoid Robot in a Public Space
Eva Theresa Jahn; Ashita Ashok; Mea-Sophie Edelmann; Nora Anna Luise Hille; Mehrbod Manavi; Nadezhda Kushina; Rainer Wieching; Dave Randall; Karsten Berns; Volker Wulf
DISHonorable Mention
The Misalignment of Technology, Democracy, and Design: A Scoping Review
Alma Leora Culén; Jasmin Niess; Aparecido Fabiano Pinatti de Carvalho; Aki Axel Caspersen; Tora Jarsve; Suhas Govind Joshi; Nicholas Sebastian Stevens; Konstantin Strömel; Nadine Wagener; Anna Walczak; Paweł W. Woźniak
DISHonorable Mention
On Designing Visceral Encounters with Synthetic Intimate Imagery
Alejandra Gómez Ortega; Hüseyin Uğur Genç; Willem van der Maden; Rob Comber; Airi Lampinen; Madeline Balaam
DISHonorable Mention
Puppet Prototyping: Exploring Puppetry as a Design Method for Relational Robots
Ellen Weir; Ute Leonards; Anne Roudaut
DISHonorable Mention
Everyday Design Knowledge: A Knowledge-in-Pieces Perspective on HCI Learning
Alexandros Nikolaos Lotsos; Amartya Banerjee; Yizhu Wang; Mike Horn
DISHonorable Mention
Designing Worker-Led Documentation Practices: How Unionized Cleaners Articulate Harm Beyond Reporting
Franchesca Spektor; Shivani Kapania; Minjung Park; Olivia Terry; Jodi Forlizzi; Sarah E Fox
DISHonorable Mention
Delay-Buffered Editing for Accessible Slide Presentation Videos
Azizul Haque; Jonggi Hong
DISHonorable Mention
“We are caregivers of caregivers”: Designing AI to Support the Human Infrastructure of Dementia Support Groups
Yuanhui Huang; Anne Marie Piper
DISHonorable Mention
Designing Conversations with the Dead: How People Engage with Generative Ghosts
Jack M Manning; Daniel Sullivan; Dylan Thomas Doyle; Anthony T. Pinter; Jed R. Brubaker
DISHonorable Mention
“How Do I Want to Live with Type 1 Diabetes?”: Understanding Self-Management Styles to Inform the Design of T1D Technologies
Clara-Maria Barth; Anton Fedosov; Chat Wacharamanotham; Jürgen Bernard; Elaine M. Huang
DISHonorable Mention
“Harder, Better, Faster, Stronger”: An Autoethnographic Exploration of Emerging Technologies for Return-to-Sport
Maria Chiu; Kelan Queenan; Christopher M. Bono; Casper Harteveld
DISHonorable Mention
Supporting Reflection on Reality Disjunction in Dementia Care: The Complementary Roles of Chatbots and Humans
Yvon Ruitenburg; Minha Lee; Panos Markopoulos; Wijnand IJsselsteijn
DISHonorable Mention
Designing for Emotion Regulation in Popular Music Apps: Evaluation of MoodDJ, a Novel Spotify Plugin
Xanthe Lowe-Brown; Peter Koval; Solange Glasser; Greg Wadley
DISHonorable Mention
Equity by Design: A New HCI Method for Surfacing Inclusivity Issues in Remote Collaboration Software
Shandler A Mason; Sandeep Kaur Kuttal
DISHonorable Mention
IdeaBlocks: Expressing and Reusing Divergent Intents for Graphic Design Exploration using Generative AI
DaEun Choi; Kihoon Son; Jaesang Yu; HyunJoon Jung; Juho Kim
DISHonorable Mention
Exploring Embodied Expression as a Design Resource for Understanding the Dynamism of Vulnerability
Bhakti Moghe; Daniel Tetteroo; Maarten Houben
DISHonorable Mention
Translating Card Play to Tangible Tabletops: Opportunities and Challenges in Intergenerational Museum Play
Timothy Merritt; Rasmus Brandt Sørensen; Rasmus Kokholm Møller; Maria-Theresa Bahodi; Nicolai Brodersen Hansen; Florian Echtler; Ilhan Aslan
DISHonorable Mention
MakeAloud: Think-Aloud to Bridge Design-Fabrication Workflows
Ritik Batra; Kendra Wannamaker; George Fitzmaurice; Justin Matejka
DISHonorable Mention
Supporting Practitioner-Led Adaptive Switch Design: Stories and Speculative Design Opportunities for Adaptive Switch Design using GenAI
Karen Anne Cochrane; Bryce Arthur Moore; Jesse N Simon; Daniel Harley
DISHonorable Mention
Artistic Practice Opportunities in CST Evaluations: A Longitudinal Group Deployment of ArtKrit
Catherine Liu; Tao Long; Asya Lyubavina; Chau Vu; Jiaju Ma; Jingyi Li
DISHonorable Mention
The Invisible Work of Robotic Surgery: How Specialists Support, Shoulder, and Sustain Human-Robot Collaboration
Jasper T Vermeulen; Glenda Amayo Caldwell; Muge Teixeira; Alan G Burden; Matthias Guertler
DISHonorable Mention
Creating Empowering Counter-Narratives through Collective Digital Art by Disabled People
Giulia Barbareschi; Chihiro Sato; Dunya Chen; sifan chen; Eimi Koga; Jason Wilsher-Mills; Kai Kunze
DISHonorable Mention
Interactive Intent-Based Image Recommendations for Assistive Communication: Insights from an Iterative User Study
Alieh Hajizadeh Saffar; Laurianne Sitbon; Sirinthip Roomkham; Manesha Andradi
DISHonorable Mention
Fast-Food Intimacy: How Chinese Women Navigate Soul’s AI Boyfriend
Huiqian Lai; EunJeong Cheon
DISHonorable Mention
Prop-Chromeleon: Adaptive Haptic Props in Mixed Reality through Generative Artificial Intelligence
Haoyu Wang; Fengyuan Zhu; Bingjian Huang; Zhecheng Wang; Ludwig Sidenmark
DISHonorable Mention
SoTA: An Interactive Art Exhibition for Public AI Engagement
Jeanyoon Choi; Intae Hwang; SeJoon Park; Hyungjun Cho; Heejae Bae; Yiyun Kang
DISHonorable Mention
From Active Tests to Co-Interpretation: Design Considerations for Data Representations in Parkinson’s Care
Benjamin Maus; Gent Ymeri; Carl Magnus Olsson; Dario Salvi; Myrthe Wassenburg; Mareike Gloss; Per Svenningsson
DISHonorable Mention
GamifiedLM: Co-designing an LLM-driven Gamified Learning App with University Students to Mitigate Learning Difficulties
Kaiyuan Tang; Kerui Chen; Shreya Gopi; Li Xie; Mark Quinlan; Youngjun Cho
DISHonorable Mention
Design and Evaluation of AR-Based Real-Time Feedback System for Kinesthetic Robot Teaching
Muhammad Bilal; Tharaka Sachintha Ratnayake; D. Antony Chacon; Nir Lipovetzky; Denny Oetomo; Wafa Johal
DISHonorable Mention
Using the Blackbox in Embodied AI Art Practice
Dorothy Yuan; Connor Graham; Amanda Lim; Hiromu Yakura
DISHonorable Mention
ChewTect: Designing Temporal Food Texture via Computational Molding
Yamato Miyatake; Aoi Yamada; Huaishu Peng; Parinya Punpongsanon
DISHonorable Mention
Making Space for Joy in Community Engaged Equity-Oriented Work in HCI
Ricarose Roque; Jaleesa Trapp; Alexis Hope
DISHonorable Mention
E.A.T.: Towards Understanding the Design of Social XR Restaurant Experiences for Diners With and Without Headsets
Yuchen Zheng; Hongyue Wang; Kenath Perera; Henryaldi Matio; Florian ‘Floyd’ Mueller
DISHonorable Mention
Stepping Into the Black Box: Opening Up LLMs to Public Exploration Through Discursive Design
Sarah G Immel; Neel Rajani; Rayo Verweij; Jingjie Li; Bettina Nissen; Luis Lourenço Soares; Alex S Taylor
DISHonorable Mention
Consentful Lights: Designing for Consent when Sharing Intimate Fertility Data
Alejandra Gómez Ortega; Joo Young Park; Anna Ståhl; Marianela Ciolfi Felice; Nadia Campo Woytuk; Shradha Shivaji Retharekar; Airi Lampinen; Madeline Balaam
DISHonorable Mention
Systemic Futures: Integrating Critical Speculation and Systemic Design Pragmatism
Emily Wong; Fraser Paxton; Henry Pook; John Howe; Jens Emil Sloth Grønbæk; Wafa Johal; Eduardo Velloso; Frank Vetere
DISHonorable Mention
Who Owns the Robot Matters: How Robot Ownership Shapes Belonging and Social Roles in Human Groups
Tuan Vu Pham; Judith Dörrenbächer; Thomas H. Weisswange; Marc Hassenzahl
DISHonorable Mention
When Heritage Folk Artists Meet Generative AI: A case of Chitrakars of Naya
Anasmita Ghoshal; Sruti Srinivasa Ragavan
DISHonorable Mention
“There Is Beauty in the Small”: A Study of Visual Artists’ Attitudes toward Small-Data and Model Crafting Approaches to Creative AI Work
Ahmed M. Abuzuraiq; Arshia Sobhan; Alexandra Kitson; Philippe Pasquier
DISHonorable Mention
The Cat Fiction: Orchestrating Situated AI-Enabled Storytelling for Multispecies Sense-Making
Zhen-Chi Lai; Janet Yi-Ching Huang; Rung-Huei Liang
DISHonorable Mention
MediMate: Co-Crafting Patient-Centered Medical Explanations Using LLMs as a Rehearsal Partner
Yifan Jin; Shizhen Zhang; Dongjun Chen; Yang Ouyang; Yuheng Shao; Chang Jiang; Hanlu Li; Quan Li
DISHonorable Mention
The Ambivalent Experience of Eye Contact for People with Visual Impairments: Mechanisms and Design Challenges
Markus Wieland; Phillip Koch; Michael Sedlmair
DISHonorable Mention
Artificial Intelligence at the Margins: Risks and Opportunities for Iranian Immigrant Nonprofits in the Global North
Maryam Mokhberi; Dipto Das; Pratyasha Saha; Syed Ishtiaque Ahmed; Nusrat Jahan Mim
DISHonorable Mention
HanaARrange: Designing An Augmented Reality Support System for Daily Ikebana Practice and Well-being
Xiyue Wang; Zeynep Eda Altintop; Derek Kirschbaum; Miao Cheng; Yoshifumi Kitamura; Chiahuei Tseng
DISHonorable Mention
Temporal awareness and ethical reflection: Chronopolitical considerations for HCI research
Marguerite Barry; Fiona McDermott; Daniel Snow; Jacinta Jardine; Maria Murray; Irum Rauf; Shelby Hagemann; Camille Nadal; Sarah Robinson
DISHonorable Mention
Group Conversational Agents: A Review of Designs that Support and Shape Group Interaction
ShunYi Yeo; Tianyi Zhang; Scott Bateman; Gary Hsieh; Young-Ho Kim; Simon Tangi Perrault; Jiannan Li; Anthony Tang
SIGMETRICSBest Paper Award
Sequential Fair Allocation With Replenishments: A Little Envy Goes An Exponentially Long Way
Chido Onyeze; Sean R. Sinclair; Chamsi Hssaine; Siddhartha Banerjee
SIGMETRICSBest Paper Runner-Up
From Measurement to Emissions: Assessing the Carbon Footprint of Traffic Flows
Sawsan El-Zahr; Noa Zilberman
SIGMETRICSBest Paper Runner-Up
Shedding Light on Shadows: Automatically Tracing Illicit Money Flows on EVM-Compatible Blockchains
Yicheng Huo; Yufeng Hu; Yajin Zhou; Ting Yu; Lei Wu; Cong Wang
SIGMETRICSBest Paper Runner-Up
A Minimal-Assumption Analysis of Q-Learning with Time-Varying Policies
Phalguni Nanda; Zaiwei Chen
SECBest Paper Award
Hop-Decayed Influence: New Vulnerabilities of Structural Auxiliary Indexing in GraphRAG Pipelines with LLM
Jisung Park; John Le; Heath Cooper
SECBest Student Paper Award
Feature-Selective Representation Misdirection for Machine Unlearning
Taozhao Chen; Linghan Huang; Kim-Kwang Raymond Choo; Huaming Chen
USENIX SecurityDistinguished Paper Award
Information Security in Small-Scale Protests: Surveillance of Ugandan Anti-EACOP Protesters
Ntezi Mbabazi; Rikke Bjerg Jensen

2025

370 papers
3DVBest Paper Award
An Object is Worth 64x64 Pixels: Generating 3D Object via Image Diffusion
Yan et al.
3D GenerationDiffusion
AAAIOutstanding Paper Award
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
Hu, Dai, Jiang, Zhou
Neuro-SymbolicReasoning
AAAIOutstanding Paper Award
Every Bit Helps: Achieving the Optimal Distortion with a Few Queries
Ebadian, Shah
Social Choice
AAAIOutstanding Paper Award
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
Belly, Fijalkow, Gimbert, Horn, Perez, Vandenhove
POMDPFormal Methods
AAMASBest Paper Award
Soft Condorcet Optimization for Ranking of General Agents
Marc LanctotKate LarsonMichael KaisersQuentin BerthetIan GempManfred DiazRoberto-Rafael Maura-RiveroYoram BachrachAnna KoopDoina Precup
Optimization
ACLBest Paper Award
A Theory of Response Sampling in LLMs: Part Descriptive and Part Prescriptive
Sivaprasad, Kaushik, Abdelnabi, Fritz
LLMTheory
ACLBest Paper Award
Fairness through Difference Awareness: Measuring Desired Group Discrimination in LLMs
Wang, Phan, Ho, Koyejo
FairnessLLM
ACLBest Paper Award
Language Models Resist Alignment: Evidence From Data Compression
Ji, Wang, Qiu, Chen, Zhou, Li, Lou, Dai, Liu, Yang
LLMAlignment
ACLBest Paper Award
Native Sparse Attention: Hardware-Aligned and Natively Trainable Sparse Attention
Yuan, Gao, Dai, Luo, Zhao, Zhang, Xie, Wei, Wang, Xiao, Wang, Ruan, Zhang, Liang, Zeng
AttentionEfficiency
AISTATSTest of Time Award
Deeply Supervised Nets
Chen-Yu LeeSaining XiePatrick GallagherZhengyou ZhangZhuowen Tu
AISTATSBest Paper Award
Variational Inference in Location-Scale Families: Exact Recovery of the Mean and Correlation Matrix
Charles MargossianLawrence Saul
Variational Methods
AISTATSBest Student Paper Award
Pick-to-Learn and Self-Certified Gaussian Process Approximations
Daniel MarksDario Paccagnan
Gaussian Processes
ASEDistinguished Paper Award
'My productivity is boosted, but ...' Demystifying Users' Perception on AI Coding Assistants
Yunbo LyuZhou YangJieke ShiJianming ChangYue LiuDavid Lo
ai assistantsproductivityempirical study
ASEDistinguished Paper Award
Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
Zhi MaCheng WenZhexin SuXiao LiangCong TianShengchao QinMengfei Yang
requirementsformal specificationltlllm
ASEDistinguished Paper Award
Characterizing Multi-Hunk Patches: Divergence, Proximity, and LLM Repair Challenges
Noor NashidDaniel DingKeheliya GallabaAhmed E. HassanAli Mesbah
patch repairllmbug fixing
ASEDistinguished Paper Award
Clarifying Semantics of In-Context Examples for Unit Test Generation
Chen YangLin YangZiqi WangDong WangJianyi ZhouJunjie Chen
unit testingllmin-context learning
ASEDistinguished Paper Award
DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing
Yuanliang ChenFuchen MaYanyang ZhaoYuanyi LiYu Jiang
fuzzingwifivulnerability detection
ASEDistinguished Paper Award
Efficient and Verifiable Proof Logging for MaxSAT Solving
Raoul van DorenTimos AntonopoulosRuzica Piskac
maxsatproof loggingverification
ASEDistinguished Paper Award
Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition
Yue WangJiaxuan SunYanzhen ZouBing Xie
llmheader filesdehallucination
ASEDistinguished Paper Award
Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring
Shinhae KimSaikat DuttaOwolabi Legunsen
runtime verificationmonitoringtesting
ASEDistinguished Paper Award
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
Jingjing LiangShan HuangTing Su
mlircompilerfuzzing
ASEDistinguished Paper Award
FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale
Chengpeng LiFarnaz BehrangAugust ShiPeng Liu
flaky teststest repairindustry
ASEDistinguished Paper Award
LOSVER: Line-Level Modifiability Signal-Guided Vulnerability Detection and Classification
Doha NamJongmoon Baik
vulnerability detectionsecuritycode analysis
ASEDistinguished Paper Award
LogMoE: Lightweight Expert Mixture for Cross-System Log Anomaly Detection
Jiaxing QiZhongzhi LuanShaohan HuangCarol FungYuchen WangAibin WangHongyu ZhangHailong YangDepei Qian
log analysisanomaly detectionmixture of experts
ASEDistinguished Paper Award
Not Every Patch is an Island: LLM-Enhanced Identification of Multiple Vulnerability Patches
Yi SongDongchen XieLin XuHe ZhangChunying ZhouXiaoyuan Xie
vulnerability patchesllmsecurity
ASEDistinguished Paper Award
Programmers' Visual Attention on Function Call Graphs During Code Summarization
Samantha McLoughlinZachary KarasRobert WallaceAakash BansalCollin McMillanYu Huang
code summarizationeye trackingprogram comprehension
ASEDistinguished Paper Award
Rechecking Recheck Requests in Continuous Integration: An Empirical Study of OpenStack
Yelizaveta BrusRungroj MaipraditEarl T. BarrShane McIntosh
continuous integrationempirical studyopenstack
ASEDistinguished Paper Award
Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue Repair
Kai HuangJian ZhangXiaofei XieChunyang Chen
multimodal llmbug repairvisual reasoning
ASEDistinguished Paper Award
TEPHRA: Principled Discovery of Fuzzer Limitations
Vasil SarafovDavid MarkvicaStefan Brunthaler
fuzzingevaluationlimitations
ASEDistinguished Paper Award
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories
Islem BouzeniaMichael Pradel
software agentsllmautonomous programming
ASEDistinguished Paper Award
WEST: Specification-Based Test Generation for WebAssembly
Dongjun YounWonho ShinSukyoung Ryu
webassemblytest generationspecification
ASEDistinguished Paper Award
WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing Schedule
Xiaogang ZhuEnze DaiXiaotao FengShaohua WangXin XiaSheng WenKwok-Yan LamYang Xiang
iotfuzzingprotocol testing
ASEDistinguished Paper Award
iKnow: an Intent-Guided Chatbot for Cloud Operations with Retrieval-Augmented Generation
Junjie HuangYuedong ZhongGuangba YuZhihan JiangMinzhi YanWenfei LuanTianyu YangRui RenMichael Lyu
ragcloud operationschatbot
ASPLOSBest Paper Award
CXLfork: Fast Remote Fork over CXL Fabrics
Chloe Alverti, Stratos Psomadakis, Burak Ocalan, Shashwat Jaiswal, Tianyin Xu, Josep Torrellas
CXLMemory
ASPLOSBest Paper Award
Orion: A Fully Homomorphic Encryption Framework for Deep Learning
Austin Ebel, Karthik Garimella, Brandon Reagen
Homomorphic EncryptionDeep Learning
ASPLOSBest Paper Award
xUI: Extended User Interrupts
Berk Aydogmus, Linsong Guo, Danial Zuberi, Tal Garfinkel, Dean Tullsen, Amy Ousterhout, Kazem Taram
OSArchitecture
ATCBest Paper Award
Accelerating Nested Virtualization with HyperTurtle
Ori Ben ZurJakob KrebsShai Aviram BergmanMark Silberstein
virtualizationhypervisorperformance
ATCBest Paper Award
The Koala Benchmarks for the Shell: Characterization and Implications
Evangelos LamprouEthan WilliamsGeorgios KaoukisZhuoxuan ZhangMichael GreenbergKonstantinos KallasLukas LazarekNikos Vasilakis
shellbenchmarkssystems
CCSDistinguished Paper Award
A Decade-long Landscape of Advanced Persistent Threats: Longitudinal Analysis and Global Trends
Doowon Kim et al.
APTThreat Intelligence
CCSDistinguished Paper Award
Adversarial Observations in Weather Forecasting
Erik Imgrund, Thorsten Eisenhofer, Konrad Rieck
Adversarial MLAI Security
CCSDistinguished Paper Award
Harnessing Vital Sign Vibration Harmonics for Effortless and Inbuilt XR User Authentication
Yingying Chen et al.
AuthenticationXRBiometrics
CCSDistinguished Paper Award
Leaky Apps: Large-scale Analysis of Secrets Distributed in Android and iOS Apps
David Schmidt, Sebastian Schrittwieser, Edgar Weippl
Mobile SecurityPrivacy
CCSDistinguished Paper Award
On the Security of SSH Client Signatures
Fabian Bäumer, Marcus Brinkmann, Maximilian Radoy, Jörg Schwenk, Juraj Somorovsky
SSHCryptography
CHIBest Paper Award
"Don't Forget the Teachers": Towards an Educator-Centered Understanding of Harms from Large Language Models in Education
Emma Harvey, Allison Koenecke, Rene F. Kizilcec
LLM
CHIBest Paper Award
"I am a Technology Creator": Black Girls as Technosocial Change Agents in a Culturally-Responsive Robotics Camp
Chun Li, Jaemarie Solyst, Safiyyah Scott, Gabriella Howse, Tara Nkrumah, Erin Walker, Amy Ogan, Angela E.B. Stewart
CHIBest Paper Award
"It Brought the Model to Life": Exploring the Embodiment of Multimodal I3Ms for People who are Blind or have Low Vision
Samuel Reinders, Matthew Butler, Kim Marriott
Multimodal Learning
CHIBest Paper Award
"It Helps Us Express Our Feelings Without Having To Say Anything": Exploring Accompanying Social Play Things Designed With and For Neurodiverse Groups of Children
Brooke Morris, Hayati Havlucu, Alison Oldfield, Oussama Metatla
AccessibilityChild-Computer Interaction
CHIBest Paper Award
"It's Like Being On Stage": Conveying Dancers' Expressiveness Through A Haptic-Installed Contemporary Dance Performance
Ximing Shen, Xuan Li, Youichi Kamiyama, Danny Hynds, Giulia Barbareschi, RAY LC, Sohei Wakisaka, Arata Horie, Kouta Minamizawa
Haptics
CHIBest Paper Award
(Re)discovering Sexual Pleasure after Cancer: Understanding the Design Space
Céline Offerman, Jacky Bourgeois, Jules van Beurden, Alessandro Bozzon
CHIBest Paper Award
A Qualitative Study on How Usable Security and HCI Researchers Judge the Size and Importance of Odds Ratio and Cohen's d Effect Sizes
Anna-Marie Ortloff, Julia Angelika Grohs, Simon Lenau, Matthew Smith
Qualitative Research
CHIBest Paper Award
AACessTalk: Fostering Communication between Minimally Verbal Autistic Children and Parents with Contextual Guidance and Card Recommendation
Dasom Choi, SoHyun Park, Kyungah Lee, Hwajung Hong, Young-Ho Kim
Recommender Systems
CHIBest Paper Award
AMUSE: Human-AI Collaborative Songwriting with Multimodal Inspirations
Yewon Kim, Sung-Ju Lee, Chris Donahue
Multimodal Learning
CHIBest Paper Award
ClueCart: Supporting Game Story Interpretation and Narrative Inference from Fragmented Clues
Li Quan et al.
GamesNarrative
CHIBest Paper Award
Code Shaping: Iterative Code Editing with Free-form AI-Interpreted Sketching
Ryan Yen, Jian Zhao, Daniel Vogel
CHIBest Paper Award
Conversational Agents on Your Behalf: Opportunities and Challenges of Shared Autonomy in Voice Communication for Multitasking
Yi Fei Cheng, Hirokazu Shirado, Shunichi Kasahara
CHIBest Paper Award
Creative Writers' Attitudes on Writing as Training Data for Large Language Models
Katy Ilonka Gero, Meera Desai, Carly Schnitzler, Nayun Eom, Jack Cushman, Elena L. Glassman
LLM
CHIBest Paper Award
Cripping the Co-Design of Pacing Technologies For Energy-Limiting Conditions
Sarah Homewood, Claudia A Hinkle, Irene Kaklopoulou
Energy Systems
CHIBest Paper Award
Curves Ahead: Enhancing the Steering Law for Complex Curved Trajectories
Jennie J.Y. Chen, Sidney S Fels
CHIBest Paper Award
Deploying and Examining Beacon for At-Home Patient Self-Monitoring with Critical Flicker Frequency
Richard Li, Philip Vutien, Sabrina Omer, Michael Yacoub, George Ioannou, Ravi Karkar, Sean A. Munson, James Fogarty
Monitoring
CHIBest Paper Award
Designing Urban Noticing Probes for Community Animals and Cohabitation in Türkiye
Sena Cucumak, Ozge Subasi
CHIBest Paper Award
Doing the Feminist Work in AI: Reflections from an AI Project in Latin America
Marianela Ciolfi Felice, Ivana Feldfeber, Carolina Glasserman Apicella, Yasmín Belén Quiroga, Julián Ansaldo, Luciano Lapenna, Santiago Bezchinsky, Raul Barriga Rubio, Mailén García
CHIBest Paper Award
DreamGarden: A Designer Assistant for Growing Games from a Single Prompt
Sam Earle, Samyak Parajuli, Andrzej Banburski-Fahey
Prompt Learning
CHIBest Paper Award
Enabling Recycling of Multi-Material 3D Printed Objects through Computational Design and Disassembly by Dissolution
Xin Wen, S. Sandra Bae, Michael L. Rivera
CHIBest Paper Award
Evaluating In-Car Tasks' Distraction Effects with Drive-In Lab
Tuomo Kujala, Abhishek Sarkar
CHIBest Paper Award
Exploring Data-Driven Advocacy in Home Health Care Work
Joy Ming, Hawi H Tolera, Jiamin Tu, Ella Yitzhaki, Chit Sum Eunice Ngai, Madeline Sterling, Ariel C. Avgar, Aditya Vashistha, Nicola Dell
Health Informatics
CHIBest Paper Award
FluidTrack: Investigating Child-Parent Collaborative Tracking for Pediatric Voiding Dysfunction Management
Junhyung Moon, Sukhyun Lee, Youngchan Kim, Juhee Go, Han Mo Ku, Yeohyun Jung, Seonyeong Hwang, Bongshin Lee, Yong Seung Lee, Hyun-Kyung Lee, Kyoungwoo Lee, Eun Kyoung Choe
Object Tracking
CHIBest Paper Award
From Awareness to Action: The Effects of Experiential Learning on Educating Users about Dark Patterns
Jingzhou Ye, Yao Li, Wenting Zou, Xueqiang Wang
CHIBest Paper Award
GazeSwipe: Enhancing Mobile Touchscreen Reachability through Seamless Gaze and Finger-Swipe Integration
Zhuojiang Cai, Jingkai Hong, Zhimin Wang, Feng Lu
Touch Interfaces
CHIBest Paper Award
How Should We Design Technology With Diverse Stakeholders Who Wish Not to Attend Design Activities Together?
Obinna Ogbonnia Otuu, Deepak Sahoo
CHIBest Paper Award
Letters from Future Self: Augmenting the Letter-Exchange Exercise with LLM-based Agents to Enhance Young Adults' Career Exploration
Hayeon Jeon, Suhwoo Yoon, Keyeun Lee, Seo Hyeong Kim, Esther Hehsun Kim, Seonghye Cho, Yena Ko, Soeun Yang, Laura Dabbish, John Zimmerman, Eun-mee Kim, Hajin Lim
LLM
CHIBest Paper Award
LivingLoom: Investigating Human-Plant Symbiosis through Integrating Living Plants into (E-)Textiles
Jingwen Zhu, Samantha Chang, Ruth Zhao, Cindy Hsin-Liu Kao
CHIBest Paper Award
Lost in Magnitudes: Exploring Visualization Designs for Large Value Ranges
Katerina Batziakoudi, Florent Cabric, Stéphanie Rey, Jean-Daniel Fekete
Data Visualization
CHIBest Paper Award
Moving Beyond the Simulator: Interaction-Based Drunk Driving Detection in a Real Vehicle Using Driver Monitoring Cameras and Real-Time Vehicle Data
Robin Deuber, Patrick Langer, Mathias Kraus, Matthias Pfäffli, Matthias Bantle, Filipe Barata, Florian von Wangenheim, Elgar Fleisch, Wolfgang Weinmann, Felix Wortmann
Detection
CHIBest Paper Award
PAIGE: Examining Learning Outcomes and Experiences with Personalized AI-Generated Educational Podcasts
Tiffany D. Do, Usama Bin Shafqat, Elsie Ling, Nikhil Sarda
CHIBest Paper Award
Permission Rationales in the Web Ecosystem: An Exploration of Rationale Text and Design Patterns
Yusra Elbitar, Soheil Khodayari, Marian Harbach, Gianluca De Stefano, Balazs Csaba Engedy, Giancarlo Pellegrino, Sven Bugiel
Exploration
CHIBest Paper Award
Placebo Effect of Control Settings in Feeds Are Not Always Strong
Silas Hsu, Vinay Koshy, Kristen Vaccaro, Christian Sandvig, Karrie Karahalios
CHIBest Paper Award
Prototyping with Prompts: Emerging Approaches and Challenges in Generative AI Design for Collaborative Software Teams
Hariharan Subramonyam, Divy Thakkar, Andrew Ku, Juergen Dieber, Anoop K. Sinha
Generative Models
CHIBest Paper Award
Relational AI: Facilitating Intergroup Cooperation with Socially Aware Conversational Support
Claggett, Kraut, Shirado
Social ComputingAI
CHIBest Paper Award
RouteFlow: Trajectory-Aware Animated Transitions
Duan Li, Xinyuan Guo, Xinhuan Shu, Lanxi Xiao, Lingyun Yu, Shixia Liu
CHIBest Paper Award
Speculating Deaf Tech: Reimagining Technologies Centering Deaf People
Robin Angelini, Katta Spiel, Maartje De Meulder
CHIBest Paper Award
SpeechCompass: Enhancing Mobile Captioning with Diarization and Directional Guidance via Multi-Microphone Localization
Artem Dementyev, Dimitri Kanevsky, Samuel Yang, Mathieu Parvaix, Chiong Lai, Alex Olwal
Image CaptioningLocalization
CHIBest Paper Award
Supporting Co-Adaptive Machine Teaching through Human Concept Learning and Cognitive Theories
Simret Araya Gebreegziabher, Yukun Yang, Elena L. Glassman, Toby Jia-Jun Li
Educational Technology
CHIBest Paper Award
Synthetic Human Memories: AI-Edited Images and Videos Can Implant False Memories and Distort Recollection
Pat Pataranutaporn, Chayapatr Archiwaranguprok, Samantha W. T. Chan, Elizabeth Loftus, Pattie Maes
CHIBest Paper Award
TelePulse: Enhancing the Teleoperation Experience through Biomechanical Simulation-Based Electrical Muscle Stimulation in Virtual Reality
Seokhyun Hwang, Seongjun Kang, Jeongseok Oh, Jeongju Park, Semoo Shin, Yiyue Luo, Joseph DelPreto, Sangbeom Lee, Kyoobin Lee, Wojciech Matusik, Daniela Rus, SeungJun Kim
Virtual Reality
CHIBest Paper Award
The Benefits of Prosociality towards AI Agents: Examining the Effects of Helping AI Agents on Human Well-Being
Zicheng Zhu, Yugin Tan, Naomi Yamashita, Yi-Chieh Lee, Renwen Zhang
CHIBest Paper Award
The Fidelity-based Presence Scale (FPS): Modeling the Effects of Fidelity on Sense of Presence
Jacob Belga, Richard Skarbez, Yahya Hmaiti, Eric J Chen, Ryan P. McMahan, Joseph LaViola
Scalability
CHIBest Paper Award
Towards Hormone Health: An Autoethnography of Long-Term Holistic Tracking to Manage PCOS
Daye Kang, Jingjin Li, Gilly Leshed, Jeffrey M Rzeszotarski, Xi Lu
Object Tracking
CHIBest Paper Award
Tracking and its Potential for Older Adults with Memory Concerns
Amelia Short, Norman Makoto Su, Ruipu Hu, Eun Kyoung Choe, Hernisa Kacorri, Margaret Danilovich, David E. Conroy, Shannon Jette, Beth Barnett, Amanda Lazar
Object Tracking
CHIBest Paper Award
Traversing Dual Realities: Investigating Techniques for Transitioning 3D Objects between Desktop and Augmented Reality Environments
Tobias Rau, Tobias Isenberg, Andreas Koehn, Michael Sedlmair, Benjamin Lee
Augmented Reality
CHIBest Paper Award
Triangulating on Possible Futures: Conducting User Studies on Several Futures Instead of Only One
Antti Salovaara, Leevi Vahvelainen
CHIBest Paper Award
What Comes After Noticing?: Reflections on Noticing Solar Energy and What Came Next
Angella Mackey, David NG McCallum, Oscar Tomico, Martijn de Waal
Energy Systems
CHIBest Paper Award
What Do We Design for When We Design "Smart Buildings"? - A Scoping Review of Human Experience Design Research in Buildings
Shruti Rao, Katja Rogers, Judith Good, Hamed Alavi
COLINGOutstanding Paper Award
Language Models Encode the Value of Numbers Linearly
Zhu, Dai, Sui
LLMNumerics
COLINGBest Paper Award
Towards Understanding Multi-Task Learning (Generalization) of LLMs via Detecting and Exploring Task-Specific Neurons
Leng, Xiong
LLMMulti-Task
COLINGBest Paper Award
Why do language models perform worse for morphologically complex languages?
Arnett, Bergen
MorphologyLLM
COLTBest Paper Award
What Makes Treatment Effects Identifiable? Characterizations and Estimators Beyond Unconfoundedness
Yang CaiAlkis KalavasisKaterina MamaliAnay MehrotraManolis Zampetakis
CRYPTOBest Paper Award
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
Shmueli & Zhandry
Quantum SignaturesObfuscation
CSCWBest Paper Award
WeAudit: Scaffolding User Auditors and AI Practitioners in Auditing Generative AI
Wesley Hanwen DengClaire WangHoward Ziyu HanMotahhare Eslami
Generative Models
CVPRHonorable Mention
MegaSaM: Accurate, Fast and Robust Structure and Motion from Casual Dynamic Videos
Li, Tucker, Cole, Wang et al.
Structure from MotionDynamic Scenes
CVPRHonorable Mention
Molmo and PixMo: Open Weights and Open Data for State-of-the-Art Vision-Language Models
Deitke, Clark, Lee et al.
Vision-LanguageMultimodal
CVPRHonorable Mention
Navigation World Models
Bar, Zhou, Tran, Darrell & LeCun
World ModelsNavigation
CVPRBest Student Paper Award
Neural Inverse Rendering from Propagating Light
Malik, Attal, Xie, O'Toole & Lindell
Inverse RenderingNeural Rendering
CVPRBest Paper Award
VGGT: Visual Geometry Grounded Transformer
Wang, Chen, Karaev, Vedaldi, Rupprecht & Novotny
3D VisionTransformer
DACBest Paper Award
INSTA: An Ultra-Fast, Differentiable, Statistical Static Timing Analysis Engine for Industrial Physical Design Applications
Yi-Chen LuZizheng GuoKishor KunalRongjian LiangHaoxing Ren
ECML-PKDDTest of Time Award
Difference Target Propagation
Dong-Hyun LeeSaizheng ZhangAsja FischerYoshua Bengio
ECML-PKDDBest Paper Award
PAR-AdvGAN: Improving Adversarial Attack Capability with Progressive Auto-Regression AdvGAN
Jiayu ZhangZhiyu ZhuXinyi WangSilin LiaoZhibo JinFlora SalimHuaming Chen
Adversarial ML
ECML-PKDDBest Student Paper Award
Fairness-Aware Graph Representation Learning with Limited Demographic Information
Zichong WangZhipeng YinLiping YangJun ZhuangRui YuQingzhao KongWenbin Zhang
Representation LearningFairness
ECML-PKDDBest Paper Award (Applied DS Track)
Graph Neural Networks for Jamming Source Localization
Dania HerzallaWillian TessaroMartin Andreoni
Graph Neural NetworksLocalization
ECML-PKDDBest Student Paper Award
WoundAmbit: Bridging the Gap between Semantic Segmentation and Wound Care
Vanessa BorstTimo DittusTassilo DegeAstrid SchmiederSamuel Kounev
Image Segmentation
EMNLPBest Paper Award
Infini-gram mini: Exact n-gram Search at the Internet Scale with FM-Index
Hao XuJiacheng LiuYejin ChoiNoah A. SmithHannaneh Hajishirzi
IndexingSearch Algorithms
EUROCRYPTBest Paper Award
Polynomial Time Cryptanalytic Extraction of Deep Neural Networks
Carlini, Chávez-Saab, Hambitzer, Rodríguez-Henríquez & Shamir
Neural NetworksCryptanalysis
EurographicsBest Paper Award
A Unified Multi-Scale Method for Simulating Immersed Bubbles
Wretborn, Stomakhin & Batty
Fluid SimulationMulti-scale
EuroSysBest Paper Award
CacheBlend: Fast Large Language Model Serving for RAG with Cached Knowledge Fusion
Yao, Li, Liu, Ray, Cheng, Zhang, Du, Lu, Jiang
LLMInferenceRAG
EuroSysBest Paper Award
SpInfer: Leveraging Low-Level Sparsity for Efficient Large Language Model Inference on GPUs
Fan, Wang et al.
LLMGPUSparsity
FASTBest Paper Award
Mooncake: Trading More Storage for Less Computation — A KVCache-centric Architecture for Serving LLM Chatbot
Ruoyu QinZheming LiWeiran HeJialei CuiFeng RenMingxing ZhangYongwei WuWeimin ZhengXinran Xu
LLMStorage Systems
FOCSBest Paper Award
Breaking a Long-Standing Barrier: 2-ε Approximation for Steiner Forest
Ahmadi, Gholami, Hajiaghayi, Jabbarzade & Mahdavi
Approximation AlgorithmsGraph Theory
FOCSBest Paper Award
Explicit Lossless Vertex Expanders
Hsieh, Lubotzky, Mohanty, Reiner & Zhang
Expander GraphsCombinatorics
FOCSBest Paper Award
Quasipolynomial Bounds for the Corners Theorem
Jaber, Liu, Lovett, Ostuni & Sawhney
CombinatoricsAdditive Combinatorics
FSEDistinguished Paper Award
Demystifying LLM-based Software Engineering Agents
Xia, Deng, Dunn & Zhang
LLMSoftware Agents
FSEDistinguished Paper Award
Hallucination Detection in Large Language Models with Metamorphic Relations
Yang, Al Mamun, Zhang & Uddin
LLMHallucination Detection
FSEDistinguished Paper Award
Less is More: On the Importance of Data Quality for Unit Test Generation
Zhang, Hu, Gao, Xia, Lo & Li
Unit TestingLLM
FSEDistinguished Paper Award
Mystique: Automated Vulnerability Patch Porting with Semantic and Syntactic-Enhanced LLM
Wu, Wang, Cao, Chen, Zhou, Huang, Zhao & Peng
Vulnerability PatchingLLM
FSEDistinguished Paper Award
Pinning Is Futile: You Need More Than Local Dependency Versioning to Defend Against Supply Chain Attacks
He, Vasilescu & Kästner
Supply Chain SecuritySoftware Dependencies
HPCABest Paper Award
DynamoLLM: Designing LLM Inference Clusters for Performance and Energy Efficiency
Stojkovic, Zhang, Goiri, Torrellas & Choukse
LLM InferenceEnergy Efficiency
HRIBest Paper Award
Gaze Behavior During a Long-term, In-Home, Social Robot Intervention for Children with ASD
Rebecca RamnauthFred ShicBrian Scassellati
Robotics
ICCADBest Paper Award
LaZagna: An Open-Source Framework for Flexible 3D FPGA Architectural Exploration
Ismael YoussefHang YangCong Hao
FPGA
ICCADBest Paper Award
Semidefinite Programming-Based Decoupling Capacitor Placement for Power Distribution Network Optimization
Zong-Ying CaiWei-Han MaoYao-Wen ChangYang LuJerry BaiBin-Chyi Tseng
Optimization
ICCVBest Paper Award
Generating Physically Stable and Buildable Brick Structures from Text
Pun, Deng, Liu, Ramanan, Liu & Zhu
3D GenerationText-to-3D
ICDCSDistinguished Paper Award
Mast: Efficient Training of Mixture-of-Experts Transformers with Task Pipelining and Ordering
Wenxiang LinXinglin PanShaohuai ShiXuan WangBo LiXiaowen Chu
Efficiency
ICDEBest Paper Award
Incremental Stream Query Placement in Massively Distributed and Volatile Infrastructures
Ankit ChaudharyKaustubh BeedkarJeyhun KarimovFelix LangSteffen ZeuchVolker Markl
ICDMBest Paper Award
Attributed Hypergraph Generation with Realistic Interplay Between Structure and Attributes
Jaewan ChunSeokbum YoonMinyoung ChoeGeon LeeKijung Shin
Generative Models
ICMLOutstanding Paper Award
CollabLLM: From Passive Responders to Active Collaborators
Wu, Galley, Peng, Cheng, Li, Dou, Cai, Zou, Leskovec, Gao
LLMAgent
ICMLOutstanding Paper Award
Conformal Prediction as Bayesian Quadrature
Snell, Griffiths
Conformal PredictionBayesian
ICMLOutstanding Paper Award
Roll the dice & look before you leap: Going beyond the creative limits of next-token prediction
Nagarajan, Wu, Ding, Raghunathan
LLMGeneration
ICMLOutstanding Paper Award
Score Matching with Missing Data
Givens, Liu, Reeve
Generative ModelStatistics
ICMLOutstanding Paper Award
The Value of Prediction in Identifying the Worst-Off
Fischer Abaigar, Kern, Perdomo
FairnessPrediction
ICMLOutstanding Paper Award
Train for the Worst, Plan for the Best: Understanding Token Ordering in Masked Diffusions
Kim, Shah, Kontonis, Kakade, Chen
DiffusionLLM
ICRABest Paper Award
MAC-VO: Metrics-aware Covariance for Learning-based Stereo Visual Odometry
Qiu, Chen, Zhang, Wang, Scherer
Visual OdometryRobot Perception
ICRABest Paper Award
Robo-DM: Efficient Robot Big Data Management
Goldberg, Kubiatowicz et al.
Robot LearningData Management
ICSEDistinguished Paper Award
Can LLMs Replace Manual Annotation of Software Engineering Artifacts?
Ahmed, Devanbu, Treude, Pradel
LLMSoftware Engineering
ICSEDistinguished Paper Award
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Saavedra, Ferreira
VerificationLLM
IJCAIDistinguished Paper Award
Boost Embodied AI Models with Robust Compression Boundary
Yu, Chen, Gan
Embodied AICompression
IJCAIDistinguished Paper Award
Combining MORL with Restraining Bolts to Learn Normative Behaviour
Neufeld, Ciabattoni, Tulcan
RLEthics
IJCAIDistinguished Paper Award
Speeding Up Hyper-Heuristics With Markov-Chain Operator Selection and the Only-Worsening Acceptance Operator
Bendahi, Doerr, Fradin, Lutzeyer
Optimization
INFOCOMBest Paper Award
DUNE: Distributed Inference in the User Plane
Bütün, De Andrés Hernández, Gucciardo & Fiore
Distributed InferenceMobile Networks
INFOCOMBest Paper Award
Safeguarding Wi-Fi 7 and Beyond: Tackling Protocol-Aware Jamming in Multi-AP Coordination
Talukder et al.
Wi-Fi 7Wireless Security
ISCABest Paper Award
H2-LLM: Hardware-Dataflow Co-Exploration for Heterogeneous Hybrid-Bonding-based Low-Batch LLM Inference
Li, Yin, Wu, Zhu, Gao, Niu, Wu, Si, Xie, Zhang, Sun
LLMHardwareInference
ISCABest Paper Award
Precise exceptions in relaxed architectures
Simner, Armstrong, Bauereiss, Campbell, Kammar, Pichon-Pharabod, Sewell
ArchitectureFormal Methods
IUIBest Paper Award
Text-to-Image Generation for Vocabulary Learning Using the Keyword Method
Nuwan T. AttygalleMatjaž KljunAaron QuigleyKlen Čopič PuciharJens GrubertValentin BienerLuis A. LeivaJunichi YoneyamaAlice TonioloAlberto MiguelHiroyuki KatoMaheshya Weerasinghe
Image Generation
KDDBest Paper Award (Applied DS Track)
Evaluating Decision Rules Across Many Weak Experiments
Chou, Gray, Kallus, Bibaut & Ejdemyr
Causal InferenceExperimentation
KDDBest Paper Award
Improving Group Robustness on Spurious Correlation via Evidential Alignment
Ye, Zheng & Zhang
RobustnessSpurious Correlation
MICROBest Paper Award
Flexing RISC-V Instruction Subset Processors to Extreme Edge
Raisiardali, Iordanou, Kufel, Gudimetla, Myny & Ozer
RISC-VEdge Computing
MICROBest Paper Award
LLM.265: Video Codecs are Secretly Tensor Codecs
Xu, Wu, Yang, Chen, Lentz, Zhuo & Wills
LLMTensor Compression
MiddlewareBest Paper Award
Recipe: Hardware-Accelerated Replication Protocols
Dimitra GiantsidiEmmanouil GiortamisJulian PritziMaurice BailleuManos KapritsosPramod Bhatotia
Hardware
MobiComBest Paper Award
AquaScan: A Sonar-based Underwater Sensing System for Human Activity Monitoring
Haozheng Hou, Bowen Zheng, Sitong Cheng, Xiaoguang Zhao, Peiheng Wu, Lixing He, Yunqi Guo, Guoliang Xing, Zhenyu Yan
Underwater SensingSonarHuman Activity Recognition
MobiHocBest Paper Award
REMARKABLE: RIS-Enabled Mobile Beamforming through Kernalized Bandit Learning
Kubra AlemdarArnob GhoshVini ChaudharyNess ShroffKaushik Chowdhury
MobiSysBest Paper Award
ARIA: Optimizing Vision Foundation Model Inference on Heterogeneous Mobile Processors for Augmented Reality
Chanyoung JungJeho LeeGunjoong KimJiwon KimSeonghoon ParkHojung Cha
OptimizationHeterogeneous ComputingAugmented Reality
MobiSysBest Paper Award
Data Can Speak for Itself: Quality-guided Utilization of Wireless Synthetic Data
Chen GongBo LiangWei GaoChenren Xu
Wireless Networks
MSRDistinguished Paper Award
Can LLMs Replace Manual Annotation of Software Engineering Artifacts?
Toufique AhmedPremkumar DevanbuChristoph TreudeMichael Pradel
LLM
MSRDistinguished Paper Award
Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
Julien MalkaStefano ZacchiroliThéo Zimmermann
Scalability
MSRDistinguished Paper Award
How Effective are LLMs for Data Science Coding? A Controlled Experiment
Nathalia NascimentoEverton GuimaraesSai Sanjna ChintakuntaSanthosh Anitha Boominathan
LLM
MSRDistinguished Paper Award
How Much Do Code Language Models Remember? An Investigation on Data Extraction Attacks before and after Fine-tuning
Fabio SalernoAli Al-KaswanMaliheh Izadi
Fine-Tuning
MSRDistinguished Paper Award
It's About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software
Shrey TiwariSerena ChenAlexander JoukovPeter VanderveldeAo LiRohan Padhye
NAACLBest Paper Award
InspAIred: Cross-cultural Inspiration Detection and Analysis in Real and LLM-generated Social Media Data
Ignat, Lakshmy, Mihalcea
CultureLLM
NAACLBest Paper Award
REL-A.I.: An Interaction-Centered Approach To Measuring Human-LM Reliance
Zhou, Hwang, Ren, Dziri, Jurafsky, Sap
Human-AIReliance
NDSSDistinguished Paper Award
DUMPLING: Fine-grained Differential JavaScript Engine Fuzzing
Wachter, Gremminger, Wressnegger, Payer, Toffalini
FuzzingJavaScript
NDSSDistinguished Paper Award
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
Wu et al.
LLMSmart Contract
NDSSDistinguished Paper Award
SafeSplit: A Novel Defense Against Client-Side Backdoor Attacks in Split Learning
Rieger, Pegoraro, Kumari, Abera, Knauer, Sadeghi
Federated LearningBackdoor
NSDIOutstanding Paper Award
NDD: A Decision Diagram for Network Verification
Li, Zhang, Zhang & Yang
Network VerificationDecision Diagrams
OOPSLADistinguished Paper Award
Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
Lian & Wang
RustResource Analysis
OOPSLADistinguished Paper Award
Incremental Bidirectional Typing via Order Maintenance
Porter, Kirisame, Wei, Panchekha & Omar
Type SystemsIncremental Computation
OSDIBest Paper Award
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols
Zhang et al.
Formal VerificationDistributed Systems
OSDIBest Paper Award
Building Bridges: Safe Interactions with Foreign Languages through OmniGlot
Schuermann, Toubes, Potyondy, Pannuto, Milano & Levy
Language InteroperabilitySafety
PLDIDistinguished Paper Award
AWDIT: An Optimal Weak Database Isolation Tester
Lasse MøldrupAndreas Pavlogiannis
databasesisolationtestingformal methods
PLDIDistinguished Paper Award
Destabilizing Iris: Non-Step-Indexed Separation Logic for Stored Higher-Order State
Simon SpiesNiklas MückHaoyi ZengMichael SammlerAndrea LattuadaPeter MüllerDerek Dreyer
program verificationseparation logicformal methodsiris
PLDIDistinguished Paper Award
Practical Type Inference with Levels
Andong FanHan XuNingning Xie
type systemstype inferenceprogramming languages
PLDIDistinguished Paper Award
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
Daan LeijenWenjia Ye
type systemstype inferenceoverloadingprogramming languages
PLDIDistinguished Paper Award
Tree Borrows: A Permissive Aliasing Model for Rust
Neven VillaniJohannes HostertDerek DreyerRalf Jung
memory safetyrustaliasingformal methods
PLDIDistinguished Paper Award
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
Jaehwang JungSunho ParkJanggun LeeJeho YeonJeehoon Kang
memory safetyconcurrencyformal methodsseparation logic
PODSBest Paper Award
Output-Optimal Algorithms for Join-Aggregate Queries
Xiao Hu
PODSBest Paper Award
Output-sensitive Conjunctive Query Evaluation
Shaleen DeepHangdong ZhaoAusten FanParaschos Koutris
POPLDistinguished Paper Award
A Primal-Dual Perspective on Program Verification Algorithms
Takeshi TsukadaHiroshi UnnoOded PadonSharon Shoham
formal verificationalgorithmsfixpoint
POPLDistinguished Paper Award
Affect: An Affine Type and Effect System
Orpheas van RooijRobbert Krebbers
type systemseffectsaffine types
POPLDistinguished Paper Award
Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings
Jan van BrüggeJames McKinnaAndrei PopescuDmitriy Traytel
formal methodstype theoryinduction
POPLDistinguished Paper Award
Data Race Freedom à la Mode
Aina Linn GeorgesBenjamin PetersLaila ElbeheiryLeo WhiteStephen DolanRichard A. EisenbergChris CasinghinoFrançois PottierDerek Dreyer
concurrencyrace freedomtype systems
POPLDistinguished Paper Award
Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
Fabian ZaiserAndrzej MurawskiC.-H. Luke Ong
probabilistic programmingformal methodsloops
POPLDistinguished Paper Award
Relaxed Memory Concurrency Re-executed
Evgenii MoiseenkoMatteo MeluzziInnokentii MeleshchenkoIvan KabashnyiAnton PodkopaevSoham Chakraborty
concurrencymemory modelsformal methods
POPLDistinguished Paper Award
TensorRight: Automated Verification of Tensor Graph Rewrites
Jai AroraSirui LuDevansh JainTianfan XuFarzin HoushmandPhitchaya Mangpo PhothilimthanaMohsen LesaniPraveen NarayananKarthik Srinivasa MurthyRastislav BodíkAmit SabneCharith Mendis
machine learningcompilersformal verificationtensor
PPoPPDistinguished Paper Award
EVeREST: An Effective and Versatile Runtime Energy Saving Tool for GPUs
Anna YuePen-Chung YewSanyam Mehta
Energy Systems
RecSysBest Paper Award
You Don't Bring Me Flowers: Mitigating Unwanted Recommendations Through Conformal Risk Control
Giovanni De ToniErasmo PurificatoEmilia GomezAndrea PasseriniBruno LepriCristian Consonni
RecSysBest Paper Award
Beyond Top-1: Addressing Inconsistencies in Evaluating Counterfactual Explanations for Recommender Systems
Amir Reza MohammadiAndreas PeintnerMichael MüllerEva Zangerle
Recommender Systems
SCBest Paper Award
ORBIT-2: Scaling Exascale Vision Foundation Models for Weather and Climate Downscaling
Xiao WangJong-Youl ChoiTakuya KurihayaIsaac LyngaasHong-Jun YoonNasik Muhammad NafiAristeidis TsarisFan MingAshwin M AjiMaliha HossainMohamed WahibDali WangPeter ThorntonMoetasim AshfaqPrasanna BalaprakashDan Lu
Climate Science
SenSysBest Paper Award
RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
Shiyang WangHenglin PuQiming CaoWenjun JiangXingchen WangTianci LiuZhengxin JiangHongfei XueLu Su
Robustness
SIGCOMMBest Paper Award
Mosaic: Breaking the Optics versus Copper Trade-off with a Wide-and-Slow Architecture and MicroLEDs
Benyahya, Gomez Diaz, Liu, Lyutsarev, Pantouvaki et al.
NetworkingOptics
SIGGRAPHBest Paper Award
CAST: Component-Aligned 3D Scene Reconstruction from an RGB Image
Liu et al.
3D ReconstructionScene Understanding
SIGGRAPHBest Paper Award
Vector-valued Monte Carlo Integration using Ratio Control Variates
Li et al.
RenderingMonte Carlo
SIGIRBest Paper Award
WARP: An Efficient Engine for Multi-Vector Retrieval
Jan Luca ScheererMatei ZahariaChristopher PottsGustavo AlonsoOmar Khattab
information retrievalvector searchefficiency
SIGMODBest Paper Award
Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt?
Kaisong HuangJiatang ZhouZhuoyue ZhaoDong XieTianzheng Wang
databasestransaction schedulingconcurrencyperformance
SIGMODBest Paper Award
LpBound: Pessimistic Cardinality Estimation Using Lp-Norms of Degree Sequences
Haozhe ZhangChristoph MayerMahmoud Abo KhamisDan OlteanuDan Suciu
databasescardinality estimationquery optimization
SODABest Paper Award
Improved List Size for Folded Reed-Solomon Codes
Shashank Srivastava
SOSPBest Paper Award
Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement
Hao SunZhendong Su
operating systemsformal verificationprogram analysissecurity
S&PDistinguished Paper Award
Breaking the Barrier: Post-Barrier Spectre Attacks
Wikner, Razavi
SpectreMicroarchitecture
S&PDistinguished Paper Award
The Inadequacy of Similarity-based Privacy Metrics: Privacy Attacks against 'Truly Anonymous' Synthetic Datasets
Ganev, De Cristofaro
PrivacySynthetic Data
STOCBest Paper Award
Breaking the Sorting Barrier for Directed Single-Source Shortest Paths
Ran DuanJiayi MaoXiao MaoXinkai ShuLonghui Yin
algorithmsgraph algorithmsshortest paths
STOCBest Paper Award
Explicit Folded Reed-Solomon and Multiplicity Codes Achieve Relaxed Generalized Singleton Bounds
Yeyuan ChenZihan Zhang
coding theoryerror-correcting codescomplexity theory
STOCBest Paper Award
Vizing's Theorem in Near-Linear Time
Sepehr AssadiSoheil BehnezhadSayan BhattacharyaMartín CostaShay SolomonTianyi Zhang
algorithmsgraph theoryedge coloring
UAIBest Paper Award
Probabilistic Explanations for Regression Models
Frédéric KoricheJean-Marie LagniezChi Tran
Regression
UbiCompDistinguished Paper Award
Capturing the College Experience: A Four-Year Mobile Sensing Study of Mental Health, Resilience and Behavior of College Students during the Pandemic
Subigya NepalWenjun LiuArvind PillaiWeichen WangVlado VojdanovskiJeremy F. HuckinsCourtney RogersMeghan L. MeyerAndrew T. Campbell
ResilienceMental Health TechnologyHealth Informatics
UbiCompDistinguished Paper Award
MagDesk: Interactive Tabletop Workspace Based on Passive Magnetic Tracking
Kunpeng HuangYasha IravantchiDongyao ChenAlanson Sample
Object Tracking
UbiCompDistinguished Paper Award
NeuroCamTags: Long-Range, Battery-free, Wireless Sensing with Neuromorphic Cameras
Danny ScottMatthew L BringleImran FahadGaddiel MoralesAzizul ZahidSai Swaminathan
Wireless Networks
UISTBest Paper Award
Computational Scaffolding of Composition, Value, and Color for Disciplined Drawing
Jiaju MaChau VuAsya LyubavinaCatherine LiuJingyi Li
UISTBest Paper Award
DissolvPCB: Fully Recyclable 3D-Printed Electronics with Liquid Metal Conductors and PVA Substrates
Zeyu YanSu Hwan HongJosiah HesterTingyu ChengHuaishu Peng
UISTBest Paper Award
Graffiti: Enabling an Ecosystem of Personalized and Interoperable Social Applications
Theia HendersonDavid R KargerDavid D Clark
UISTBest Paper Award
MorphingSkin: A Skin-like Platform that Integrates Multimodal Hydraulic Actuators Based on Flexible Electroosmotic Pumps
Tianyu YuPeisheng HeBob Tianqi WeiChenyuheng WangXueqing LiXuezhu WangYao LuWei YueMegan TengZihan WangLiwei LinHaipeng MiQi LuLining Yao
Multimodal Learning
UISTBest Paper Award
ProForm: Solder-Free Circuit Assembly Using Thermoforming
Narjes PourjafarianZhenming YangJeffrey Ian LiptonBenyamin DavajiGregory D. Abowd
UISTBest Paper Award
Reality Promises: Virtual-Physical Decoupling Illusions in Mixed Reality via Invisible Mobile Robots
Mohamed KariParastoo Abtahi
UISTHonorable Mention
Creating General User Models from Computer Use
Omar ShaikhShardul SapkotaShan RizviEric HorvitzJoon Sung ParkDiyi YangMichael S. Bernstein
UISTHonorable Mention
HeatFlow: A Thermal-Tactile Display for Dynamic 2D Thermal Movements
Yatharth SinghalDaniel HonralesJin Ryong Kim
UISTHonorable Mention
HydroHaptics: High-Fidelity Force-Feedback on Soft Deformable Interfaces using Hydrostatic Transmission
James David NashKim SauvéCatharina Maria van RietAnke van OosterhoutAdwait SharmaChristopher ClarkeJason Alexander
Deformable Objects
UISTHonorable Mention
ImaginationVellum: Generative-AI Ideation Canvas with Spatial Prompts, Generative Strokes, and Ideation History
Nicolai MarquardtAsta RosewayHugo RomatPayod PandaMichel PahudGonzalo A RamosSteven M. DruckerAndrew D WilsonKen HinckleyNathalie Riche
Generative Models
UISTHonorable Mention
MagTex: Machine-Knitted Magnetoactive Textiles for Bidirectional Human-Machine Interface
Sen ZhangYuxuan MiaoJazlin TaylorYiyue Luo
UISTHonorable Mention
Move with Style! Enhancing Avatar Embodiment in Virtual Reality through Proprioceptive Motion Feedback
David WagmannMarie MuehlhausJürgen Steimle
Virtual Reality
UISTHonorable Mention
NeuroSync: Intent-Aware Code-Based Problem Solving via Direct LLM Understanding Modification
Wenshuo ZhangLeixian ShenShuchang XuJindu WangJian ZhaoHuamin QuLin-Ping Yuan
LLM
UISTHonorable Mention
Squidgets: Sketch-based Widget Design for Scene Manipulation
Joonho KimFanny ChevalierKaran Singh
UISTHonorable Mention
Steering Semantic Data Processing With DocWrangler
Shreya ShankarBhavya ChopraMawil HasanStephen LeeBjoern HartmannJoseph HellersteinAditya ParameswaranEugene Wu
UISTHonorable Mention
TwinSpin: A Virtual Ball in a VR Controller Enabling In-Hand 3DoF Rotation
Changsung LimTaejun KimGeehyuk Lee
UISTHonorable Mention
eTactileKit: A Toolkit for Design Exploration and Rapid Prototyping of Electro-Tactile Interfaces
Praneeth Bimsara PereraRavindu Madhushan PushpakumaraHiroyuki KajimotoArata JinguJürgen SteimleAnusha Withana
Exploration
USENIX SecurityDistinguished Paper Award
Fuzzing the PHP Interpreter via Dataflow Fusion
Yuancheng JiangChuqi ZhangBonan RuanJiahao LiuManuel RiggerRoland H. C. YapZhenkai Liang
Fuzzing
USENIX SecurityDistinguished Paper Award
Confusing Value with Enumeration: Studying the Use of CVEs in Academia
Moritz SchloegelDaniel KlischiesSimon KochDavid KleinLukas GerlachMalte WesselsLeon TrampertMartin JohnsMathy VanhoefMichael SchwarzThorsten HolzJo Van Bulck
USENIX SecurityDistinguished Paper Award
Characterizing and Detecting Propaganda-Spreading Accounts on Telegram
Klim KireevYevhen MykhnoCarmela TroncosoRebekah Overdorf
USENIX SecurityDistinguished Paper Award
My ZIP isn't your ZIP: Identifying and Exploiting Semantic Gaps Between ZIP Parsers
Yufan YouJianjun ChenQi WangHaixin Duan
USENIX SecurityDistinguished Paper Award
How Transparent is Usable Privacy and Security Research? A Meta-Study on Current Research Transparency Practices
Jan H. KlemmerJuliane SchmüserFabian FischerJacques SurayJan-Ulrich HoltgraveSimon LenauByron M. LowensFlorian SchaubSascha Fahl
Privacy
USENIX SecurityDistinguished Paper Award
Catch-22: Uncovering Compromised Hosts using SSH Public Keys
Cristian MunteanuGeorgios SmaragdakisAnja FeldmannTobias Fiebig
USENIX SecurityDistinguished Paper Award
We Have a Package for You! A Comprehensive Analysis of Package Hallucinations by Code Generating LLMs
Joseph SpracklenRaveen WijewickramaA H M Nazmus SakibAnindya MaitiBimal Viswanath
LLM
USENIX SecurityDistinguished Paper Award
Branch Privilege Injection: Compromising Spectre v2 Hardware Mitigations by Exploiting Branch Predictor Race Conditions
Sandro RüeggeJohannes WiknerKaveh Razavi
Hardware
VLDBBest Paper Award
AnyBlox: A Framework for Self-Decoding Datasets
Mateusz GienieczkoMaximilian KuschewskiThomas NeumannViktor LeisJana Giceva
databasesdata compressionstorage
VLDBBest Paper Award
Diva: Dynamic Range Filter for Var-Length Keys and Queries
Navid EslamiIoana BerceaNiv Dayan
databasesdata structuresrange filtering
WACVBest Student Paper Award
GeoDiffuser: Geometry-Based Image Editing with Diffusion Models
Sajnani et al.
Image EditingDiffusion
WACVBest Paper Award
Optimizing Vision-Language Model for Road Crossing Intention Estimation
Uziel & Bialer
Vision-LanguageAutonomous Driving
WACVBest Paper Award
RayGauss: Volumetric Gaussian-Based Ray Casting for Photorealistic Novel View Synthesis
Blanc, Deschaud & Paljic
Novel View SynthesisGaussian Splatting
WSDMBest Paper Award
How Do Recommendation Models Amplify Popularity Bias? An Analysis from the Spectral Perspective
Siyi LinChongming GaoJiawei ChenSheng ZhouBinbin HuYan FengChun ChenCan Wang
BiasRecommender Systems
WWWBest Paper Award
Behavioral Homophily in Social Media via Inverse Reinforcement Learning: A Reddit Case Study
Philipp SchneiderLanqin YuanMarian-Andrei Rizoiu
social networksmachine learningweb mininghomophily
EurographicsHonorable Mention
ReConForM: Real-time Contact-aware Motion Retargeting for more Diverse Character Morphologies
Théo Cheynel, Thomas Rossi, Baptiste Bellot-Gurlet, Damien Rohmer, Marie-Paule Cani
EurographicsHonorable Mention
Neural Two-Level Monte Carlo Real-Time Rendering
Mikhail Dereviannykh, Dmitrii Klepikov, Johannes Hanika, Carsten Dachsbacher
EurographicsHonorable Mention
Lipschitz Pruning: Hierarchical Simplification of Primitive-Based SDFs
Wilhem Barbier, Mathieu Sanchez, Axel Paris, Élie Michel, Thibaud Lambert, Tamy Boubekeur, Mathias Paulin, Théo Thonat
Model Pruning
MobileHCIBest Paper Award
Contextra: Detecting Object Grasps With Low-Power Cameras and Sensor Fusion On the Wrist
Nathan DeVrio, Roger Boldu, Eric Whitmire, Wolf Kienzle
Sensors
MobileHCIHonorable Mention
European Users' In-Depth Privacy Concerns with Smartphone Data Collection
Florian Bemmann, Maximiliane Windl, Tobias Knobloch, Sven Mayer
Privacy
MobileHCIHonorable Mention
Give and Take: Perceptions of a Conversational Coach Agent in Fitness Trackers
Meagan B. Loerakker, Evropi Stefanidi, Jasmin Niess, Thomas Essmeyer, Paweł W. Woźniak
AI Agents
MobileHCIHonorable Mention
ThumbSwype: Thumb-to-Finger Gesture Based Text-Entry for Head Mounted Displays
Rishav Banerjee, Shariff AM Faleel, Omang Baheti, Khalad Hasan, Pourang Irani
MobileHCIHonorable Mention
Two-Point Discrimination of Vibrotactile Stimuli on the Forearm
Jan Willms, Adrien Chaffangeon Caillet, Marco Kurzweg, Katrin Wolf
MobileHCIHonorable Mention
Understanding the Experiences of People With and Without Vision Impairments When Using Mobile User Interface Alternative Color Modes
Sarah Andrew, Garreth W. Tigwell
HCI
MobileHCIHonorable Mention
You're making things AR-kward: Exploring Augmented Reality In-the-Wild
Helen Stefanidi, Jan-Hendrik Sünderkamp, Markus Tatzgern, Alina Itzlinger, Alexander Meschtscherjakov
Augmented Reality
INTERACTBest Paper Award
Guided by the light: Design Journey of a Navigation Support Tool for Ships
Felix Petermann, Ole Andreas Alsos
ICSTTest of Time Award
Reformulating Branch Coverage as a Many-Objective Optimization Problem
Annibale Panichella, Fitsum Meshesha Kifetew, Paolo Tonella
Optimization
ICSTHonorable Mention
Understanding and Enhancing Attribute Prioritization in Fixing Broken Web UI Tests
Zhuolin Xu, Qiushi Li, Shin Hwei Tan
HCI
ICSTHonorable Mention
Benchmarking Image Perturbations for Testing Automated Driving Assistance Systems
Stefano Carlo Lambertenghi, Hannes Leonhard, Andrea Stocco
ICSTHonorable Mention
Benchmarking Generative AI Models for Deep Learning Test Input Generation
Maryam, Matteo Biagiola, Andrea Stocco, Vincenzo Riccio
Deep LearningGenerative Models
LICSBest Student Paper Award
The Steenrod squares via unordered joins
Axel Ljungstrom, David Warn
Topology
RTSSBest Paper Award
Requirement-Based Analysis of Self-Suspending Tasks under EDF
Mario Gunzel, Federico Aromolo, Alessandro Biondi, Jian-Jia Chen
Scheduling
SIGMETRICSBest Paper Award
Adversarial Network Optimization under Bandit Feedback: Maximizing Utility in Non-Stationary Multi-Hop Networks
Yan Dai, Longbo Huang
Networks
ICFPDistinguished Paper Award
First-Order Laziness
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
Laziness
CAVDistinguished Paper Award
Introducing Certificates to the Hardware Model Checking Competition
Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko
Model Checking
CAVDistinguished Paper Award
A Misconception-Driven Adaptive Tutor for Linear Temporal Logic
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
EducationLTL
KRBest Paper Award
Finite Axiomatizability by Disjunctive Existential Rules
Calautti, Console & Pieris
Existential RulesOntologies
PerComBest Paper Award
RespEar: Earable-Based Robust Respiratory Rate Monitoring
Liu, Butkow, Stuchbury-Wass, Pullin, Ma & Mascolo
EarablesWearables
PODCBest Paper Award
Improved Byzantine Agreement under an Adaptive Adversary
Dufoulon & Pandurangan
Byzantine AgreementDistributed Algorithms
DISCBest Paper Award
Complexity landscape for local certification
Bousquet, Feuilloley & Zeitoun
Local CertificationDistributed Computing
IPDPSBest Paper Award
Enabling Efficient Error-controlled Lossy Compression for Unstructured Scientific Data
Wu, Di, Ren, Jiao, Xia, Wang, Guo, Liang & Cappello
Data CompressionHPC
TACASBest Paper Award
Unsatisfiability Proofs for Horn Solving
Otoni, Blicha, Barandiaran Rivera, Eugster, Kofroň & Sharygina
SMT SolvingFormal Verification
ISMARBest Paper Award
Negotiated User-to-Group Teleportations in Social VR
Shu, Li, Yang, Han, Steinicke & Wang
Social VRVirtual Reality
RECOMBBest Paper Award
ralphi: a deep reinforcement learning framework for haplotype assembly
Battistella, Maheshwari, Ekim, Berger & Popic
GenomicsReinforcement Learning
SGPBest Paper Award
The Affine Heat Method
Soliman & Sharp
Heat MethodGeometry Processing
ASIACCSBest Paper Award
Breaking Bad: How Compilers Break Constant-Time Implementations
Schneider, Lain, Puddu, Dutly & Capkun
Compiler SecuritySide-Channel
CONCURBest Paper Award
Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement
Henry, Mousavi, Neele & Sammartino
Active LearningAutomata
ICPPBest Paper Award
Efficient Construction of Large Search Spaces for Auto-Tuning
Willemsen, van Nieuwpoort & van Werkhoven
Auto-TuningHPC
EMSOFTBest Paper Award
Cumulative-Time Signal Temporal Logic
Chen, Zhang, Roy, Bartocci, Smolka, Stoller & Lin
Temporal LogicCPS
CASESBest Paper Award
Large or Small: Harnessing the Erase Duality of Emerging Bit-Alterable NAND Flash to Suppress Tail Latency
Yao, Yang, Wang, Chen & Yang
NAND FlashStorage
CODES+ISSSBest Paper Award
Re-Thinking Memory-Bound Limitations in CGRAs
Liu, Jiang, Zhu, Han, Lyu, Deng & Guan
CGRAMemory Architecture
ESOPBest Paper Award
First-Person Choreographic Programming with Continuation-Passing Communications
Jongmans
Choreographic ProgrammingConcurrency
LCTESBest Paper Award
Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory
Das, Banerjee & Mohalik
Neural NetworksSMT
VRSTBest Paper Award
See It and Hear It: Multimodal Guidance in MR-Based Neurosurgical Simulation for Skill Retention
Cascarano, Loretti, Zanuttini, Giunchi, Bovo, Hajahmadi, Vallasciani, Martinoni & Marfia
Neurosurgical SimulationMixed Reality
SOUPSDistinguished Paper Award
I never reuse passwords! Development and Validation of a Security and Privacy Social Desirability Scale
Abels, Smith & Ortloff
Password SecurityPsychology
ICMRBest Paper Award
TourMLLM: A Retrieval-Augmented Multimodal Large Language Model for Multitask Learning in the Tourism Domain
Yamanishi, Xiao & Yamasaki
Multimodal LLMTourism
ICSOCBest Paper Award
Optimal Subset Oracle-based Web API Composition Recommendation for Mashup Creation
Yan, Yan, Dong, Yan, Qi & Zhong
API CompositionMashup
DATEBest Paper Award
Timing Driven Global Placement by Efficient Critical Path Extraction
Shi, Xu, Kai, Lin, Xue, Yuan & Qian
PlacementEDA
EDBTBest Paper Award
Partition Constraints for Conjunctive Queries: Bounds and Worst-Case Optimal Joins
Merkl & Deeds
Query OptimizationDatabase
IEEE VISBest Paper Award
ReVISit 2: A Full Experiment Life Cycle User Study Framework
Cutler, Wilburn, Shrestha, Ding, Bollen, Nadib, He, McNutt, Harrison & Lex
User StudyVisualization
IEEE VRBest Paper Award
Seeing is not Thinking: Testing Capabilities of VR to Promote Perspective-Taking
Kukshinov, Gini, Mishra, Bowman, Rooney & Nacke
Social VREmpathy
GECCOBest Paper Award
When Does Neuroevolution Outcompete Reinforcement Learning in Transfer Learning Tasks?
Nisioti, Plantec, Llera Montero, Winther Pedersen & Risi
NeuroevolutionTransfer Learning
PETSTest of Time Award
Surveilling the Masses with Wi-Fi-Based Positioning Systems
Rye & Levin
Wi-Fi PositioningSurveillance
CLOUDBest Paper Award
Dynamic In-node Group-aware Scheduling for Multi-tenant Machine Learning Services on Kubernetes
Liu & Guitart
KubernetesML Serving
ISPASSBest Paper Award
Understanding the Performance Horizon of the Latest ML Workloads with NonGEMM Workloads
Karami, Kao & Kwon
ML WorkloadsPerformance
NOMSBest Paper Award
RNA: Automating IDS/IPS Event Detection Offload into Programmable Forwarding Devices
Hagen, Ilha, Parizotto & Gaspary
IDS/IPSProgrammable Networks
SACBest Paper Award
RAGCol: RAG-Based Automatic Video Colorization Through Text Caption Generation and Knowledge Enrichment
Ward, Dalal, Buitelaar & Breslin
RAGVideo Colorization
SRDSBest Paper Award
Robust Fingerprinting of Graphs with FinG
Drosis, Garcia Bourrée, Kermarrec, Safsafi & Le Merrer
Graph FingerprintingSecurity
CCCBest Paper Award
Quantum Threshold Is Powerful
Grier & Morris
Quantum CircuitsComplexity
SASBest Paper Award
Relating Distances and Abstractions: An Abstract Interpretation Perspective
Campion, Mastroeni & Urban
Abstract InterpretationProgram Analysis
SECBest Paper Award
Post-Processing in Local Differential Privacy: An Extensive Evaluation and Benchmark Platform
Khodaie, Balioglu & Gursoy
Differential PrivacyBenchmark
ICLPBest Paper Award
ANTHEM: Answer Set Programming and Automated Theorem Proving
Fandinno, Glinzer, Hansen, Heuer, Lierler, Lifschitz, Schaub & Stolzmann
Answer Set ProgrammingTheorem Proving
ICCDBest Paper Award
DHeLlam: General-Purpose, Automatic Micro-batch Co-execution for Distributed LLM Training
Wang, Ruan, He, Ruan, Tang, Ma & Li
LLM TrainingDistributed Systems
AVSSBest Paper Award
Occlusion-Robust Multi-Object Tracking with Adaptive Feature Management and Motion Compensation
Hong, Han & Kwon
Multi-Object TrackingSurveillance
CHIBest Paper Award
Tracing Change in Social Media Use: A Qualitative Longitudinal Study
Beata Jungselius, Alexandra Weilenmann
Social NetworksTracing
CIKMBest Paper Award
Reconsidering the Performance of GAE in Link Prediction
Weishuo Ma, Yanbo Wang, Xiyuan Wang, Muhan Zhang
FOCSBest Paper Award
Gödel in Cryptography: Effectively Zero Knowledge Proofs for NP with No Interaction, No Setup, and Perfect Soundness
Rahul Ilango
Zero-Knowledge Proofs
FOCSBest Paper Award
Obfuscation of Unitary Quantum Programs
Mi-Ying Huang, Er-Cheng Tang
Quantum Computing
FSEBest Paper Award
Gleipner: A Benchmark for Gadget Chain Detection in Java Deserialization Vulnerabilities
Bruno Kreyssig & Alexandre Bartel
BenchmarkingDetection
FSEBest Paper Award
UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions
Sujin Jang, Yeonhee Ryou, Heewon Lee, Kihong Heo
FSEBest Paper Award
COFFE: A Code Efficiency Benchmark for Code Generation
Yun Peng, Jun Wan, Yichen Li, Xiaoxue Ren
Code GenerationBenchmarkingGenerative Models
FSEBest Paper Award
QSF: Multi-Objective Optimization based Efficient Solving for Floating-Point Constraints
Xu Yang, Zhenbang Chen, Wei Dong, Ji Wang
OptimizationEfficiency
FSEBest Paper Award
A Causal Learning Framework for Enhancing Robustness of Source Code Models
Junyao Ye, Zhen Li, Xi Tang, Deqing Zou, Shouhuai Xu, Qiang Weizhong, Hai Jin
Robustness
FSEBest Paper Award
PDCAT: Preference-Driven Compiler Auto-Tuning
Mingxuan Zhu, Zeyu Sun, Dan Hao
Compilers
FSEBest Paper Award
Expressing and Checking Statistical Assumptions
Alexi Turcotte, Zheyuan Wu
FSEBest Paper Award
Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle
Xiaokun Luan, David Sanán, Zhe Hou, Qiyuan Xu, Chengwei Liu, Yufan Cai, Yang Liu, Meng Sun
Proof Assistants
ICCVBest Paper Award
FlowEdit: Inversion-Free Text-Based Editing Using Pre-Trained Flow Models
Vladimir Kulikov, Matan Kleiner, Inbar Huberman-Spiegelglas, Tomer Michaeli
Pre-Training
ICSEBest Paper Award
A Test Oracle for Reinforcement Learning Software Based on Lyapunov Stability Control Theory
Shiyu Zhang, Haoyang Song, Qixin Wang, Henghua Shen, Yu Pei
Reinforcement Learning
ICSEBest Paper Award
Automated Generation of Accessibility Test Reports from Recorded User Transcripts
Syed Fatiul Huq, Mahan Tafreshipour, Kate Kalcevich, Sam Malek
Generative Models
ICSEBest Paper Award
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
Jiashuo Zhang, Yiming Shen, Jiachi Chen, Jianzhong Su, Yanlin Wang, Ting Chen, Jianbo Gao, Zhong Chen
ICSEBest Paper Award
Does GenAI Make Usability Testing Obsolete?
Ali Ebrahimi Pourasad & Walid Maalej
ICSEBest Paper Award
Early Detection of Performance Regressions by Bridging Local Performance Data and Architectural Models
Lizhi Liao, Simon Eismann, Heng Li, Cor-Paul Bezemer, Diego Elias Costa, André van Hoorn, Weiyi Shang
Detection
ICSEBest Paper Award
Enhancing the Open Network: Definition and Automated Detection of Smart Contract Defects
Hao Song, Beibei Li, Teng Li, Ting Chen, Zhidan Lin, Jiachi Chen, Yi Lü, Pan Li
Smart ContractsDetection
ICSEBest Paper Award
Exploring the Robustness of the Effect of EVO on Intention Valuation Through Replication
Yesugen Baatartogtokh, Kaitlyn Cook, Alicia M. Grubb
Robustness
ICSEBest Paper Award
Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V
Yiwei Li, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, Shanshan Li
Heterogeneous ComputingEfficiency
ICSEBest Paper Award
Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability
Juan Pablo Sandoval Alcocer, Nicolas Jimenez-Fuentes, Gordon Fraser, Geraldine Galindo-Gutierrez, Alexandre Bergel
ICSEBest Paper Award
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs
Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Yue Li, Shuangxiang Kan, Yulei Sui
ICSEBest Paper Award
Iterative Generation of Adversarial Example for Deep Code Models
Li Huang, Weifeng Sun, Meng Yan
Adversarial MLGenerative Models
ICSEBest Paper Award
PairSmell: A Novel Perspective Inspecting Software Modular Structure
Chenxing Zhong, Yue Li, He Zhang, Daniel Feitosa, Paris Avgeriou, Huang Huang
ICSEBest Paper Award
Search-Based LLMs for Code Optimization
Shuzheng Gao, Wenchao Gu, Michael R. Lyu, Cuiyun Gao
LLMOptimizationSearch Algorithms
ICSEBest Paper Award
SeeAction: Towards Reverse Engineering How-What-Where of HCI Actions from Screencasts for UI Automation
Dehai Zhao, Zhenchang Xing, Qinghua Lu, Xiwei Xu, Liming Zhu
HCI
ICSEBest Paper Award
Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential Testing
Ying Fu, Yuanliang Zhang, Shanshan Li, Xiangke Liao, Zhiyong Wu, Jie Liang, Jingzhou Fu, Yu Jiang
Storage SystemsDetection
ICSEBest Paper Award
The Seeds of the Future Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries
Zhiyuan Li, Jingzheng Wu, Ling Xiang, Tianyue Luo, Zhiqing Rui, Yanjun Wu
Fuzzing
ICSEBest Paper Award
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Saikat Chakraborty, Gabriel Ebner, Sarah Fakhoury, Shuvendu K. Lahiri, Nikhil Swamy, S. Bhat, Sakina Fatima
SynthesisSMT Solving
ICSEBest Paper Award
Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-Box Fuzzing?
Mingyuan Wu, Jiahong Xiang, Kunqiu Chen, Yuqun Zhang, Shin Hwei Tan, Heming Cui, Peng Di
FuzzingExploration
ICSEBest Paper Award
Understanding the Response to Open-Source Dependency Abandonment in the npm Ecosystem
Courtney Miller, Mahmoud Jahanshahi, Audris Mockus, Bogdan Vasilescu, Christian Kästner
ICSEBest Paper Award
Unseen Horizons: Unveiling the Real Capability of LLM Code Generation Beyond the Familiar
Yuanliang Zhang, Yifan Xie, Shanshan Li, Ke Liu, Chong Wang, Zhouyang Jia, Xiangbing Huang, Jie Song
LLMCode GenerationGenerative Models
ICSEBest Paper Award
Unveiling the Energy Vampires: A Methodology for Debugging Software Energy Consumption
Enrique Barba Roque, Luís Cruz, Thomas Durieux
DebuggingEnergy Systems
INFOCOMBest Paper Award
How to BREAK MU-MIMO Precoding in IEEE 802.11 Wi-Fi Networks
Francesca Meneghello, Francesco Gringoli, Marco Cominelli, Michele Rossi, Francesco Restuccia
NeurIPSBest Paper Award
Optimal Mistake Bounds for Transductive Online Learning
Zachary Chase, Steve Hanneke, Jonathan Shafer, Shay Moran
Online Algorithms
NeurIPSBest Paper Award
Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?
Yang Yue, Zhiqi Chen, Rui Lu, Andrew Zhao, Zhaokai Wang, Yang Yue, Shiji Song, Gao Huang
LLMReinforcement LearningReasoning
NeurIPSBest Paper Award
Superposition Yields Robust Neural Scaling
Yizhou Liu, Ziming Liu, Jeff Gore
RobustnessScalability
NeurIPSBest Paper Award
Artificial Hivemind: The Open-Ended Homogeneity of Language Models (and Beyond)
Liwei Jiang, Yuanjun Chai, Margaret Li, Mickel Liu, Raymond Fok, Nouha Dziri, Yulia Tsvetkov, Maarten Sap
NeurIPSBest Paper Award
1000 Layer Networks for Self-Supervised RL: Scaling Depth Can Enable New Goal-Reaching Capabilities
Kevin Wang, Ishaan Javali, Michał Bortkiewicz, Tomasz Trzciński, Benjamin Eysenbach
Reinforcement LearningSelf-Supervised LearningScalability
NeurIPSBest Paper Award
Why Diffusion Models Don’t Memorize: The Role of Implicit Dynamical Regularization in Training
Tony Bonnaire, Raphaël Urfin, Giulio Biroli, Marc Mézard
NeurIPSBest Paper Award
Gated Attention for Large Language Models: Non-linearity, Sparsity, and Attention-Sink-Free
Zihan Qiu, Zekun Wang, Bo Zheng, Zeyu Huang, Kaiyue Wen, Songlin Yang, Rui Men, Le Yu
LLM
PLDIBest Paper Award
Destabilizing Iris
Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer
PLDIBest Paper Award
Tree Borrows
Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung
S&PBest Paper Award
COBBL: Dynamic Constraint Generation for SNARKs
Kunming Jiang, Fraser Brown, Riad Wahby
Generative Models
S&PBest Paper Award
Transport Layer Obscurity: Circumventing SNI Censorship on the TLS Layer
Niklas Niere, Felix Lange, Juraj Somorovsky, Robert Merget
S&PBest Paper Award
Follow My Flow: Unveiling Client-Side Prototype Pollution Gadgets from One Million Real-World Websites
Zifeng Kang, Muxi Lyu, Zhengyu Liu, Jianjia Yu, Runqi Fan, Song Li, Yinzhi Cao
S&PBest Paper Award
CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels
Yuanyuan Yuan, Zhibo Liu, Sen Deng, Yanzuo Chen, Shuai Wang, Yinqian Zhang, Zhendong Su
S&PBest Paper Award
Characterizing Robocalls with Multiple Vantage Points
Sathvik Prasad, Aleksandr Nahapetyan, Bradley Reaves
S&PBest Paper Award
Verifiable Boosted Tree Ensembles
Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Giulio Ermanno Pibiri
S&PBest Paper Award
Unveiling Security Vulnerabilities in Git Large File Storage Protocol
Yuan Chen, Qinying Wang, Yong Yang, Yuanchao Chen, Yuwei Li, Shouling Ji
Storage SystemsNetwork ProtocolsVersion Control
S&PBest Paper Award
Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
Shuangjie Yao & Dongdong She
S&PBest Paper Award
SLAP: Data Speculation Attacks via Load Address Prediction on Apple Silicon
Jason Kim, Daniel Genkin, Yuval Yarom
S&PBest Paper Award
Detecting Taint-Style Vulnerabilities in Microservice-Structured Web Applications
Fengyu Liu, Yuan Zhang, Tian Chen, Youkun Shi, Guangliang Yang, Zihan Lin, Min Yang, Junyao He
Taint AnalysisMicroservices
S&PBest Paper Award
DataSentinel: A Game-Theoretic Detection of Prompt Injection Attacks
Yupei Liu, Yuqi Jia, Jinyuan Jia, Dawn Song, Neil Zhenqiang Gong
Prompt LearningDetection
SIGCOMMBest Paper Award
Edge Caching as Differentiation
Muhammad Abdullah, Mughees Ur Rehman, Pavlos Nikolopoulos, Katerina Argyraki
SIGGRAPHBest Paper Award
Shape Space Spectra
Yue Chang, Otman Benchekroun, Maurizio M. Chiaramonte, Peter Yichen Chen, Eitan Grinspun
SIGGRAPHBest Paper Award
TokenVerse: Versatile Multi-Concept Personalization in Token Modulation Space
Daniel Garibi, Shahar Yadin, Roni Paiss, Omer Tov, Shiran Zada, Ariel Ephrat, Tomer Michaeli, Inbar Mosseri
SIGGRAPHBest Paper Award
Transformer IMU Calibrator: Dynamic On-Body IMU Calibration for Inertial Motion Capture
Chengxu Zuo, Jiawei Huang, Xiao Jiang, Yuan Yao, Xiangren Shi, Rui Cao, Xinyu Yi, Feng Xu
Transformer
SODABest Paper Award
Quasi-Monte Carlo Beyond Hardy-Krause
Nikhil Bansal, Haotian Jiang
SODABest Paper Award
Tight Streaming Lower Bounds for Deterministic Approximate Counting
Yichuan Wang
SOSPBest Paper Award
Atmosphere: Practical Verified Kernels with Rust and Verus
Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Vikram Narayanan, Anton Burtsev
SOSPBest Paper Award
CortenMM: Efficient Memory Management with Strong Correctness Guarantees
Junyang Zhang, Xiangcan Xu, Yonghao Zou, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu
Memory ManagementEfficiency
SOSPBest Paper Award
Rearchitecting the Thread Model of In-Memory Key-Value Stores with muTPS
Youmin Chen, Jiwu Shu, Yanyan Shen, Linpeng Huang, Hong Mei
STOCBest Paper Award
Simulating Time with Square-Root Space
R. Ryan Williams
Computational Complexity
STOCBest Paper Award
Quasi-Linear Size PCPs with Small Soundness from HDX
Mitali Bafna, Dor Minzer, Nikhil Vyas, Zhiwei Yun
EuroSysBest Student Paper Award
Understanding the Linux Kernel, Visually
Hanzhi Liu, Yanyan Jiang, Chang Xu
Operating Systems
EuroSysBest Student Paper Award
Enabling Virtual Priority in Data Center Congestion Control
Zhaochen Zhang, Feiyang Xue, Keqiang He, Zhimeng Yin, Gianni Antichi, Jiaqi Gao, Yizhi Wang, Rui Ning, Haixin Nan, Xu Zhang, Peirui Cao, Xiaoliang Wang, Wanchun Dou, Guihai Chen, Chen Tian
AACLBest Paper Award
Beyond statistical significance: Quantifying uncertainty and statistical variability in multilingual and multitask NLP evaluation
Jonne Sälevä, Duygu Ataman, Constantine Lignos
NLP EvaluationStatistical Significance

2024

365 papers
3DVHonorable Mention
NICER-SLAM: Neural Implicit Scene Encoding for RGB SLAM
Zhu, Peng, Larsson, Cui, Oswald, Geiger & Pollefeys
SLAMImplicit Representations
3DVBest Paper Award
SlimmeRF: Slimmable Radiance Fields
Yuan & Zhao
NeRFEfficiency
AAAIBest Paper Award
Proportional Aggregation of Preferences for Sequential Decision Making
Chandak, Goel & Peters
Decision MakingAggregation
AAAIBest Paper Award
Reliable Conflictive Multi-view Learning
Xu et al.
Multi-viewReliability
AAMASBest Paper Award
Incentives for Early Arrival in Cooperative Games
Yaoxin GeYao ZhangDengji ZhaoZhihao Gavin TangHu FuPinyan Lu
Cooperative Systems
ACCVHonorable Mention
High-Quality Visually-Guided Sound Separation from Diverse Categories
Huang, Liang, Tian, Kumar & Xu
Audio-VisualSound Separation
ACCVBest Paper Award
It's Just Another Day: Unique Video Captioning by Discriminative Prompting
Perrett, Han, Damen & Zisserman
Video CaptioningDiscriminative
ACLBest Paper Award
Aya Model: An Instruction Finetuned Open-Access Multilingual Language Model
Üstün et al.
MultilingualInstruction Tuning
ACLBest Paper Award
Mission: Impossible Language Models
Kallini et al.
Language ModelsTheory
ACSACDistinguished Paper Award
I'll Be There for You! Perpetual Availability in the A8 MVX System
André RöstiStijn VolckaertMichael FranzAlexios Voulimeneas
Reliability
ACSACDistinguished Paper Award
Single Sign-On Privacy: We Still Know What You Did Last Summer
Maximilian WestersAndreas MayerLouis Jannett
Privacy
ASEDistinguished Paper Award
A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement
Huan ZhangWei ChengYuhan WuWei Hu
code generationllmpair programming
ASEDistinguished Paper Award
Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection
Huan XieYan LeiMaojin LiMeng YanSheng Zhang
coincidental correctnessfault localizationcoverage
ASEDistinguished Paper Award
Context-Aware Automated Sprint Plan Generation for Agile Software Development
Elvan KulaArie van DeursenGeorgios Gousios
agilesprint planningautomation
ASEDistinguished Paper Award
DRMiner: Extracting Latent Design Rationale from Jira Issue Logs
Jiuang ZhaoZitian YangLi ZhangXiaoli LianDonghao YangXin Tan
design rationaleissue trackingmining
ASEDistinguished Paper Award
Do not neglect what's on your hands: localizing software faults with exception trigger stream
Xihao ZhangYi SongXiaoyuan XieQi XinChenliang Xing
fault localizationexceptionsdebugging
ASEDistinguished Paper Award
Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security
Chuan YanMark Huasong MengLiuhuo WanTian Yang OoiRuomai RenGuangdong Bai
chatgptapp securityecosystem analysis
ASEDistinguished Paper Award
General and Practical Property-based Testing for Android Apps
Yiheng XiongTing SuJue WangJingling SunGeguang PuZhendong Su
androidproperty-based testingmobile
ASEDistinguished Paper Award
How Does Code Optimization Impact Third-party Library Detection for Android Applications?
Zifan XieMing WenTinghan LiYiding ZhuQinsheng HouHai Jin
androidlibrary detectioncode optimization
ASEDistinguished Paper Award
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
Guangyuan WuWeining CaoYuan YaoHengfeng WeiTaolue ChenXiaoxing Ma
llmmodel checkingloop invariants
ASEDistinguished Paper Award
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling
Muhammad A. A. PirzadaGiles RegerAhmed BhayatLucas C. Cordeiro
llmmodel checkinginvariants
ASEDistinguished Paper Award
LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models
Shuncheng TangZhenya ZhangJixiang ZhouLei WangYuan ZhouYinxing Xue
autonomous drivingscenario generationllm
ASEDistinguished Paper Award
MiniChecker: Detecting Data Privacy Risk of Abusive Permission Request Behavior in Mini-Programs
Yin WangMing FanHao ZhouHaijun WangWuxia JinJiajia LiWenbo ChenShijie LiYu ZhangDeqiang HanTing Liu
privacymini-programspermission analysis
ASEDistinguished Paper Award
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation
Shiwei FengYapeng YeQingkai ShiZhiyuan ChengXiangzhe XuSiyuan ChengHongjun ChoiXiangyu Zhang
autonomous drivingroot cause analysiscyber-physical systems
ASEDistinguished Paper Award
Reducing Test Runtime by Transforming Test Fixtures
Chengpeng LiAbdelrahman BazAugust Shi
test optimizationfixturestest runtime
ASEDistinguished Paper Award
Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation
Zongze JiangMing WenJialun CaoXuanhua ShiHai Jin
llmtest generationdirected testing
ASIACRYPTBest Paper Award
The First Practical Collision for 31-Step SHA-256
Yingxin LiFukang LiuGaoli WangXiaoyang DongSiwei Sun
Hash Functions
ASPLOSBest Paper Award
Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors
Samuel Thomas, James Bornholt
CompilersDSP
ASPLOSBest Paper Award
Centauri: Enabling Efficient Scheduling for Communication-Computation Overlap in Large Model Training via Communication Partitioning
Chang Chen, Xiuhong Li, Qianchao Zhu, Jiangfei Duan, Peng Sun, Xingcheng Zhang, Chao Yang
LLM TrainingDistributed Systems
ASPLOSBest Paper Award
GIANTSAN: Efficient Memory Sanitization with Segment Folding
Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang
Memory Safety
ASPLOSBest Paper Award
PDIP: Priority Directed Instruction Prefetching
Bhargav Reddy Godala, Sankara Prasad Ramesh, Gilles A. Pokam, Jared Stark, Andre Seznec, Dean Tullsen, David I. August
PrefetchingMicroarchitecture
ASPLOSBest Paper Award
ngAP: Non-blocking Large-scale Automata Processing on GPUs
Tianao Ge, Tong Zhang, Hongyuan Liu
GPUAutomata
ATCBest Paper Award
An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise
Hongyu LiLiwei GuoYexuan YangShangguang WangMengwei Xu
rustlinuxkernelempirical study
ATCBest Paper Award
FastCommit: resource-efficient, performant and cost-effective file system journaling
Harshad ShirwadkarSaurabh KadekodiTheodore Tso
file systemsjournalingstorage
ATCBest Paper Award
SuperBench: Improving Cloud AI Infrastructure Reliability with Proactive Validation
Yifan XiongYuting JiangZiyue YangLei QuGuoshuai ZhaoShuguang LiuDong ZhongBoris PinzurJie ZhangYang WangJithin JoseHossein PourrezaJeff BaxterKushal DattaPrabhat RamLuke MeltonJoe ChauPeng ChengYongqiang XiongLidong Zhou
cloud infrastructuregpureliabilityvalidation
CASEBest Paper Award
Semantic Behaviour Tree Learning through Kinesthetic Demonstrations for Position-Force Controlled Robotic Applications
Lorenzo FratiniNiccolo LucciMatteo MalavendaAndrea Maria ZanchettinPaolo Rocco
Robotics
CCSDistinguished Paper Award
Cross-silo Federated Learning with Record-level Personalized Differential Privacy
Liu, Lou, Xiong, Liu, Meng
Federated LearningPrivacy
CCSDistinguished Paper Award
Organic or Diffused: Can We Distinguish Human Art from AI-generated Images?
Ha, Passananti, Bhaskar, Shan, Southen, Zheng, Zhao
DiffusionDetection
CCSDistinguished Paper Award
QueryCheetah: Fast Automated Discovery of Attribute Inference Attacks Against Query-Based Systems
Stevanoski, Cretu, de Montjoye
PrivacyInference Attack
CCSDistinguished Paper Award
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries
Xie, Zhang, Jiang, Xu, Tan, Zhang
LLMBinary Analysis
CCSDistinguished Paper Award
The Harder You Try, The Harder You Fail: The KeyTrap Denial-of-Service Algorithmic Complexity Attacks on DNSSEC
Heftrig, Schulmann, Vogel, Waidner
DNSDoS
CHIBest Paper Award
Technology-Mediated Non-Pharmacological Interventions for Dementia: Needs for and Challenges in Professional, Personalized and Multi-Stakeholder Collaborative Interventions
Ma et al.
HealthAI
CIKMBest Paper Award
Data Void Exploits: Tracking & Mitigation Strategies
Miro ManninoJunior GarciaReem HazimAzza AbouziedPaolo Papotti
Object Tracking
COLTBest Paper Award
Smoothed Analysis for Learning Concepts with Low Intrinsic Dimension
Gautam ChandrasekaranAdam KlivansVasilis KontonisRaghu MekaKonstantinos Stavropoulos
COLTBest Paper Award
The Price of Adaptivity in Stochastic Convex Optimization
Yair CarmonOliver Hinder
Optimization
CoNEXTBest Paper Award
Practically High Performant Neural Adaptive Video Streaming
Sagar PatelJunyang ZhangNina NarodytskaSangeetha Abdu Jyothi
CoRLOutstanding Paper Award
PoliFormer: Scaling On-Policy RL with Transformers Results in Masterful Navigators
Kuo-Hao ZengKiana EhsaniRose HendrixJordi SalvadorZichen ZhangAlvaro HerrastiRoss GirshickAniruddha KembhaviLuca Weihs
Reinforcement Learning
CRYPTOBest Paper Award (Early Career)
Lossy Cryptography from Code-Based Assumptions
Dao & Jain
Code-Based CryptographyPost-Quantum
CRYPTOBest Paper Award
STIR: Reed-Solomon Proximity Testing with Fewer Queries
Arnon, Chiesa, Fenzi & Yogev
Zero-Knowledge ProofsReed-Solomon
CRYPTOBest Paper Award
Space-Efficient and Noise-Robust Quantum Factoring
Ragavan & Vaikuntanathan
Quantum CryptographyFactoring
CSCWBest Paper Award
Mending the Fabric: the Contentious, Collaborative Work of Repairing Broadband Maps
Beatriz Palacios AbadElizabeth BeldingMorgan Vigil-HayesEllen Zegura
CSFDistinguished Paper Award
Deciding branching hyperproperties for real time systems
Nabarun DekaMinjian ZhangRohit ChadhaMahesh Viswanathan
CSFDistinguished Paper Award
Explaining epsilon in local differential privacy through the lens of quantitative information flow
Natasha FernandesAnnabelle McIverParastoo Sadeghi
Differential PrivacyPrivacy
CVPRBest Paper Award
Generative Image Dynamics
Li, Tucker, Snavely & Holynski
VideoGenerative
CVPRBest Paper Award
Rich Human Feedback for Text-to-Image Generation
Liang et al.
Text-to-ImageHuman Feedback
DACBest Paper Award
Token-Picker: Accelerating Attention in Text Generation and Minimized Memory Transfer via Probability Estimation
Junyoung ParkMyeonggu KangYunki HanYang-Gon KimLee-Sup Kim
Text Generation
DISBest Paper Award
A Retrospective Autoethnography Documenting Dance Learning Through Data Physicalisations
Tove Grimstad BangSarah Fdili AlaouiGuro TyseElisabeth SchwartzFrederic Beliacqua
DISBest Paper Award
Articulating Mechanical Sympathy for Somaesthetic Human-Machine Relations
Joseph La DelfaRachel GarretAiri LampinenKristina Höök
DISBest Paper Award
Counting Up: Designing Agonistic Data Collection in the Court Room
Anh-Ton TranCarl DiSalvo
DISBest Paper Award
Crip Reflections on Designing with Plants: Intersecting Disability Theory, Chronic Illness, and More-than-Human Design
Sylvia JanickiNassim ParvinNoura Howell
DISBest Paper Award
Participation in Data Donation: Towards Co-Created, Collaborative, and Contributory Projects
Alejandra Gomez OrtegaJacky BourgeoisGerd Kortuem
DISBest Paper Award
Porous by Design: How Childcare Platforms Impact Worker Personhood, Safety, and Connection
Caitlin LustigMaya A KanekoMeghna GuptaKavita DattaniAudrey DesjardinsDaniela Rosner
DISBest Paper Award
Responding to Generative AI Technologies with Research-through-Design: The AI Lab as an Exploratory Study
Jesse Josua BenjaminJoseph LindleyElizabeth EdwardsElisa RubegniTim KorjakowDavid GristRhiannon Sharkey
Generative Models
DISBest Paper Award
The Undertable: A Design Remake of the Mediated Body
Sjoerd HendriksMafalda GamboaMohammad Obaid
DSNBest Paper Award
JITBULL: Securing JavaScript Runtime with a Go/No-Go policy for JIT Engine
Jean-Baptiste DecourcelleBoris TeabeDaniel Hagimont
JIT Compilation
DSNBest Paper Award
On the Correctness of Metadata-based SBOM Generation: A Differential Analysis Approach
Sheng YuWei SongXunchao HuHeng Yin
Generative Models
DSNBest Paper Award
ZLB: A Blockchain to Tolerate Colluding Majorities
Alejandro Ranchal-PedrosaVincent Gramoli
Blockchain
EACLBest Paper Award
LOCOST: State-Space Models for Long Document Abstractive Summarization
Florian Le BronnecSong DuongMathieu RavautAlexandre AllauzenNancy ChenVincent GuigueAlberto LumbrerasLaure SoulierPatrick Gallinari
EACLBest Paper Award
Leak, Cheat, Repeat: Data Contamination and Evaluation Malpractices in Closed-Source LLMs
Simone BalloccuPatrícia SchmidtováMateusz LangoOndrej Dusek
LLM
ECAIOutstanding Paper Award
FairCognizer: A Model for Accurate Predictions with Inherent Fairness Evaluation
Adda-Akram BendoukhaNesrine KaanicheAymen BoudguigaRenaud Sirdey
aifairness
ECAIOutstanding Paper Award
Improving Calibration by Relating Focal Loss, Temperature Scaling, and Properness
Viacheslav KomisarenkoMeelis Kull
aimachine-learning
ECAIOutstanding Paper Award
Scale-Adaptive Balancing of Exploration and Exploitation in Classical Planning
Stephen WissowMasataro Asai
aiplanning
ECCVBest Paper Award
Minimalist Vision with Freeform Pixels
Klotz & Nayar
Computational ImagingCamera Design
EMNLPBest Paper Award
An Image Speaks a Thousand Words, but Can Everyone Listen? On Image Transcreation for Cultural Relevance
Khanuja, Ramamoorthy, Song, Neubig
MultimodalCulture
EMNLPBest Paper Award
Backward Lens: Projecting Language Model Gradients into the Vocabulary Space
Katz, Belinkov, Geva, Wolf
LLMInterpretability
EMNLPBest Paper Award
CoGen: Learning from Feedback with Coupled Comprehension and Generation
Gul, Artzi
GenerationFeedback
EMNLPBest Paper Award
Pretraining Data Detection for Large Language Models: A Divergence-based Calibration Method
Zhang, Zhang, Guo, de Rijke, Fan, Cheng
LLMData Detection
EMNLPBest Paper Award
Towards Robust Speech Representation Learning for Thousands of Languages
Chen, Zhang, Peng, Li, Tian, Shi, Chang, Maiti, Livescu, Watanabe
SpeechMultilingual
EUROCRYPTBest Paper Award (Early Career)
AprèsSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing
Corte-Real Santos, Eriksen, Meyer & Reijnders
Isogeny CryptographySignature Verification
EUROCRYPTBest Paper Award
SQIsignHD: New Dimensions in Cryptography
Dartois, Leroux, Robert & Wesolowski
Isogeny CryptographyDigital Signatures
EurographicsBest Paper Award
Non-Euclidean Sliced Optimal Transport Sampling
Genest, Courty & Coeurjolly
Optimal TransportSampling
EuroSysBest Paper Award
Validating Database System Isolation Level Implementations with Version Certificate Recovery
Clark, Donaldson, Wickerson, Rigger
DatabaseIsolationVerification
FASTBest Paper Award
We Ain't Afraid of No File Fragmentation: Causes and Prevention of Its Performance Impact on Modern Flash SSDs
Yuhun JunShinhyun ParkJeong-Uk KangSang-Hoon KimEuiseong Seo
Storage Systems
FASTBest Paper Award
What's the Story in EBS Glory: Evolutions and Lessons in Building Cloud Block Store
Weidong ZhangErci XuQiuping WangXiaolu ZhangYuesheng GuZhenwei LuTao OuyangGuanqun DaiWenwen PengZhe XuShuo ZhangDong WuYilei PengTianyun WangHaoran ZhangJiasheng WangWenyuan YanYuanyuan DongWenhui YaoZhongjie WuLingjun ZhuChao ShiYinhu WangRong LiuJunping WuJiaji ZhuJiesheng Wu
FSEDistinguished Paper Award
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification
Beyer, Chien, Jankola, Lee
VerificationModel Checking
FSEDistinguished Paper Award
Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model
Li, Faragó, Petrov, Ahmed
LLMCode Generation
HPCABest Paper Award
Pathfinding Future PIM Architectures by Demystifying a Commercial PIM Technology
Hyun, Kim, Lee & Rhu
Processing-in-MemoryComputer Architecture
HRIBest Paper Award
Generative Expressive Robot Behaviors using Large Language Models
Karthik MahadevanJonathan ChienNoah BrownZhuo XuCarolina ParadaFei XiaAndy ZengLeila TakayamaDorsa Sadigh
LLMRobotics
HRIBest Paper Award
Integrating Flow Theory and Adaptive Robot Roles: A Conceptual Model of Dynamic Robot Role Adaptation for the Enhanced Flow Experience in Long-term Multi-person Human-Robot Interactions
Huili ChenSharifa AlghowinemHae Won ParkCynthia Breazeal
Human-Robot InteractionRobotics
HRIBest Paper Award
Sprout: Designing Expressivity for Robots Using Fiber-Embedded Actuator
Amy KoikeMichael WehnerBilge Mutlu
ICALPBest Paper Award
A Note on Approximating Weighted Nash Social Welfare
Yuda FengShi Li
ICALPBest Paper Award
Integer Linear-Exponential Programming in NP by Quantifier Elimination
Dmitry ChistikovAlessio MansuttiMikhail Starchak
ICCADBest Paper Award
A Neural-Ordinary-Differential-Equations Based Generic Approach for Process Modeling in DTCO
Yue QianLan Chen
ICCADBest Paper Award
An Agile Framework for Efficient LLM Accelerator Development and Model Inference
Lvcheng ChenYing WuChenyi WenShizhang WangLi ZhangBei YuQi SunCheng Zhuo
LLM
ICDEBest Paper Award
Reverse Regret Query
Weicheng WangRaymond Chi-Wing WongH. V. JagadishMin Xie
ICDMBest Paper Award
Scalable Graph Classification via Random Walk Fingerprints
Peiyan LiHonglian WangChristian Böhm
Randomized Algorithms
ICLRBest Paper Award
Generalization in Diffusion Models Arises from Geometry-Adaptive Harmonic Representations
Kadkhodaie et al.
DiffusionGeneralization
ICLRBest Paper Award
Learning Interactive Real-World Simulators
Yang et al.
SimulationWorld Models
ICMLBest Paper Award
Discrete Diffusion Modeling by Estimating the Ratios of the Data Distribution
Lou, Meng & Ermon
DiffusionDiscrete
ICMLBest Paper Award
Position: Measure Dataset Diversity, Don't Just Claim It
Zhao et al.
DatasetsDiversity
ICNPBest Paper Award
High-Throughput Stateless-but-Complex Packet Processing within a Tbps Programmable Switch
Yutaro YoshinakaYuki KoizumiJunji TakemasaToru Hasegawa
Network Performance
ICSBest Paper Award
Arkade: k-Nearest Neighbor Search With Non-Euclidean Distances using GPU Ray Tracing
Durga Keerthi MandarapuVani NagarajanArtem PelenitsynMilind Kulkarni
GPU ComputingSearch Algorithms
ICSEDistinguished Paper Award
Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware
Liu, Zhang, Li, Li, Zhou, Wang, Zhan, Liu, Huo
SecurityFirmwareStatic Analysis
ICSEDistinguished Paper Award
User-Centric Deployment of Automated Program Repair at Bloomberg
Williams, Sarro, Kirbas, Mechtaev
Program RepairIndustry
IMCBest Paper Award
Analyzing the (In)Accessibility of Online Advertisements
Christina YeungTadayoshi KohnoFranziska Roesner
INFOCOMBest Paper Award
AIChronoLens: Advancing Explainability for Time Series AI Forecasting in Mobile Networks
Fiandrino, Pérez Gómez, Fernández Pérez, Mohammadalizadeh, Fiore, Widmer
AIMobile NetworksExplainability
IUIBest Paper Award
FrameKit: A Tool for Authoring Adaptive UIs Using Keyframes
Jason WuKashyap TodiJoannes ChanBrad A Myers
IUIBest Paper Award
Utilizing a Dense Video Captioning Technique for Generating Image Descriptions of Comics for People with Visual Impairments
Suhyun KimSemin LeeKyungok KimUran Oh
Image Captioning
MICCAIBest Paper Award
RoCoSDF: Row-Column Scanned Neural Signed Distance Fields for Freehand 3D Ultrasound Imaging Shape Reconstruction
Hongbo ChenYuchong GaoShuhang ZhangJiangjie WuYuexin MaRui Zheng
medical-imagingcomputer-vision
MICROBest Paper Award
Fusion-3D: Integrated Acceleration for Instant 3D Reconstruction and Real-Time Rendering
Li, Zhao, Li, Guo, Zhang, Zhu, Ye, Wan, Lin
3D RenderingAcceleration
MiddlewareBest Paper Award
Banyan: Fast Rotating Leader BFT
Yann VonlanthenJakub SliwinskiMassimo AlbarelloRoger Wattenhofer
MobiComBest Paper Award
Exploring the Feasibility of Remote Cardiac Auscultation Using Earphones
Chen, Yang, Fan, Guo, Xiong, Shangguan
Mobile SensingHealth
MobiHocBest Paper Award
On Optimal Server Allocation for Moldable Jobs with Concave Speed-Up
Samira GhanbarianArpan MukhopadhyayRavi R. MazumdarFabrice M. Guillemin
MobiSysBest Paper Award
Joey: Supporting Kangaroo Mother Care with Computational Fabrics
Qijia ShaoJiting LiuEmily BejeranoHo Man ColmanJingping NieXiaofan JiangXia Zhou
MobiSysBest Paper Award
PowDew: Detecting Counterfeit Powdered Food Products using a Commodity Smartphone
Jonghyuk YunKyoosik LeeKichang LeeBangjie SunJaeho JeonJeongGil KoInseok HwangJun Han
MobiSysBest Paper Award
SuperSight: Sub-cm NLOS Localization for mmWave Backscatter
Kang Min BaeHankyeol MoonSong Min Kim
Localization
MODELSBest Paper Award
ModelMate: A Recommender for Textual Modeling Languages Based on Pre-Trained Language Models
Carlos DuráJosé Antonio Hernández LópezJesús Sánchez Cuadrado
Pre-TrainingRecommender Systems
MSRDistinguished Paper Award
Whodunit: Classifying Code as Human Authored or GPT-4 Generated — A Case Study on CodeChef Problems
Joy IdialuNoble Saji MathewsRungroj MaipraditJo AtleeMei Nagappan
NAACLOutstanding Paper Award
R-Tuning: Instructing Large Language Models to Say 'I Don't Know'
Zhang, Diao, Lin, Fung, Lian, Wang, Chen, Ji, Zhang
LLMCalibration
NAACLBest Paper Award
Teaching Language Models to Self-Improve through Interactive Demonstrations
Yu, Peng, Galley, Gao, Yu
LLMSelf-Improvement
NAACLBest Paper Award
Visual Grounding Helps Learn Word Meanings in Low-Data Regimes
Zhuang, Fedorenko, Andreas
GroundingLow-Resource
NDSSDistinguished Paper Award
LMSanitator: Defending Prompt Tuning Against Task-Agnostic Backdoors
Wei, Meng et al.
LLMBackdoor
NDSSDistinguished Paper Award
UntrustIDE: Exploiting Weaknesses in VS Code Extensions
Lin et al.
IDEExtension Security
NeurIPSBest Paper Award
Stochastic Taylor Derivative Estimator: Efficient Amortization for Arbitrary Differential Operators
Li et al.
OptimizationScientific ML
NeurIPSBest Paper Award
Visual Autoregressive Modeling: Scalable Image Generation via Next-Scale Prediction
Tian et al.
Image GenerationAutoregressive
OOPSLADistinguished Paper Award
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Liu, Mada & Regehr
SIMDSuperoptimization
OOPSLADistinguished Paper Award
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
He, Zhao, Wang & Wang
SQL VerificationEquivalence Checking
PODSBest Paper Award
Consistency of Relations over Monoids
Albert AtseriasPhokion Kolaitis
Consistency
PODSBest Paper Award
History-Independent Dynamic Partitioning: Operation-Order Privacy in Ordered Data Structures
Michael A. BenderMartin Farach-ColtonMichael T. GoodrichHanna Komlos
Privacy
POPLDistinguished Paper Award
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
Neta EladOded PadonSharon Shoham
formal verificationcounterexamplesdeductive reasoning
POPLDistinguished Paper Award
Automatic Parallelism Management
Sam WestrickMatthew FluetMike RaineyUmut A. Acar
parallel computingprogramming languagesscheduling
POPLDistinguished Paper Award
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis
Supun AbeysingheAnxhelo XhebrajTiark Rompf
compilersdatalogprogram analysis
POPLDistinguished Paper Award
Implementation and Synthesis of Math Library Functions
Ian BriggsYash LadPavel Panchekha
numerical computingprogram synthesisfloating point
POPLDistinguished Paper Award
Modular Denotational Semantics for Effects with Guarded Interaction Trees
Daniel FruminAmin TimanyLars Birkedal
formal semanticseffectsinteraction trees
POPLDistinguished Paper Award
Nominal Recursors as Epi-Recursors
Andrei Popescu
type theoryformal methodsrecursion
POPLDistinguished Paper Award
Parametric Subtyping for Structural Parametric Polymorphism
Henry DeYoungAndreia MordidoFrank PfenningAnkush Das
type systemssubtypingpolymorphism
POPLDistinguished Paper Award
Soundly Handling Linearity
Wenhao TangDaniel HillerströmSam LindleyJ. Garrett Morris
type systemslinear typeseffects
POPLDistinguished Paper Award
Total Type Error Localization and Recovery with Holes
Eric ZhaoRaef MaroofAnand DukkipatiAndrew BlinnZhiyi PanCyrus Omar
type systemserror recoveryprogramming tools
RAIDBest Paper Award
KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities
Bonan RuanJiahao LiuChuqi ZhangZhenkai Liang
Operating Systems
RecSysBest Paper Award
Towards Empathetic Conversational Recommender Systems
Xiaoyu ZhangRuobing XieYougang LyuXin XinPengjie RenMingfei LiangBo ZhangZhanhui KangMaarten de RijkeZhaochun Ren
Recommender Systems
RecSysBest Paper Award
The MovieLens Beliefs Dataset: Collecting Pre-Choice Data for Online Recommender Systems
Guy AridorDuarte GoncalvesRuoyan KongDaniel KluverJoseph Konstan
Recommender Systems
RecSysBest Student Paper Award
Unlocking the Hidden Treasures: Enhancing Recommendations with Unlabeled Data
Yuhan ZhaoRui ChenQilong HanHongtao SongLi Chen
RSSBest Paper Award
Diffusion Policy for Visuomotor Control
Chi et al.
DiffusionRobot Control
SANERDistinguished Paper Award
Exploring Dependencies Among Inconsistencies to Enhance the Consistency Maintenance of Models
Luciano MarchezanWesley K. G. AssunçãoEdvin HeracSaad ShafiqAlexander Egyed
Consistency
SCBest Student Paper Award
On the Efficacy of Surface Codes in Compensating for Radiation Events in Superconducting Devices
Marzio ValleroGioele CasagrandaFlavio VellaPaolo Rech
SDMBest Paper Award
Dimensionality-Aware Outlier Detection
Alastair AnderbergJames BaileyRicardo José Gabrielli Barreto CampelloMichael E. HouleHenrique Oliveira MarquesMiloš RadovanovićArthur Zimek
Anomaly Detection
SenSysBest Paper Award
Processor-Sharing Internet of Things Architecture for Large-scale Deployment
Qianhe MengHan WangChong ZhangYihang SongSongfan LiLi LuHongzi Zhu
Scalability
SIGGRAPHBest Paper Award
From Microfacets to Participating Media: A Unified Theory of Light Transport with Stochastic Geometry
Seyb, d'Eon, Bitterli & Jarosz
RenderingLight Transport
SIGGRAPHBest Paper Award
Lightning-Fast Method of Fundamental Solutions
Chen, Schäfer & Desbrun
Numerical MethodsPDE
SIGGRAPHBest Paper Award
Repulsive Shells
Sassen, Schumacher, Rumpf & Crane
Geometry ProcessingSimulation
SIGGRAPHBest Paper Award
Robust Containment Queries over Collections of Rational Parametric Curves via Generalized Winding Numbers
Spainhour, Gunderman & Weiss
Computational GeometryWinding Numbers
SIGGRAPHBest Paper Award
Walkin' Robin: Walk on Stars with Robin Boundary Conditions
Miller, Sawhney, Crane & Gkioulekas
Monte CarloPDE
SIGGRAPH AsiaBest Paper Award
Appearance Modeling of Iridescent Feathers with Diverse Nanostructures
Yu, Weidlich, Walter, d'Eon & Marschner
Appearance ModelingRendering
SIGGRAPH AsiaBest Paper Award
Differentiable Owen Scrambling
Bonneel, Digne, Iehl & Ostromoukhov
Monte CarloRendering
SIGGRAPH AsiaBest Paper Award
GroomCap: High-Fidelity Prior-Free Hair Capture
Zhou, Chai, Wang, Winberg et al.
Hair CaptureReconstruction
SIGGRAPH AsiaBest Paper Award
Particle Laden Fluid on Flow Maps
Li, Chen, Lin, Liu & Zhu
Fluid SimulationParticle
SIGGRAPH AsiaBest Paper Award
Perspective-Aligned AR Mirror with Under-Display Camera
Wang, Ma, Bayer, Zhang et al.
Augmented RealityDisplay
SIGGRAPH AsiaBest Paper Award
Quark: Real-time, High-resolution, and General View Synthesis
Flynn, Broxton, Murmann, Chai et al.
Novel View SynthesisReal-time
SIGMODBest Paper Award
PolarDB-MP: A Multi-Primary Cloud-Native Database via Disaggregated Shared Memory
Yang, Zhang, Chen, Li, Wang, Fang, Sun, Wang
CloudDatabaseDistributed
SoCGBest Paper Award
An O(n log n)-Time Approximation Scheme for Geometric Many-to-Many Matching
Sayan BandyapadhyayJie Xue
Logging
SODABest Paper Award
Breaking the Metric Voting Distortion Barrier
Moses CharikarPrasanna RamakrishnanKangning WangHongxun Wu
SODABest Paper Award
Deterministic Near-Linear Time Minimum Cut in Weighted Graphs
Monika HenzingerJason LiSatish RaoDi Wang
SOSPBest Paper Award
FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring
et al.
PerformanceSystems
SOSPBest Paper Award
LazyLog: A New Shared Log Abstraction for Low-Latency Applications
et al.
Distributed SystemsStorage
SOSPBest Paper Award
OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
et al.
OSConcurrencyBug Detection
S&PDistinguished Paper Award
BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
Park, Lee, Jung, Koo, Kim
FuzzingRoot Cause Analysis
S&PDistinguished Paper Award
From Chatbots to Phishbots?: Phishing Scam Generation in Commercial Large Language Models
Roy, Thota, Naragam, Nilizadeh
LLMPhishing
S&PDistinguished Paper Award
SoK: Prudent Evaluation Practices for Fuzzing
Schloegel, Bars, Schiller, Bernhard et al.
FuzzingSoK
S&PDistinguished Paper Award
WESEE: Using Malicious #VC Interrupts to Break AMD SEV-SNP
Schlüter, Sridhara, Bertschi, Shinde
TEEMicroarchitecture
UAIOutstanding Paper Award
Approximate Bayesian Computation with Path Signatures
Joel DyerPatrick CannonSebastian M Schmon
Bayesian Methods
UbiCompDistinguished Paper Award
DIPA2: An Image Dataset with Cross-cultural Privacy Perception Annotations
Anran XuZhongyi ZhouKakeru MiyazakiRyo YoshikawaSimo HosioKoji Yatani
Privacy
UbiCompDistinguished Paper Award
FeverPhone: Accessible Core-Body Temperature Sensing for Fever Monitoring Using Commodity Smartphones
Joseph BredaMastafa SpringstonAlex MariakakisShwetak Patel
Monitoring
UbiCompDistinguished Paper Award
MITES: Design and Deployment of a General-Purpose Sensing Infrastructure for Buildings
Sudershan BoovaraghavanChen ChenAnurag MaraviMike CzapikYang ZhangChris HarrisonYuvraj Agarwal
UbiCompDistinguished Paper Award
MoCaPose: Motion Capturing with Textile-integrated Capacitive Sensors in Loose-fitting Smart Garments
Bo ZhouDaniel GeisslerMarc FaulhaberClara Elisabeth GleissEsther Friederike ZahnLala Shakti Swarup RayDavid GamarraVitor Fortes ReySungho SuhSizhen BianGesche JoostPaul Lukowicz
UbiCompDistinguished Paper Award
SkinLink: On-body Construction and Prototyping of Reconfigurable Epidermal Interfaces
Pin-Sung KuKunpeng HuangNancy WangBoaz NgAlicia ChuHsin-Liu Cindy Kao
UbiCompDistinguished Paper Award
Uncovering Bias in Personal Informatics
Sofia YfantidouPavlos SermpezisAthena VakaliRicardo Baeza-Yates
Bias
UbiCompDistinguished Paper Award
Understanding Disengagement in Just-in-Time Mobile Health Interventions
Joonyoung ParkUichin Lee
Health Informatics
UbiCompDistinguished Paper Award
What and When to Explain? On-road Evaluation of Explanations in Highly Automated Vehicles
Gwangbin KimDohyeon YeoTaewoo JoDaniela RusSeung Jun Kim
UISTBest Paper Award
EarHover: Mid-Air Gesture Recognition for Hearables Using Sound Leakage Signals
Shunta SuzukiTakashi AmesakaHiroki WatanabeBuntaro ShizukiYuta Sugiura
Audio Processing
UISTBest Paper Award
What's the Game, then? Opportunities and Challenges for Runtime Behavior Generation
Nicholas JenningsHan WangIsabel LiJames SmithBjoern Hartmann
Generative Models
UISTBest Paper Award
WorldScribe: Towards Context-Aware Live Visual Descriptions
Anhong GuoRuei-Che ChangYuxuan Liu
USENIX SecurityDistinguished Paper Award
Adversarial Illusions in Multi-Modal Embeddings
Bagdasarian, Zhang, Jha, Shmatikov
AdversarialMultimodal
USENIX SecurityDistinguished Paper Award
DVSorder: Ballot Randomization Flaws Threaten Voter Privacy
Crimmins, Narayanan, Halderman
PrivacyVoting
USENIX SecurityDistinguished Paper Award
Don't Listen to Me: Understanding and Exploring Jailbreak Prompts of Large Language Models
Zhang, Yu
LLMJailbreak
USENIX SecurityDistinguished Paper Award
Terrapin Attack: Breaking SSH Channel Integrity By Sequence Number Manipulation
Bäumer, Brinkmann, Schwenk
SSHProtocol
VLDBBest Paper Award
BOSS - An Architecture for Database Kernel Composition
Mohr-Daurat, Sun, Pirk
DatabaseArchitecture
WACVBest Paper Award
Conditional Velocity Score Estimation for Image Restoration
Shi & Liu
Image RestorationScore Matching
WACVBest Paper Award
WildlifeDatasets: An Open-Source Toolkit for Animal Re-Identification
Čermák, Picek, Adam & Papafitsoros
Animal Re-IDDataset
WSDMBest Paper Award
Long-Term Value of Exploration: Measurements, Findings and Algorithms
Yi SuYa LeXiangyu WangLiang LiuYuening LiHaokai LuBenjamin LipshitzSriraj BadamLukasz HeldtShuchao BiEd H. ChiCristos GoodrowSu-Lin WuLexi BaugherMinmin Chen
Exploration
CHIBest Paper Award
Computing and the Stigmatized: Trust, Surveillance, and Spatial Politics with the Sex Workers in Bangladesh
Pratyasha Saha, Nadira Nowsher, Ayien Utshob Baidya, Nusrat Jahan Mim, Syed Ishtiaque Ahmed, S M Taiabul Haque
HCIsocial justiceprivacysurveillance
CHIBest Paper Award
Constrained Highlighting in a Document Reader can Improve Reading Comprehension
Nikhita Joshi, Daniel Vogel
HCIreadingUI
CHIBest Paper Award
Cooking With Agents: Designing Context-aware Voice Interaction
Razan Jaber, Sabrina Zhong, Sanna Kuoppamäki, Aida Hosseini, Iona Gessinger, Duncan P Brumby, Benjamin R. Cowan, Donald McMillan
HCIvoice interactionconversational AI
CHIBest Paper Award
Cosmovision Of Data: An Indigenous Approach to Technologies for Self-Determination
Carlos Guerrero Millan, Bettina Nissen, Larissa Pschetz
HCIparticipatory designsocial justice
CHIBest Paper Award
Debate Chatbots to Facilitate Critical Thinking on YouTube: Social Identity and Conversational Style Make A Difference
Thitaree Tanprasert, Sidney S Fels, Luanne Sinnamon, Dongwook Yoon
HCIchatbotcritical thinking
CHIBest Paper Award
Deepfakes, Phrenology, Surveillance, and More! A Taxonomy of AI Privacy Risks
Hao-Ping (Hank) Lee, Yu-Ju Yang, Thomas Serban von Davier, Jodi Forlizzi, Sauvik Das
HCIprivacyAIdeepfakes
CHIBest Paper Award
Designing a Card-Based Design Tool to Bridge Academic Research & Design Practice For Societal Resilience
Novia Nurain, Chia-Fang Chung, Clara Caldeira, Kay Connelly
HCIdesign toolsparticipatory design
CHIBest Paper Award
Designing for Caregiver-facing Values Elicitation Tools
Pin Sym Foong, Natasha Ureyang, Charisse Foo, Sajeban Antonyrex, Gerald Huat Choon Koh
HCIvaluescaregiving
CHIBest Paper Award
Designing for Harm Reduction: Communication Repair for Multicultural Users’ Voice Interactions
Kimi Wenzel, Geoff Kaufman
HCIvoice interactionharm reduction
CHIBest Paper Award
Designing Multispecies Worlds for Robots, Cats, and Humans
Eike Schneiders, Steven David Benford, Alan Chamberlain, Clara Mancini, Simon D Castle-Green, Victor Zhi Heung Ngo, Ju Row Farr, Matt Adams, Nick Tandavanitj, Joel E Fischer
HCIhuman-robot interactionmultispecies
CHIBest Paper Award
DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing
Priyan Vaithilingam, Elena L. Glassman, Jeevana Priya Inala, Chenglong Wang
HCIvisualizationLLMUI
CHIBest Paper Award
Engaging recently incarcerated and gang affiliated Black and Latino/a young adults in designing social collocated applications for mixed reality smart glasses through community-based participatory design workshops
Richard Martinez, Kurt Squire
HCIparticipatory designmixed realitysocial justice
CHIBest Paper Award
From Disorientation to Harmony: Autoethnographic Insights into Transformative Videogame Experiences
Jaakko Väkevä, Elisa D. Mekler, Janne Lindqvist
HCIgamesplayer experience
CHIBest Paper Award
From Exploration to End of Life: Unpacking Sustainability in Physicalization Practices
Luiz Morais, Georgia Panagiotidou, Sarah Hayes, Tatiana Losev, Rebecca Noonan, Uta Hinrichs
HCIsustainabilitydata physicalization
CHIBest Paper Award
From Text to Self: Users’ Perception of AIMC Tools on Interpersonal Communication and Self
Yue Fu, Sami Foell, Xuhai "Orson" Xu, Alexis Hiniker
HCIAI communicationinterpersonal communication
CHIBest Paper Award
Generative Echo Chamber? Effect of LLM-Powered Search Systems on Diverse Information Seeking
Nikhil Sharma, Q. Vera Liao, Ziang Xiao
HCILLMsearchinformation seeking
CHIBest Paper Award
In Dice We Trust: Uncertainty Displays for Maintaining Trust in Election Forecasts Over Time
Fumeng Yang, Chloe Rose Mortenson, Erik Nisbet, Nicholas Diakopoulos, Matthew Kay
HCIuncertainty visualizationtrust
CHIBest Paper Award
JupyterLab in Retrograde: Contextual Notifications That Highlight Fairness and Bias Issues for Data Scientists
Galen Harrison, Kevin Bryson, Ahmad Emmanuel Balla Bamba, Luca Dovichi, Aleksander Herrmann Binion, Arthur Borem, Blase Ur
HCIAI fairnessdata science
CHIBest Paper Award
MigraineTracker: Examining Patient Experiences with Goal-Directed Self-Tracking for a Chronic Health Condition
Yasaman S. Sefidgar, Carla L. Castillo, Shaan Chopra, Liwei Jiang, Tae Jones, Anant Mittal, Hyeyoung Ryu, Jessica Schroeder, Allison Cole, Natalia Murinova, Sean A. Munson, James Fogarty
HCIhealth trackingchronic conditions
CHIBest Paper Award
Mindfulness-based Embodied Tangible Interactions for Stroke Rehabilitation at Home
Preetham Madapura Nagaraj, Wen Mo, Catherine Holloway
HCItangible interactionrehabilitation
CHIBest Paper Award
Mitigating Barriers to Public Social Interaction with Meronymous Communication
Nouran Soliman, Hyeonsu B Kang, Matt Latzke, Jonathan Bragg, Joseph Chee Chang, Amy X. Zhang, David R Karger
HCIsocial interactionprivacy
CHIBest Paper Award
Piet: Facilitating Color Authoring for Motion Graphics Video
Xinyu Shi, Yinghou Wang, Yun Wang, Jian Zhao
HCImotion graphicscreative tools
CHIBest Paper Award
Products of Positionality: How Tech Workers Shape Identity Concepts in Computer Vision
Morgan Klaus Scheuerman, Jed R. Brubaker
HCIcomputer visionidentitysocial justice
CHIBest Paper Award
PsiNet: Toward Understanding the Design of Brain-to-Brain Interfaces for Augmenting Inter-Brain Synchrony
Nathan Semertzidis, Michaela Jayne Vranic-Peters, Xiao Zoe Fang, Rakesh Patibanda, Aryan Saini, Don Samitha Elvitigala, Florian Floyd Mueller
HCIbrain-computer interfaceBCI
CHIBest Paper Award
rTisane: Externalizing conceptual models for data analysis increases engagement with domain knowledge and improves statistical model quality
Eunice Jun, Edward Misback, Jeffrey Heer, Rene Just
HCIdata analysisstatistics
CHIBest Paper Award
Seated-WIP: Enabling Walking-in-Place Locomotion for Stationary Chairs in Confined Spaces
Liwei Chan, Tzu-Wei Mi, Zhung Hao Hsueh, Yi-Ci Huang, Ming Yun Hsu
HCIVR locomotionvirtual reality
CHIBest Paper Award
Sensible and Sensitive AI for Worker Wellbeing: Factors that Inform Adoption and Resistance for Information Workers
Vedant Das Swain, Lan Gao, Abhirup Mondal, Gregory D. Abowd, Munmun De Choudhury
HCIAIworker wellbeing
CHIBest Paper Award
SketchPath: Using Digital Drawing to Integrate the Gestural Qualities of Craft in CAM-Based Clay 3D Printing
Devon Frost, Raina Lee, Eun-Ha Paek, Jennifer Jacobs
HCIcreative tools3D printingcraft
CHIBest Paper Award
SplitBody: Reducing Mental Workload while Multitasking via Muscle Stimulation
Romain Nith, Yun Ho, Pedro Lopes
HCImuscle stimulationmultitasking
CHIBest Paper Award
The Metacognitive Demands and Opportunities of Generative AI
Lev Tankelevitch, Viktor Kewenig, Auste Simkute, Ava Elizabeth Scott, Advait Sarkar, Abigail Sellen, Sean Rintel
HCIgenerative AImetacognition
CHIBest Paper Award
Throwing Out Conventions: Reimagining Craft-Centered CNC Tool Design through the Digital Pottery Wheel
Ilan E Moyer, Sam Bourgault, Devon Frost, Jennifer Jacobs
HCIfabricationcreative toolscraft
CHIBest Paper Award
Time-Turner: A Bichronous Learning Environment to Support Positive In-class Multitasking of Online Learners
Sahar Mavali, Dongwook Yoon, Luanne Sinnamon, Sidney S Fels
HCIlearningeducationmultitasking
CHIBest Paper Award
Touching the Moon: Leveraging Passive Haptics, Embodiment and Presence for Operational Assessments in Virtual Reality
Florian Dufresne, Tommy Nilsson, Geoffrey Gorisse, Enrico Guerra, André Zenner, Olivier Christmann, Leonie Bensch, Nikolai Anton Callus, Aidan Cowley
HCIhapticsvirtual realityembodiment
CHIBest Paper Award
Towards Robotic Companions: Understanding Handler-Guide Dog Interactions for Informed Guide Dog Robot Design
Hochul Hwang, Hee-Tae Jung, Nicholas A Giudice, Joydeep Biswas, Sunghoon Ivan Lee, Donghyun Kim
HCIhuman-robot interactionassistive technology
CHIBest Paper Award
Understanding Feedback in Rhythmic Gymnastics Training: An Ethnographic-Informed Study of a Competition Class
Leonor Portugal da Fonseca, Francisco Nunes, Paula Alexandra Silva
HCIsportsfeedbackethnography
CHIBest Paper Award
What Counts as Creative Work? Articulating Four Epistemic Positions in Creativity-Oriented HCI Research
Stacy Hsueh, Marianela Ciolfi Felice, Sarah Fdili Alaoui, Wendy E. Mackay
HCIcreativityresearch methods
CHIBest Paper Award
We Do Not Have the Capacity to Monitor All Media: A Design Case Study on Cyber Situational Awareness in Computer Emergency Response Teams
Marc-André Kaufhold, Thea Riebe, Markus Bayer, Christian Reuter
HCIcybersecuritysituational awareness
CHIBest Paper Award
I know I have this till my Last Breath: Unmasking the Gaps in Chronic Obstructive Pulmonary Disease (COPD) Care in India
Gautami Tripathi, Medhavi Sabherwal, Pushpendra Singh
HCIhealthcarechronic illness
CHIBest Paper Award
This app said I had severe depression, and now I do not know what to do: the unintentional harms of mental health applications
Rachael M Kang, Tera L. Reynolds
HCImental healthmobile apps
EurographicsHonorable Mention
The Impulse Particle-In-Cell Method
Sergio Sancho, Jingwei Tang, Christopher Batty, Vinicius C. Azevedo
EurographicsHonorable Mention
DivaTrack: Diverse Bodies and Motions from Acceleration-Enhanced 3-Point Trackers
Dongseok Yang, Jiho Kang, Lingni Ma, Joseph Greer, Yuting Ye, Sung-Hee Lee
EurographicsHonorable Mention
SENS: Part-Aware Sketch-based Implicit Neural Shape Modeling
Alexandre Binninger, Amir Hertz, Olga Sorkine-Hornung, Daniel Cohen-Or, Raja Giryes
MDMBest Paper Award
Efficient Shortest Path Queries on 3D Weighted Terrain Surfaces for Moving Objects
Yinzhao Yan, Raymond Chi-Wing Wong
Efficiency
ICSTTest of Time Award
Ask the Mutants: Mutating Faulty Programs for Fault Localization
Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo
Localization
I3DBest Paper Award
Filtering After Shading With Stochastic Texture Filtering
Matt Pharr, Bartlomiej Wronski, Marco Salvi, Marcos Fajardo
LICSBest Student Paper Award
Relevant S is Undecidable
Soren Brinck Knudstorp
Logic
RTSSBest Paper Award
Coherence-Aided Memory Bandwidth Regulation
Ivan Izhbirdeev, Denis Hoornaert, Weifan Chen, Alexander Zuepke, Youssef Hammad, Marco Caccamo, Renato Mancuso
Memory
SIGMETRICSBest Paper Award
Agents of Autonomy: A Systematic Study of Robotics on Modern Hardware
Mohammad Bakhshalipour, Phillip B. Gibbons
RoboticsSystems
SIGMETRICSBest Paper Award
Strongly Tail-Optimal Scheduling in the Light-Tailed M/G/1
George Yu, Ziv Scully
Scheduling
ICFPDistinguished Paper Award
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal
Probabilistic Programming
ISWCBest Paper Award
Relationships are Complicated! An Analysis of Relationships Between Datasets on the Web
Kate Lin, Tarfah Alrashed, Natasha Noy
Linked Data
ECRTSBest Paper Award
Hardware Compute Partitioning on NVIDIA GPUs for Composable Systems
Joshua Bakita, James Anderson
GPU
KRBest Paper Award
Contractions Based on Optimal Repairs
Baader & Wassermann
Belief RevisionOntologies
KRBest Paper Award
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
Ivliev, Gerlach, Meusel, Steinberg & Krötzsch
Rule ReasoningKnowledge Graphs
PerComBest Paper Award
DiTMoS: Delving into Diverse Tiny-Model Selection on Microcontrollers
Ma, He, Qiao & Ma
TinyMLMicrocontrollers
PODCBest Paper Award
Determining Recoverable Consensus Numbers
Ovens
ConsensusFault Tolerance
SPAABest Paper Award
Expediting Hazard Pointers with Bounded RCU Critical Sections
Kim, Jung & Kang
Memory ReclamationConcurrency
ECOOPDistinguished Paper Award
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
Freund & Flanagan
Concurrent ProgrammingVerification
ECOOPDistinguished Paper Award
Compiling with Arrays
Richter, Böhler, Weisenburger & Mezini
CompilersProgramming Languages
DISCBest Paper Award
Lock-Free Augmented Trees
Fatourou & Ruppert
Lock-Free AlgorithmsData Structures
IPDPSBest Paper Award
Performance-Portable Multiphase Flow Solutions with Discontinuous Galerkin Methods
Flynn, Mudalige & Manson-Sawko
HPCScientific Computing
TACASBest Paper Award
Scalable Tree-based Register Automata Learning
Fiterau-Brostean, Dierl, Howar, Jonsson, Sagonas & Tåquist
Automata LearningFormal Methods
ISMARBest Paper Award
Spatial Affordance-aware Interactable Subspace Allocation for Mixed Reality Telepresence
Kim, Kim, Choi & Woo
Mixed RealityTelepresence
RECOMBBest Paper Award
Centrifuger: lossless compression of microbial genomes for efficient and accurate metagenomic sequence classification
Song & Langmead
MetagenomicsGenome Compression
SGPBest Paper Award
1-Lipschitz Neural Distance Fields
Coiffier & Bethune
Neural Distance FieldsGeometry Processing
EMSOFTBest Paper Award
Thread Carefully: Preventing Starvation in the ROS 2 Multithreaded Executor
Teper, Kuhse, Günzel, von der Brüggen, Howar & Chen
ROS 2Real-Time
CASESBest Paper Award
A Dataflow-aware Network-on-Interposer for CNN Inferencing in the Presence of Defective Chiplets
Sharma, Ogras, Kalyanraman & Pande
CNN InferenceChiplet
CODES+ISSSBest Paper Award
Reliable, Versatile, and Efficient Data Matching in SSD's NAND Flash Memory Chip for Data Indexing Acceleration
Chen, Chang & Kuo
SSDData Indexing
LCTESBest Paper Award
TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embedded Systems
Chae, Kim & Heo
Embedded AISegmentation
VRSTBest Paper Award
Stand Alone or Stay Together: An In-situ Experiment of Mixed-Reality Applications in Embryonic Anatomy Education
Schott, Kunz, Heinrich, Mandel, Albrecht, Braun-Dullaeus & Hansen
Mixed RealityMedical Education
SOUPSDistinguished Paper Award
Beyond Fear and Frustration - Towards a Holistic Understanding of Emotions in Cybersecurity
von Preuschen, Schuhmacher & Zimmermann
CybersecurityUser Study
ISMBBest Paper Award
Extracting Clinical Significance for Drug-Gene Interactions using FDA Label Packages
Cannon
Drug-Gene InteractionBiomedical NLP
ICMRBest Paper Award
Identification of Speaker Roles and Situation Types in News Videos
Cheema, Arafat, Tseng, Bateman, Ewerth & Müller-Budack
News VideoMultimodal
ICSOCBest Paper Award
Cost-Aware Dynamic Cloud Workflow Scheduling using Self-Attention and Evolutionary Reinforcement Learning
Shen, Chen, Ma & Zhang
Workflow SchedulingCloud
IJCARBest Paper Award
Mechanised uniform interpolation for modal logics K, GL and ISL
Férée, van der Giessen, van Gool & Shillito
Modal LogicProof Mechanization
DATEBest Paper Award
FusionArch: A Fusion-Based Accelerator for Point-Based Point Cloud Neural Networks
Liu, Song, Dai, Li, Xiao, Xiang, Kong, Xu & Liang
Point CloudAccelerator
IEEE VISBest Paper Award
Entanglements for Visualization: Changing Research Outcomes through Feminist Theory
Akbaba, Klein & Meyer
VisualizationResearch Methodology
IEEE VRBest Paper Award
VR.net: A Real-world Large-scale Dataset for Virtual Reality Motion Sickness Research
Wen, Gupta, Sasikumar, Billinghurst, Wilmott, Skow, Dey & Nanayakkara
Motion SicknessVR Dataset
CCGridBest Paper Award
Characterizing and Filtering Timing Fluctuations in Short-Interval Performance Measurements
Liao & Lin
PerformanceBenchmarking
GECCOBest Paper Award
Quality with Just Enough Diversity in Evolutionary Policy Search
Templier, Grillotti, Rachelson, Wilson & Cully
Quality DiversityEvolutionary Policy
PETSTest of Time Award
The Discrete Gaussian for Differential Privacy
Canonne, Kamath & Steinke
Differential PrivacyPrivacy Theory
CLOUDBest Paper Award
TraceMesh: Scalable and Streaming Sampling for Distributed Traces
Chen, Jiang, Su, Lyu & Zheng
Distributed TracingCloud
ISPASSBest Paper Award
CiMLoop: A Fast, Flexible, and Accurate Compute-In-Memory Modeling Framework
Andrulis, Emer & Sze
Compute-In-MemoryHardware
NOMSBest Paper Award
Exploring the Benefit of Path Plausibility Algorithms in BGP
Rodday, Dreo Rodosek, Pras & van Rijswijk-Deij
BGP SecurityRouting
CLUSTERBest Paper Award
GPU Reliability Assessment: Insights Across the Abstraction Layers
Yang, Papadimitriou, Sartzetakis, Jog, Smirni & Gizopoulos
GPU ReliabilityHardware
CCCBest Paper Award
Low-Depth Algebraic Circuit Lower Bounds over Any Field
Forbes
Circuit ComplexityAlgebraic
ISAACBest Paper Award
Complexity Framework for Forbidden Subgraphs II: Edge Subdivision and the H-Graphs
Smith & van Leeuwen
Graph AlgorithmsComplexity
PERFORMANCEBest Paper Award
Agents of Autonomy: A Systematic Study of Robotics on Modern Hardware
Bakhshalipour & Gibbons
RoboticsPerformance
SASBest Paper Award
Quantitative Static Timing Analysis
Mazzucato, Campion & Urban
Timing AnalysisStatic Analysis
ICLPBest Paper Award
On Lower Bounding Minimal Model Count
Kabir & Meel
Model CountingLogic Programming
MSSTBest Paper Award
Revisiting HDD Rules of Thumb: 1/3 Is Not (Quite) the Average Seek Distance
Olmez, Bent, Arpaci-Dusseau & Dai
HDDStorage Systems
AVSSBest Paper Award
AREST: Attention-Based Red-Light Violation Detection for Safety Technology
Kim, Kim, Kim, Cho & Hong
Traffic SurveillanceObject Detection
ICRABest Paper Award
SARA-RT: Scaling up Robotics Transformers with Self-Adaptive Robust Attention
Leal, Ichter, Sermanet & Tompson
RoboticsTransformer
ISCABest Paper Award
Constable: Improving Performance and Power Efficiency by Safely Eliminating Load Instruction Execution
Orosa, Sadrosadati, Luo, Yağlıkçı, Giannoula, Ghiasi, Patel, Kim, Ausavarungnirun & Mutlu
MicroarchitectureLoad Optimization
STOCBest Paper Award
Single-Source Shortest Paths with Negative Real Weights in Õ(mn^{8/9}) Time
Fineman
Shortest PathsGraph Algorithms
STOCBest Paper Award
Near Optimal Alphabet-Soundness Tradeoff PCPs
Minzer & Zheng
PCPComplexity Theory
STOCBest Paper Award
Parameterized Inapproximability Hypothesis under Exponential Time Hypothesis
Guruswami, Lin, Ren, Sun & Wu
Parameterized ComplexityInapproximability
AAAIBest Paper Award
GxVAEs: Two Joint VAEs Generate Hit Molecules from Gene Expression Profiles
Chen Li & Yoshihiro Yamanishi
Generative Models
ACLBest Paper Award
Semisupervised Neural Proto-Language Reconstruction
Liang Lu, Peirong Xie, David R. Mortensen
ACLBest Paper Award
Why are Sensitive Functions Hard for Transformers?
Michael Hahn & Mark Rofin
ACLBest Paper Award
Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
Tharindu Madusanka, Ian Pratt-Hartmann, Riza Batista-Navarro
Transformer
ACLBest Paper Award
Deciphering Oracle Bone Language with Diffusion Models
Haisu Guan, Huanxin Yang, Xinyu Wang, Shengwei Han, Yongge Liu, Lianwen Jin, Xiang Bai, Yuliang Liu
ACLBest Paper Award
Causal Estimation of Memorisation Profiles
Pietro Lesci, Clara Meister, Thomas Hofmann, Andreas Vlachos, Tiago Pimentel
CHIBest Paper Award
“This app said I had severe depression, and now I don’t know what to do”: the unintentional harms of mental health applications
Rachael M Kang & Tera L. Reynolds
Mental Health TechnologyHealth Informatics
CVPRBest Paper Award
Mip-Splatting: Alias-free 3D Gaussian Splatting
Zehao Yu, Anpei Chen, Binbin Huang, Torsten Sattler, Andreas Geiger
CVPRBest Paper Award
BioCLIP: A Vision Foundation Model for the Tree of Life
Samuel Stevens, Jiaman Wu, Matthew J Thompson, Elizabeth G Campolongo, Chan Hee Song, David Edward Carlyn, Li Dong, Wasila M Dahdul
Foundation Models
FOCSBest Paper Award
Universal Optimality of Dijkstra via Beyond-Worst-Case Heaps
Bernhard Haeupler, Richard Hladík, Václav Rozhoň, Robert Tarjan, Jakub Tětek
FOCSBest Paper Award
Near-Optimal Deterministic Network Decomposition and Ruling Set, and Improved MIS
Mohsen Ghaffari, Christoph Grunau
FOCSBest Paper Award
Capacity Threshold for the Ising Perceptron
Brice Huang
FOCSBest Paper Award
Optimal quantile estimation: beyond the comparison model
Mihir Singhal, Meghal Gupta, Hongxun Wu
FSEBest Paper Award
A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification
Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee
Hardware
FSEBest Paper Award
"The Law Doesn't Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners
Nathan Wintersgill, Trevor Stalnaker, Laura A. Heymann, Oscar Chaparro, Denys Poshyvanyk
FSEBest Paper Award
Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation
Oussama Ben Sghaier & Houari Sahraoui
Code Review
FSEBest Paper Award
Component Security Ten Years Later: An Empirical Study of Cross-Layer Threats in Real-World Mobile Applications
Keke Lian, Lei Zhang, Guangliang Yang, Shuo Mao, Xinjie Wang, Yuan Zhang, Min Yang
FSEBest Paper Award
Understanding Developers' Discussions and Perceptions on Non-functional Requirements: The Case of the Spring Ecosystem
Anderson Oliveira, João Lucas Correia, Wesley K.G. Assunção, Juliana Alves Pereira, Rafael de Mello, Daniel Coutinho, Caio Barbosa, Paulo Vítor C. F. Libório
FSEBest Paper Award
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu
FSEBest Paper Award
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning
Aashish Yadavally, Yi Li, Tien N. Nguyen
FSEBest Paper Award
TraStrainer: Adaptive Sampling for Distributed Traces with System Runtime State
Haiyu Huang, Xiaoyu Zhang, Pengfei Chen, Zilong He, Zhiming Chen, Guangba Yu, Hongyang Chen, Chen Sun
FSEBest Paper Award
Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing
Xiao Cheng, Jiawei Ren, Yulei Sui
FSEBest Paper Award
ProveNFix: Temporal Property-Guided Program Repair
Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury
Program Repair
ICMLBest Paper Award
Scaling Rectified Flow Transformers for High-Resolution Image Synthesis
Patrick Esser, Sumith Kulal, Andreas Blattmann, Rahim Entezari, Jonas Müller, Harry Saini, Yam Levi, Dominik Lorenz
Image GenerationSynthesisScalability
ICMLBest Paper Award
VideoPoet: A Large Language Model for Zero-Shot Video Generation
Dan Kondratyuk, Lijun Yu, Xiuye Gu, José Lezama, Jonathan Huang, Grant Schindler, Rachel Hornung, Vighnesh N. Birodkar
LLMZero-Shot LearningLanguage ModelsGenerative Models
ICMLBest Paper Award
Information Complexity of Stochastic Convex Optimization: Applications to Generalization, Memorization, and Tracing
Idan Attias, Gintare Karolina Dziugaite, Mahdi Haghifam, Roi Livni, Daniel M. Roy
OptimizationTracing
ICMLBest Paper Award
Debating with More Persuasive LLMs Leads to More Truthful Answers
Akbir Khan, John Hughes, Dan Valentine, Laura Ruis, Kshitij Sachan, Ansh Radhakrishnan, Edward Grefenstette, Samuel R. Bowman
LLM
ICMLBest Paper Award
Probabilistic Inference in Language Models via Twisted Sequential Monte Carlo
Stephen Zhao, Rob Brekelmans, Alireza Makhzani, Roger Grosse
ICMLBest Paper Award
Position: Considerations for Differentially Private Learning with Large-Scale Public Pretraining
Florian Tramèr, Gautam Kamath, Nicholas Carlini
Scalability
ICMLBest Paper Award
Genie: Generative Interactive Environments
Jake Bruce, Michael J. Dennis, Ashley Edwards, Jack Parker-Holder, Yuge Shi, Edward Hughes, Matthew Lai, Aditi Mavalankar
Generative Models
ICMLBest Paper Award
Stealing part of a production language model
Nicholas Carlini, Daniel Paleka, Krishnamurthy Dvijotham, Thomas Steinke, Jonathan Hayase, A. Feder Cooper, Katherine Lee, Matthew Jagielski
Language Models
ICSEBest Paper Award
EDEFuzz: A Web API Fuzzer for Excessive Data Exposures
Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham
ICSEBest Paper Award
Modularizing while Training: a New Paradigm for Modularizing DNN Models
Binhang Qi, Hailong Sun, Hongyu Zhang, Ruobing Zhao, Xiang Gao
ICSEBest Paper Award
FAIR: Flow Type-Aware Pre-Training of Compiler Intermediate Representations
Changan Niu, Chuanyi Li, Vincent Ng, David Lo, Bin Luo
Pre-TrainingCompilers
ICSEBest Paper Award
Attention! Your Copied Data is Under Monitoring: A Systematic Study of Clipboard Usage in Android Apps
Yongliang Chen, Ruoqin Tang, Chaoshun Zuo, Xiaokuan Zhang, Lei Xue, Xiapu Luo, Qingchuan Zhao
MonitoringAndroid Security
ICSEBest Paper Award
Breaking the Flow: A Study of Interruptions During Software Engineering Activities
Yimeng Ma, Yu Huang, Kevin Leach
ICSEBest Paper Award
Code Search is All You Need? Improving Code Suggestions with Code Search
Junkai Chen, Xing Hu, Zhenhao Li, Cuiyun Gao, Xin Xia, David Lo
Search AlgorithmsCode Analysis
ICSEBest Paper Award
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley Townsend, Isobel Standen
Debugging
ICSEBest Paper Award
Property-Based Testing in Practice
Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head
ICSEBest Paper Award
Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment
Hammad Ahmad, Madeline Endres, Kaia Newman, Priscila Santiesteban, Emma Shedden, Westley Weimer
ICSEBest Paper Award
GenderMag Improves Discoverability in the Field, Especially for Women: A Multi-Year Case Study of Suggest Edit, a Code Review Feature
Emerson Murphy-Hill, Alberto Elizondo, Ambar Murillo, Marian Harbach, Bogdan Vasilescu, Delphine Carlson, Florian Dessloch
HCISoftware Engineering
ICSEBest Paper Award
Hard to Read and Understand Pythonic Idioms? DeIdiom and Explain Them in Non-Idiomatic Equivalent Code
Zejun Zhang, Zhenchang Xing, Dehai Zhao, Qinghua Lu, Xiwei (Sherry) Xu, Liming Zhu
ICSEBest Paper Award
Towards Finding Accounting Errors in Smart Contracts
Brian Zhang
ICSEBest Paper Award
Safeguarding DeFi Smart Contracts against Oracle Deviations
Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas Veneris, Fan Long
IJCAIBest Paper Award
Online Combinatorial Optimization with Group Fairness Constraints
Negin Golrezaei, Rad Niazadeh, Kumar Kshitij Patel, Fransisca Susan
OptimizationFairness
IJCAIBest Paper Award
Enhancing Controlled Query Evaluation Through Epistemic Policies
Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
IJCAIBest Paper Award
Online Learning of Capacity-Based Preference Models
Margot Herin, Patrice Perny, Nataliya Sokolovska
Online Algorithms
INFOCOMBest Paper Award
Hybrid Zone: Bridging Acoustic and Wi-Fi for Enhanced Gesture Recognition
Mengning Li & Wenye Wang
INFOCOMBest Paper Award
Scheduling Stochastic Traffic With End-to-End Deadlines in Multi-hop Wireless Networks
Christos Tsanikidis & Javad Ghaderi
SchedulingWireless Networks
KDDBest Paper Award
CAT: Interpretable Concept-based Taylor Additive Models
Viet Duong, Qiong Wu, Zhengyi Zhou, Hongjue Zhao, Chenxiang Luo, Eric Zavesky, Huaxiu Yao, Huajie Shao
Explainable AI
NeurIPSBest Paper Award
The PRISM Alignment Dataset: What Participatory, Representative and Individualised Human Feedback Reveals About the Subjective and Multicultural Alignment of Large Language Models
Hannah Rose Kirk, Alexander Whitefield, Paul Röttger, Andrew Bean, Katerina Margatina, Rafael Mosquera, Juan Ciro, Max Bartolo
LLMParticipatory Design
NeurIPSBest Paper Award
Not All Tokens Are What You Need for Pretraining
Zhenghao Lin, Zhibin Gou, Yeyun Gong, Xiao Liu, Yelong Shen, Ruochen Xu, Chen Lin, Yujiu Yang
NeurIPSBest Paper Award
Guiding a Diffusion Model with a Bad Version of Itself
Tero Karras, Miika Aittala, Tuomas Kynkäänniemi, Jaakko Lehtinen, Timo Aila, Samuli Laine
Diffusion Models
NSDIBest Paper Award
Autothrottle: A Practical Bi-Level Approach to Resource Management for SLO-Targeted Microservices
Zibo Wang, Pinghe Li, Chieh-Jan Mike Liang, Feng Wu, Francis Y. Yan
NSDIBest Paper Award
Can't Be Late: Optimizing Spot Instance Savings under Deadlines
Zhanghao Wu, Wei-Lin Chiang, Ziming Mao, Zongheng Yang, Eric Friedman, Scott Shenker, Ion Stoica
Optimization
NSDIBest Paper Award
The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols Analysis, Implementation, and Experimentation
Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo, Mohammad Sadoghi
NSDIBest Paper Award
Democratizing Direct-to-Cell Low Earth Orbit Satellite Networks
Lixin Liu, Yuanjie Li, Hewu Li, Jiabo Yang, Wei Liu, Jingyi Lan, Yufeng Wang, Jiarui Li
NSDIBest Paper Award
Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols
Gina Yuan, Matthew Sotoudeh, David K. Zhang, Michael Welzl, David Mazières, Keith Winstein
OSDIBest Paper Award
ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production Testing
Mike Chow, Yang Wang, William Wang, Ayichew Hailu, Rohan Bopardikar, Bin Zhang, Jialiang Qu, David Meisner
OSDIBest Paper Award
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDIBest Paper Award
Anvil: Verifying Liveness of Cluster Management Controllers
Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon
Clustering
PLDIBest Paper Award
Predictable Verification using Intrinsic Definitions
Adithya Murali, Cody Rivera, P. Madhusudan
PLDIBest Paper Award
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
Xiaodong Jia & Gang Tan
S&PBest Paper Award
Shedding Light on CVSS Scoring Inconsistencies: A User-Centric Study on Evaluating Widespread Security Vulnerabilities
Julia Wunder, Andreas Kurtz, Christian Eichenmüller, Freya Gassmann, Zinaida Benenson
S&PBest Paper Award
"False negative - that one is going to kill you." - Understanding Industry Perspectives of Static Analysis based Security Testing
Amit Seal Ami, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni
S&PBest Paper Award
The Great Request Robbery: An Empirical Study of Client-side Request Hijacking Vulnerabilities on the Web
Soheil Khodayari, Thomas Barber, Giancarlo Pellegrino
S&PBest Paper Award
SoK: Unintended Interactions among Machine Learning Defenses and Risks
Vasisht Duddu, Sebastian Szyller, N. Asokan
S&PBest Paper Award
From Virtual Touch to Tesla Command: Unlocking Unauthenticated Control Chains From Smart Glasses for Vehicle Takeover
Xingli Zhang, Yazhou Tu, Yan Long, Liqun Shan, Mohamed A Elsaadani, Kevin Fu, Zhiqiang Lin, Xiali Hei
Touch Interfaces
SIGCOMMBest Paper Award
The Next Generation of BGP Data Collection Platforms
Thomas Alfroy, Thomas Holterbach, Thomas Krenc, kc Claffy, Cristel Pelsser
Generative Models
SIGCOMMBest Paper Award
Understanding the Host Network
Midhul Vuppalapati, Saksham Agarwal, Henry N. Schuh, Baris Kasikci, Arvind Krishnamurthy, Rachit Agarwal
SIGIRBest Paper Award
Scaling Laws For Dense Retrieval
Yan Fang, Jingtao Zhan, Qingyao Ai, Jiaxin Mao, Weihang Su, Jia Chen, Yiqun Liu
Scalability
SIGIRBest Paper Award
A Workbench for Autograding Retrieve/Generate Systems
Laura Dietz
Generative Models
SIGMODBest Paper Award
Implementation Strategies for Views over Property Graphs
Soonbo Han & Zack Ives
SODABest Paper Award
New Explicit Constant-degree Lossless Expanders
Louis Golowich
STOCBest Paper Award
Shaving Logs via Large Sieve Inequality: Faster Algorithms for Sparse Convolution and More
Ce Jin & Yinzhan Xu
Sparse Methods
STOCBest Paper Award
Relaxed Local Correctability from Local Testing
Vinayak M. Kumar & Geoffrey Mon
UISTBest Paper Award
Augmented Physics: Creating Interactive and Embedded Physics Simulations from Static Textbook Diagrams
Aditya Gunturu, Yi Wen, Nandi Zhang, Jarin Thundathil, Rubaiat Habib Kazi, Ryo Suzuki
VLDBBest Paper Award
OmniSketch: Efficient Multi-Dimensional High-Velocity Stream Analytics with Arbitrary Predicates
Wieger R. Punter, Odysseas Papapetrou, Minos Garofalakis
Efficiency
WWWBest Paper Award
Mechanism Design for Large Language Models
Paul Dütting, Vahab Mirrokni, Renato Paes Leme, Haifeng Xu, Song Zuo
LLMMechanism Design

CS-Pedia — 한국 CS 연구자를 위한 학회 통합 플랫폼

데이터 출처: DBLP (CC0), OpenAlex (CC0), Semantic Scholar, aideadlin.es (MIT), 한국연구재단, 한국정보과학회, jeffhuang.com

제출 전 데드라인·학회 일정은 공식 웹사이트에서 반드시 확인하세요.

소개·개인정보 처리방침·이용약관·문의