Past Seminars

Spring 2025

Date	Speaker	TOPIC/REMARKS
January 24	André DeHon	Securing Computing Systems with Software-Defined Metadata Processing
January 31
February 7	Yiping Ma	Recent Progress in Private Information Retrieval—Theory and Practice
February 14
February 21
February 28	Hao Chung	Rapidash: Atomic Swaps Secure under User-Miner Collusion
March 7	Trisha Datta	VerITAS: Verifying Image Transformations at Scale
March 14	Spring Break
March 21	PhD Open House
March 28
April 4	Hanfei Yu	Optimizing Serverless Computing for AI Systems
April 11	Frank Wang	Zero-Overhead Model Checkpointing via Network Gradient Replication
April 18	Jiali Xing Yinda Zhang	(NSDI practice talks)
April 25	Ryan Lehmkuhl	Distributional Private Information Retrieval
May 2	Natacha Crooks	Basil: Breaking up BFT with ACID (transactions)
May 9	Darya Kaviani	Myco: Unlocking Polylogarithmic Accesses in Metadata-Private Messaging

Fall 2024

Date	Speaker	TOPIC/REMARKS
September 6	Kickoff
September 13	Karan Newatia
September 20	Ben Lee	Towards Sustainable Artificial Intelligence and Datacenters
September 27	Alex Daglis	Leveraging serial interfaces to scale the memory wall in server architectures
October 4	Fall Break
October 11	Malte Schwarzkopf	Privacy-Compliant Web Applications By Construction
October 18	Asaf Cidon	Customizing the OS Storage and Memory Stacks With eBPF
October 25	Yifan Cai	Analysis of Long-Term Average Behaviors of Probabilistic Task Systems
November 1	Yuhan Liu	CacheGen: KV Cache Compression and Streaming for Fast Large Language Model Serving
November 8	Ram Alagappan	New Log Abstractions for Modern Applications
November 15	Cheng Tan	Validating Database Execution: Revisiting Concurrency Correctness in Modern Systems
November 22	Liangyu Zhao	ForestColl: Efficient Collective Communications on Heterogeneous Network Fabrics
November 29	Thanksgiving
December 6	Rui Pan	Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving
December 13	Wyatt Lloyd	From Optimal Transactions to New Consistency Models: Discovering Principles for Building Better Systems

Spring 2024

Date	Speaker	TOPIC/REMARKS
January 19	Konstantinos Kallas	Programmable Software Systems for Correct High-performance Applications
February 2	João Loff	Cross-Service Consistency for Microservice Applications
February 9	Eli Margolin	Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
February 16	Yanjing Li	How does one bit-flip corrupt an entire deep neural network, and what to do about it
March 8	Spring Break	Spring Break
March 22	Fabian Ruffy	Effective Execution Models To Test Programmable Network Devices
March 29	Hugo Sadok	Ensō: A Streaming Interface for NIC-Application Communication
April 5	Yinda Zhang Haoran Zhang	OctoSketch: Enabling Real-Time, Continuous Network Monitoring over Multiple Cores Mucache: a General Framework for Caching in Microservice Graphs
April 12	Wyatt Lloyd	From Optimal Transactions to New Consistency Models: Discovering Principles for Building Better Systems
April 19	Anish Athalye	TBD
April 26	Andreas Kipf	TBD

Fall 2021

Date	Speaker	TOPIC/REMARKS
September 3	DSL	Meet & greet new students
September 10	Venkat Arun (MIT)	Toward Formally Verifying Congestion Control Behavior
September 17	Amy Babay (University of Pittsburgh)	Toward Intrusion-Tolerant Critical Infrastructure
September 24	Yunhao Zhang (Cornell)	Oligarchy and Strategic Manipulation in Byzantine Ordered Consensus
October 1	Yanfang Le (Intel Barefoot networks)	In-Network Computations for ML Training: Research and Production
October 8	Max	When Idling is Ideal: Optimizing Tail-Latency for Highly-Dispersed Datacenter Workloads with Perséphone
October 15	Fall break
October 22	Andrew Beams	Packet scheduling with optional client privacy
October 29	Theo Jepsen (Stanford)	In-Network Computing for Database Transaction Delivery
November 5
November 12	Cancelled
November 19	Irene Zhang (Microsoft Research)	The Demikernel Datapath Architecture for Microsecond-scale Datacenter Systems
November 26	Thanksgiving break
December 3	Tian Pan  (Beijing University of Posts and Telecommunications)	Cloud Network Device Overload Prevention

Fall 2020

Date	Speaker	TOPIC/REMARKS
September 11	DSL	Meet & greet new students
September 18	Kevin Bock (U of Maryland)	Anti-censorship systems
September 25	Sid Sen (MSR NYC)	Responsible AI for systems
October 2	Natacha Crooks (UC Berkeley)	Oblivious transaction processing
October 9	Adriana Szekeres (U of Washington)	Scalable replicated multicore transactions
October 16	Nofel Yaseen	Scalable Runtime Verification of Distributed Middleboxes
October 23	Haoran Zhang	Fault-tolerant and transactional stateful serverless workflows
October 30	Benjamin Lee
November 6
November 13	Varun Chandrasekaran (U of Wisconsin)	Connections between model extraction and active learning
November 20	Daehyeok Kim (CMU)	TEA: Enabling State-Intensive Network Functions on Programmable Switches
November 27	Thanksgiving break
December 4	Jing Li (Penn)	It is All About Data: A Path Towards Future Systems
December 11

Spring 2020

Date	Speaker	TOPIC/REMARKS
January 31	Mohammad Javad Amiri
February 7
February 14
February 21	Nofel Yaseen	tpprof: A Network Traffic Pattern Profiler
February 28	Pardis Pashakhanloo	PACMAN: A Framework for Package-oriented Software Debloating
March 6	Liangcheng Yu	Mantis: Reactive Programmable Switches
March 13	—	Spring Break
March 20
March 27	Max	Seeds of the underworld: scheduling kernel-bypass network with Perséphone
April 3
April 10	Neeraj	Bounded Time Recovery for Distributed Real-Time Systems
April 17	Haoxian Chen	Synthesizing Verifiable DSL Programs from SDN Controller Applications
April 24	Lei Shi	Network Traffic Classification by Program Synthesis
May 1	Henry Zhu	Debugging Strongly-compartmentalized Distributed Systems
May 8	Sebastian Angel	Private Resource Allocators
May 15	TBD

Fall 2019

Date	Speaker	TOPIC/REMARKS
September 6	—	Introduction
September 13	Drew DeVault (visitor)	Building large applications out of mini-services at sourcehut
September 20	Konstantinos Kallas	Flumina: Automated Code Distribution for Edge Computing
September 27	Mihir Nanavati (MSR)	Adaptive self-tuning data stores
October 4	Suk-Bok Lee (Hanyang University)	Enabling video privacy for commodity IoT cameras
October 11	—	Fall break (no seminar)
October 18	Edo Roth	Honeycrisp: Large-Scale Differentially Private Aggregation Without a Trusted Core
October 25	Henri Maxime Demoulin	Designing datacenters applications in the age of acceleration
November 1	—
November 8	Haonan Lu (Princeton University)	Speeding up read-only transactions
November 15
November 22	Haoxian Chen	Programming networks by examples
November 29	—	Thanksgiving Break (no seminar)
December 6	Akshitha Sriraman (UMichigan)	Enabling Hyperscale Web Services
December 13	Qizhen Zhang	Rethinking Data Management Systems for Disaggregated Data Centers

Spring 2019

Date	Presenter	Remarks
1/11/2019	Behnaz Arzani	Towards networks that manage themselves
2/1/2019	Cheng Tan (NYU)	Active Device and Link Failure Localization in Data Center Networks (conference practice talk)
2/8/2019	Edo Roth	Private Graph Processing
2/15/2019	Nik Sultana	What we talk about when we talk about pcap expressions
2/22/2019	Sebastian Angel	Transactional data structures and black-box cocurrency and fault-tolerance
3/8/2019	—	Spring Break
3/15/2019	Nofel Yaseen	tpprof: A Network Traffic Pattern Profiler
3/22/2019	Tian Yang	Synchronous Data Center Network
4/5/2019	Neeraj Gandhi	RTNF: Predictable Latency for Network Function Virtualization (conference practice talk)
4/12/2019	Nikos Vasilakis
4/19/2019	Max Demoulin	Detecting Application-layer Denial-of-Service Attacks with FINELAME
4/26/2019	Qizhen Zhang	Optimizing Declarative Graph Queries at Large Scale (conference practice talk)

Fall 2018

Date	Speaker	Topic/Remarks
9/14/2018	Xinyi Chen	P3log: Provenance for Probabilistic Programming
9/21/2018	Pardis Pashakhanloo	Effective Program Debloating via Reinforcement Learning
9/28/2018	Brian Sandler	REBOUND: Defending Distributed Systems Against Attacks with Bounded-Time Recovery
10/5/2018	(No Seminar)	(Fall Term Break)
10/12/2018	Nik Sultana	Flightplan: Dataplane Disaggregation and Coordination for In-network Computing
10/19/2018	Haoxian Chen	Towards Example-Guided Network Synthesis
10/26/2018	Edo Roth	Honeycrisp: Large-scale Differentially Private Aggregation Without a Trusted Core
11/2/2018	Nikos Vasilakis	Runtime Programmatic Transformations for Fun and Profit
11/9/2018	Lei Shi	Network Flow Classifier Synthesis
11/16/2018	Bjarne Stroustrup (Guest)	What – if anything – have we learned from C++?
11/23/2018	(No Seminar)	(Thanksgiving break)
11/30/2018	(Informal Gathering)
12/7/2018	Steven M. Bellovin	30 Years of Defending the Internet

Spring 2018

Date	Speaker	Remarks
Jan 12	Aakanksha Chowdhery	Fog networking for Networked drone cameras
Jan 19	(No Seminar)
Jan 26	Nikos Vasilakis	BreakApp: Automated, Flexible Application Compartmentalization
Feb 2	Nathan Dautenhahn	Abstractions, Mechanisms, and Policies for Intra-Kernel Privilege Separation
Feb 9	Yifei Yuan	Programming and Verification of Stateful Networks
Feb 16	(No Seminar)
Feb 23	Saeed Abedi	Predictable Latency for Network Function Virtualization
Mar 2	Haoxian Chen	LHD: Improving Cache Hit Rate by Maximizing Hit Density
Mar 9	(Spring Break)
Mar 16	(Ph.D. Visit Day)
Mar 23	Hui Lyu	Debugging MLDM Ensembles with Probabilistic Provenance
Mar 30	Anduo Wang	(Cancelled)
Apr 6	John Sonchack	TurboFlow: Information-Rich Flow Record Generation on Commodity Switches
Apr 13	Henri Maxime Demoulin	Mitigating DoS with DeDoS
Apr 20	Nofel Yaseen	Synchronized Network Snapshots
Apr 27	Ethan Katz-Bassett	Teaching Old Protocols New Tricks: A Measurement-Driven Approach to Making the Internet Fast

Fall 2017

Date	Speaker	Remarks
Sept. 8	Yang Wu	Diagnosing Performance Problems with Timing Provenance
Sept. 15	Joe Devietti	Fixing the Engine While It’s Running: Automatic False Sharing Repair for Managed and Unmanaged Code
Sept. 22	Lei Shi	Opportunistic Privilege Separation
Sept. 29	Joel Hypolite	Putting Network Intrusion Detection Systems in the PHAST lane
Oct. 6	None	(Fall Break)
Oct. 13	Linh Thi Xuan Phan	Predictable timing for the cloud
Oct. 20	Luke Valenta	May the Fourth Be With You: A Microarchitectural Side Channel Attack on Several Real-World Applications of Curve25519
Oct. 25	Guest: Rohan Amin	Cybersecurity @ JPMorgan Chase
Nov. 3	James Weimer	The Internet of Medical Things: Personalizing Medicine in an Impersonal World
Nov. 10	Alex Marder	Measuring Internet Congestion
Nov. 17	Qizhen Zhang	Suffice: Shuffle as a Service
Nov. 24	None	(Thanksgiving)
Dec. 1	—	—
Dec. 8	Nikos Vasilakis	Query-efficient Partitions for Dynamic Data
Dec. 15	Shaanan	TBA

Spring 2017

Date	Speaker	Remarks
Jan 19	Eugene Chai	5G and Beyond: The Road to Next-Generation Broadband
Jan 26	No meeting	SIGCOMM deadline
Feb 2	Chen Chen	STRANDS: STatic and Runtime ANalysis of Declarative Systems
Feb 9	Ang Chen	Secure Diagnostics and Forensics with Network Provenance
Feb 16	Vincent Liu	Reliable Data Center Networks
Feb 23	Xin Zhang	Adaptive Program Reasoning via Online Learning
March 2	Behnaz Arzani	Improving Network Performance Through Endpoint Diagnosis
March 9	No meeting	Spring break
March 16	Omid Alipourfard	CherryPick: Adaptively Unearthing the Best Cloud Configurations for Big Data Analytics
March 23	Yang Wu	Automated Bug Removal for Software-Defined Networks
March 30	Nikos Vasilakis	Towards Automated Module-level Application Compartmentalization
April 6	Meng Xu	vCAT: Dynamic Cache Management using CAT Virtualization
April 13	Nik Sultana	FLICK: Developing and Running Application-Specific Network Services
April 20	Max Demoulin	DeDoS: Defusing DoS with Dispersion-Oriented Software
April 27	Xujie Si	Nichrome: A Solver for Mixed Hard and Soft Constraints

Fall 2016

Date	Speaker	Remarks
Sept 8, 2016	Ang Chen	The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance (practice talk).
Sept 15, 2016	Qizhen Zhang	Quegel, a general-purpose querying system on big graphs (informal talk).
Sept 22, 2016	Chen Chen	Distributed provenance compression (informal talk).
Sept 29, 2016	Nathan Dautenhahn	Protection in Commodity Operating Systems (practice talk).
Oct 6, 2016	None	Fall break
Oct 13, 2016	Yang Wu	Diagnosing Performance Problems with Timing Provenance (informal talk).
Oct 20, 2016	Meng Xu	vCAT: Dynamic Cache Management using CAT Virtualization (informal talk)
Oct 27, 2016	Antonis Papadimitriou	Big Data Analytics over Encrypted Datasets with Seabed (OSDI practice talk)
Nov 3, 2016	Nikos Vasilakis	(A status report on) Andromeda: a distributed operating system for the commodity cloud
Nov 10, 2016	Alex Marder	MAP-IT: Multipass Accurate Passive Inferences from Traceroute (practice talk for IMC)
Nov 17, 2016	Behnaz Arzani	End-host based Transient Network Fault Detection and Localization in Data Centers
Nov 24, 2016	None	Thanksgiving
Dec 1, 2016	John Sonchack	Timing-based Reconnaissance and Defense in Software-defined Networks (ADSAC practice talk)
Dec 8, 2016	Max Demoulin	TBA
Dec 15, 2016	Linh Thi Xuan Phan	TBA