Upcoming Events

Formally Verified Numerical Methods

For all tomorrow’s survivors: Mitigating tech abuse via new approaches to computer security

Exploring the Effects of Memory Vulnerabilities Across the Computer Architecture Stack

Practical Verification of Distributed Systems: Streamlining Safety Proofs Using Invariant Taxonomies, and Verifying Latency Properties Using Symbolic Latency

Exploring Intersectionality in Responsible Data Management

Bridging Data and Hardware Gap for Efficient Machine Model Scaling

Three Lenses on Improving Programmer Productivity: From Anecdote to Evidence

Quality of Service for Performance-Critical Cloud Applications

Agnostic, Post-Training Backdoor Defense for Deep Learning

Characterizing and Improving Next-Generation Network Infrastructures and Applications

Global and Longitudinal Investigation of Network Connection Tampering

Hardware-Software Co-design for Reliable and Efficient Heterogeneous Systems

Understanding understanding: How do we reason about computational logic?

Enabling Direct Bluetooth-WiFi Communications

Fast, Flexible, and Intelligent Next-Generation Networks

Towards Query Processing in Video Database Management Systems

Systems and Debugging Supports for Hardware Designs

Diversity, Equity, and (Artificial) Intelligence

20th Annual CSE Graduate Honors Competition

Improving Web Automation Tools through UI Context and Demonstration

Midwest Programming Languages Summit

Towards Collaborative Autonomy

Overcoming Barriers to Information Exchange on the Web

Why a Privacy First Approach to Technology Policy is better than a Censorship First Approach