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 211-240 of 371 items.
YearJournalsBest Papers
2018IEEE Systems JournalLearning Automata-Based Fault-Tolerant System for Dynamic Autonomous Unmanned Vehicular Networks
2018IEEE Systems JournalReleasing Network Isolation Problem in Group-Based Industrial Wireless Sensor Networks
2018IEEE Transactions on Automation Science and EngineeringCorrectness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
2018IEEE Transactions on Automation Science and EngineeringChiller Plant Operation Optimization: Energy-efficient Primary-only and Primary-secondary Systems
2018IEEE Transactions on ComputersCloudlets Activation Scheme for Scalable Mobile Edge Computing with Transmission Power Control and Virtual Machine Migration
2018IEEE Transactions on Emerging Topics in ComputingMemristive Crossbar Memory Lifetime Evaluation and Reconfiguration Strategies
2018IEEE Transactions on HapticsThe Application of Tactile, Audible, and Ultrasonic Forces to Human Fingertips Using Broadband Electroadhesion
2018IEEE Transactions on HapticsPerception of Ultrasonic Switches Involves Large Discontinuity of the Mechanical Impedance
2018IEEE Transactions on NanotechnologyPlanarization, Fabrication, and Characterization of Three-Dimensional Magnetic Field Sensors
2018IEEE Transactions on RoboticsGrasping Without Squeezing: Design and Modeling of Shear-Activated Grippers
2018IEEE Transactions on Software EngineeringFault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study
2018IEEE/ASME Transactions on MechatronicsSystem Design and Control of a Resonant Fast Steering Mirror for Lissajous-based Scanning
2018Journal of Building Performance SimulationA finite line source simulation model for geothermal systems with series- and parallel-connected boreholes and independent fluid loops
2018Journal of Electronic Testing: Theory and ApplicationsAddress Remapping Techniques for Enhancing Fabrication Yield of Embedded Memories
2018Software & Systems ModelingReducing accidental complexity in domain models
2018Software & Systems ModelingUnderstanding and improving UML package merge
2018Software & Systems ModelingToward testing from finite state machines with symbolic inputs and outputs
2018Software & Systems ModelingHybrid co-simulation: it's about time
2018Software & Systems ModelingA feature-based survey of model view approaches
2018Software & Systems ModelingUsing language workbenches and domain-specific languages for safety-critical software development
2018Systems EngineeringBuilding models of product development processes: An integrative approach to managing organizational knowledge
2018Systems EngineeringA facilitated expert-based approach to architecting “openable” complex systems
2018Systems EngineeringScenario-oriented reverse engineering of complex railway system specifications
2018Systems EngineeringSystem architecting and design space characterization
2018Systems EngineeringBuilding the tower without climbing it: Progress in engineering systems
2018Systems EngineeringEntropy-based system assessment metric for determining architecture's robustness to different stakeholder perspectives
2018Systems EngineeringUsing a systems engineering framework for additive manufacturing
2018Systems EngineeringAgent-based simulation framework and consensus algorithm for observing systems with adaptive modularity
2018Systems EngineeringConceptualization of a T-Shaped engineering competency model in collaborative organizational settings: Problem and status in the Spanish aircraft industry
2018Systems EngineeringA mathematical model of verification strategies