Upcoming Events

The Challenge of Autonomy

Towards Building Internet of Vehicles

Addressing challenges in real-time perception processing for automated driving

Censored Planet Webinar

Data-Centric Execution Inspection

Developing Trustworthy Hardware with Security-Driven Design & Verification

Evaluating and Improving Internet Load Balancing with Large-Scale Latency Measurements

Software Model Checking with Uninterpreted Functions

Design Optimization of In-Vehicle Network

17th Annual CSE GRADUATE HONORS COMPETITION

Automotive Cloud Computing

Automatic Quantification and Prediction of Affect in Spoken Interactions

Election Security is Harder Than You Think

Enabling and Improving Centralized Control in Network and Cyber-Physical Systems: An Application-Driven Approach

Interactional Slingshots: Providing Support Structure to User Interactions in Hybrid Intelligence Systems

Understanding and Improving the Performance of Web Page Loads

Enhancing System Transparency, Trust, and Privacy with Internet Measurement

Connecting Blockchains to the Real World

Clarifying Oblique Specifications of Relational Queries

Improving Programming Support for Hardware Accelerators Through Automata Processing Abstractions

Democratizing Self-Service Data Preparation through Program Synthesis for Non-expert Users

Breaking and Building End-to-End Encrypted Systems

Using Sensor Redundancy in Vehicles and Smartphones for Driving Security and Safety

Towards Seamless Human-Mobility Interaction

Runtime Systems for Persistent Memories

Enabling Usable and Performant Trusted Execution