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

2024

286 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

USENIX ATCBest Paper Award

An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise

Hongyu LiLiwei GuoYexuan YangShangguang WangMengwei Xu

rustlinuxkernelempirical study

USENIX ATCBest Paper Award

FastCommit: resource-efficient, performant and cost-effective file system journaling

Harshad ShirwadkarSaurabh KadekodiTheodore Tso

file systemsjournalingstorage

USENIX 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