Best Papers

Best and award-winning papers from academic conferences and journals, by year.

Conferences
Showing 1-30 of 5,814 items.
YearConferencesBest Papers
2026ETAPSDon’t Go MAD with Anomalies! Design-Time Microservice Anomaly Detection in Migration to Microservices
2026ETAPSRecursive Logical Relations for Intuitionistic Linear Logic Session Types
2026ETAPSOn Deciding Constant Runtime of Linear Loops
2026ETAPSThe Value Problem for Weighted Timed Games with Two clocks is Undecidable
2026ETAPSMassively Parallel Bit-Precise Verification with Bitwuzla and Mallob
2026FPGAKANELÉ: Kolmogorov–Arnold Networks for Efficient LUT-based Evaluation
2026PPoPPBinary Compatible Critical Section Delegation
2026PPoPPHierCut: Enabling 16-bit Format Mixed Precision for Molecular Dynamics through Hierarchical Cutoff
2025ACIA Computer Vision Pipeline to Augment Touchscreen Tasks for Chimpanzees
2025ACIExploring the Cockatoo's Engagement with Audiovisual Stimuli: An Inclusive Avian-IoT Interaction Design
2025ACIUsing Community Notes to Enact Attitudinal Change towards Urban Wildlife
2025ACILook What the Cat Tapped In: Exploring Digital Interactive Systems Designed for the Cat Cafe Experience
2025ACM REPReproducibility in Applied Security Conferences: An 11-Year Review on Artifacts and Evaluation Committees
2025ACMSESecure Edge Computing Reference Architecture for Data-driven Structural Health Monitoring: Lessons Learned from Implementation and Benchmarking
2025AsiaCCSBreaking Bad: How Compilers Break Constant-Time Implementations
2025AsiaCCSAdversarial Fog: Exploiting the Vulnerabilities of LiDAR Point Cloud Preprocessing Filters
2025ASPLOSMetaSapiens: Real-Time Neural Rendering with Efficiency-Aware Pruning and Accelerated Foveated Rendering
2025ASPLOSH-Houdini: Scalable Invariant Learning
2025ASPLOSExtended User Interrupts (xUI): Fast and Flexible Notification without Polling
2025ASPLOSCXLfork: Fast Remote Fork over CXL Fabrics
2025ASPLOSOrion: A Fully Homomorphic Encryption Framework for Deep Learning
2025ASPLOSSmoothE: Differentiable E-Graph Extraction
2025AutoUISelf-supervised Learning for Detecting Local Contextual Anomalous Gaze Patterns of Individual Drivers in Level 3 Automated Driving
2025AutoUIPedestrian Planet: What YouTube Driving from 233 Countries and Territories Teaches Us About the World
2025AutoUISOH Illusion: Misunderstandings of EV Battery State of Health and Methods to Promote Understanding
2025AutoUIEnhancing Cyclist Safety in the EU: A Study on Lateral Overtaking Distance Across Seven Scenarios Using Lab and Crowdsourced Methods
2025AutoUIReconfigurable Roadways: Envisioning the Future of V2X-Driven Autonomous Urban Infrastructure through an Interactive Tabletop Simulator
2025C&CContent Authenticities: A Discussion on the Values of Provenance Data for Creatives and Their Audiences
2025CHILost in Magnitudes: Exploring Visualization Designs for Large Value Ranges
2025CHILivingLoom: Investigating Human-Plant Symbiosis through Integrating Living Plants into (E-)Textiles
Journals
Showing 271-300 of 371 items.
YearJournalsBest Papers
2016IEEE Robotics & Automation MagazinePractice Makes Perfect-An Optimization Based Approach to Controlling Agile Motions for a Quadruped Robot
2016IEEE Robotics and Automation LettersCompliant Aerial Manipulators: Toward a New Generation of Aerial Robotic Workers
2016IEEE Robotics and Automation LettersModel-Less Hybrid Position/Force Control: A Minimalist Approach for Continuum Manipulators in Unknown, Constrained Environments
2016IEEE Transactions on Automation Science and EngineeringNeedle Grasp and Entry Port Selection for Automatic Execution of Suturing Tasks in Robotic Minimally Invasive Surgery
2016IEEE Transactions on Automation Science and EngineeringA Learning-Based Framework for Velocity Control in Autonomous Driving
2016IEEE Transactions on RoboticsRapidly Exploring Random Cycles: Persistent Estimation of Spatiotemporal Fields With Multiple Sensing Robots
2016IEEE/ASME Transactions on MechatronicsDesign Principles for Energy-Efficient Legged Locomotion and Implementation on the MIT Cheetah Robot
2016IEEE/ASME Transactions on MechatronicsManipulator Design and Operation of a Six-Degree-of-Freedom Handheld Tremor-Canceling Microsurgical Instrument
2016Journal of Building Performance SimulationWhole model empirical validation on a full-scale building
2016Journal of Building Performance SimulationThermal simulation software outputs: a conceptual data model of information presentation for building design decision-making
2016Journal of Electronic Testing: Theory and ApplicationsDynamic Power Integrity Control of ATE for Eliminating Overkills and Underkills in Device Testing
2016Software & Systems ModelingProcess mining: a two-step approach to balance between underfitting and overfitting
2016Software & Systems ModelingOn challenges of model transformation from UML to Alloy
2016Software & Systems ModelingProcess mining using BPMN: relating event logs and process models
2016Software & Systems ModelingVisual modeling of RESTful conversations with RESTalk
2016Software & Systems ModelingVMTL: a language for end-user model transformation
2016Software & Systems ModelingModel-driven performance prediction of systems of systems
2015ACM Transactions on Interactive Intelligent SystemsExploratory Visual Analysis and Interactive Pattern Extraction From Semi-Structured Data
2015Computers & GeosciencesInteractive editing of 3D geological structures and tectonic history sketching via a rigid element method
2015Computers & GeosciencesGeoPAT: A toolbox for pattern-based information retrieval from large geospatial databases
2015IEEE Journal of Solid-State CircuitsAn On-Die All-Digital Power Supply Noise Analyzer With Enhanced Spectrum Measurements
2015IEEE Robotics & Automation MagazineRobot Makers: The Future of Digital Rapid Design and Fabrication of Robots
2015IEEE Transactions on Automation Science and EngineeringDynamic Collaboration between Networked Robots and Clouds in Resource-Constrained Environments
2015IEEE Transactions on Automation Science and EngineeringRegularized Deconvolution-Based Approaches for Estimating Room Occupancies
2015IEEE Transactions on Automation Science and EngineeringFault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements
2015IEEE Transactions on Automation Science and EngineeringCollaborative Energy and Thermal Comfort Management Through Distributed Consensus Algorithms
2015IEEE Transactions on RoboticsORB-SLAM: A Versatile and Accurate Monocular SLAM System
2015IEEE/ASME Transactions on MechatronicsAdaptive Knee Joint Exoskeleton Based on Biological Geometries
2015Journal of Electronic Testing: Theory and ApplicationsLow Cost Sparse Multiband Signal Characterization Using Asynchronous Multi-Rate Sampling: Algorithms and Hardware
2015Software & Systems ModelingIdentifying duplicate functionality in textual use cases by aligning semantic actions