Best Papers
수상작 아카이브
778개 논문 · 85개 학회 · 2020–2025
연도
학회
2025
176 papersWWWBest Paper Award
Behavioral Homophily in Social Media via Inverse Reinforcement Learning: A Reddit Case Study
["Philipp Schneider","Lanqin Yuan","Marian-Andrei Rizoiu"]
social networksmachine learningweb mininghomophily
WSDMBest Paper Award
How Do Recommendation Models Amplify Popularity Bias? An Analysis from the Spectral Perspective
["Siyi Lin","Chongming Gao","Jiawei Chen","Sheng Zhou","Binbin Hu","Yan Feng","Chun Chen","Can Wang"]
WACVBest Student Paper
GeoDiffuser: Geometry-Based Image Editing with Diffusion Models
Sajnani et al.
Image EditingDiffusion
WACVBest Paper
Optimizing Vision-Language Model for Road Crossing Intention Estimation
Uziel & Bialer
Vision-LanguageAutonomous Driving
WACVBest Paper
RayGauss: Volumetric Gaussian-Based Ray Casting for Photorealistic Novel View Synthesis
Blanc, Deschaud & Paljic
Novel View SynthesisGaussian Splatting
VLDBBest Paper Award
AnyBlox: A Framework for Self-Decoding Datasets
["Mateusz Gienieczko","Maximilian Kuschewski","Thomas Neumann","Viktor Leis","Jana Giceva"]
databasesdata compressionstorage
VLDBBest Paper Award
Diva: Dynamic Range Filter for Var-Length Keys and Queries
["Navid Eslami","Ioana Bercea","Niv Dayan"]
databasesdata structuresrange filtering
UbiCompDistinguished Paper Award
NeuroCamTags: Long-Range, Battery-free, Wireless Sensing with Neuromorphic Cameras
["Danny Scott","Matthew L Bringle","Imran Fahad","Gaddiel Morales","Azizul Zahid","Sai Swaminathan"]
UbiCompDistinguished Paper Award
MagDesk: Interactive Tabletop Workspace Based on Passive Magnetic Tracking
["Kunpeng Huang","Yasha Iravantchi","Dongyao Chen","Alanson Sample"]
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 Nepal","Wenjun Liu","Arvind Pillai","Weichen Wang","Vlado Vojdanovski","Jeremy F. Huckins","Courtney Rogers","Meghan L. Meyer","Andrew T. Campbell"]
UAIBest Paper Award
Probabilistic Explanations for Regression Models
["Frédéric Koriche","Jean-Marie Lagniez","Chi Tran"]
STOCBest Paper Award
Quasi-Linear Size PCPs with Small Soundness from HDX
["Mitali Bafna","Dor Minzer","Nikhil Vyas","Zhiwei Yun"]
complexity theorypcperror correcting codes
STOCBest Paper Award
Breaking the Sorting Barrier for Directed Single-Source Shortest Paths
["Ran Duan","Jiayi Mao","Xiao Mao","Xinkai Shu","Longhui Yin"]
algorithmsgraph algorithmsshortest paths
STOCBest Paper Award
Vizing's Theorem in Near-Linear Time
["Sepehr Assadi","Soheil Behnezhad","Sayan Bhattacharya","Martín Costa","Shay Solomon","Tianyi Zhang"]
algorithmsgraph theoryedge coloring
STOCBest Paper Award
Simulating Time with Square-Root Space
["R. Ryan Williams"]
complexity theorytime-space tradeoffalgorithms
STOCBest Paper Award
Explicit Folded Reed-Solomon and Multiplicity Codes Achieve Relaxed Generalized Singleton Bounds
["Yeyuan Chen","Zihan Zhang"]
coding theoryerror-correcting codescomplexity theory
S&Pdistinguished_paper
The Inadequacy of Similarity-based Privacy Metrics: Privacy Attacks against 'Truly Anonymous' Synthetic Datasets
Ganev, De Cristofaro
PrivacySynthetic Data
S&Pdistinguished_paper
Breaking the Barrier: Post-Barrier Spectre Attacks
Wikner, Razavi
SpectreMicroarchitecture
SOSPBest Paper Award
Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement
["Hao Sun","Zhendong Su"]
operating systemsformal verificationprogram analysissecurity
SIGMODBest Paper Award
Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt?
["Kaisong Huang","Jiatang Zhou","Zhuoyue Zhao","Dong Xie","Tianzheng Wang"]
databasestransaction schedulingconcurrencyperformance
SIGMODBest Paper Award
LpBound: Pessimistic Cardinality Estimation Using Lp-Norms of Degree Sequences
["Haozhe Zhang","Christoph Mayer","Mahmoud Abo Khamis","Dan Olteanu","Dan Suciu"]
databasescardinality estimationquery optimization
SIGIRBest Paper Award
WARP: An Efficient Engine for Multi-Vector Retrieval
["Jan Luca Scheerer","Matei Zaharia","Christopher Potts","Gustavo Alonso","Omar Khattab"]
information retrievalvector searchefficiency
SIGGRAPHBest Paper
Vector-valued Monte Carlo Integration using Ratio Control Variates
Li et al.
RenderingMonte Carlo
SIGGRAPHBest Paper
CAST: Component-Aligned 3D Scene Reconstruction from an RGB Image
Liu et al.
3D ReconstructionScene Understanding
SIGCOMMBest Paper
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
SenSysBest Paper Award
RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
["Shiyang Wang","Henglin Pu","Qiming Cao","Wenjun Jiang","Xingchen Wang","Tianci Liu","Zhengxin Jiang","Hongfei Xue","Lu Su"]
SCBest Paper Award
ORBIT-2: Scaling Exascale Vision Foundation Models for Weather and Climate Downscaling
["Xiao Wang","Jong-Youl Choi","Takuya Kurihaya","Isaac Lyngaas","Hong-Jun Yoon","Nasik Muhammad Nafi","Aristeidis Tsaris","Fan Ming","Ashwin M Aji","Maliha Hossain","Mohamed Wahib","Dali Wang","Peter Thornton","Moetasim Ashfaq","Prasanna Balaprakash","Dan Lu"]
PPoPPDistinguished Paper Award
BerryBees: Breadth First Search by Bit-Tensor-Cores
["Yuyao Niu","Marc Casas"]
PPoPPDistinguished Paper Award
Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
["Ajay Singh","Trevor Brown"]
PPoPPDistinguished Paper Award
EVeREST: An Effective and Versatile Runtime Energy Saving Tool for GPUs
["Anna Yue","Pen-Chung Yew","Sanyam Mehta"]
POPLDistinguished Paper Award
Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings
["Jan van Brügge","James McKinna","Andrei Popescu","Dmitriy Traytel"]
formal methodstype theoryinduction
POPLDistinguished Paper Award
Affect: An Affine Type and Effect System
["Orpheas van Rooij","Robbert Krebbers"]
type systemseffectsaffine types
POPLDistinguished Paper Award
Relaxed Memory Concurrency Re-executed
["Evgenii Moiseenko","Matteo Meluzzi","Innokentii Meleshchenko","Ivan Kabashnyi","Anton Podkopaev","Soham Chakraborty"]
concurrencymemory modelsformal methods
POPLDistinguished Paper Award
Data Race Freedom à la Mode
["Aina Linn Georges","Benjamin Peters","Laila Elbeheiry","Leo White","Stephen Dolan","Richard A. Eisenberg","Chris Casinghino","François Pottier","Derek Dreyer"]
concurrencyrace freedomtype systems
POPLDistinguished Paper Award
A Primal-Dual Perspective on Program Verification Algorithms
["Takeshi Tsukada","Hiroshi Unno","Oded Padon","Sharon Shoham"]
formal verificationalgorithmsfixpoint
POPLDistinguished Paper Award
Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
["Fabian Zaiser","Andrzej Murawski","C.-H. Luke Ong"]
probabilistic programmingformal methodsloops
POPLDistinguished Paper Award
TensorRight: Automated Verification of Tensor Graph Rewrites
["Jai Arora","Sirui Lu","Devansh Jain","Tianfan Xu","Farzin Houshmand","Phitchaya Mangpo Phothilimthana","Mohsen Lesani","Praveen Narayanan","Karthik Srinivasa Murthy","Rastislav Bodík","Amit Sabne","Charith Mendis"]
machine learningcompilersformal verificationtensor
PODSBest Paper Award
Output-sensitive Conjunctive Query Evaluation
["Shaleen Deep","Hangdong Zhao","Austen Fan","Paraschos Koutris"]
PLDIDistinguished Paper Award
AWDIT: An Optimal Weak Database Isolation Tester
["Lasse Møldrup","Andreas Pavlogiannis"]
databasesisolationtestingformal methods
PLDIDistinguished Paper Award
Practical Type Inference with Levels
["Andong Fan","Han Xu","Ningning Xie"]
type systemstype inferenceprogramming languages
PLDIDistinguished Paper Award
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
["Jaehwang Jung","Sunho Park","Janggun Lee","Jeho Yeon","Jeehoon Kang"]
memory safetyconcurrencyformal methodsseparation logic
PLDIDistinguished Paper Award
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
["Daan Leijen","Wenjia Ye"]
type systemstype inferenceoverloadingprogramming languages
PLDIDistinguished Paper Award
Destabilizing Iris: Non-Step-Indexed Separation Logic for Stored Higher-Order State
["Simon Spies","Niklas Mück","Haoyi Zeng","Michael Sammler","Andrea Lattuada","Peter Müller","Derek Dreyer"]
program verificationseparation logicformal methodsiris
PLDIDistinguished Paper Award
Tree Borrows: A Permissive Aliasing Model for Rust
["Neven Villani","Johannes Hostert","Derek Dreyer","Ralf Jung"]
memory safetyrustaliasingformal methods
OSDIBest Paper Award
Building Bridges: Safe Interactions with Foreign Languages through OmniGlot
Schuermann, Toubes, Potyondy, Pannuto, Milano & Levy
Language InteroperabilitySafety
OSDIBest Paper Award
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols
Zhang et al.
Formal VerificationDistributed Systems
OOPSLADistinguished Paper Award
Incremental Bidirectional Typing via Order Maintenance
Porter, Kirisame, Wei, Panchekha & Omar
Type SystemsIncremental Computation
NSDIOutstanding Paper Award
NDD: A Decision Diagram for Network Verification
Li, Zhang, Zhang & Yang
Network VerificationDecision Diagrams
NDSSdistinguished_paper
DUMPLING: Fine-grained Differential JavaScript Engine Fuzzing
Wachter, Gremminger, Wressnegger, Payer, Toffalini
FuzzingJavaScript
NDSSdistinguished_paper
SafeSplit: A Novel Defense Against Client-Side Backdoor Attacks in Split Learning
Rieger, Pegoraro, Kumari, Abera, Knauer, Sadeghi
Federated LearningBackdoor
NDSSdistinguished_paper
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
Wu et al.
LLMSmart Contract
NAACLBest Paper
REL-A.I.: An Interaction-Centered Approach To Measuring Human-LM Reliance
Zhou, Hwang, Ren, Dziri, Jurafsky, Sap
Human-AIReliance
NAACLBest Paper
InspAIred: Cross-cultural Inspiration Detection and Analysis in Real and LLM-generated Social Media Data
Ignat, Lakshmy, Mihalcea
CultureLLM
MSRDistinguished Paper Award
How Much Do Code Language Models Remember? An Investigation on Data Extraction Attacks before and after Fine-tuning
["Fabio Salerno","Ali Al-Kaswan","Maliheh Izadi"]
MSRDistinguished Paper Award
Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
["Julien Malka","Stefano Zacchiroli","Théo Zimmermann"]
MSRDistinguished Paper Award
How Effective are LLMs for Data Science Coding? A Controlled Experiment
["Nathalia Nascimento","Everton Guimaraes","Sai Sanjna Chintakunta","Santhosh Anitha Boominathan"]
MSRDistinguished Paper Award
Can LLMs Replace Manual Annotation of Software Engineering Artifacts?
["Toufique Ahmed","Premkumar Devanbu","Christoph Treude","Michael Pradel"]
MSRDistinguished Paper Award
It's About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software
["Shrey Tiwari","Serena Chen","Alexander Joukov","Peter Vandervelde","Ao Li","Rohan Padhye"]
MobiSysBest Paper Award
ARIA: Optimizing Vision Foundation Model Inference on Heterogeneous Mobile Processors for Augmented Reality
["Chanyoung Jung","Jeho Lee","Gunjoong Kim","Jiwon Kim","Seonghoon Park","Hojung Cha"]
MobiSysBest Paper Award
Data Can Speak for Itself: Quality-guided Utilization of Wireless Synthetic Data
["Chen Gong","Bo Liang","Wei Gao","Chenren Xu"]
MobiHocBest Paper Award
REMARKABLE: RIS-Enabled Mobile Beamforming through Kernalized Bandit Learning
["Kubra Alemdar","Arnob Ghosh","Vini Chaudhary","Ness Shroff","Kaushik Chowdhury"]
EuroSysBest Paper
SpInfer: Leveraging Low-Level Sparsity for Efficient Large Language Model Inference on GPUs
Fan, Wang et al.
LLMGPUSparsity
EuroSysBest Paper
CacheBlend: Fast Large Language Model Serving for RAG with Cached Knowledge Fusion
Yao, Li, Liu, Ray, Cheng, Zhang, Du, Lu, Jiang
LLMInferenceRAG
EurographicsBest Paper
A Unified Multi-Scale Method for Simulating Immersed Bubbles
Wretborn, Stomakhin & Batty
Fluid SimulationMulti-scale
EMNLPBest Paper Award
Infini-gram mini: Exact n-gram Search at the Internet Scale with FM-Index
["Hao Xu","Jiacheng Liu","Yejin Choi","Noah A. Smith","Hannaneh Hajishirzi"]
MobiComBest Paper
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
MiddlewareBest Paper Award
Recipe: Hardware-Accelerated Replication Protocols
["Dimitra Giantsidi","Emmanouil Giortamis","Julian Pritzi","Maurice Bailleu","Manos Kapritsos","Pramod Bhatotia"]
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
KDDBest Paper Award (Applied Data Science Track)
Evaluating Decision Rules Across Many Weak Experiments
Chou, Gray, Kallus, Bibaut & Ejdemyr
Causal InferenceExperimentation
KDDBest Paper Award (Research Track)
Improving Group Robustness on Spurious Correlation via Evidential Alignment
Ye, Zheng & Zhang
RobustnessSpurious Correlation
IUIBest Paper Award
Text-to-Image Generation for Vocabulary Learning Using the Keyword Method
["Nuwan T. Attygalle","Matjaž Kljun","Aaron Quigley","Klen Čopič Pucihar","Jens Grubert","Valentin Biener","Luis A. Leiva","Junichi Yoneyama","Alice Toniolo","Alberto Miguel","Hiroyuki Kato","Maheshya Weerasinghe"]
ISCABest Paper
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
Precise exceptions in relaxed architectures
Simner, Armstrong, Bauereiss, Campbell, Kammar, Pichon-Pharabod, Sewell
ArchitectureFormal Methods
INFOCOMBest Paper Award
Safeguarding Wi-Fi 7 and Beyond: Tackling Protocol-Aware Jamming in Multi-AP Coordination
Talukder et al.
Wi-Fi 7Wireless Security
INFOCOMBest Paper Award
DUNE: Distributed Inference in the User Plane
Bütün, De Andrés Hernández, Gucciardo & Fiore
Distributed InferenceMobile Networks
IJCAIdistinguished_paper
Speeding Up Hyper-Heuristics With Markov-Chain Operator Selection and the Only-Worsening Acceptance Operator
Bendahi, Doerr, Fradin, Lutzeyer
Optimization
IJCAIdistinguished_paper
Boost Embodied AI Models with Robust Compression Boundary
Yu, Chen, Gan
Embodied AICompression
IJCAIdistinguished_paper
Combining MORL with Restraining Bolts to Learn Normative Behaviour
Neufeld, Ciabattoni, Tulcan
RLEthics
ICSEdistinguished_paper
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Saavedra, Ferreira
VerificationLLM
ICSEdistinguished_paper
It's About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software
Tiwari, Chen, Joukov, Vandervelde, Li, Padhye
Bug StudyPython
ICSEdistinguished_paper
Can LLMs Replace Manual Annotation of Software Engineering Artifacts?
Ahmed, Devanbu, Treude, Pradel
LLMSoftware Engineering
ICRABest Paper
Robo-DM: Efficient Robot Big Data Management
Goldberg, Kubiatowicz et al.
Robot LearningData Management
ICRABest Paper
MAC-VO: Metrics-aware Covariance for Learning-based Stereo Visual Odometry
Qiu, Chen, Zhang, Wang, Scherer
Visual OdometryRobot Perception
ICMLoutstanding_paper
Conformal Prediction as Bayesian Quadrature
Snell, Griffiths
Conformal PredictionBayesian
ICMLoutstanding_paper
Train for the Worst, Plan for the Best: Understanding Token Ordering in Masked Diffusions
Kim, Shah, Kontonis, Kakade, Chen
DiffusionLLM
ICMLoutstanding_paper
The Value of Prediction in Identifying the Worst-Off
Fischer Abaigar, Kern, Perdomo
FairnessPrediction
ICMLoutstanding_paper
CollabLLM: From Passive Responders to Active Collaborators
Wu, Galley, Peng, Cheng, Li, Dou, Cai, Zou, Leskovec, Gao
LLMAgent
ICMLoutstanding_paper
Roll the dice & look before you leap: Going beyond the creative limits of next-token prediction
Nagarajan, Wu, Ding, Raghunathan
LLMGeneration
ICDMBest Paper Award
Attributed Hypergraph Generation with Realistic Interplay Between Structure and Attributes
["Jaewan Chun","Seokbum Yoon","Minyoung Choe","Geon Lee","Kijung Shin"]
ICDEBest Paper Award
Incremental Stream Query Placement in Massively Distributed and Volatile Infrastructures
["Ankit Chaudhary","Kaustubh Beedkar","Jeyhun Karimov","Felix Lang","Steffen Zeuch","Volker Markl"]
ICDCSDistinguished Paper Award
Mast: Efficient Training of Mixture-of-Experts Transformers with Task Pipelining and Ordering
["Wenxiang Lin","Xinglin Pan","Shaohuai Shi","Xuan Wang","Bo Li","Xiaowen Chu"]
ICCVBest Paper
Generating Physically Stable and Buildable Brick Structures from Text
Pun, Deng, Liu, Ramanan, Liu & Zhu
3D GenerationText-to-3D
ICCADBest Paper Award
Semidefinite Programming-Based Decoupling Capacitor Placement for Power Distribution Network Optimization
["Zong-Ying Cai","Wei-Han Mao","Yao-Wen Chang","Yang Lu","Jerry Bai","Bin-Chyi Tseng"]
ICCADBest Paper Award
LaZagna: An Open-Source Framework for Flexible 3D FPGA Architectural Exploration
["Ismael Youssef","Hang Yang","Cong Hao"]
HRIBest Paper Award
Gaze Behavior During a Long-term, In-Home, Social Robot Intervention for Children with ASD
["Rebecca Ramnauth","Fred Shic","Brian Scassellati"]
OOPSLADistinguished Paper Award
Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
Lian & Wang
RustResource Analysis
HPCABest Paper Award
DynamoLLM: Designing LLM Inference Clusters for Performance and Energy Efficiency
Stojkovic, Zhang, Goiri, Torrellas & Choukse
LLM InferenceEnergy Efficiency
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
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
Hallucination Detection in Large Language Models with Metamorphic Relations
Yang, Al Mamun, Zhang & Uddin
LLMHallucination Detection
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
Demystifying LLM-based Software Engineering Agents
Xia, Deng, Dunn & Zhang
LLMSoftware Agents
FOCSBest Paper Award
Breaking a Long-Standing Barrier: 2-ε Approximation for Steiner Forest
Ahmadi, Gholami, Hajiaghayi, Jabbarzade & Mahdavi
Approximation AlgorithmsGraph Theory
FOCSBest Paper Award
Quasipolynomial Bounds for the Corners Theorem
Jaber, Liu, Lovett, Ostuni & Sawhney
CombinatoricsAdditive Combinatorics
FOCSBest Paper Award
Explicit Lossless Vertex Expanders
Hsieh, Lubotzky, Mohanty, Reiner & Zhang
Expander GraphsCombinatorics
FASTBest Paper Award
Mooncake: Trading More Storage for Less Computation — A KVCache-centric Architecture for Serving LLM Chatbot
["Ruoyu Qin","Zheming Li","Weiran He","Jialei Cui","Feng Ren","Mingxing Zhang","Yongwei Wu","Weimin Zheng","Xinran Xu"]
EUROCRYPTBest Paper Award
Polynomial Time Cryptanalytic Extraction of Deep Neural Networks
Carlini, Chávez-Saab, Hambitzer, Rodríguez-Henríquez & Shamir
Neural NetworksCryptanalysis
DACBest Paper Award
INSTA: An Ultra-Fast, Differentiable, Statistical Static Timing Analysis Engine for Industrial Physical Design Applications
["Yi-Chen Lu","Zizheng Guo","Kishor Kunal","Rongjian Liang","Haoxing Ren"]
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
MegaSaM: Accurate, Fast and Robust Structure and Motion from Casual Dynamic Videos
Li, Tucker, Cole, Wang et al.
Structure from MotionDynamic Scenes
CVPRBest Student Paper
Neural Inverse Rendering from Propagating Light
Malik, Attal, Xie, O'Toole & Lindell
Inverse RenderingNeural Rendering
CVPRBest Paper
VGGT: Visual Geometry Grounded Transformer
Wang, Chen, Karaev, Vedaldi, Rupprecht & Novotny
3D VisionTransformer
CSCWBest Paper Award
WeAudit: Scaffolding User Auditors and AI Practitioners in Auditing Generative AI
["Wesley Hanwen Deng","Claire Wang","Howard Ziyu Han","Motahhare Eslami"]
CRYPTOBest Paper Award
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
Shmueli & Zhandry
Quantum SignaturesObfuscation
CHIBest Paper
ClueCart: Supporting Game Story Interpretation and Narrative Inference from Fragmented Clues
Li Quan et al.
GamesNarrative
CHIBest Paper
Relational AI: Facilitating Intergroup Cooperation with Socially Aware Conversational Support
Claggett, Kraut, Shirado
Social ComputingAI
CCSdistinguished_paper
Adversarial Observations in Weather Forecasting
Erik Imgrund, Thorsten Eisenhofer, Konrad Rieck
Adversarial MLAI Security
AAAIoutstanding_paper
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
Belly, Fijalkow, Gimbert, Horn, Perez, Vandenhove
POMDPFormal Methods
AAAIoutstanding_paper
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
Hu, Dai, Jiang, Zhou
Neuro-SymbolicReasoning
AAAIoutstanding_paper
Every Bit Helps: Achieving the Optimal Distortion with a Few Queries
Ebadian, Shah
Social Choice
COLTBest Paper Award
What Makes Treatment Effects Identifiable? Characterizations and Estimators Beyond Unconfoundedness
["Yang Cai","Alkis Kalavasis","Katerina Mamali","Anay Mehrotra","Manolis Zampetakis"]
COLINGBest Paper
Towards Understanding Multi-Task Learning (Generalization) of LLMs via Detecting and Exploring Task-Specific Neurons
Leng, Xiong
LLMMulti-Task
COLINGBest Paper
Why do language models perform worse for morphologically complex languages?
Arnett, Bergen
MorphologyLLM
CCSdistinguished_paper
Harnessing Vital Sign Vibration Harmonics for Effortless and Inbuilt XR User Authentication
Yingying Chen et al.
AuthenticationXRBiometrics
CCSdistinguished_paper
A Decade-long Landscape of Advanced Persistent Threats: Longitudinal Analysis and Global Trends
Doowon Kim et al.
APTThreat Intelligence
CCSdistinguished_paper
On the Security of SSH Client Signatures
Fabian Bäumer, Marcus Brinkmann, Maximilian Radoy, Jörg Schwenk, Juraj Somorovsky
SSHCryptography
CCSdistinguished_paper
Leaky Apps: Large-scale Analysis of Secrets Distributed in Android and iOS Apps
David Schmidt, Sebastian Schrittwieser, Edgar Weippl
Mobile SecurityPrivacy
ASPLOSBest Paper
Orion: A Fully Homomorphic Encryption Framework for Deep Learning
Austin Ebel, Karthik Garimella, Brandon Reagen
Homomorphic EncryptionDeep Learning
ASPLOSBest Paper
xUI: Extended User Interrupts
Berk Aydogmus, Linsong Guo, Danial Zuberi, Tal Garfinkel, Dean Tullsen, Amy Ousterhout, Kazem Taram
OSArchitecture
ASPLOSBest Paper
CXLfork: Fast Remote Fork over CXL Fabrics
Chloe Alverti, Stratos Psomadakis, Burak Ocalan, Shashwat Jaiswal, Tianyin Xu, Josep Torrellas
CXLMemory
USENIX ATCBest Paper Award
Accelerating Nested Virtualization with HyperTurtle
["Ori Ben Zur","Jakob Krebs","Shai Aviram Bergman","Mark Silberstein"]
virtualizationhypervisorperformance
USENIX ATCBest Paper Award
The Koala Benchmarks for the Shell: Characterization and Implications
["Evangelos Lamprou","Ethan Williams","Georgios Kaoukis","Zhuoxuan Zhang","Michael Greenberg","Konstantinos Kallas","Lukas Lazarek","Nikos Vasilakis"]
shellbenchmarkssystems
ASEDistinguished Paper Award
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
["Jingjing Liang","Shan Huang","Ting Su"]
mlircompilerfuzzing
ASEDistinguished Paper Award
Clarifying Semantics of In-Context Examples for Unit Test Generation
["Chen Yang","Lin Yang","Ziqi Wang","Dong Wang","Jianyi Zhou","Junjie Chen"]
unit testingllmin-context learning
ASEDistinguished Paper Award
Characterizing Multi-Hunk Patches: Divergence, Proximity, and LLM Repair Challenges
["Noor Nashid","Daniel Ding","Keheliya Gallaba","Ahmed E. Hassan","Ali Mesbah"]
patch repairllmbug fixing
ASEDistinguished Paper Award
LOSVER: Line-Level Modifiability Signal-Guided Vulnerability Detection and Classification
["Doha Nam","Jongmoon Baik"]
vulnerability detectionsecuritycode analysis
ASEDistinguished Paper Award
Programmers' Visual Attention on Function Call Graphs During Code Summarization
["Samantha McLoughlin","Zachary Karas","Robert Wallace","Aakash Bansal","Collin McMillan","Yu Huang"]
code summarizationeye trackingprogram comprehension
ASEDistinguished Paper Award
LogMoE: Lightweight Expert Mixture for Cross-System Log Anomaly Detection
["Jiaxing Qi","Zhongzhi Luan","Shaohan Huang","Carol Fung","Yuchen Wang","Aibin Wang","Hongyu Zhang","Hailong Yang","Depei Qian"]
log analysisanomaly detectionmixture of experts
ASEDistinguished Paper Award
'My productivity is boosted, but ...' Demystifying Users' Perception on AI Coding Assistants
["Yunbo Lyu","Zhou Yang","Jieke Shi","Jianming Chang","Yue Liu","David Lo"]
ai assistantsproductivityempirical study
ASEDistinguished Paper Award
FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale
["Chengpeng Li","Farnaz Behrang","August Shi","Peng Liu"]
flaky teststest repairindustry
ASEDistinguished Paper Award
TEPHRA: Principled Discovery of Fuzzer Limitations
["Vasil Sarafov","David Markvica","Stefan Brunthaler"]
fuzzingevaluationlimitations
ASEDistinguished Paper Award
Rechecking Recheck Requests in Continuous Integration: An Empirical Study of OpenStack
["Yelizaveta Brus","Rungroj Maipradit","Earl T. Barr","Shane McIntosh"]
continuous integrationempirical studyopenstack
ASEDistinguished Paper Award
WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing Schedule
["Xiaogang Zhu","Enze Dai","Xiaotao Feng","Shaohua Wang","Xin Xia","Sheng Wen","Kwok-Yan Lam","Yang Xiang"]
iotfuzzingprotocol testing
ASEDistinguished Paper Award
Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring
["Shinhae Kim","Saikat Dutta","Owolabi Legunsen"]
runtime verificationmonitoringtesting
ASEDistinguished Paper Award
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories
["Islem Bouzenia","Michael Pradel"]
software agentsllmautonomous programming
ASEDistinguished Paper Award
Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue Repair
["Kai Huang","Jian Zhang","Xiaofei Xie","Chunyang Chen"]
multimodal llmbug repairvisual reasoning
ASEDistinguished Paper Award
Not Every Patch is an Island: LLM-Enhanced Identification of Multiple Vulnerability Patches
["Yi Song","Dongchen Xie","Lin Xu","He Zhang","Chunying Zhou","Xiaoyuan Xie"]
vulnerability patchesllmsecurity
ASEDistinguished Paper Award
Efficient and Verifiable Proof Logging for MaxSAT Solving
["Raoul van Doren","Timos Antonopoulos","Ruzica Piskac"]
maxsatproof loggingverification
ASEDistinguished Paper Award
Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
["Zhi Ma","Cheng Wen","Zhexin Su","Xiao Liang","Cong Tian","Shengchao Qin","Mengfei Yang"]
requirementsformal specificationltlllm
ASEDistinguished Paper Award
iKnow: an Intent-Guided Chatbot for Cloud Operations with Retrieval-Augmented Generation
["Junjie Huang","Yuedong Zhong","Guangba Yu","Zhihan Jiang","Minzhi Yan","Wenfei Luan","Tianyu Yang","Rui Ren","Michael Lyu"]
ragcloud operationschatbot
ASEDistinguished Paper Award
Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition
["Yue Wang","Jiaxuan Sun","Yanzhen Zou","Bing Xie"]
llmheader filesdehallucination
ASEDistinguished Paper Award
WEST: Specification-Based Test Generation for WebAssembly
["Dongjun Youn","Wonho Shin","Sukyoung Ryu"]
webassemblytest generationspecification
ASEDistinguished Paper Award
DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing
["Yuanliang Chen","Fuchen Ma","Yanyang Zhao","Yuanyi Li","Yu Jiang"]
fuzzingwifivulnerability detection
ACLBest Paper
Native Sparse Attention: Hardware-Aligned and Natively Trainable Sparse Attention
Yuan, Gao, Dai, Luo, Zhao, Zhang, Xie, Wei, Wang, Xiao, Wang, Ruan, Zhang, Liang, Zeng
AttentionEfficiency
ACLBest Paper
Language Models Resist Alignment: Evidence From Data Compression
Ji, Wang, Qiu, Chen, Zhou, Li, Lou, Dai, Liu, Yang
LLMAlignment
ACLBest Paper
Fairness through Difference Awareness: Measuring Desired Group Discrimination in LLMs
Wang, Phan, Ho, Koyejo
FairnessLLM
AAMASBest Paper Award
Soft Condorcet Optimization for Ranking of General Agents
["Marc Lanctot","Kate Larson","Michael Kaisers","Quentin Berthet","Ian Gemp","Manfred Diaz","Roberto-Rafael Maura-Rivero","Yoram Bachrach","Anna Koop","Doina Precup"]
ACLBest Paper
A Theory of Response Sampling in LLMs: Part Descriptive and Part Prescriptive
Sivaprasad, Kaushik, Abdelnabi, Fritz
LLMTheory
3DVBest Paper
An Object is Worth 64x64 Pixels: Generating 3D Object via Image Diffusion
Yan et al.
3D GenerationDiffusion
2024
175 papersWSDMBest Paper Award
Long-Term Value of Exploration: Measurements, Findings and Algorithms
["Yi Su","Ya Le","Xiangyu Wang","Liang Liu","Yuening Li","Haokai Lu","Benjamin Lipshitz","Sriraj Badam","Lukasz Heldt","Shuchao Bi","Ed H. Chi","Cristos Goodrow","Su-Lin Wu","Lexi Baugher","Minmin Chen"]
WACVBest Paper
WildlifeDatasets: An Open-Source Toolkit for Animal Re-Identification
Čermák, Picek, Adam & Papafitsoros
Animal Re-IDDataset
WACVBest Paper
Conditional Velocity Score Estimation for Image Restoration
Shi & Liu
Image RestorationScore Matching
USENIX Securitydistinguished_paper
DVSorder: Ballot Randomization Flaws Threaten Voter Privacy
Crimmins, Narayanan, Halderman
PrivacyVoting
USENIX Securitydistinguished_paper
Don't Listen to Me: Understanding and Exploring Jailbreak Prompts of Large Language Models
Zhang, Yu
LLMJailbreak
USENIX Securitydistinguished_paper
Adversarial Illusions in Multi-Modal Embeddings
Bagdasarian, Zhang, Jha, Shmatikov
AdversarialMultimodal
USENIX Securitydistinguished_paper
Terrapin Attack: Breaking SSH Channel Integrity By Sequence Number Manipulation
Bäumer, Brinkmann, Schwenk
SSHProtocol
UbiCompDistinguished Paper Award
MoCaPose: Motion Capturing with Textile-integrated Capacitive Sensors in Loose-fitting Smart Garments
["Bo Zhou","Daniel Geissler","Marc Faulhaber","Clara Elisabeth Gleiss","Esther Friederike Zahn","Lala Shakti Swarup Ray","David Gamarra","Vitor Fortes Rey","Sungho Suh","Sizhen Bian","Gesche Joost","Paul Lukowicz"]
UbiCompDistinguished Paper Award
Uncovering Bias in Personal Informatics
["Sofia Yfantidou","Pavlos Sermpezis","Athena Vakali","Ricardo Baeza-Yates"]
UbiCompDistinguished Paper Award
DIPA2: An Image Dataset with Cross-cultural Privacy Perception Annotations
["Anran Xu","Zhongyi Zhou","Kakeru Miyazaki","Ryo Yoshikawa","Simo Hosio","Koji Yatani"]
UbiCompDistinguished Paper Award
Understanding Disengagement in Just-in-Time Mobile Health Interventions
["Joonyoung Park","Uichin Lee"]
UbiCompDistinguished Paper Award
SkinLink: On-body Construction and Prototyping of Reconfigurable Epidermal Interfaces
["Pin-Sung Ku","Kunpeng Huang","Nancy Wang","Boaz Ng","Alicia Chu","Hsin-Liu Cindy Kao"]
UbiCompDistinguished Paper Award
What and When to Explain? On-road Evaluation of Explanations in Highly Automated Vehicles
["Gwangbin Kim","Dohyeon Yeo","Taewoo Jo","Daniela Rus","Seung Jun Kim"]
UbiCompDistinguished Paper Award
FeverPhone: Accessible Core-Body Temperature Sensing for Fever Monitoring Using Commodity Smartphones
["Joseph Breda","Mastafa Springston","Alex Mariakakis","Shwetak Patel"]
UbiCompDistinguished Paper Award
MITES: Design and Deployment of a General-Purpose Sensing Infrastructure for Buildings
["Sudershan Boovaraghavan","Chen Chen","Anurag Maravi","Mike Czapik","Yang Zhang","Chris Harrison","Yuvraj Agarwal"]
UAIOutstanding Paper Award
Approximate Bayesian Computation with Path Signatures
["Joel Dyer","Patrick Cannon","Sebastian M Schmon"]
S&Pdistinguished_paper
SoK: Prudent Evaluation Practices for Fuzzing
Schloegel, Bars, Schiller, Bernhard et al.
FuzzingSoK
S&Pdistinguished_paper
BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
Park, Lee, Jung, Koo, Kim
FuzzingRoot Cause Analysis
S&Pdistinguished_paper
WESEE: Using Malicious #VC Interrupts to Break AMD SEV-SNP
Schlüter, Sridhara, Bertschi, Shinde
TEEMicroarchitecture
S&Pdistinguished_paper
From Chatbots to Phishbots?: Phishing Scam Generation in Commercial Large Language Models
Roy, Thota, Naragam, Nilizadeh
LLMPhishing
SOSPBest Paper
FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring
et al.
PerformanceSystems
SOSPBest Paper
LazyLog: A New Shared Log Abstraction for Low-Latency Applications
et al.
Distributed SystemsStorage
SOSPBest Paper
OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
et al.
OSConcurrencyBug Detection
SODABest Paper Award
Deterministic Near-Linear Time Minimum Cut in Weighted Graphs
["Monika Henzinger","Jason Li","Satish Rao","Di Wang"]
SODABest Paper Award
Breaking the Metric Voting Distortion Barrier
["Moses Charikar","Prasanna Ramakrishnan","Kangning Wang","Hongxun Wu"]
SIGMODBest Paper
PolarDB-MP: A Multi-Primary Cloud-Native Database via Disaggregated Shared Memory
Yang, Zhang, Chen, Li, Wang, Fang, Sun, Wang
CloudDatabaseDistributed
SIGGRAPH AsiaBest Paper
Perspective-Aligned AR Mirror with Under-Display Camera
Wang, Ma, Bayer, Zhang et al.
Augmented RealityDisplay
SIGGRAPH AsiaBest Paper
Appearance Modeling of Iridescent Feathers with Diverse Nanostructures
Yu, Weidlich, Walter, d'Eon & Marschner
Appearance ModelingRendering
SIGGRAPH AsiaBest Paper
Quark: Real-time, High-resolution, and General View Synthesis
Flynn, Broxton, Murmann, Chai et al.
Novel View SynthesisReal-time
SIGGRAPH AsiaBest Paper
Particle Laden Fluid on Flow Maps
Li, Chen, Lin, Liu & Zhu
Fluid SimulationParticle
SIGGRAPH AsiaBest Paper
GroomCap: High-Fidelity Prior-Free Hair Capture
Zhou, Chai, Wang, Winberg et al.
Hair CaptureReconstruction
SIGGRAPHBest Paper
Robust Containment Queries over Collections of Rational Parametric Curves via Generalized Winding Numbers
Spainhour, Gunderman & Weiss
Computational GeometryWinding Numbers
SIGGRAPHBest Paper
Lightning-Fast Method of Fundamental Solutions
Chen, Schäfer & Desbrun
Numerical MethodsPDE
SIGGRAPHBest Paper
Walkin' Robin: Walk on Stars with Robin Boundary Conditions
Miller, Sawhney, Crane & Gkioulekas
Monte CarloPDE
SIGGRAPHBest Paper
From Microfacets to Participating Media: A Unified Theory of Light Transport with Stochastic Geometry
Seyb, d'Eon, Bitterli & Jarosz
RenderingLight Transport
SenSysBest Paper Award
Processor-Sharing Internet of Things Architecture for Large-scale Deployment
["Qianhe Meng","Han Wang","Chong Zhang","Yihang Song","Songfan Li","Li Lu","Hongzi Zhu"]
SCBest Paper Award
On the Efficacy of Surface Codes in Compensating for Radiation Events in Superconducting Devices
["Marzio Vallero","Gioele Casagranda","Flavio Vella","Paolo Rech"]
PPoPPBest Paper Award
ConvStencil: Transform Stencil Computation to Matrix Multiplication on Tensor Cores
["Yuetao Chen","Kun Li","Yuhao Wang","Donglin Bai","Lei Wang","Lingxiao Ma","Liang Yuan","Yunquan Zhang","Ting Cao","Mao Yang"]
POPLDistinguished Paper Award
Total Type Error Localization and Recovery with Holes
["Eric Zhao","Raef Maroof","Anand Dukkipati","Andrew Blinn","Zhiyi Pan","Cyrus Omar"]
type systemserror recoveryprogramming tools
POPLDistinguished Paper Award
Nominal Recursors as Epi-Recursors
["Andrei Popescu"]
type theoryformal methodsrecursion
POPLDistinguished Paper Award
Parametric Subtyping for Structural Parametric Polymorphism
["Henry DeYoung","Andreia Mordido","Frank Pfenning","Ankush Das"]
type systemssubtypingpolymorphism
POPLDistinguished Paper Award
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis
["Supun Abeysinghe","Anxhelo Xhebraj","Tiark Rompf"]
compilersdatalogprogram analysis
POPLDistinguished Paper Award
Automatic Parallelism Management
["Sam Westrick","Matthew Fluet","Mike Rainey","Umut A. Acar"]
parallel computingprogramming languagesscheduling
POPLDistinguished Paper Award
Modular Denotational Semantics for Effects with Guarded Interaction Trees
["Daniel Frumin","Amin Timany","Lars Birkedal"]
formal semanticseffectsinteraction trees
POPLDistinguished Paper Award
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
["Neta Elad","Oded Padon","Sharon Shoham"]
formal verificationcounterexamplesdeductive reasoning
POPLDistinguished Paper Award
Soundly Handling Linearity
["Wenhao Tang","Daniel Hillerström","Sam Lindley","J. Garrett Morris"]
type systemslinear typeseffects
POPLDistinguished Paper Award
Implementation and Synthesis of Math Library Functions
["Ian Briggs","Yash Lad","Pavel Panchekha"]
numerical computingprogram synthesisfloating point
PODSBest Paper Award
History-Independent Dynamic Partitioning: Operation-Order Privacy in Ordered Data Structures
["Michael A. Bender","Martin Farach-Colton","Michael T. Goodrich","Hanna Komlos"]
PLDIDistinguished Paper Award
Predictable Verification using Intrinsic Definitions
["Adithya Murali","Cody Rivera","P. Madhusudan"]
program verificationformal methodsdecidable logics
VLDBBest Paper
BOSS - An Architecture for Database Kernel Composition
Mohr-Daurat, Sun, Pirk
DatabaseArchitecture
OOPSLADistinguished Paper Award
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
He, Zhao, Wang & Wang
SQL VerificationEquivalence Checking
OOPSLADistinguished Paper Award
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Liu, Mada & Regehr
SIMDSuperoptimization
NeurIPSBest Paper
Stochastic Taylor Derivative Estimator: Efficient Amortization for Arbitrary Differential Operators
Li et al.
OptimizationScientific ML
NeurIPSBest Paper
Visual Autoregressive Modeling: Scalable Image Generation via Next-Scale Prediction
Tian et al.
Image GenerationAutoregressive
SIGGRAPH AsiaBest Paper
Differentiable Owen Scrambling
Bonneel, Digne, Iehl & Ostromoukhov
Monte CarloRendering
NDSSdistinguished_paper
LMSanitator: Defending Prompt Tuning Against Task-Agnostic Backdoors
Wei, Meng et al.
LLMBackdoor
NDSSdistinguished_paper
UntrustIDE: Exploiting Weaknesses in VS Code Extensions
Lin et al.
IDEExtension Security
NAACLoutstanding_paper
R-Tuning: Instructing Large Language Models to Say 'I Don't Know'
Zhang, Diao, Lin, Fung, Lian, Wang, Chen, Ji, Zhang
LLMCalibration
NAACLBest Paper
Teaching Language Models to Self-Improve through Interactive Demonstrations
Yu, Peng, Galley, Gao, Yu
LLMSelf-Improvement
NAACLBest Paper
Visual Grounding Helps Learn Word Meanings in Low-Data Regimes
Zhuang, Fedorenko, Andreas
GroundingLow-Resource
MSRDistinguished Paper Award
Whodunit: Classifying Code as Human Authored or GPT-4 Generated — A Case Study on CodeChef Problems
["Joy Idialu","Noble Saji Mathews","Rungroj Maipradit","Jo Atlee","Mei Nagappan"]
MobiSysBest Paper Award
SuperSight: Sub-cm NLOS Localization for mmWave Backscatter
["Kang Min Bae","Hankyeol Moon","Song Min Kim"]
MobiHocBest Paper Award
On Optimal Server Allocation for Moldable Jobs with Concave Speed-Up
["Samira Ghanbarian","Arpan Mukhopadhyay","Ravi R. Mazumdar","Fabrice M. Guillemin"]
EuroSysBest Paper
Validating Database System Isolation Level Implementations with Version Certificate Recovery
Clark, Donaldson, Wickerson, Rigger
DatabaseIsolationVerification
EurographicsBest Paper
Non-Euclidean Sliced Optimal Transport Sampling
Genest, Courty & Coeurjolly
Optimal TransportSampling
EMNLPBest Paper
CoGen: Learning from Feedback with Coupled Comprehension and Generation
Gul, Artzi
GenerationFeedback
EMNLPBest Paper
Pretraining Data Detection for Large Language Models: A Divergence-based Calibration Method
Zhang, Zhang, Guo, de Rijke, Fan, Cheng
LLMData Detection
EMNLPBest Paper
Backward Lens: Projecting Language Model Gradients into the Vocabulary Space
Katz, Belinkov, Geva, Wolf
LLMInterpretability
EMNLPBest Paper
Towards Robust Speech Representation Learning for Thousands of Languages
Chen, Zhang, Peng, Li, Tian, Shi, Chang, Maiti, Livescu, Watanabe
SpeechMultilingual
MobiSysBest Paper Award
Joey: Supporting Kangaroo Mother Care with Computational Fabrics
["Qijia Shao","Jiting Liu","Emily Bejerano","Ho Man Colman","Jingping Nie","Xiaofan Jiang","Xia Zhou"]
MobiSysBest Paper Award
PowDew: Detecting Counterfeit Powdered Food Products using a Commodity Smartphone
["Jonghyuk Yun","Kyoosik Lee","Kichang Lee","Bangjie Sun","Jaeho Jeon","JeongGil Ko","Inseok Hwang","Jun Han"]
MobiComBest Paper
Exploring the Feasibility of Remote Cardiac Auscultation Using Earphones
Chen, Yang, Fan, Guo, Xiong, Shangguan
Mobile SensingHealth
MiddlewareBest Paper Award
Banyan: Fast Rotating Leader BFT
["Yann Vonlanthen","Jakub Sliwinski","Massimo Albarello","Roger Wattenhofer"]
MICROBest Paper
Fusion-3D: Integrated Acceleration for Instant 3D Reconstruction and Real-Time Rendering
Li, Zhao, Li, Guo, Zhang, Zhu, Ye, Wan, Lin
3D RenderingAcceleration
IUIBest Paper Award
Utilizing a Dense Video Captioning Technique for Generating Image Descriptions of Comics for People with Visual Impairments
["Suhyun Kim","Semin Lee","Kyungok Kim","Uran Oh"]
IUIBest Paper Award
FrameKit: A Tool for Authoring Adaptive UIs Using Keyframes
["Jason Wu","Kashyap Todi","Joannes Chan","Brad A Myers"]
IROSBest Paper Award
On the Modularity of Elementary Dynamic Actions
["Moses Nah","Johannes Lachner","Federico Tessari","Neville Hogan"]
INFOCOMBest Paper
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
IMCBest Paper Award
Analyzing the (In)Accessibility of Online Advertisements
["Christina Yeung","Tadayoshi Kohno","Franziska Roesner"]
3DVhonorable_mention
NICER-SLAM: Neural Implicit Scene Encoding for RGB SLAM
Zhu, Peng, Larsson, Cui, Oswald, Geiger & Pollefeys
SLAMImplicit Representations
AAMASBest Paper Award
Incentives for Early Arrival in Cooperative Games
["Yaoxin Ge","Yao Zhang","Dengji Zhao","Zhihao Gavin Tang","Hu Fu","Pinyan Lu"]
ACCVhonorable_mention
High-Quality Visually-Guided Sound Separation from Diverse Categories
Huang, Liang, Tian, Kumar & Xu
Audio-VisualSound Separation
ACLBest Paper
Aya Model: An Instruction Finetuned Open-Access Multilingual Language Model
Üstün et al.
MultilingualInstruction Tuning
AAAIBest Paper
Proportional Aggregation of Preferences for Sequential Decision Making
Chandak, Goel & Peters
Decision MakingAggregation
ACCVBest Paper
It's Just Another Day: Unique Video Captioning by Discriminative Prompting
Perrett, Han, Damen & Zisserman
Video CaptioningDiscriminative
SIGGRAPHBest Paper
3D Gaussian Splatting for Real-Time Radiance Field Rendering
Kerbl et al.
3DGSRendering
ASEDistinguished Paper Award
Do not neglect what's on your hands: localizing software faults with exception trigger stream
["Xihao Zhang","Yi Song","Xiaoyuan Xie","Qi Xin","Chenliang Xing"]
fault localizationexceptionsdebugging
ASEDistinguished Paper Award
Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation
["Zongze Jiang","Ming Wen","Jialun Cao","Xuanhua Shi","Hai Jin"]
llmtest generationdirected testing
ASEDistinguished Paper Award
How Does Code Optimization Impact Third-party Library Detection for Android Applications?
["Zifan Xie","Ming Wen","Tinghan Li","Yiding Zhu","Qinsheng Hou","Hai Jin"]
androidlibrary detectioncode optimization
ASEDistinguished Paper Award
Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security
["Chuan Yan","Mark Huasong Meng","Liuhuo Wan","Tian Yang Ooi","Ruomai Ren","Guangdong Bai"]
chatgptapp securityecosystem analysis
ASEDistinguished Paper Award
MiniChecker: Detecting Data Privacy Risk of Abusive Permission Request Behavior in Mini-Programs
["Yin Wang","Ming Fan","Hao Zhou","Haijun Wang","Wuxia Jin","Jiajia Li","Wenbo Chen","Shijie Li","Yu Zhang","Deqiang Han","Ting Liu"]
privacymini-programspermission analysis
ASEDistinguished Paper Award
Reducing Test Runtime by Transforming Test Fixtures
["Chengpeng Li","Abdelrahman Baz","August Shi"]
test optimizationfixturestest runtime
ASEDistinguished Paper Award
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation
["Shiwei Feng","Yapeng Ye","Qingkai Shi","Zhiyuan Cheng","Xiangzhe Xu","Siyuan Cheng","Hongjun Choi","Xiangyu Zhang"]
autonomous drivingroot cause analysiscyber-physical systems
ASEDistinguished Paper Award
Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection
["Huan Xie","Yan Lei","Maojin Li","Meng Yan","Sheng Zhang"]
coincidental correctnessfault localizationcoverage
ASEDistinguished Paper Award
Context-Aware Automated Sprint Plan Generation for Agile Software Development
["Elvan Kula","Arie van Deursen","Georgios Gousios"]
agilesprint planningautomation
ASEDistinguished Paper Award
DRMiner: Extracting Latent Design Rationale from Jira Issue Logs
["Jiuang Zhao","Zitian Yang","Li Zhang","Xiaoli Lian","Donghao Yang","Xin Tan"]
design rationaleissue trackingmining
ASEDistinguished Paper Award
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling
["Muhammad A. A. Pirzada","Giles Reger","Ahmed Bhayat","Lucas C. Cordeiro"]
llmmodel checkinginvariants
ASEDistinguished Paper Award
General and Practical Property-based Testing for Android Apps
["Yiheng Xiong","Ting Su","Jue Wang","Jingling Sun","Geguang Pu","Zhendong Su"]
androidproperty-based testingmobile
ASEDistinguished Paper Award
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
["Guangyuan Wu","Weining Cao","Yuan Yao","Hengfeng Wei","Taolue Chen","Xiaoxing Ma"]
llmmodel checkingloop invariants
ASEDistinguished Paper Award
A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement
["Huan Zhang","Wei Cheng","Yuhan Wu","Wei Hu"]
code generationllmpair programming
ASEDistinguished Paper Award
LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models
["Shuncheng Tang","Zhenya Zhang","Jixiang Zhou","Lei Wang","Yuan Zhou","Yinxing Xue"]
autonomous drivingscenario generationllm
USENIX ATCBest Paper Award
FastCommit: resource-efficient, performant and cost-effective file system journaling
["Harshad Shirwadkar","Saurabh Kadekodi","Theodore Tso"]
file systemsjournalingstorage
USENIX ATCBest Paper Award
SuperBench: Improving Cloud AI Infrastructure Reliability with Proactive Validation
["Yifan Xiong","Yuting Jiang","Ziyue Yang","Lei Qu","Guoshuai Zhao","Shuguang Liu","Dong Zhong","Boris Pinzur","Jie Zhang","Yang Wang","Jithin Jose","Hossein Pourreza","Jeff Baxter","Kushal Datta","Prabhat Ram","Luke Melton","Joe Chau","Peng Cheng","Yongqiang Xiong","Lidong Zhou"]
cloud infrastructuregpureliabilityvalidation
USENIX ATCBest Paper Award
An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise
["Hongyu Li","Liwei Guo","Yexuan Yang","Shangguang Wang","Mengwei Xu"]
rustlinuxkernelempirical study
ASPLOSBest Paper
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
GIANTSAN: Efficient Memory Sanitization with Segment Folding
Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang
Memory Safety
ASPLOSBest Paper
Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors
Samuel Thomas, James Bornholt
CompilersDSP
ASPLOSBest Paper
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
ngAP: Non-blocking Large-scale Automata Processing on GPUs
Tianao Ge, Tong Zhang, Hongyuan Liu
GPUAutomata
CCSdistinguished_paper
QueryCheetah: Fast Automated Discovery of Attribute Inference Attacks Against Query-Based Systems
Stevanoski, Cretu, de Montjoye
PrivacyInference Attack
CCSdistinguished_paper
Organic or Diffused: Can We Distinguish Human Art from AI-generated Images?
Ha, Passananti, Bhaskar, Shan, Southen, Zheng, Zhao
DiffusionDetection
CCSdistinguished_paper
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries
Xie, Zhang, Jiang, Xu, Tan, Zhang
LLMBinary Analysis
CCSdistinguished_paper
The Harder You Try, The Harder You Fail: The KeyTrap Denial-of-Service Algorithmic Complexity Attacks on DNSSEC
Heftrig, Schulmann, Vogel, Waidner
DNSDoS
CCSdistinguished_paper
Cross-silo Federated Learning with Record-level Personalized Differential Privacy
Liu, Lou, Xiong, Liu, Meng
Federated LearningPrivacy
CIKMBest Paper Award
Data Void Exploits: Tracking & Mitigation Strategies
["Miro Mannino","Junior Garcia","Reem Hazim","Azza Abouzied","Paolo Papotti"]
COLTBest Paper Award
The Price of Adaptivity in Stochastic Convex Optimization
["Yair Carmon","Oliver Hinder"]
COLTBest Paper Award
Smoothed Analysis for Learning Concepts with Low Intrinsic Dimension
["Gautam Chandrasekaran","Adam Klivans","Vasilis Kontonis","Raghu Meka","Konstantinos Stavropoulos"]
CoNEXTBest Paper Award
Practically High Performant Neural Adaptive Video Streaming
["Sagar Patel","Junyang Zhang","Nina Narodytska","Sangeetha Abdu Jyothi"]
CRYPTOBest Paper Award
Space-Efficient and Noise-Robust Quantum Factoring
Ragavan & Vaikuntanathan
Quantum CryptographyFactoring
CRYPTOBest Paper Award
STIR: Reed-Solomon Proximity Testing with Fewer Queries
Arnon, Chiesa, Fenzi & Yogev
Zero-Knowledge ProofsReed-Solomon
CRYPTOBest Paper Award (Early Career)
Lossy Cryptography from Code-Based Assumptions
Dao & Jain
Code-Based CryptographyPost-Quantum
CHIBest Paper
Technology-Mediated Non-Pharmacological Interventions for Dementia: Needs for and Challenges in Professional, Personalized and Multi-Stakeholder Collaborative Interventions
Ma et al.
HealthAI
DACBest Paper Award
Token-Picker: Accelerating Attention in Text Generation and Minimized Memory Transfer via Probability Estimation
["Junyoung Park","Myeonggu Kang","Yunki Han","Yang-Gon Kim","Lee-Sup Kim"]
CSCWBest Paper Award
Mending the Fabric: the Contentious, Collaborative Work of Repairing Broadband Maps
["Beatriz Palacios Abad","Elizabeth Belding","Morgan Vigil-Hayes","Ellen Zegura"]
CVPRBest Paper
Rich Human Feedback for Text-to-Image Generation
Liang et al.
Text-to-ImageHuman Feedback
EUROCRYPTBest Paper Award
SQIsignHD: New Dimensions in Cryptography
Dartois, Leroux, Robert & Wesolowski
Isogeny CryptographyDigital Signatures
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
FASTBest Paper Award
What's the Story in EBS Glory: Evolutions and Lessons in Building Cloud Block Store
["Weidong Zhang","Erci Xu","Qiuping Wang","Xiaolu Zhang","Yuesheng Gu","Zhenwei Lu","Tao Ouyang","Guanqun Dai","Wenwen Peng","Zhe Xu","Shuo Zhang","Dong Wu","Yilei Peng","Tianyun Wang","Haoran Zhang","Jiasheng Wang","Wenyuan Yan","Yuanyuan Dong","Wenhui Yao","Zhongjie Wu","Lingjun Zhu","Chao Shi","Yinhu Wang","Rong Liu","Junping Wu","Jiaji Zhu","Jiesheng Wu"]
FASTBest Paper Award
We Ain't Afraid of No File Fragmentation: Causes and Prevention of Its Performance Impact on Modern Flash SSDs
["Yuhun Jun","Shinhyun Park","Jeong-Uk Kang","Sang-Hoon Kim","Euiseong Seo"]
FSEdistinguished_paper
Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model
Li, Faragó, Petrov, Ahmed
LLMCode Generation
FSEdistinguished_paper
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification
Beyer, Chien, Jankola, Lee
VerificationModel Checking
HPCABest Paper Award
Pathfinding Future PIM Architectures by Demystifying a Commercial PIM Technology
Hyun, Kim, Lee & Rhu
Processing-in-MemoryComputer Architecture
EMNLPBest Paper
An Image Speaks a Thousand Words, but Can Everyone Listen? On Image Transcreation for Cultural Relevance
Khanuja, Ramamoorthy, Song, Neubig
MultimodalCulture
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 Chen","Sharifa Alghowinem","Hae Won Park","Cynthia Breazeal"]
HRIBest Paper Award
Sprout: Designing Expressivity for Robots Using Fiber-Embedded Actuator
["Amy Koike","Michael Wehner","Bilge Mutlu"]
HRIBest Paper Award
Generative Expressive Robot Behaviors using Large Language Models
["Karthik Mahadevan","Jonathan Chien","Noah Brown","Zhuo Xu","Carolina Parada","Fei Xia","Andy Zeng","Leila Takayama","Dorsa Sadigh"]
ICCADBest Paper Award
An Agile Framework for Efficient LLM Accelerator Development and Model Inference
["Lvcheng Chen","Ying Wu","Chenyi Wen","Shizhang Wang","Li Zhang","Bei Yu","Qi Sun","Cheng Zhuo"]
ICCADBest Paper Award
A Neural-Ordinary-Differential-Equations Based Generic Approach for Process Modeling in DTCO
["Yue Qian","Lan Chen"]
ICDEBest Paper Award
Reverse Regret Query
["Weicheng Wang","Raymond Chi-Wing Wong","H. V. Jagadish","Min Xie"]
ICDMBest Paper Award
Scalable Graph Classification via Random Walk Fingerprints
["Peiyan Li","Honglian Wang","Christian Böhm"]
ICLRBest Paper
Generalization in Diffusion Models Arises from Geometry-Adaptive Harmonic Representations
Kadkhodaie et al.
DiffusionGeneralization
ICMLBest Paper
Discrete Diffusion Modeling by Estimating the Ratios of the Data Distribution
Lou, Meng & Ermon
DiffusionDiscrete
ICSEdistinguished_paper
Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware
Liu, Zhang, Li, Li, Zhou, Wang, Zhan, Liu, Huo
SecurityFirmwareStatic Analysis
ICSEdistinguished_paper
User-Centric Deployment of Automated Program Repair at Bloomberg
Williams, Sarro, Kirbas, Mechtaev
Program RepairIndustry
2023
129 papersWWWBest Paper
Simplistic Collection and Labeling Practices Limit the Utility of Benchmark Datasets for Twitter Bot Detection
Hays et al.
Bot DetectionDatasets
WSDMBest Paper Award
GCFExplainer: Global Counterfactual Explainer for Graph Neural Networks
["Mert Kosan","Zexi Huang","Sourav Medya","Sayan Ranu","Ambuj Singh"]
WACVBest Paper
Lossy Image Compression with Quantized Hierarchical VAEs
Duan, Lu, Ma & Zhu
Image CompressionVAE
USENIX Securitydistinguished_paper
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
et al.
CryptographyProtocol
USENIX Securitydistinguished_paper
Glaze: Protecting Artists from Style Mimicry by Text-to-Image Models
Shan, Cryan, Wenger, Zheng, Zhao
DiffusionPrivacyArt
UbiCompDistinguished Paper Award
Generalization and Personalization of Mobile Sensing-Based Mood Inference Models: An Analysis of College Students in Eight Countries
["Lakmal Meegahapola","William Droz","Peter Kun","Amalia de Götzen","Chaitanya Nutakki","Shyam Diwakar","Salvador Ruiz-Correa","Donglei Song","Hao Xu","Miriam Bidoglia","George Gaskell","Altangerel Chagnaa","Amarsanaa Ganbold","Tsolmon Zundui","Carlo Caprini","Daniele Miorandi","Alethia Hume","José Luis Zarza","Luca Cernuzzi","Ivano Bison","Marcelo Dario Rodas Britez","Matteo Busso","Ronald Chenu-Abente","Can Gunel","Fausto Giunchiglia","Laura Schelenz","Daniel Gatica-Perez"]
VLDBBest Paper
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
Budiu et al.
View MaintenanceStreaming
UbiCompDistinguished Paper Award
Plug-and-play Physical Computing with Jacdac
["James Devine","Michal Moskal","Peli de Halleux","Thomas Ball","Steve Hodges","Gabriele D'Amone","David Gakure","Joe Finney","Lorraine Underwood","Kobi Hartley","Paul Kos","Matt Oppenheim"]
UbiCompDistinguished Paper Award
GLOBEM: Cross-Dataset Generalization of Longitudinal Human Behavior Modeling
["Xuhai Xu","Xin Liu","Han Zhang","Weichen Wang","Subigya Nepal","Yasaman Sefidgar","Woosuk Seo","Kevin S. Kuehn","Jeremy F. Huckins","Margaret E. Morris","Paula S. Nurius","Eve A. Riskin","Shwetak Patel","Tim Althoff","Andrew Campbell","Anind K. Dey","Jennifer Mankoff"]
UbiCompDistinguished Paper Award
RetroSphere: Self-Contained Passive 3D Controller Tracking for Augmented Reality
["Ananta Narayanan Balaji","Clayton Kimber","David Li","Shengzhi Wu","Ruofei Du","David Kim"]
UbiCompDistinguished Paper Award
VECTOR: Velocity Based Temperature-field Monitoring with Distributed Acoustic Devices
["Haoran Wan","Lei Wang","Ting Zhao","Ke Sun","Shuyu Shi","Haipeng Dai","Guihai Chen","Haodong Liu","Wei Wang"]
UbiCompDistinguished Paper Award
Predicting Post-Operative Complications with Wearables: A Case Study with Patients Undergoing Pancreatic Surgery
["Jingwen Zhang","Dingwen Li","Ruixuan Dai","Heidy Cos","Gregory A. Williams","Lacey Raper","Chet W. Hammill","Chenyang Lu"]
UbiCompDistinguished Paper Award
Total VREcall: Using Biosignals to Recognize Emotional Autobiographical Memory in Virtual Reality
["Kunal Gupta","Sam W. T. Chan","Yun Suen Pai","Nicholas Strachan","John Su","Alexander Sumich","Suranga Nanayakkara","Mark Billinghurst"]
UbiCompDistinguished Paper Award
Contextual Biases in Microinteraction Ecological Momentary Assessment (μEMA) Non-response
["Aditya Ponnada","Jixin Li","Shirlene Wang","Wei-Lin Wang","Bridgette Do","Genevieve F. Dunton","Stephen S. Intille"]
UAIBest Paper Award
Establishing Markov Equivalence in Cyclic Directed Graphs
["Tom Claassen","Joris Mooij"]
S&Pdistinguished_paper
WaVe: a verifiably secure WebAssembly sandboxing runtime
Johnson, Laufer, Zhao, Narayan, Savage, Stefan, Brown
WebAssemblySandbox
S&Pdistinguished_paper
Weak Fiat-Shamir Attacks on Modern Proof Systems
Dao, Miller, Wright, Grubbs
Zero-KnowledgeCryptography
SOSPBest Paper
Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture
Zhou et al.
File SystemsNVM
SODABest Paper
Dynamic Matching with Better-than-2 Approximation in Polylogarithmic Update Time
Bhattacharya et al.
MatchingDynamic Algorithms
SIGMODBest Paper
DFI: The Data Flow Interface for High-Speed Networks
Thostrup, Skrzypczak, Jasny, Ziegler, Binnig
NetworkingDatabase
SIGGRAPH AsiaBest Paper
Meshes with Spherical Faces
Kilian, Ramos Cisneros, Müller & Pottmann
Geometry ProcessingMesh Design
SIGGRAPHBest Paper
Split-Lohmann Multifocal Displays
Qin, Chen, O'Toole & Sankaranarayanan
Display TechnologyOptics
SIGGRAPHBest Paper
Globally Consistent Normal Orientation for Point Clouds by Regularizing the Winding Number Field
Xu, Dou, Wang, Xin et al.
Point CloudNormal Estimation
SIGCOMMBest Paper
Memory Management in ActiveRMT: Towards Runtime-Programmable Switches
Das & Snoeren
SwitchesProgrammable
SenSysBest Paper Award
NeuroRadar: A Neuromorphic Radar Sensor for Low-Power IoT Systems
["Kai Zheng","Kun Qian","Timothy Woodford","Xinyu Zhang"]
SCBest Paper Award
PanguLU: A Scalable Regular Two-Dimensional Block-Cyclic Sparse Direct Solver on Distributed Heterogeneous Systems
["Xu Fu","Bingbin Zhang","Tengcheng Wang","Wenhao Li","Yuechen Lu","Enxin Yi","Jianqi Zhao","Xiaohan Geng","Fangying Li","Jingwen Zhang","Zhou Jin","Weifeng Liu"]
PPoPPBest Paper Award
Provably Fast and Space-Efficient Parallel Biconnectivity
["Xiaojun Dong","Letong Wang","Yan Gu","Yihan Sun"]
POPLDistinguished Paper Award
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
["Hiroshi Unno","Tachio Terauchi","Yu Gu","Eric Koskinen"]
formal verificationtemporal logicfixpoint
POPLDistinguished Paper Award
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
["Alexander K. Lew","Mathieu Huot","Sam Staton","Vikash K. Mansinghka"]
probabilistic programmingautomatic differentiationmachine learning
POPLDistinguished Paper Award
Admissible Types-to-PERs Relativization in Higher-Order Logic
["Andrei Popescu","Dmitriy Traytel"]
type theoryformal methodshigher-order logic
POPLDistinguished Paper Award
SSA Translation Is an Abstract Interpretation
["Matthieu Lemerre"]
compilersabstract interpretationssa
POPLDistinguished Paper Award
Dynamic Race Detection with O(1) Samples
["Mosaad Al Thokair","Minjian Zhang","Umang Mathur","Mahesh Viswanathan"]
concurrencyrace detectionprogram analysis
POPLDistinguished Paper Award
DimSum: A Decentralized Approach to Multi-language Semantics and Verification
["Michael Sammler","Simon Spies","Youngju Song","Emanuele D'Osualdo","Robbert Krebbers","Deepak Garg","Derek Dreyer"]
formal methodsmulti-languageverification
POPLDistinguished Paper Award
Higher-Order Leak and Deadlock Free Locks
["Jules Jacobs","Stephanie Balzer"]
concurrencytype systemsformal methods
Pacific GraphicsBest Student Paper
Continuous Layout Editing of Single Images with Diffusion Models
Zhang, Huang & Liao
Image EditingDiffusion
Pacific Graphicshonorable_mention
Interactive Authoring of Terrain using Diffusion Models
Lochner, Gain, Perche, Peytavie, Galin & Guerin
Terrain GenerationDiffusion
Pacific GraphicsBest Paper
Efficient Interpolation of Rough Line Drawings
Chen, Zhu, Even, Basset, Bénard & Barla
Line DrawingInterpolation
OOPSLADistinguished Paper Award
Algebro-Geometric Algorithms for Template-Based Synthesis of Polynomial Programs
Goharshady, Hitarth, Mohammadi & Motwani
Program SynthesisAlgebraic Geometry
OOPSLADistinguished Paper Award
Grounded Copilot: How Programmers Interact with Code-Generating Models
Barke, James & Polikarpova
LLMCode Generation
NSDIBest Paper
CausalSim: A Causal Framework for Unbiased Trace-Driven Simulation
Alomar et al.
CausalSimulation
NeurIPSBest Paper
Are Emergent Abilities of Large Language Models a Mirage?
Schaeffer, Miranda & Koyejo
LLMEmergent Abilities
MSRDistinguished Paper Award
The ABLoTS Approach for Bug Localization: is it replicable and generalizable?
["Feifei Niu","Christoph Mayr-Dorn","Wesley Assunção","Liguo Huang","Jidong Ge","Bin Luo","Alexander Egyed"]
MSRDistinguished Paper Award
Investigating the Resolution of Vulnerable Dependencies with Dependabot Security Updates
["Hamid Mohayeji Nasrabadi","Andrei Agaronian","Eleni Constantinou","Nicola Zanone","Alexander Serebrenik"]
MSRDistinguished Paper Award
AutoML from Software Engineering Perspective: Landscapes and Challenges
["Chao Wang","Zhenpeng Chen","Minghui Zhou"]
EMNLPBest Paper
Ignore This Title and HackAPrompt: Exposing Systemic Vulnerabilities of LLMs Through a Global Prompt Hacking Competition
Schulhoff, Pinto, Khan, Bouchard, Si et al.
LLMPrompt Injection
EMNLPBest Paper
Label Words are Anchors: An Information Flow Perspective for Understanding In-Context Learning
Wang, Li, Dai, Chen, Zhou, Meng, Zhou, Sun
In-Context LearningLLM
MobiHocBest Paper Award
Scalable Multi-Modal Learning for Cross-Link Channel Prediction in Massive IoT Networks
["Kun Woo Cho","Marco Cominelli","Francesco Gringoli","Joerg Widmer","Kyle Jamieson"]
AAMASBest Paper Award
Trust Region Bounds for Decentralized PPO Under Non-stationarity
["Mingfei Sun","Sam Devlin","Jacob Beck","Katja Hofmann","Shimon Whiteson"]
ACLBest Paper
Do Androids Laugh at Electric Sheep? Humor Understanding Benchmarks from The New Yorker Caption Contest
Hessel et al.
HumorBenchmark
SIGGRAPHBest Paper
3D Gaussian Splatting for Real-Time Radiance Field Rendering
Kerbl et al.
3DGSRendering
ASEDistinguished Paper Award
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
["Yao Zhang","Xiaofei Xie","Yi Li","Sen Chen","Cen Zhang","Xiaohong Li"]
non-terminationinfinite loopsstatic analysis
ASEDistinguished Paper Award
Mutation-based Fault Localization of DNNs
["Ali Ghanbari","Hridesh Rajan"]
deep learningfault localizationmutation testing
ASEDistinguished Paper Award
Generative Type Inference for Python
["Yun Peng","Chaozheng Wang","Wenxuan Wang"]
type inferencepythongenerative models
ASEDistinguished Paper Award
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows
["Yujiang Gui","Dongjie He","Jingling Xue"]
taint analysisdataflowprogram analysis
ASEDistinguished Paper Award
Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases
["Ze Tang","Jidong Ge","Shangqing Liu","Tingwei Zhu","Tongtong Xu","Liguo Huang","Bin Luo"]
code completiondomain adaptationlanguage models
ASEDistinguished Paper Award
What Makes Good In-context Demonstrations for Code Intelligence Tasks with LLMs?
["Shuzheng Gao","Xin-Cheng Wen","Cuiyun Gao","Wenxuan Wang","Hongyu Zhang","Michael R. Lyu"]
llmin-context learningcode intelligence
USENIX ATCBest Paper Award
On-demand Container Loading in AWS Lambda
["Marc Brooker","Mike Danilov","Chris Greenwood","Phil Piwonka"]
serverlesscontainerscloud computing
USENIX ATCBest Paper Award
zpoline: a system call hook mechanism based on binary rewriting
["Kenichi Yasukata","Hajime Tazaki","Pierre-Louis Aublin","Kenta Ishiguro"]
system callsbinary rewritingos
ASPLOSBest Paper
Pond: CXL-Based Memory Pooling Systems for Cloud Platforms
Huaicheng Li, Daniel S. Berger, Lisa Hsu, Daniel Ernst, Pantea Zardoshti, Stanko Novakovic, Monish Shah, Samir Rajadnya, Scott Lee, Ishwar Agarwal, Mark D. Hill, Marcus Fontoura, Ricardo Bianchini
CXLMemoryCloud
ASPLOSBest Paper
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications
Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, Tyler Sorensen
Memory ConsistencyTesting
ASPLOSBest Paper
Junkyard Computing: Repurposing Discarded Smartphones to Minimize Carbon
Jennifer Switzer, Gongqi Huang, Rajesh K. Gupta, Pat Pannuto
SustainabilityMobile
ASPLOSBest Paper
Mosaic Pages: Big TLB Reach with Small Pages
Krishnan Gosakan, Jaehyun Han, William Kuszmaul, Ibrahim N. Mubarek, Nirjhar Mukherjee, Karthik Sriram, Guido Tagliavini, Evan West, Michael A. Bender, Abhishek Bhattacharjee, Alex Conway, Martin Farach-Colton, Jayneel Gandhi, Rob Johnson, Sudarsun Kannan, Donald E. Porter
TLBMemory Management
CCSdistinguished_paper
Alert Alchemy: SOC Workflows and Decisions in the Management of NIDS Rules
Vermeer et al.
Network SecuritySOC
CCSdistinguished_paper
Large Language Models for Code: Security Hardening and Adversarial Testing
Jingxuan He, Martin Vechev
LLMSecurityCode
CCSdistinguished_paper
Security Verification of Low-Trust Architectures
Qinhan Tan, Zhibo Liu, Siqi Ma, Elisa Bertino, Kim Laine, Kanav Gupta, Nitin Agrawal, Shivam Bhasin, Tianwei Zhang
Security VerificationArchitecture
CCSdistinguished_paper
Stealing the Decoding Algorithms of Language Models
Ali Naseh, Kalpesh Krishna, Mohit Iyyer, Amir Houmansadr
LLMPrivacyAttacks
CCSdistinguished_paper
Uncle Maker: (Time)Stamping Out The Competition in Ethereum
Aviv Yaish, Gilad Stern, Aviv Zohar
BlockchainEthereum
CCSdistinguished_paper
FutORAMa: A Concretely Efficient Hierarchical Oblivious RAM
Gilad Asharov, Ilan Komargodski, Elaine Shi
ORAMCryptography
CCSdistinguished_paper
HE3DB: An Efficient and Elastic Encrypted Database Via Arithmetic-And-Logic Fully Homomorphic Encryption
Bian et al.
Homomorphic EncryptionDatabase
CHIBest Paper
Breaking Out of the Ivory Tower: Large-scale Analysis of Patent Citations to HCI Research
Cao et al.
HCIImpact
CIKMBest Paper
Joint Rebalancing and Charging for Shared Electric Micromobility Vehicles with Energy-informed Demand
Tan et al.
MicromobilityOptimization
CoNEXTBest Paper Award
Millions of Low-latency State Insertions on ASIC Switches
["Mariano Scazzariello","Tommaso Caiazzi","Marco Chiesa"]
CRYPTOBest Paper Award
Fast Practical Lattice Reduction through Iterated Compression
Ryan & Heninger
Lattice CryptographyLLL Algorithm
CRYPTOBest Paper Award (Early Career)
Fully Adaptive Schnorr Threshold Signatures
Crites, Komlo & Maller
Threshold SignaturesSchnorr
CVPRBest Paper
Visual Programming: Compositional Visual Reasoning Without Training
Gupta & Kembhavi
Visual ReasoningProgramming
CVPRhonorable_mention
DynIBaR: Neural Dynamic Image-Based Rendering
Li, Wang, Cole, Tucker & Snavely
Neural RenderingDynamic Scenes
CVPRBest Student Paper
3D Registration with Maximal Cliques
Zhang, Yang, Zhang & Zhang
3D RegistrationPoint Cloud
DACBest Paper Award
RL-CCD: Concurrent Clock and Data Optimization using Attention-Based Self-Supervised Reinforcement Learning
["Yi-Chen Lu","Wei-Ting Chan","Deyuan Guo","Vishal Khandelwal","Sudipto Kundu","Sung Kyu Lim"]
EUROCRYPTBest Paper Award
An Efficient Key Recovery Attack on SIDH
Castryck & Decru
Isogeny CryptographyCryptanalysis
EUROCRYPTBest Paper Award (Early Career)
Worst-Case Subexponential Attacks on PRGs of Constant Degree or Constant Locality
Ünal
Pseudorandom GeneratorsCryptanalysis
FASTBest Paper Award
Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems
["Ruiming Lu","Erci Xu","Yiming Zhang","Fengyi Zhu","Zhaosheng Zhu","Mengtian Wang","Zongpeng Zhu","Guangtao Xue","Jiwu Shu","Minglu Li","Jiesheng Wu"]
HPCABest Paper Award
DIMM-Link: Enabling Efficient Inter-DIMM Communication for Near-Memory Processing
Zhou, Li, Yang & Sun
Near-Memory ComputingDIMM
HPCABest Paper Award
Scalable and Secure Row-Swap: Efficient and Safe Row Hammer Mitigation in Memory Systems
Woo, Saileshwar & Nair
Memory SecurityRow Hammer
HRIBest Paper Award
Multi-Purposeful Activities for Robot-Assisted Autism Therapy: What Works Best for Children's Social Outcomes?
["Aida Zhanatkyzy","Zhansaule Telisheva","Aida Amirova","Nazerke Rakhymbayeva","Anara Sandygulova"]
HRIBest Paper Award
Design Principles for Robot-Assisted Feeding in Social Contexts
["Amal Nanavati","Patricia Alves-Oliveira","Tyler Schrenk","Ethan K. Gordon","Maya Cakmak","Siddhartha S. Srinivasa"]
HRIBest Paper Award
Feminist Human Robot Interaction: Disentangling Power, Principles and Practice for Better, More Ethical HRI
["Katie Winkle","Donald Mcmillan","Maria Arnelid","Katherine Harrison","Madeline Balaam","Ericka Johnson","Iolanda Leite"]
HRIBest Paper Award
Interactive Policy Shaping for Human-Robot Collaboration with Transparent Matrix Overlays
["Jake Brawer","Debasmita Ghose","Kate Candon","Meiying Qin","Alessandro Roncone","Marynel Vázquez","Brian Scassellati"]
HRIBest Paper Award
Lively: Enabling Multimodal, Lifelike, and Extensible Real-time Robot Motion
["Andrew Schoen","Dakota Sullivan","Ze Dong Zhang","Daniel Rakita","Bilge Mutlu"]
ICCADBest Paper Award
Striving for Both Quality and Speed: Logic Synthesis for Practical Garbled Circuits
["Mingfei Yu","Giovanni De Micheli"]
ICCADBest Paper Award
Improving Realistic Worst-Case Performance of NVCiM DNN Accelerators Through Training with Right-Censored Gaussian Noise
["Zheyu Yan","Yifan Qin","Wujie Wen","X. Sharon Hu","Yiyu Shi"]
ICCVBest Paper
Adding Conditional Control to Text-to-Image Diffusion Models
Zhang, Rao & Agrawala
ControlNetDiffusion
ICCVBest Paper
Passive Ultra-Wideband Single-Photon Imaging
Wei, Nousias, Gulve, Lindell & Kutulakos
Computational ImagingSingle-Photon
ICCVhonorable_mention
Segment Anything
Kirillov, Mintun, Ravi, Mao et al.
SegmentationFoundation Models
ICDEBest Paper Award
Incremental Learning for Multi-Interest Sequential Recommendation
["Zhikai Wang","Yanyan Shen"]
ICLRBest Paper
DreamFusion: Text-to-3D using 2D Diffusion
Poole, Jain, Barron & Mildenhall
3DText-to-3D
ICMLBest Paper
Learning-Rate-Free Learning by D-Adaptation
Defazio & Mishchenko
OptimizationLearning Rate
ICRABest Paper
Distributed Data-Driven Predictive Control for Multi-Agent Collaborative Legged Locomotion
Fawcett, Amanzadeh, Kim, Ames, Hamed
LocomotionMulti-Agent
ICSEBest Paper
Do I Belong? Modeling Sense of Virtual Community Among Linux Kernel Contributors
Trinkenreich et al.
CommunityOpen Source
IMCBest Paper Award
Tracking, Profiling, and Ad Targeting in the Alexa Echo Smart Speaker Ecosystem
["Umar Iqbal","Pouneh Nikkhah Bahrami","Rahmadi Trimananda","Hao Cui","Alexander Gamero-Garrido","Daniel J. Dubois","David Choffnes","Athina Markopoulou","Franziska Roesner","Zubair Shafiq"]
INFOCOMBest Paper
More than Enough is Too Much: Adaptive Defenses against Gradient Leakage in Production Federated Learning
Wang et al.
Federated LearningPrivacy
IROSBest Paper Award
Autonomous Power Line Inspection with Drones via Perception-Aware MPC
["Jiaxu Xing","Giovanni Cioffi","Javier Hidalgo-Carrio","Davide Scaramuzza"]
ISCABest Paper
Contiguitas: The Pursuit of Physical Memory Contiguity in Datacenters
Zhao et al.
MemoryDatacenter
IUIBest Paper Award
Appropriate Reliance on AI Advice: Conceptualization and the Effect of Explanations
["Max Schemmer","Niklas Kuehl","Carina Benz","Andrea Bartos","Gerhard Satzger"]
MICROBest Paper Award
Phantom: Exploiting Decoder-detectable Mispredictions
Wikner, Trujillo & Razavi
Microarchitecture SecuritySpeculative Execution
MiddlewareBest Paper Award
Pravega: A Tiered Storage System for Data Streams
["Raúl Gracia-Tinedo","Flavio Junqueira","Tom Kaitchuck","Sachin Joshi"]
MiddlewareBest Paper Award
Sora: A Latency Sensitive Approach for Microservice Soft Resource Adaptation
["Jianshu Liu","Qingyang Wang","Shungeng Zhang","Liting Hu","Dilma Da Silva"]
MobiComBest Paper
AgriTera: Accurate Non-Invasive Fruit Ripeness Sensing via Sub-Terahertz Wireless Signals
Afzal et al.
THzSensing
MobiSysBest Paper Award
Mozart: A Mobile ToF System for Sensing in the Dark through Phase Manipulation
["Zhiyuan Xie","Xiaomin Ouyang","Li Pan","Wenrui Lu","Guoliang Xing","Xiaoming Liu"]
EuroSysBest Paper
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems
LeBlanc, Pailoor, Om Saran, Dillig, Bornholt, Chidambaram
StorageFile System
2022
127 papersWWWBest Paper
Rewiring what-to-watch-next Recommendations to Reduce Radicalization Pathways
Fabbri et al.
RecommendationRadicalization
WSDMBest Paper Award
Learning Discrete Representations via Constrained Clustering for Effective and Efficient Dense Retrieval
["Jingtao Zhan","Jiaxin Mao","Yiqun Liu","Jiafeng Guo","Min Zhang","Shaoping Ma"]
WACVBest Student Paper
Agree to Disagree: When Deep Learning Models With Identical Architectures Produce Distinct Explanations
Watson, Hasan & Al Moubayed
ExplainabilityDeep Learning
WACVBest Paper
CharacterGAN: Few-Shot Keypoint Character Animation and Reposing
Hinz, Fisher, Wang, Shechtman & Wermter
Character AnimationGAN
WACVBest Paper
Hole-robust Wireframe Detection
Kong, Park & Goka
Wireframe DetectionScene Understanding
VLDBBest Paper
SANCUS: Staleness-Aware Communication-Avoiding Full-Graph Decentralized Learning on Multiple GPUs
Chen et al.
Distributed LearningGNN
USENIX Securitydistinguished_paper
Fuzztruction: Using Fault Injection-based Fuzzing to Leverage Implicit Domain Knowledge
Bars, Schloegel, Scharnowski, Schiller, Holz
FuzzingFault Injection
UbiCompDistinguished Paper Award
Design and Evaluation of a Clippable and Personalizable Pneumatic-haptic Feedback Device for Breathing Guidance
["Kyung Yun Choi","Neska ElHaouij","Jinmo Lee","Rosalind W. Picard","Hiroshi Ishii"]
UAIBest Paper Award
Abstraction between Structural Causal Models: A Review of Definitions and Properties
["Fabio Massimo Zennaro"]
UAIBest Paper Award
Tractable Uncertainty for Structure Learning
["Benjie Wang","Matthew Robert Wicker","Marta Kwiatkowska"]
UAIBest Paper Award
PAC-Bayesian Domain Adaptation Bounds for Multiclass Learners
["Anthony Sicilia","Katherine Atwell","Malihe Alikhani","Seong Jae Hwang"]
STOCBest Paper Award
Asymptotically Good Quantum and Locally Testable Classical LDPC Codes
["Pavel Panteleev","Gleb Kalachev"]
quantum computingcoding theoryerror-correcting codes
STOCBest Paper Award
Locally Testable Codes with Constant Rate, Distance, and Locality
["Irit Dinur","Shai Evra","Ron Livne","Alexander Lubotzky","Shahar Mozes"]
coding theoryerror-correcting codescomplexity theory
S&Pdistinguished_paper
Committed to Trust: A Qualitative Study on Security & Trust in Open Source Software Projects
Wermke, Woehler, Klemmer, Fourné, Acar, Fahl
Open SourceTrust
S&Pdistinguished_paper
Assessing the Security of GitHub Copilot's Code Contributions
Pearce, Ahmad, Tan, Dolan-Gavitt, Karri
AI CodeSecurity
S&Pdistinguished_paper
Four Attacks and a Proof for Telegram
Albrecht, Mareková, Paterson, Stepanovs
CryptographyProtocol
SIGMODBest Paper
R2T: Instance-optimal Truncation for Differentially Private Query Evaluation with Foreign Keys
Machanavajjhala, Tao, Yi
Differential PrivacyQuery
SIGIRBest Paper
Reduce, Reuse, Recycle: Green Information Retrieval Research
Scells, Zhuang, Zuccon
IRSustainability
SIGGRAPH AsiaBest Paper
Rhythmic Gesticulator: Rhythm-Aware Co-Speech Gesture Synthesis with Hierarchical Neural Embeddings
Ao, Gao, Lou, Chen & Liu
Gesture SynthesisSpeech Animation
SIGGRAPHBest Paper
CLIPasso: Semantically-Aware Object Sketching
Vinker, Pajouheshgar, Bo, Bachmann et al.
Sketch GenerationCLIP
SIGCOMMBest Paper
Software-defined Network Assimilation: Bridging the Last Mile Towards Centralized Network Configuration Management with NAssim
Xu et al.
SDNNetwork Management
SenSysBest Paper Award
Bracelet+: Harvesting the Leaked RF Energy in VLC with Wearable Bracelet Antenna
["Minhao Cui","Qing Wang","Jie Xiong"]
SCBest Paper Award
Symmetric Block-Cyclic Distribution: Fewer Communications Leads to Faster Dense Cholesky Factorization
["Olivier Beaumont","Philippe Duchon","Lionel Eyraud-Dubois","Julien Langou","Mathieu Vérité"]
RSSBest Paper
Iterative Residual Policy for Goal-Conditioned Dynamic Manipulation of Deformable Objects
Chi, Burchfiel, Cousineau, Feng, Song
ManipulationDeformable Objects
POPLDistinguished Paper Award
Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution
["Anders Miltner","Adrian Trejo Nuñez","Ana Brendel","Swarat Chaudhuri","Işıl Dillig"]
program synthesisfunctional programmingrecursion
POPLDistinguished Paper Award
Learning Formulas in Finite Variable Logics
["Paul Krogmeier","P. Madhusudan"]
formal methodsmachine learninglogic
POPLDistinguished Paper Award
One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes
["Jay P. Lim","Santosh Nagarakatte"]
numerical computingfloating pointcorrectness
POPLDistinguished Paper Award
Observational Equality: Now for Good
["Loïc Pujet","Nicolas Tabareau"]
type theoryequalitydependent types
POPLDistinguished Paper Award
Formal Metatheory of Second-Order Abstract Syntax
["Marcelo Fiore","Dmitrij Szamozvancev"]
formal methodstype theoryabstract syntax
POPLDistinguished Paper Award
Pirouette: Higher-Order Typed Functional Choreographies
["Andrew K. Hirsch","Deepak Garg"]
type systemschoreographiesfunctional programming
POPLDistinguished Paper Award
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations
["Lennard Gäher","Michael Sammler","Simon Spies","Ralf Jung","Hoang-Hai Dang","Robbert Krebbers","Jeehoon Kang","Derek Dreyer"]
concurrencyseparation logicprogram optimizationformal methods
PODSBest Paper Award
Convergence of Datalog over (Pre-) Semirings
["Mahmoud Abo Khamis","Hung Q. Ngo","Reinhard Pichler","Dan Suciu","Yisu Remy Wang"]
PLDIDistinguished Paper Award
Visualization Question Answering Using Introspective Program Synthesis
["Yanju Chen","Xifeng Yan","Yu Feng"]
program synthesisvisualizationquestion answering
PLDIDistinguished Paper Award
Synthesizing Analytical SQL Queries from Computation Demonstration
["Xiangyu Zhou","Rastislav Bodík","Alvin Cheung","Chenglong Wang"]
program synthesisdatabasessql
PLDIDistinguished Paper Award
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
["Yusuke Matsushita","Xavier Denis","Jacques-Henri Jourdan","Derek Dreyer"]
program verificationrustformal methodsseparation logic
PLDIDistinguished Paper Award
Low-Latency, High-Throughput Garbage Collection
["Wenyu Zhao","Steve Blackburn","Kathryn S McKinley"]
memory managementgarbage collectionperformance
PLDIDistinguished Paper Award
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
["Michael Greenberg","Ryan Beckett","Eric Campbell"]
formal methodskleene algebraprogram analysis
PLDIDistinguished Paper Award
Finding Typing Compiler Bugs
["Stefanos Chaliasos","Thodoris Sotiropoulos","Diomidis Spinellis","Arthur Gervais","Ben Livshits","Dimitris Mitropoulos"]
compilerstype systemstestingbug finding
3DVBest Paper
Smooth Non-Rigid Shape Matching via Effective Dirichlet Energy Optimization
Magnet, Ren, Sorkine-Hornung & Ovsjanikov
Shape MatchingNon-rigid
AAAIBest Paper
Online Certification of Preference-Based Fairness for Personalized Recommender Systems
Do et al.
FairnessRecommender
AAMASBest Paper Award
Hacking the Colony: On the Disruptive Effect of Misleading Pheromone and How to Defend against It
["Ashay Aswale","Antonio Lopez","Aukkawut Ammartayakun","Carlo Pinciroli"]
ACSACBest Paper Award
BayesImposter: Bayesian Estimation Based .bss Imposter Attack on Industrial Control Systems
[]
ASEDistinguished Paper Award
Boosting the Revealing of Detected Violations in Deep Learning Testing: A Diversity-Guided Method
["Xiaoyuan Xie","Pengbo Yin","Songqiang Chen"]
deep learning testingtest diversityviolations
ASEDistinguished Paper Award
CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture
["Vikram Nitin","Shubhi Asthana","Baishakhi Ray","Rahul Krishna"]
microservicesmigrationdependency analysis
ASEDistinguished Paper Award
Compiler Testing using Template Java Programs
["Zhiqiang Zang","Nathan Wiatrek","Milos Gligoric","August Shi"]
compiler testingjavatemplates
ASEDistinguished Paper Award
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code
["Aryaz Eghbali","Michael Pradel"]
code similarityevaluationmetrics
ASEDistinguished Paper Award
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation
["Oskar Haarklou Veileborg","Georgian-Vlad Saioc","Anders Møller"]
goconcurrencyabstract interpretationblocking errors
ASEDistinguished Paper Award
Efficient Greybox Fuzzing to Detect Memory Errors
["Jinsheng Ba","Gregory J. Duck","Abhik Roychoudhury"]
fuzzingmemory errorsgreybox
ASEDistinguished Paper Award
Fuzzle: Making a Puzzle for Fuzzers
["Haeun Lee","Soomin Kim","Sang Kil Cha"]
fuzzingbenchmarksevaluation
ASEDistinguished Paper Award
Has My Release Disobeyed Semantic Versioning?
["Lyuye Zhang","Chengwei Liu","Zhengzi Xu","Sen Chen","Lingling Fan","Bihuan Chen","Yang Liu"]
semantic versioningrelease managementsoftware evolution
ASEDistinguished Paper Award
HyperAST: Enabling Efficient Analysis of Software Histories at Scale
["Quentin Le-dilavrec","Djamel Eddine Khelladi","Arnaud Blouin","Jean-Marc Jézéquel"]
astsoftware historycode analysis
ASEDistinguished Paper Award
Learning to Construct Better Mutation Faults
["Zhao Tian","Junjie Chen","Qihao Zhu","Junjie Yang","Lingming Zhang"]
mutation testingfault injectionlearning
ASEDistinguished Paper Award
QATest: A Uniform Fuzzing Framework for Question Answering Systems
["Zixi Liu","Yang Feng","Yining Yin","Jingyu Sun","Zhenyu Chen","Baowen Xu"]
fuzzingquestion answeringtesting
USENIX ATCBest Paper Award
Co-opting Linux Processes for High-Performance Network Simulation
["Rob Jansen","Jim Newsome","Ryan Wails"]
network simulationlinuxhigh performance
USENIX ATCBest Paper Award
Riker: Always-Correct and Fast Incremental Builds from Simple Specifications
["Charlie Curtsinger","Daniel W. Barowy"]
build systemsincremental buildscorrectness
BMVCBest Paper
Trans2k: Unlocking the Power of Deep Models for Transparent Object Tracking
Lukezic, Trojer, Matas & Kristan
Object TrackingTransparent Objects
ASPLOSBest Paper
JSONSki: Streaming Semi-Structured Data with Bit-Parallel Fast-Forwarding
Lin Jiang, Zhijia Zhao
JSONData Processing
ASPLOSBest Paper
TMO: Transparent Memory Offloading in Datacenters
Johannes Weiner, Niket Agarwal, Dan Schatzberg, Leon Yang, Hao Wang, Blaise Sanouillet, Bikash Sharma, Tejun Heo, Mayank Jain, Chunqiang Tang, Dimitrios Skarlatos
MemoryDatacenters
ASPLOSBest Paper
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
ConcurrencyData Structures
ASPLOSBest Paper
Understanding and Exploiting Optimal Function Inlining
Theodoros Theodoridis, Thobias Grosser, Zhendong Su
CompilersOptimization
CHIBest Paper
Care Infrastructures for Digital Security in Intimate Partner Violence
Tseng et al.
SecurityIPV
CIKMBest Paper
Harnessing Neighborhood Modeling and Asymmetry Preservation for Digraph Representation Learning
Zhou et al.
GraphRepresentation
COLTBest Paper Award
Efficient convex optimization requires superlinear memory
["Annie Marsden","Vatsal Sharan","Aaron Sidford","Gregory Valiant"]
CoNEXTBest Paper Award
On the Interplay between TLS Certificates and QUIC Performance
["Marcin Nawrocki","Pouyan Fotouhi Tehrani","Raphael Hiesgen","Jonas Mücke","Thomas C. Schmidt","Matthias Wählisch"]
CRYPTOBest Paper Award
Batch Arguments for NP and More from Standard Assumptions
Waters & Wu
Succinct ArgumentsStandard Assumptions
CRYPTOBest Paper Award (Early Career)
Breaking Rainbow Takes a Weekend on a Laptop
Beullens
Post-Quantum CryptographyCryptanalysis
CRYPTOBest Paper Award (Early Career)
Some Easy Instances of Ideal-SVP and Implications on the Partial Vandermonde Knapsack Problem
Boudgoust, Gachon & Pellet-Mary
Lattice CryptographySVP
CSCWBest Paper Award
The Effects of AI-based Credibility Indicators on the Detection and Spread of Misinformation under Social Influence
["Zhuoran Lu","Patrick Li","Weilong Wang","Ming Yin"]
CVPRBest Paper
Learning to Solve Hard Minimal Problems
Hruby, Duff, Leykin & Pajdla
Geometric VisionCamera Calibration
CVPRhonorable_mention
Dual-Shutter Optical Vibration Sensing
Sheinin, Chan, O'Toole & Narasimhan
Computational ImagingSensing
CVPRBest Student Paper
EPro-PnP: Generalized End-to-End Probabilistic Perspective-n-Points for Monocular Object Pose Estimation
Chen, Wang, Wang, Tian, Xiong & Li
Pose EstimationMonocular
ECCVBest Paper
On the Versatile Uses of Partial Distance Correlation in Deep Learning
Zhen, Meng, Chakraborty & Singh
Deep LearningStatistical Methods
EMNLPBest Paper Award
Abstract Visual Reasoning with Tangram Shapes
["Anya Ji","Noriyuki Kojima","Noah Rush","Alane Suhr","Yoav Artzi"]
EUROCRYPTBest Paper Award
EpiGRAM: Practical Garbled RAM
Heath, Kolesnikov & Ostrovsky
Garbled CircuitsRAM
FASTBest Paper Award
Improving the Reliability of Next Generation SSDs using WOM-v Codes
["Shehbaz Jaffer","Kaveh Mahdaviani","Bianca Schroeder"]
FOCSBest Paper
Negative-Weight Single-Source Shortest Paths in Near-Linear Time
Bernstein et al.
Shortest PathsAlgorithms
HPCABest Paper Award
PVCoherence: Designing Flat Coherence Protocols for Scalable Verification
Zhang, Bingham, Erickson & Sorin
Cache CoherenceHardware Verification
HRIBest Paper Award
Memory-Based Personalization for Fostering a Long-Term Child-Robot Relationship
["Mike Ligthart","Koen Hindriks","Mark Neerincx"]
ICCADBest Paper Award
Attack Directories on ARM big.LITTLE Processors
["Zili Kou","Sharad Sinha","Wenjian He","Wei Zhang"]
ICCADBest Paper Award
SpecPart: A Supervised Spectral Framework for Hypergraph Partitioning Solution Improvement
["Ismail Bustany","Andrew B. Kahng","Ioannis Koutis","Bodhisatta Pramanik","Zhiang Wang"]
ICDCSBest Paper Award
Crime and Punishment in Distributed Byzantine Decision Tasks
["Pierre Civit","Seth Gilbert","Vincent Gramoli","Rachid Guerraoui","Jovan Komatovic","Zarko Milosevic","Adi Seredinschi"]
ICDEBest Paper Award
Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing
["Atul Sandur","ChanHo Park","Stavros Volos","Gul Agha","Myeongjae Jeon"]
ICDEBest Paper Award
Evolutionary Clustering of Moving Objects
["Tianyi Li","Lu Chen","Christian S. Jensen","Torben Bach Pedersen","Yunjun Gao","Jilin Hu"]
ICDEBest Paper Award
Evaluating Complex Queries on Streaming Graphs
["Anil Pacaci","Angela Bonifati","M. Tamer Özsu"]
ICMLBest Paper
Understanding Dataset Difficulty with V-Usable Information
Ethayarajh et al.
DatasetInformation Theory
IMCBest Paper Award
The Importance of Contextualization of Crowdsourced Active Speed Test Measurements
["Udit Paul","Jiamo Liu","Mengyang Gu","Arpit Gupta","Elizabeth Belding"]
INFOCOMBest Paper
ChARM: NextG Spectrum Sharing Through Data-Driven Real-Time O-RAN Dynamic Control
Baldesi et al.
O-RANSpectrum
IROSBest Paper Award
SpeedFolding: Learning Efficient Bimanual Folding of Garments
["Yahav Avigal","Lars Berscheid","Tamim Asfour","Torsten Kroeger","Ken Goldberg"]
ISCABest Paper
NvMR: Non-Volatile Memory Renaming for Intermittent Computing
Bhattacharyya et al.
NVMIntermittent Computing
ISSTADistinguished Paper Award
Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems
["Clay Stevens","Hamid Bagheri"]
ISSTADistinguished Paper Award
Cross-Lingual Transfer Learning for Statistical Type Inference
["Zhiming Li","Xiaofei Xie","Haoliang Li","Zhengzi Xu","Yi Li","Yang Liu"]
ISSTADistinguished Paper Award
Finding Permission Bugs in Smart Contracts with Role Mining
["Ye Liu","Yi Li","Shang-Wei Lin","Cyrille Artho"]
ISSTADistinguished Paper Award
The Raise of Machine Learning Hyperparameter Constraints in Python Code
["Ingkarat Rak-amnouykit","Ana Milanova","Guillaume Baudart","Martin Hirzel","Julian Dolby"]
IUIBest Paper Award
Hand Gesture Recognition for an Off-the-Shelf Radar by Electromagnetic Modeling and Inversion
["Arthur Sluÿters","Sébastien Lambot","Jean Vanderdonckt"]
IUIBest Paper Award
Deep Learning Uncertainty in Machine Teaching
["Téo Sanchez","Baptiste Caramiaux","Pierre Thiel","Wendy E. Mackay"]
MICROBest Paper
Whisper: Profile-Guided Branch Misprediction Elimination for Data Center Applications
Jiménez, Kasikci, Khan, Ugur, Nathella, Sunwoo, Litz
Branch PredictionData Center
MiddlewareBest Paper Award
MicroEdge: A Multi-Tenant Edge Cluster System Architecture for Scalable Camera Processing
["Difei Cao","Jinsun Yoo","Zhuangdi Xu","Enrique Saurez","Harshit Gupta","Tushar Krishna","Umakishore Ramachandran"]
MobiComBest Paper
Magnetoelectric Backscatter Communication for Millimeter-Sized Wireless Biomedical Implants
Yu et al.
BackscatterBiomedical
MobiSysBest Paper Award
OmniScatter: Extreme Sensitivity mmWave Backscattering Using Commodity FMCW Radar
["Kang Min Bae","Namjo Ahn","Yoon Chae","Parth Pathak","SungMin Sohn","Song Min Kim"]
MobiHocBest Paper Award
Tackling Heterogeneous Traffic in Multi-access Systems via Erasure Coded Servers
["Tuhinangshu Choudhury","Weina Wang","Gauri Joshi"]
CCSdistinguished_paper
Victory by KO: Attacking OpenPGP Using Key Overwriting
Paterson, Bruseghini, Huigens
CryptographyPGP
CCSdistinguished_paper
Proving UNSAT in Zero Knowledge
Luo, Antonopoulos, Harris, Piskac, Tromer, Wang
Zero-KnowledgeFormal Verification
CCSdistinguished_paper
Zapper: Smart Contracts with Data and Identity Privacy
Steffen, Bichsel, Vechev
Smart ContractPrivacy
EuroSysBest Paper
Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus
Danezis, Kokoris-Kogias, Sonnino, Spiegelman
BlockchainConsensus
MSRDistinguished Paper Award
A Large-Scale Comparison of Python Code in Jupyter Notebooks and Scripts
["Konstantin Grotov","Sergey Titov","Vladimir Sotnikov","Yaroslav Golubev","Timofey Bryksin"]
MSRDistinguished Paper Award
On the Violation of Honesty in Mobile Apps: Automated Detection and Categories
["Humphrey Obie","Idowu Oselumhe Ilekura","Hung Du","Mojtaba Shahin","John Grundy","Li Li","Jon Whittle","Burak Turhan"]
MSRDistinguished Paper Award
Operationalizing Threats to MSR Studies by Simulation-Based Testing
["Johannes Härtel","Ralf Laemmel"]
NAACLBest Paper
Automatic Correction of Human Translations
Lin, Kovacs, Shastry, Wuebker, DeNero
Machine Translation
NAACLBest Paper
NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics
Lu, Welleck, West, Jiang, Kasai, Khashabi, Le Bras, Qin, Yu, Zellers, Smith, Choi
Text GenerationDecoding
NDSSdistinguished_paper
Preventing Kernel Hacks with HAKCs
McKee, Giannaris, Ortega, Shrobe, Payer, Okhravi, Burow
OSKernel Security
NeurIPSBest Paper
Photorealistic Text-to-Image Diffusion Models with Deep Language Understanding
Saharia et al.
ImagenDiffusion
NSDIBest Paper Award
Graham: Synchronizing Clocks by Leveraging Local Clock Properties
Najafi & Wei
Clock SynchronizationDistributed Systems
OOPSLADistinguished Paper Award
Finding Real Bugs in Big Programs with Incorrectness Logic
Le, Raad, Villard, Berdine, Dreyer & O'Hearn
Program AnalysisBug Detection
OOPSLADistinguished Paper Award
Complexity-Guided Container Replacement Synthesis
Wang, Yao, Tang, Shi & Zhang
Program SynthesisComplexity
OSDIBest Paper
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime
et al. (UCLA SOLAR Lab)
Memory SystemsRuntime
PACTBest Paper Award
Slice-and-Forge: Making Better Use of Caches for Graph Convolutional Network Accelerators
["Min-hee Yoo","Jaeyong Song","Hyeyoon Lee","Jounghoo Lee","Namhyung Kim","Youngsok Kim","Jinho Lee"]
Pacific GraphicsBest Paper
Classifier Guided Supersampling for Real-Time Rendering
Guo, Chen, Dong & Xin
SupersamplingReal-time Rendering
2021
127 papersWSDMBest Paper Award
Unifying Online and Counterfactual Learning to Rank
["Harrie Oosterhuis","Maarten de Rijke"]
VLDBBest Paper
Scaling Attributed Network Embedding to Massive Graphs
Renchi Yang, Jieming Shi, Xiaokui Xiao, Yin Yang, Juncheng Liu, Sourav S. Bhowmick
graph embeddingnetwork embeddingscalability
USENIX Securitydistinguished_paper
Rage Against the Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks
Hany Ragab, Enrico Barberis, Herbert Bos, Cristiano Giuffrida
hardware securitytransient executionCPU
UbiCompDistinguished Paper Award
Captivates: A Smart Eyeglass Platform for Across-Context Physiological Measurement
["Patrick Chwalek","David Ramsay","Joseph A. Paradiso"]
UbiCompDistinguished Paper Award
Detecting Receptivity for mHealth Interventions in the Natural Environment
["Varun Mishra","Florian Künzler","Jan-Niklas Kramer","Elgar Fleisch","Tobias Kowatsch","David Kotz"]
UbiCompDistinguished Paper Award
Every Byte Matters: Traffic Analysis of Bluetooth Wearable Devices
["Ludovic Barman","Alexandre Dumur","Apostolos Pyrgelis","Jean-Pierre Hubaux"]
STOCBest Paper Award
Indistinguishability Obfuscation from Well-Founded Assumptions
["Aayush Jain","Huijia Lin","Amit Sahai"]
cryptographyobfuscationhardness assumptions
STOCBest Paper Award
The Complexity of Gradient Descent: CLS = PPAD ∩ PLS
["John Fearnley","Paul W. Goldberg","Alexandros Hollender","Rahul Savani"]
complexity theorygradient descentalgorithms
STOCBest Paper Award
A (Slightly) Improved Approximation Algorithm for Metric TSP
["Anna R. Karlin","Nathan Klein","Shayan Oveis Gharan"]
algorithmsapproximationtraveling salesmancombinatorial optimization
S&PBest Paper
The EMV Standard: Break, Fix, Verify
David Basin, Ralf Sasse, Jorge Toro-Pozo
security protocolsformal verificationEMVpayment
S&PBest Paper
Compositional Security for Reentrant Applications
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
program securityreentrancysmart contracts
SOSPBest Paper
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield
formal verificationstorage systemsS3
SOSPBest Paper
Kangaroo: Caching Billions of Tiny Objects on Flash
Sara McAllister, Benjamin Berg, Julian Tutuncu-Macias, Juncheng Yang, Sathya Gunasekar, Jimmy Lu, Daniel Berger, Nathan Beckmann, Gregory R. Ganger
storagecachingflashsystems
SODABest Paper Award
Solving Sparse Linear Systems Faster than Matrix Multiplication
["Richard Peng","Santosh Vempala"]
SIGMODBest Paper
Bao: Making Learned Query Optimization Practical
Ryan Marcus, Parimarjan Negi, Hongzi Mao, Nesime Tatbul, Mohammad Alizadeh, Tim Kraska
query optimizationlearned systemsdatabasesML for systems
SIGIRBest Paper
Computationally Efficient Optimization of Plackett-Luce Ranking Models for Relevance and Fairness
Harrie Oosterhuis
rankingfairnessinformation retrievaloptimization
SIGCOMMBest Paper
Seven Years in the Life of Hypergiants' Off-Nets
Petros Gigis, Matt Calder, Lefteris Manassakis, George Nomikos, Vasileios Kotronis, Xenofontas Dimitropoulos, Ethan Katz-Bassett, Georgios Smaragdakis
Internet measurementCDNhypergiantsnetwork topology
SenSysBest Paper Award
NELoRa: Towards Ultra-low SNR LoRa Communication with Neural-enhanced Demodulation
["Chenning Li","Hanqing Guo","Shuai Tong","Xiao Zeng","Zhichao Cao","Mi Zhang","Qiben Yan","Li Xiao","Jiliang Wang","Yunhao Liu"]
SCBest Paper Award
Revealing Power, Energy, and Thermal Dynamics of a 200PF Pre-Exascale Supercomputer
["Woong Shin","Vladyslav Oles","Ahmad Maroof Karimi","J. Austin Ellis","Feiyi Wang"]
RSSBest Paper
TARE: A Hierarchical Framework for Efficiently Exploring Complex 3D Environments
Chao Cao, Hongbiao Zhu, Howie Choset, Ji Zhang
roboticsexplorationautonomous navigation3D mapping
PPoPPBest Paper Award
Synthesizing Optimal Collective Algorithms
["Zixian Cai","Zhengyang Liu","Saeed Maleki","Madanlal Musuvathi","Todd Mytkowicz","Jacob Nelson","Olli Saarikivi"]
POPLDistinguished Paper Award
egg: Fast and Extensible Equality Saturation
["Max Willsey","Chandrakana Nandi","Yisu Remy Wang","Oliver Flatt","Zachary Tatlock","Pavel Panchekha"]
compilersequality saturationprogram optimization
POPLDistinguished Paper Award
Provably Space Efficient Parallel Functional Programming
["Jatin Arora","Sam Westrick","Umut A. Acar"]
parallel computingfunctional programmingspace efficiency
POPLDistinguished Paper Award
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs
["Pascal Baumann","Rupak Majumdar","Ramanathan S. Thinniyam","Georg Zetzsche"]
concurrencyformal verificationliveness
POPLDistinguished Paper Award
A Pre-Expectation Calculus for Probabilistic Sensitivity
["Alejandro Aguirre","Gilles Barthe","Justin Hsu","Benjamin Lucien Kaminski","Joost-Pieter Katoen","Christoph Matheja"]
probabilistic programmingformal methodssensitivity analysis
POPLDistinguished Paper Award
Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
["Marco Vassena","Craig Disselkoen","Klaus von Gleissenthall","Sunjay Cauligi","Rami Gökhan Kıcı","Ranjit Jhala","Dean Tullsen","Deian Stefan"]
securityspeculative executionprogram analysiscryptography
POPLDistinguished Paper Award
An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs
["Julian Rosemann","Simon Moll","Sebastian Hack"]
abstract interpretationcompilersgpu
POPLDistinguished Paper Award
A Verified Optimizer for Quantum Circuits
["Kesha Hietala","Robert Rand","Shih-Han Hung","Xiaodi Wu","Michael Hicks"]
quantum computingcompilersformal verification
PODSBest Paper Award
Relative Error Streaming Quantiles
["Graham Cormode","Zohar Karnin","Edo Liberty","Justin Thaler","Pavel Vesely"]
PLDIDistinguished Paper Award
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
["Xiaolei Ren","Michael Ho","Jiang Ming","Jeff Yu Lei","Li Li"]
compilersbinary analysisoptimizationsecurity
PLDIDistinguished Paper Award
Specification Synthesis with Constrained Horn Clauses
["Sumanth Prabhu","Grigory Fedyukovich","Kumar Madhukar","Deepak D'Souza"]
program synthesisformal methodsverificationhorn clauses
PLDIDistinguished Paper Award
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
["Michael Sammler","Rodolphe Lepigre","Robbert Krebbers","Kayvan Memarian","Derek Dreyer","Deepak Garg"]
program verificationc languageownership typesformal methods
3DVBest Paper
DPFM: Deep Partial Functional Maps
Attaiki, Pai & Ovsjanikov
Shape MatchingFunctional Maps
AAMASBest Paper Award
Scalable Anytime Planning for Multi-Agent MDPs
["Shushman Choudhury","Jayesh K. Gupta","Peter Morales","Mykel J. Kochenderfer"]
ASEDistinguished Paper Award
Testing Your Question Answering Software via Asking Recursively
["Songqiang Chen","Shuo Jin","Xiaoyuan Xie"]
testingquestion answeringnlp
ASEDistinguished Paper Award
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats
["Lin Shi","Ziyou Jiang","Ye Yang","Xiao Chen","YuMin Zhang","Fangwen Mu","Hanzhi Jiang","Qing Wang"]
issue trackinginformation extractionlive chat
ASEDistinguished Paper Award
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies
["Malte Mues","Falk Howar"]
smtsolvermeta-solving
ASEDistinguished Paper Award
Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug Tossing Knowledge Graph
["Yanqi Su","Zhenchang Xing","Xin Peng","Xin Xia","Chong Wang","Xiwei Xu","Liming Zhu"]
bug triageknowledge graphdefect management
ASEDistinguished Paper Award
PyExplainer: Explaining the Predictions of Just-In-Time Defect Models
["Chanathip Pornprasit","Kla Tantithamthavorn","Jirayus Jiarpakdee","Michael Fu","Patanamon Thongtanunam"]
explainabilitydefect predictionjust-in-time
ASEDistinguished Paper Award
RULF: Rust Library Fuzzing via API Dependency Graph Traversal
["Jianfeng Jiang","Hui Xu","Yangfan Zhou"]
fuzzingrustapi testing
USENIX ATCBest Paper Award
INFaaS: Automated Model-less Inference Serving
["Francisco Romero","Qian Li","Neeraja J. Yadwadkar","Christos Kozyrakis"]
inference servingmlopsserverless
USENIX ATCBest Paper Award
Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing
["Lingmei Weng","Junfeng Yang","Peng Huang","Jason Nieh"]
performance debuggingcausal tracingdesktop applications
USENIX ATCBest Paper Award
Scaling Large Production Clusters with Partitioned Synchronization
["Yihui Feng","Yang Zhang","Zhi Liu","Yunjian Zhao","Tatiana Jin","Yidi Wu","James Cheng","Chao Li","Tao Guan"]
distributed systemscluster schedulingsynchronization
BMVCBest Paper
DISCO: Accurate Discrete Scale Convolutions
Sosnovik, Moskalev & Smeulders
Scale EquivarianceCNN
ASPLOSBest Paper
Benchmarking, Analysis, and Optimization of Serverless Function Snapshots
Dmitrii Ustiugov, Plamen Petrov, Marios Kogias, Edouard Bugnion, Boris Grot
ServerlessSystems
ASPLOSBest Paper
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models
Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens, Ming Fu, Antonio Paolillo, Lilith Oberhauser, Koustubha Bhat, Yuzhong Wen, Haibo Chen, Jaeho Kim, Viktor Vafeiadis
VerificationConcurrency
ASPLOSBest Paper
Autonomous NIC Offloads
Boris Pismenny, Haggai Eran, Aviad Yehezkel, Liran Liss, Adam Morrison, Dan Tsafrir
NICNetworking
ASPLOSBest Paper
Computing with Time: Microarchitectural Weird Machines
Dmitry Evtyushkin, Thomas Benjamin, Jesse Elwell, Jeffrey A. Rossbach, Eric Schkufza
MicroarchitectureSecurity
ASPLOSBest Paper
Fast, Flexible, and Comprehensive Bug Detection for Persistent Memory Programs
Bang Di, Jiawen Liu, Hao Chen, Dong Li
Persistent MemoryBug Detection
ASPLOSBest Paper
Compiler-Driven FPGA Virtualization with SYNERGY
Joshua Landgraf, Tiffany Yang, Will Lin, Christopher J. P. O'Boyle
FPGACompilers
CIKMBest Paper Award
RxNet: Rx-refill Graph Neural Network for Overprescribing Detection
["Jianfeng Zhang","Ai-Te Kuo","Jianan Zhao","Qianlong Wen","Erin Winstanley","Chuxu Zhang","Yanfang Ye"]
COLTBest Paper Award
Non-stationary Reinforcement Learning without Prior Knowledge: An Optimal Black-box Approach
["Chen-Yu Wei","Haipeng Luo"]
COLTBest Paper Award
The Min-Max Complexity of Distributed Stochastic Convex Optimization with Intermittent Communication
["Blake E. Woodworth","Brian Bullins","Ohad Shamir","Nathan Srebro"]
CoNEXTBest Paper Award
Deployment and scalability of an inter-domain multi-path routing infrastructure
["Cyrill Krähenbühl","Seyedali Tabaeiaghdaei","Christelle Gloor","Jonghoon Kwon","Adrian Perrig","David Hausheer","Dominik Roos"]
CRYPTOBest Paper Award
Efficient Key Recovery for All HFE Signature Variants
Tao, Petzoldt & Ding
Post-Quantum CryptographySignature Schemes
CRYPTOBest Paper Award
On the Possibility of Basing Cryptography on EXP ≠ BPP
Liu & Pass
FoundationsComplexity Theory
DACBest Paper Award
Gemmini: Enabling Systematic Deep-Learning Architecture Evaluation via Full-Stack Integration
["Hasan Genc","Seah Kim","Alon Amid","Ameer Haj-Ali","Vighnesh Iyer","Pranav Prakash","Jerry Zhao","Daniel Grubb","Harrison Liew","Howard Mao","Albert Ou","Colin Schmidt","Samuel Steffl","John Wright","Ion Stoica","Jonathan Ragan-Kelley","Krste Asanovic","Borivoje Nikolic","Yakun Sophia Shao"]
CSCWBest Paper Award
Time for Historicism in CSCW: An Invitation
["Robert Soden","David Ribes","Seyram Avle","Will Sutherland"]
CVPRBest Paper
GIRAFFE: Representing Scenes as Compositional Generative Neural Feature Fields
Niemeyer & Geiger
Neural RenderingGenerative
CVPRhonorable_mention
Exploring Simple Siamese Representation Learning
Chen & He
Self-SupervisedContrastive Learning
CVPRhonorable_mention
Learning High Fidelity Depths of Dressed Humans by Watching Social Media Dance Videos
Jafarian & Park
Depth EstimationHuman Body
EUROCRYPTBest Paper Award
New Representations of the AES Key Schedule
Leurent & Pernot
Symmetric CryptographyAES
EUROCRYPTBest Paper Award
Non-Interactive Zero Knowledge from Sub-exponential DDH
Jain & Jin
Zero-Knowledge ProofsDDH
EUROCRYPTBest Paper Award
On the (In)security of ROS
Benhamouda, Lepoint, Loss, Orrù & Raykova
Blind SignaturesThreshold Signatures
FASTBest Paper Award
High Velocity Kernel File Systems with Bento
["Samantha Miller","Kaiyuan Zhang","Mengqi Chen","Ryan Jennings","Ang Chen","Danyang Zhuo","Thomas Anderson"]
FOCSBest Paper Award
Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits
Limaye, Srinivasan & Tavenas
Circuit ComplexityLower Bounds
HPCABest Paper Award
Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design
Talati, Behroozi, Yang, Verma, Nguyen, May, Ahmadi, Dreslinski, Mudge, Austin & Mahlke
Memory SystemsIrregular Workloads
HRIBest Paper Award
Children as Robot Designers
["Patrícia Alves-Oliveira","Patrícia Arriaga","Ana Paiva","Guy Hoffman"]
HRIBest Paper Award
Robot Gaze Can Mediate Participation Imbalance in Groups with Different Skill Levels
["Sarah Gillet","Ronald Cumbal","André Pereira","José Lopes","Olov Engwall","Iolanda Leite"]
HRIBest Paper Award
Explainable AI for Robot Failures: Generating Explanations that Improve User Assistance in Fault Recovery
["Devleena Das","Siddhartha Banerjee","Sonia Chernova"]
HRIBest Paper Award
Challenges and Opportunities for Replication Science in HRI: A Case Study in Human-Robot Trust
["Daniel Ullman","Salomi Aladia","Bertram F. Malle"]
ICCADBest Paper Award
BOOM-Explorer: RISC-V BOOM Microarchitecture Design Space Exploration Framework
["Chen Bai","Qi Sun","Jianwang Zhai","Yuzhe Ma","Bei Yu","Martin D.F. Wong"]
ICCADBest Paper Award
Analytical Modeling of Transient Electromigration Stress based on Boundary Reflections
["Mohammad Abdullah Al Shohel","Vidya A. Chhabria","Nestor Evmorfopoulos","Sachin S. Sapatnekar"]
ICCVBest Paper
Swin Transformer: Hierarchical Vision Transformer using Shifted Windows
Liu, Lin, Cao, Hu et al.
Vision TransformerBackbone
ICDCSBest Paper Award
Leaderless Consensus
["Karolos Antoniadis","Antoine Desjardins","Vincent Gramoli","Rachid Guerraoui","Igor Zablotchi"]
ICDEBest Paper Award
Efficient Control Flow in Dataflow Systems: When Ease-of-Use Meets High Performance
["Gábor E. Gévay","Tilmann Rabl","Sebastian Breß","Lorand Madai-Tahy","Jorge-Arnulfo Quiané-Ruiz","Volker Markl"]
ICDMBest Paper Award
A Statistically-Guided Deep Network Transformation and Moderation Framework for Data with Spatial Heterogeneity
["Yiqun Xie","Erhu He","Xiaowei Jia","Han Bao","Xun Zhou","Rahul Ghosh","Praveen Ravirathinam"]
IMCBest Paper Award
Follow the Scent: Defeating IPv6 Prefix Rotation Privacy
["Erik Rye","Robert Beverly","kc claffy"]
INFOCOMBest Paper Award
Exploiting Simultaneous Communications to Accelerate Data Parallel Distributed Deep Learning
Shi, Chu & Li
Distributed Deep LearningCommunication Efficiency
INFOCOMBest Paper Award
Uplink Multi-User Beamforming on Single RF Chain mmWave WLANs
Dasala, Knightly & Jornet
mmWaveBeamforming
IROSBest Paper Award
Extended Tactile Perception: Vibration Sensing through Tools and Grasped Objects
["Tasbolat Taunyazov","Shui Song Luar","Eugene Lim","Hian Hian See","David Lee","Benjamin Tee","Harold Soh"]
IUIBest Paper Award
ProtoAI: Model-Informed Prototyping for AI-Powered Interfaces
["Eytan Adar","Colleen M. Seifert","Hariharan Subramonyam"]
MiddlewareBest Paper Award
SwitchFlow: Preemptive Multitasking for Deep Learning
["Xiaofeng Wu","Jia Rao","Wei Chen","Hang Huang","Chris H Q Ding","Heng Huang"]
MobiComBest Paper Award
mSAIL: Milligram-Scale Multi-Modal Sensor Platform for Monarch Butterfly Migration Tracking
Lee, Hsiao, Carichner, Hsu, Yang, Shoouri, Ernst, Li & Lim
IoTSensor Platform
MobiHocBest Paper Award
Minimizing Age-of-Information in Heterogeneous Multi-Channel Systems: A New Partial-Index Approach
["Yihan Zou","Kwang Taik Kim","Xiaojun Lin","Mung Chiang"]
MobiSysBest Paper Award
nn-Meter: Towards Accurate Latency Prediction of Deep-Learning Model Inference on Diverse Edge Devices
["Li Lyna Zhang","Shihao Han","Jianyu Wei","Ningxin Zheng","Ting Cao","Yuqing Yang","Yunxin Liu"]
MobiSysBest Paper Award
PPFL: Privacy-preserving Federated Learning with Trusted Execution Environments
["Fan Mo","Hamed Haddadi","Kleomenis Katevas","Eduard Marin","Diego Perino","Nicolas Kourtellis"]
EurographicsBest Paper
Honey, I Shrunk the Domain: Frequency-aware Force Field Reduction for Efficient Fluids Optimization
Tang, Azevedo, Cordonnier & Solenthaler
Fluid SimulationOptimization
MobiSysBest Paper Award
zTT: Learning-based DVFS with Zero Thermal Throttling for Mobile Devices
["Seyeon Kim","Kyungmin Bin","Sangtae Ha","Kyunghan Lee","Song Chong"]
AAAIBest Paper
Informer: Beyond Efficient Transformer for Long Sequence Time-Series Forecasting
Haoyi Zhou, Shanghang Zhang, Jieqi Peng, Shuai Zhang, Jianxin Li, Hui Xiong, Wancai Zhang
time seriesTransformerforecasting
AAAIBest Paper
Mitigating Political Bias in Language Models through Reinforced Calibration
Ruibo Liu, Chenyan Jia, Jason W. Wei, Guangxuan Xu, Lili Wang, Soroush Vosoughi
NLPbiasfairnesslanguage models
ACLBest Paper
Vocabulary Learning via Optimal Transport for Neural Machine Translation
Jingjing Xu, Hao Zhou, Chun Gan, Zaixiang Zheng, Lei Li
NLPmachine translationoptimal transport
CCSBest Paper
XSinator.com: From a Formal Model to the Automatic Evaluation of Cross-Site Leaks in Web Browsers
Lukas Knittel, Christian Mainka, Marcus Niemietz, Dominik Trevor Noss, Jorg Schwenk
web securitycross-site leaksbrowsers
CHIBest Paper
"Everyone wants to do the model work, not the data work": Data Cascades in High-Stakes AI
Nithya Sambasivan, Shivani Kapania, Hannah Highfill, Diana Akrong, Praveen Paritosh, Lora M. Aroyo
HCIdata qualityAI systemshigh-stakes AI
CHIBest Paper
Getting Ourselves Together: Epistemic Burden and Data-centered Participatory Design Research
Jennifer Pierre, Roderic Crooks, Morgan Currie, Britt Paris, Irene Pasquetto
HCIparticipatory designdata
EMNLPBest Paper
Visually Grounded Reasoning across Languages and Cultures
Fangyu Liu, Emanuele Bugliarello, Edoardo Maria Ponti, Siva Reddy, Nigel Collier, Desmond Elliott
multimodalvision-languagecross-lingual
EuroSysBest Paper
Unikraft: Fast, Specialized Unikernels the Easy Way
Simon Kuenzer, Vlad-Andrei Badoiu, Hugo Lefeuvre, Sharan Santhanam, Alexander Jung, et al.
unikernelsoperating systemsvirtualizationperformance
FSEdistinguished_paper
Bias in Machine Learning Software: Why? How? What to Do?
Joymallya Chakraborty, Suvodeep Majumder, Tim Menzies
fairnessbiasML software engineering
FSEdistinguished_paper
Probabilistic Delta Debugging
Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, Lu Zhang
debuggingdelta debuggingprogram analysis
ICLRoutstanding_paper
Score-Based Generative Modeling through Stochastic Differential Equations
Yang Song, Jascha Sohl-Dickstein, Diederik P. Kingma, Abhishek Kumar, Stefano Ermon, Ben Poole
generative modelsdiffusionscore matchingSDE
ICLRoutstanding_paper
EigenGame: PCA as a Nash Equilibrium
Ian Gemp, Brian McWilliams, Claire Vernade, Thore Graepel
game theoryoptimizationPCA
ICLRoutstanding_paper
Learning Mesh-Based Simulation with Graph Networks
Tobias Pfaff, Meire Fortunato, Alvaro Sanchez-Gonzalez, Peter Battaglia
graph neural networkssimulationphysics
ICMLBest Paper
Unbiased Gradient Estimation in Unrolled Computation Graphs with Persistent Evolution Strategies
Paul Vicol, Luke Metz, Jascha Sohl-Dickstein
meta-learninggradient estimationoptimization
ICRABest Paper
Extrinsic Contact Sensing with Relative-Motion Tracking from Distributed Tactile Measurements
Daolin Ma, Siyuan Dong, Alberto Rodriguez
roboticstactile sensingmanipulation
ICSEdistinguished_paper
"How Was Your Weekend?" Software Development Teams Working From Home During COVID-19
Courtney Miller, Paige Rodeghero, Margaret-Anne Storey, Denae Ford, Thomas Zimmermann
software engineeringremote workproductivity
ICSEdistinguished_paper
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
JavaScripttestingprogram analysis
ICSEdistinguished_paper
Why don't Developers Detect Improper Input Validation?
Larissa Braz, Enrico Fregnan, Gul Calikli, Alberto Bacchelli
securitysoftware engineeringvulnerabilities
IJCAIdistinguished_paper
Learning Generalized Unsolvability Heuristics for Classical Planning
Simon Stahlberg, Guillem Frances, Jendrik Seipp
planningheuristic search
KDDBest Paper
Fast and Memory-Efficient Tucker Decomposition for Answering Diverse Time Range Queries
Jun-gi Jang, U Kang
tensor decompositiondatabasestime series
MICROBest Paper
APOLLO: An Automated Power Modeling Framework for Runtime Power Introspection in High-Volume Commercial Microprocessors
Zhiyao Xie, Xiaoqing Xu, Matt Walker, Joshua Knebel, Kumaraguru Palaniswamy, Nicolas Hebert, Jiang Hu, Huanrui Yang, Yiran Chen, Shidhartha Das
power modelingmicroarchitectureML for hardware
NeurIPSoutstanding_paper
A Universal Law of Robustness via Isoperimetry
Sebastien Bubeck, Mark Sellke
robustnessoverparameterizationtheory
NAACLBest Paper
Video-aided Unsupervised Grammar Induction
Songyang Zhang, Linfeng Song, Lifeng Jin, Kun Xu, Dong Yu, Jiebo Luo
NLPgrammar inductionmultimodal
NAACLoutstanding_paper
It's Not Just Size That Matters: Small Language Models Are Also Few-Shot Learners
Timo Schick, Hinrich Schutze
NLPfew-shot learninglanguage models
NDSSdistinguished_paper
Awakening the Web's Sleeping Agents: Misusing Service Workers for Privacy Leakage
Soroush Karami, Panagiotis Ilia, Jason Polakis
web securityservice workersprivacy
NeurIPSoutstanding_paper
On the Expressivity of Markov Reward
David Abel, Will Dabney, Anna Harutyunyan, Mark K. Ho, Michael Littman, Doina Precup, Satinder Singh
reinforcement learningreward modeling
NeurIPSoutstanding_paper
Deep Reinforcement Learning at the Edge of the Statistical Precipice
Rishabh Agarwal, Max Schwarzer, Pablo Samuel Castro, Aaron Courville, Marc G. Bellemare
reinforcement learningevaluationreproducibility
NeurIPSoutstanding_paper
MAUVE: Measuring the Gap Between Neural Text and Human Text using Divergence Frontiers
Krishna Pillutla, Swabha Swayamditta, Rowan Zellers, John Thickstun, Sean Welleck, Yejin Choi, Zaid Harchaoui
NLPtext generationevaluation
NeurIPSoutstanding_paper
Moser Flow: Divergence-based Generative Modeling on Manifolds
Noam Rozen, Aditya Grover, Maximilian Nickel, Yaron Lipman
generative modelsmanifold learning
NSDIBest Paper
ATP: In-network Aggregation for Multi-tenant Learning
ChonLam Lao, Yanfang Le, Kshiteej Mahajan, Yixi Chen, Wenfei Wu, Aditya Akella, Michael Swift
distributed MLin-network computingprogrammable networks
OOPSLADistinguished Paper Award
Making Weak Memory Models Fair
Lahav, Namakonov, Oberhauser, Podkopaev & Vafeiadis
ConcurrencyMemory Models
OOPSLADistinguished Paper Award
Study of the Subtyping Machine of Nominal Subtyping with Variance
Roth
Type TheorySubtyping
OSDIBest Paper
Pollux: Co-adaptive Cluster Scheduling for Goodput-Optimized Deep Learning
Aurick Qiao, Sang Keun Choe, Suhas Jayaram Subramanya, Willie Neiswanger, Qirong Ho, Hao Zhang, Gregory R. Ganger, Eric P. Xing
distributed MLcluster schedulingdeep learning systems
PLDIDistinguished Paper Award
Alive2: Bounded Translation Validation for LLVM
["Nuno P. Lopes","Juneyoung Lee","Chung-Kil Hur","Zhengyang Liu","John Regehr"]
compilerstranslation validationllvmcorrectness
PLDIDistinguished Paper Award
Cyclic Program Synthesis
["Shachar Itzhaky","Hila Peleg","Nadia Polikarpova","Reuben N. S. Rowe","Ilya Sergey"]
program synthesisformal methodscyclic proofs
PLDIDistinguished Paper Award
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
["Jay P. Lim","Santosh Nagarakatte"]
numerical computingfloating pointperformancecorrectness
PLDIDistinguished Paper Award
Perceus: Garbage Free Reference Counting with Reuse
["Alex Reinking","Ningning Xie","Leonardo de Moura","Daan Leijen"]
memory managementreference countinggarbage collection
PLDIDistinguished Paper Award
Quantum Abstract Interpretation
["Nengkun Yu","Jens Palsberg"]
quantum computingabstract interpretationprogram analysis
2020
44 papersWWWBest Paper
Open Intent Extraction from Natural Language Interactions
Nikhita Vedula, Nedim Lipka, Pranav Maneriker, Srinivasan Parthasarathy
NLPintent detectionweb
WACVBest Paper
Hand-Priming in Object Localization for Assistive Egocentric Vision
Lee, Shrivastava & Kacorri
Egocentric VisionAssistive Technology
VLDBBest Paper
Opportunities for Optimism in Contended Main-Memory Multicore Transactions
Yihe Huang, William Qian, Eddie Kohler, Barbara Liskov, Liuba Shrira
transactionsconcurrency controlmulticore databases
USENIX Securitydistinguished_paper
Sunrise to Sunset: Analyzing the End-to-end Life Cycle and Effectiveness of Phishing Attacks at Scale
Adam Oest, Penghui Zhang, Brad Wardman, Eric Nunes, Jakub Burgis, Ali Zand, Kurt Thomas, Adam Doupe, Gail-Joon Ahn
phishingweb securitymeasurement
USENIX Securitydistinguished_paper
Symbolic Execution with SymCC: Don't Interpret, Compile!
Sebastian Poeplau, Aurelien Francillon
symbolic executionprogram analysisfuzzing
S&PBest Paper
TRRespass: Exploiting the Many Sides of Target Row Refresh
Pietro Frigo, Emanuele Vannacci, Hasan Hassan, Victor van der Veen, Onur Mutlu, Cristiano Giuffrida, Herbert Bos, Kaveh Razavi
hardware securityRowhammerDRAM
SIGMODBest Paper
ShapeSearch: A Flexible and Efficient System for Shape-based Exploration of Trendlines
Tarique Siddiqui, Paul Luh, Zesheng Wang, Karrie Karahalios, Aditya Parameswaran
data visualizationquery processinginteractive systems
SIGIRBest Paper
Controlling Fairness and Bias in Dynamic Learning-to-Rank
Marco Morik, Ashudeep Singh, Jessica Hong, Thorsten Joachims
fairnesslearning to rankinformation retrieval
SIGCOMMBest Paper
Swift: Delay is Simple and Effective for Congestion Control in the Datacenter
Gautam Kumar, Nandita Dukkipati, Keon Jang, Hassan M. G. Wassel, Xian Wu, Behnam Montazeri, et al.
congestion controldatacenter networkstransport
RSSBest Paper
Learning Agile Robotic Locomotion Skills by Imitating Animals
Xue Bin Peng, Erwin Coumans, Tingnan Zhang, Tsang-Wei Lee, Jie Tan, Sergey Levine
roboticsreinforcement learninglocomotionimitation learning
3DVBest Paper
Grasping Field: Learning Implicit Representations for Human Grasps
Karunratanakul, Yang, Zhang, Black, Muandet & Tang
GraspingImplicit Representations
CVPRBest Paper
Unsupervised Learning of Probably Symmetric Deformable 3D Objects from Images in the Wild
Wu, Rupprecht & Vedaldi
3D ReconstructionSelf-Supervised
CVPRBest Student Paper
BSP-Net: Generating Compact Meshes via Binary Space Partitioning
Chen, Tagliasacchi & Zhang
3D GenerationMesh
CVPRhonorable_mention
DeepCap: Monocular Human Performance Capture Using Weak Supervision
Habermann, Xu, Zollhöfer, Pons-Moll & Theobalt
Human CaptureMonocular
ECCVBest Paper
RAFT: Recurrent All-Pairs Field Transforms for Optical Flow
Teed & Deng
Optical FlowMotion Estimation
EurographicsBest Paper
Subdivision-Specialized Linear Algebra Kernels for Static and Dynamic Mesh Connectivity on the GPU
Mlakar, Winter, Stadlbauer, Seidel, Steinberger & Zayer
GPU ComputingMesh Processing
AAAIBest Paper
WINOGRANDE: An Adversarial Winograd Schema Challenge at Scale
Keisuke Sakaguchi, Ronan Le Bras, Chandra Bhagavatula, Yejin Choi
NLPcommonsense reasoningbenchmark
AAAIBest Paper
A Distributed Multi-Sensor Machine Learning Approach to Earthquake Early Warning
Kevin Fauvel, Daniel Balouek-Thomert, Diego Melgar, Pedro Silva, Anthony Simonet, Gabriel Antoniu, et al.
ML applicationsearthquake detectionsensor networks
ACLBest Paper
Beyond Accuracy: Behavioral Testing of NLP Models with CheckList
Marco Tulio Ribeiro, Tongshuang Wu, Carlos Guestrin, Sameer Singh
NLPevaluationtestingCheckList
ACLBest Paper
Climbing towards NLU: On Meaning, Form, and Understanding in the Age of Data
Emily M. Bender, Alexander Koller
NLPlanguage understandingtheory
CCSdistinguished_paper
DNS Cache Poisoning Attack Reloaded: Revisions With Side Channels
Keyu Man, Zhiyun Qian, Zhongjie Wang, Xiaofeng Zheng, Youjun Huang, Haixin Duan
DNSnetwork securityside channels
CHIBest Paper
Critical Race Theory for HCI
Ihudiya Finda Ogbonnaya-Ogburu, Angela D.R. Smith, Alexandra To, Kentaro Toyama
HCIracesocial justicedesign
CHIBest Paper
Co-Designing Checklists to Understand Organizational Challenges and Opportunities around Fairness in AI
Michael A. Madaio, Luke Stark, Jennifer Wortman Vaughan, Hanna Wallach
HCIAI fairnessparticipatory design
EuroSysBest Paper
Don't shoot down TLB shootdowns!
Nadav Amit, Amy Tai, Michael Wei
operating systemsvirtual memoryTLBperformance
FSEdistinguished_paper
Boosting Fuzzer Efficiency: An Information Theoretic Perspective
Marcel Bohme, Valentin Manès, Sang Kil Cha
fuzzingsecurityprogram analysis
FSEdistinguished_paper
Deep Learning Library Testing via Effective Model Generation
Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, Dongdi Zhang
deep learning testingML frameworkssoftware testing
ICMLoutstanding_paper
On Learning Sets of Symmetric Elements
Haggai Maron, Or Litany, Gal Chechik, Ethan Fetaya
symmetryequivariancedeep learning
ICMLoutstanding_paper
Tuning-free Plug-and-Play Proximal Algorithm for Inverse Imaging Problems
Kaixuan Wei, Angelica I. Aviles-Rivero, Jingwei Liang, Ying Fu, Carola-Bibiane Schonlieb, Hua Huang
inverse problemsimage reconstructionoptimization
ICRABest Paper
Preference-Based Learning for Exoskeleton Gait Optimization
Maegan Tucker, Ellen Novoseller, Claudia Kann, Yanan Sui, Yisong Yue, Joel Burdick, Aaron Ames
roboticsexoskeletonpreference learninghuman-robot interaction
ICSEdistinguished_paper
A Tale from the Trenches: Cognitive Biases and Software Development
Souti Chattopadhyay, Nicholas Nelson, Audrey Au, Natalia Morales, Christopher Sanchez, Rahul Pandita, Anita Sarma
software engineeringcognitive biashuman factors
ICSEdistinguished_paper
Big Code != Big Vocabulary: Open-Vocabulary Models for Source Code
Rafael-Michael Karampatsis, Hlib Babii, Romain Robbes, Charles Sutton, Andrea Janes
code modelingML for codeNLP
ICSEdistinguished_paper
Time-travel Testing of Android Apps
Zhen Dong, Marcel Bohme, Lucia Cojocaru, Abhik Roychoudhury
mobile testingAndroidautomated testing
IJCAIdistinguished_paper
Synthesizing Aspect-Driven Recommendation Explanations from Reviews
Trung-Hoang Le, Hady W. Lauw
recommender systemsexplainabilityNLP
KDDBest Paper
On Sampled Metrics for Item Recommendation
Walid Krichene, Steffen Rendle
recommender systemsevaluationmetrics
MICROBest Paper
Bit-Exact ECC Recovery (BEER): Determining DRAM On-Die ECC Functions by Exploiting DRAM Data Retention Characteristics
Minesh Patel, Jeremie S. Kim, Taha Shahroodi, Hasan Hassan, Onur Mutlu
memory systemsDRAMECCreliability
NDSSdistinguished_paper
Melting Pot of Origins: Compromising the Intermediary Web Services that Rehost Websites
Takuya Watanabe, Eitaro Shioji, Mitsuaki Akiyama, Tatsuya Mori
web securityorigin policymeasurement
NeurIPSBest Paper
Language Models are Few-Shot Learners
Tom B. Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, et al.
NLPLLMGPT-3few-shot learning
NeurIPSBest Paper
Improved Guarantees and a Multiple-Descent Curve for Column Subset Selection and the Nyström Method
Michal Derezinski, Rajiv Khanna, Michael W. Mahoney
optimizationrandomized algorithms
NeurIPSBest Paper
No-Regret Learning Dynamics for Extensive-Form Correlated Equilibrium
Andrea Celli, Alberto Marchesi, Gabriele Farina, Nicola Gatti
game theoryonline learning
NSDIBest Paper
AmphiLight: Direct Air-Water Communication with Laser Light
Charles J. Carver, Zhao Tian, Hongyong Zhang, Kofi M. Odame, Alberto Quattrini Li, Xia Zhou
wirelessunderwater communicationoptical networking
OSDIBest Paper
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
distributed systemsconsensusByzantine fault tolerance
OSDIBest Paper
hXDP: Efficient Software Packet Processing on FPGA NICs
Marco Spaziani Brunella, Giacomo Belocchi, Marco Bonola, Salvatore Pontarelli, Giuseppe Siracusano, et al.
networkingFPGApacket processingprogrammable NICs