Beyond worst-case analysis, with or without predictions

Towards Novel Evaluation Methods for Social Dialog Systems

Latency Interfaces for Systems Code

Interactive-time Exploration, Querying, and Analysis of Large High-dimensional Datasets

Building Chips Faster: Hardware-Compiler Co-Design for Accelerated RTL Simulation

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations

Acceleration of graph pattern mining and applications to financial crime

Evaluating, Exploiting, and Hiding Power Side-Channel Leakage of Remote FPGAs

Universal and adaptive methods for robust stochastic optimization

Rebooting Virtual Memory with Midgard

Multi-agent Learning with Privacy Guarantees

Robust Training and Verification of Deep Neural Networks

Fairness and Explainability in Clustering Problems

Modeling Structured Data in Attention-based Models

Detecting Anomalies and Obstacles in Road Scenes

Dense Image-based Predictions for Comics Analysis

A Theory of Finite-Width Neural Networks: Generalization, Scaling Laws, and the Loss Landscape

Automating the Design of Programmable Interconnect for Reconfigurable Architectures

Deep Learning Generalization with Limited and Noisy Labels

Privacy-preserving federated neural network training and inference

Approximation Algorithms for Allocation and Network Design

Decision Procedures for Power Structures

Computational Models of Mutual Understanding for Human-Robot Collaborative Learning

Efficient Concurrent Analytical Query Processing using Data and Workload-conscious Sharing

Building Strongly-Consistent Systems Resilient to Failures, Partitions, and Slowdowns

Augmented Lagrangian Methods for Provable and Scalable Machine Learning

Communication-efficient distributed training of machine learning models

Improving Generalization of Pretrained Language Models

A Network Calculus Analysis of Asynchronous Mechanisms in Time-Sensitive Networks

Transformer Models for Vision

Automated Human Motion Analysis and Synthesis

Hardware-Software Co-design for Improved Resource Utilization in DNN Accelerators

Type-Preserving Compilation of Class-Based Languages

Scalable Metaprogramming in Scala 3

Squall: Scalable Real-time Analytics using Efficient, Skew-resilient Join Operators

Improving the Training of Compact Neural Networks for Visual Recognition

Visual Scene Understanding for Transportation: From Detecting Objects To Relationships

Unsupervised Visual Entity Abstraction towards 2D and 3D Compositional Models

Towards Empathetic Open-Domain Chatbots

Efficient and Accurate Physically-Based Differentiable Rendering

Differentiable Physically Based Rendering: Algorithms, Systems and Applications

Sketches, metrics and fast algorithms

Streaming and Matching Problems with Submodular Functions

Predicting in Uncertain Environments: Methods for Robust Machine Learning

Protecting privacy through metadata analysis

The Role of Compromised Accounts in Social Media Manipulation

Computational Approaches for Studying Dietary Behaviors with Digital Traces

Attacks on some post-quantum cryptographic protocols: The case of the Legendre PRF and SIKE

Space-Efficient Representations of Graphs

Hardware and Software Support for RPC-Centric Server Architecture

Toward Internet Performance Transparency

Efficient Analytical Query Processing on CPU-GPU Hardware Platforms

Dynamic Personalized Ranking

Towards Verifiable, Generalizable and Efficient Robust Deep Neural Networks.

Understanding Deep Neural Networks using Adversarial Attacks

Practical Compilation of Quantum Programs

Detecting Latent Training Needs Using Large Datasets

Scaling Language Features for Program Verification

Algorithms for Efficient and Robust Distributed Deep Learning

The Role of Adaptivity in Source Identification with Time Queries

System Support for Robust Distributed Learning

Combating Online Scientific Misinformation

Object Priors for Volumetric Image Segmentation

How We Use Wikipedia: Studying Readers’ Behavior with Navigation Traces

A Functional Perspective on Information Measures

Learning to sample in Cartesian MRI

Abstractions for Type-Level Programming

Using Animal Motion Capture to Learn Neural Representations

Synthesis and Analysis of 3D shapes with Geometric Deep Learning in Computer-Aided Engineering

Design and evaluation of digital tools to expand experience in vocational education

Timing is Everything

Textual Explanations and Critiques in Recommendation Systems

Graph Embedding for Retrieval

Encoder-Decoder Models for Human Segmentation and Motion Analysis

Learning to Represent and Reconstruct 3D Deformable Objects

Symmetry in design and decoding of polar-like codes

Practical Byzantine-resilient Stochastic Gradient Descent

Scalable Multi-agent Coordination and Resource Sharing

Grid-Aware Real-Time Control of Electric Vehicles

Computational Analysis and Design of Structurally Stable Assemblies with Rigid Parts

Sublinear Algorithms for Spectral Graph Clustering

Integrity and Metadata Protection in Data Retrieval

Light Path Gradients for Forward and Inverse Rendering

Learning computationally efficient static word and sentence representations

How to Match in Modern Computational Settings

Blind as a bat: spatial perception without sight

Human-Centered Scene Understanding via Crowd Counting

Hardware-Software Co-Design of an RPC Processor

Holistic, Efficient, and Real-time Cleaning of Heterogeneous Data

Uncertain Sampling with Certain Priors

Sampling Geometry and Colour

Trust as a Programming Primitive

Privacy-Preserving Federated Analytics using Multiparty Homomorphic Encryption

Optimization methods for collaborative learning

Learning Self-Exciting Temporal Point Processes Under Noisy Observations

Time-Synchronization Attacks against Critical Infrastructures and their Mitigation

Analyzing and Protecting Communication Metadata

Representing graphs through data with learning and optimal transport

Adaptation in Stochastic Algorithms: From Nonsmooth Optimization to Min-Max Problems and Beyond

Miss-Optimized Memory Systems: Turning Thousands of Outstanding Misses into Reuse Opportunities

High-Level Synthesis of Dynamically Scheduled Circuits

Learning Analytics for Adaptive and Self-Improving Learning Environments for Inductive Teaching

From Human-Designed Convolutional Neural Networks Towards Robust Neural Architecture Search

Serial Lightweight Implementation Techniques for Block Ciphers

Software Support for Non-Volatile Memory (NVM) Programming

Efficient Parsing with Derivatives and Zippers

Discrete-Choice Mining of Social Processes

Feedback and Common Information: Bounds and Capacity for Gaussian Networks

Micro-architectural Analysis of Database Workloads

Deep Image Restoration: Between Data Fidelity and Learned Priors

Statistical limits of high-dimensional inference problems

Lifelong Machine Learning with Data Efficiency and Knowledge Retention

Safe initialization of objects

Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages

Distributed Computing with Modern Shared Memory

Analysis of the BIKE post-quantum cryptographic protocols and the Legendre pseudorandom function

Cooperative Data Exchange and Private Information Retrieval

Precise and accurate image-based measurements of optical material properties

Data-Aware Privacy-Preserving Machine Learning

The Hidden Complexity of Distributed Systems

Verification of Software Network Functions with No Verification Expertise

Truthful, Transparent and Fair Data Collection Mechanisms

ColTraIn: Co-located DNN training and inference

Private and Secure Distributed Learning

Time in cryptography

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

Operating System and Network Co-Design for Latency-Critical Datacenter Applications

An Architecture for Load Balance in Computer Cluster Applications

Fourier Sampling in Signal Processing and Numerical Linear Algebra

Towards Real-World Super-Resolution using Deep Neural Networks

Understanding and Mitigating Latency Variability of Latency-Critical Applications

Efficient Protocols for Enforcing Causal Consistency in Geo-Replicated Key-Value Data Stores

Learning and leveraging shared domain semantics to counteract visual domain shifts

Parallel and Scalable Bioinformatics

Robust Distributed Learning

Just-in-time performance without warm-up

Functional Inverse Problems on Spheres: Theory, Algorithms and Applications

Multi-armed Bandits in Action

Sparse and Parametric Modeling with Applications to Acoustics and Audio

Personalizable intervention systems to promote healthy behavior change

On the optimal sampling design for the Graph Total Variation decoder: recovering piecewise-constant graph signals from a few vertex measurements

Point, Plane, Set, Match! Winning the Echo Grand SLAM

Efficient large-scale graph processing: optimisations for storage, performance and evolving graphs

Statistical Physics Methods for Community Detection

On the relevance of quality score metadata in genomic sequence data for omics applications

Geometry of adversarial robustness of deep networks: methods and applications

Data-driven Measurement Designs for Magnetic Resonance Imaging

Improving Main-memory Database System Performance through Cooperative Multitasking

Timely and cost-efficient data exploration through adaptive tuning

Efficient Workload Colocation in Modern Data Centers

From LDPC Block to LDPC Convolutional Codes: Capacity, Stability, and Universality

Secure, Confidential Blockchains Providing High Throughput and Low Latency

Inverse Problems and Optimal Power Flow in Active Distribution Networks

System Support for Efficient Replication in Distributed Systems

Scaling Byzantine Fault Tolerance

Scalable Convex Optimization Methods for Semidefinite Programming

Verified Functional Programming

Debunking Misinformation on the Web: Detection, Validation, and Visualisation

Efficient Query Processing for Spatial and Temporal Data Exploration

Scaling Out Bioinformatics in the Data Center

Computational Design of Auxetic Shells

Traffic Locality as an Opportunity in the Data Center

Graph-based image representation learning

New Graph Algorithms via Polyhedral Techniques

Evaluating and Interpreting Deep Convolutional Neural Networks via Non-negative Matrix Factorization

Learning Approach to Delineation of Curvilinear Structures in 2D and 3D Images

SAT-Based Exact Synthesis for Multi-Level Logic Networks

Reliable and Robust Cyber-Physical Systems for Real-Time Control of Electric Grids

New Approaches to Artistic Synthesis Relying on Visual Perception

Interdependent and Multi-Subject Privacy: Threats, Analysis and Protection

Bits through Time

Privacy-Enhancing Technologies for Mobile Applications and Services

Training Algorithms for Multiple Object Tracking

Time- and Space-Efficient Spatial Data Analytics

Robust Adaptive Decision Making: Bayesian Optimization and Beyond

Learning to Reduce Annotation Load

Scaling Functional Synthesis and Repair

Improving Throughput, Latency and Privacy with Hybrid Networks and Multipath Routing

Implications of Position in Cryptography

Arithmetic and geometric structures in cryptography

Traffic Receipts for Network Transparency

Making large art historical photo archives searchable

Hybrid, Job-Aware, and Preemptive Datacenter Scheduling

High-Dimensional Inference on Dense Graphs with Applications to Coding Theory and Machine Learning

Reliability Mechanisms for Controllers in Real-Time Cyber-Physical Systems

Sampling the Multiple Facets of Light

Scalable Synchronization in Shared-Memory Systems: Extrapolating, Adapting, Tuning

Privacy in Recommender Systems

Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization

Routing for Wireless Sensor Networks: From Collection to Event-Triggered Applications

The Complexity of Reliable and Secure Distributed Transactions

Learning Robust Features and Latent Representations for Single View 3D Pose Estimation of Humans and Objects

Network-Compute Co-Design for Distributed In-Memory Computing

Cross-Platform Language Design

Compilation and Code Optimization for Data Analytics

Provably Secure Authenticated Encryption

Real-Time Generative Hand Modeling and Tracking

Privacy – Preserving Data Exchange and Aggregation in Healthcare

Control of Bio-Inspired Sprawling Posture Quadruped Robots with an Actuated Spine

Variational Methods for Human Modeling

Learning without Smoothness and Strong Convexity

Mean-Field methods for Structured Deep-Learning in Computer Vision

Algorithms For Clustering Problems

Looking beyond Pixels

Learning with Structured Sparsity: From Discrete to Convex and Back.

When Stuck, Flip a Coin

Airborne Hyperspectral Imaging of Lakes

Bridging the gap between dataplanes and commodity operating systems

Efficient Learning from Comparisons

New Algorithmic Paradigms for Discrete Problems using Dynamical Systems and Polynomials

Designing, Aligning, and Visualizing Service Systems

Computational Aesthetics and Image Enhancements using Deep Neural Networks

Caching and Distributed Storage

On Secure Cloud Computing for Genomic Data: From Storage to Analysis

Privacy-Enhancing Technologies for Medical and Genomic Data: From Theory to Practice

Discovering Interaction Patterns in Online Learning Environments

Localizing the Source of an Epidemic Using Few Observations

Network Neutrality Inference using Network Tomography

Augmented Reality to Facilitate a Conceptual Understanding of Statics in Vocational Education

Towards Scalable Personalization

Novel Algorithms For Clustering

Generative Models for Learning Robot Manipulation Skills from Humans

Adding flexibility to multi-tenant networks

Cellulo: Tangible Haptic Swarm Robots for Learning

Robust and Efficient Data Clustering with Signal Processing on Graphs

Automated Taxonomy Induction and its Applications

Design and implementation of an optimizing type-centric compiler for a high-level language

Just-in-time Analytics Over Heterogeneous Data and Hardware

Scalable Low-rank Matrix and Tensor Decomposition on Graphs

Neural assemblies as core elements for modeling neural networks in the brain

Circuit Design, Architecture and CAD for RRAM-based FPGAs

Efficient Adaptive Hard Real-time Multi-processor Systems

Higher-Order Subtyping with Type Intervals

Algorithmic Resource Verification

Compilation Techniques for Incremental Collection Processing

Strengths and Limitations of Linear Programming Relaxations

Efficient Online Processing for Advanced Analytics

Polarization and Channel Ordering: Characterizations and Topological Structures

Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads

Universally Scalable Concurrent Data Structures

Recommender Systems for Healthy Behavior Change

Interactive Programming by Example

Exploiting Satisfiability Solvers for Efficient Logic Synthesis

Profiling, Modelling and Facilitating Online Activism

Physics-based Reconstruction and Animation of Humans

A Gaussian Source Coding Perspective on Caching and Total Correlation

Sparse Gradient Optimization and its Applications in Image Processing

Near-Memory Address Translation

Miniature hyperspectral systems

Verification by Reduction to Functional Programs

Leading the Blind

Easy and Accurate Hardware-based Program Performance Monitoring

Cooperative Perception Algorithms for Networked Intelligent Vehicles

Data-Driven, Personalized Usable Privacy

Bound and Conquer

LPN in Cryptography

Elastic Program Transformations

Algorithmic Verification of Component-based Systems

Coding for Communications and Secrecy

Rack-Scale Memory Pooling for Datacenters

Complex event recognition through wearable sensors

Rake, Peel, Sketch

Vision-based detection of aircrafts and UAVs

Applications of Approximate Learning and Inference for Probabilistic Models

Models and Algorithms in Biological Network Evolution with Modularity

Enhancing Privacy Protection

Throughput Analysis of Large Networks

Alignment and Assembly

Visualization, Adaptation, and Transformation of Procedural Grammars

Blowing in the Wind

Multicloud Resource Allocation

Applications of Strong Convex Relaxations to Allocation Problems

Unification of Compile-Time and Runtime Metaprogramming in Scala

Enhancing Social Media Platforms for Educational and Humanitarian Knowledge Sharing

Cybersecurity Solutions for Active Power Distribution Networks

Building Efficient Query Engines using High-Level Languages

Distributed Time Series Analytics

A Semantic Framework for Architecture Modelling

Modelling Architecture Styles

Analysis of Spatially Coupled Systems using the Potential Functional with Applications to Coding Theory

Reliable and Real-Time Distributed Abstractions

Dependent Object Types

Learning with Surprise

Multiscale Centerline Extraction Based on Regression and Projection onto the Set of Elongated Structures

Deconvolution of Gaussian Random Fields using the Graph Fourier Transform

M. M. J-A. Simeoni 

Robust 3D Object Pose Estimation and Tracking from Monocular Images in Industrial Environments

Specialising Parsers for Queries

Scaling Up Concurrent Analytical Workloads on Multi-Core Servers

From Polar to Reed-Muller Codes

From data to structures

Network Alignment: Theory, Algorithms, and Applications

Elicitation and Aggregation of Crowd Information

Toward timely, predictable and cost-effective data analytics

Hardware implementation aspects of polar decoders and ultra high-speed LDPC decoders

Towards Scalable Synchronization on Multi-Cores

Computational Aspects of Jacobians of Hyperelliptic Curves

Designing modeling notations readers understand

Advancing Fine-Grained Emotion Recognition in Short Text

Acquiring Broad Commonsense Knowledge for Sentiment Analysis Using Human Computation

Building Security Protocols Against Powerful Adversaries

Efficient Incremental Data Analysis

Computation and Visualization in Multiscale Modelling of DNA Mechanics

Simplifying Development and Management of Software-Defined Networks

Measuring and Managing Switch Diversity in Software Defined Networks

Context and Semantic Aware Location Privacy

High Performance Transaction Processing on Non-Uniform Hardware Topologies

From Massive Parallelization to Quantum Computing: Seven Novel Approaches to Query Optimization

Measuring, Modeling and Enhancing Power-Line Communications

Sampling Models in Light Fields

Towards Scalable Segmentation of 3D Image Stacks

Improving systems software security through program analysis and instrumentation

FPGAs for the Masses: Affordable Hardware Synthesis from Domain-Specific Languages

CFMA (Compute-Forward Multiple Access) and its Applications in Network Information Theory

Color Changing Prints on a Metallic Substrate

Image Based Relighting of Cultural Artifacts

Redundancy in Communication Networks for Smart Grids

Uniting Language Embeddings for Fast and Friendly DSLs

Robustness Analysis of Controllable-Polarity Silicon Nanowire Devices and Circuits

Trustworthy Cloud Storage

Template-based Monocular 3-D Shape Reconstruction And Tracking Using Laplacian Meshes

Analysis and Synthesis of Structured Variations in 3D Geometries

Automated Reconstruction of Evolving Curvilinear Tree Structures

Theory of representation learning in cortical neural networks

Deductive Synthesis and Repair

Precise and Responsive Performance Animation for Embodied Immersive Interactions

Probing the Limits of Social Data

Decrypting Local Type Inference

Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs

New Data Structures and Algorithms for Logic Synthesis and Verification

Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages

Combine and Conquer

Real-Time Optimal Controls for Active Distribution Networks

Safety, Liveness and Parallelism in Concurrent Computing

Augmenting Learning Activities with Contextual Information Scent

Bringing Theory Closer to Practice in Post-quantum and Leakage-resilient Cryptography

Function Computation over Networks

Joint Acquisition of Color and Near-Infrared Images on a Single Sensor

Gaze Analysis methods for Learning Analytics

Language Support for Distributed Functional Programming

Adaptive Selection Problems in Networked Systems

Camera-based estimation of student’s attention in class

Energy-efficient Continuous Context Sensing on Mobile Phones

Flexible Spectrum Assignment for Local Wireless Networks

Accelerators for Data Processing

Memory Systems and Interconnects for Scale-Out Servers

Mining, Modeling and Predicting Mobility

Adaptive Query Processing on Raw Data Files

Multi-Gigabyte On-Chip DRAM Caches for Servers

Techniques for Identifying Elusive Corner-Case Bugs in Systems Software

Computational Methods for Fabrication-aware Modeling, Rationalization and Assembly of Architectural Structures

A Distributed Intelligent Sensing Approach for Environmental Monitoring Applications

Shared Frontend for Manycore Server Processors

Realtime Face Tracking and Animation

Building Evolvable Networks

Algebraic Cryptanalysis of Deterministic Symmetric Encryption

Localizing Polygonal Objects in Man-Made Environments

Latent Social Information in Group Interactions with a Shared Workspace

Reducing Randomness in Matrix Models for Wireless Communication

Color Reproduction with Juxtaposed Halftoning

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Models and Algorithms for Comparative Genomics

Are All Pixels Equally Important? Towards Multi-Level Salient Object Detection

Tracking Interacting Objects in Image Sequences

Runtime Prediction for Scale-Out Data Analytics

Sparse Probabilistic Models

MEM0R1ES: Memory-based Information Systems

Listening to Distances and Hearing Shapes

Physical Layer Cooperation

On the Analysis of Public-Key Cryptologic Algorithms

Pervasive Data Analytics for Sustainable Energy Systems

Data Management in Participatory Sensing

Efficient Communication and Synchronization on Manycore Processors

Personal Learning with Social Media

Animation-Based Service Specification, Verification and Validation

Low Complexity Scheduling and Coding for Wireless Networks

When Others Impinge upon Your Privacy

Bringing physical layer cooperation closer to practical wireless systems

Fabrication-Aware Design with Performative Criteria

Single-Handed Eyes-Free Universal Input Device

Search Techniques for Code Generation

Social Interface and Interaction Design for Group Recommender Systems

Viability evolutionary algorithms and applications to neuroscience and biology

Re-proving Channel Polarization Theorems

Compressed Sensing of Memoryless Sources

A (Nearly) Free Lunch

Programming with Numerical Uncertainties

Memory formation and recall in recurrent spiking neural networks

Transactions Chasing Scalability and Instruction Locality on Multicores

Rigorous optimization recipes for sparse and low rank inverse problems with applications in data sciences

Consistency Models in Distributed Systems with Physical Clocks

Architectural Support to Accelerate Fine-Grain Program Monitoring

Sensing the real world

Improving Comparative Genomic Studies

Control and interaction strategies for self-reconfigurable modular robots

Computational Shape Understanding for 3D Reconstruction and Modeling

High-Performance Communication Primitives and Data Structures on Message-Passing Manycores

Data Structures and Algorithms for Data-Parallel Computing in a Managed Runtime

Secure Communication in Erasure Networks with State-feedback

Computational studies in epigenomics using histone modification data

Learning and Matching Binary Local Feature Descriptors

S²E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

Towards stable cloud performance

Inferring Scalability from Program Pseudocode

Provable Security of Block Ciphers and Cryptanalysis

Scalable Exploration of Spatial Data in Large-Scale Scientific Simulations

Population Sensing Using Mobile Devices

Spatial and Temporal Analysis of Congestion in Urban Transportation Networks

Automated Side-Channel Vulnerability Discovery and Hardening

Flash-aware Database Transactions

Coding Theory and Neural Associative Memories with Exponential Pattern Retrieval Capacity

Cooperation in Space-Limited Wireless Networks at Low SNR

Spatially Coupled Codes for Channel and Source Coding

On Multi-Dimensional Privacy in Context-Aware Mobile Networks

Solid-State Storage and Work Sharing for Efficient Scaleup Data Analytics

The Cavity Method in Coding Theory

Modularity in the design of robust distributed algorithms

Assessment of the soft tissue artifact on the lower limb using bi-plane fluoroscopy and stereophotogrammetry

Identity-Preserving Multiple People Tracking

A Practical Effect System for Scala

Testing Software Systems Against Realistic User Errors

Parametric estimation of sparse channels

Better features for image categorization and segmentation

Object Classification and Detection in High Dimensional Feature Space

An Algorithmic Approach to Personalized Drug Concentration Predictions

Reconciling Schema Matching Networks

Abstractions for Solving Consensus and Related Problems with Byzantine Faults

Euclidean Distance Matrices

Generalized Codes on Graphs and Applications in Content Distribution

Interaction Mirrors for Face-to-Face Meetings

Perception and Reproduction of Auditory Spatial Impression

Expanding Eye-Tracking Methods to Explain the Socio-Cognitive Effects of Shared Annotations

Execution Synthesis: A Technique for Automating the Debugging of Software

Computational analysis of ultraconserved non-coding DNA elements in vertebrate genomes

Tangible Interfaces for Learning

Automated Reconstruction of Curvilinear Networks from 2D and 3D Imagery

Scale-Out Processors

Learning Discriminative Features and Structured Models for Segmentation in Microscopy and Natural Images