Systems Seminar

Seminar List

Oct 16, 2023

• Decoding Hidden Worlds: Unprecedented Sensing and Connectivity for Climate, Robotics, & Smart Environments
  Prof. Fadel Adib, MIT
  Hosted by: Prof. Haitham Hassanieh

Oct 12, 2023

• Building the Tools to Program a Quantum Computer
  Charles Yuan, MIT
  Hosted by: Prof. James Larus

Oct 12, 2023

• From Bits to Beyond: Crafting Efficient Memory Architectures for Next-Generation Systems
  Prof. Prashant Nair, University of British Columbia
  Hosted by: Prof. Babak Falsafi

Sep 1, 2023

• Next-Generation Optical Networks for Machine Learning Jobs
  Prof. Manya Ghobadi, MIT
  Hosted by: Prof. Katerina Argyraki

Aug 3, 2023

• Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
  Prof. Meng Xu, University of Waterloo
  Hosted by: Prof. Sanidhya Kashyap

July 11, 2023

• Junction: Rethinking Operating Systems for Datacenters
  Prof. Adam Belay, MIT
  Hosted by: Prof. Edouard Bugnion

June 29, 2023

• The Infrastructure to Build Large Language Models
  Dr. Vinay Pondenkandath, Cerebras
  Hosted by: Prof. Edouard Bugnion

June 12, 2023

• Computing Near Storage
  Prof. Arvind, MIT
  Hosted by: Prof. Paolo Ienne

June 1, 2023

• Experiences with Learned Systems: The Good, The Bad, and The Ugly
  Prof. Haibo Chen, Shanghai Jiao Tong University
  Hosted by: Prof. James Larus

Jan 9, 2023

• Simple and Fast Private Information Retrieval
  Prof. Henry-Corrigan Gibbs, MIT
  Hosted by: Prof. Bryan Ford

Dec 16, 2022

• Deterministic Low Latency Supercomputing at Scale
  Prof. Oskar Mencer, Maxeler Technologies, a Groq Company
  Hosted by: Prof. James Larus

Oct 11, 2022

• Turbocharging Serverless Research with VHive
  Prof. Dmitrii Ustiugov, NTU
  Hosted by: Prof. Edouard Bugnion

Sep 26, 2022

• Optimizing Recursive Queries
  Prof. Dan Suciu, University of Washington
  Hosted by: Prof. Christoph Koch

June 29, 2022

• Compressed Text with Random Access
  Prof. Peter Boncz, VU Amsterdam
  Hosted by: Prof. Anastasia Ailamaki

June 7, 2022

• Lightweight Techniques for Private Heavy Hitters
  Prof. Henry-Corrigan Gibbs, MIT
  Hosted by: Prof. Bryan Ford

June 1, 2022

• Scaling Deep Learning and Datacenter Applications with Programmable Networks
  Prof. Marco Canini, KAUST
  Hosted by: Prof. Rachid Guerraoui

Mar 29, 2022

• Building Trust between Users in Decentralized Systems
  Martijn de Vos, Delft University of Technology
  Hosted by: Prof. Anne-Marie Kermarrec

Mar 10, 2022

• Controlling (ML-based) Computing Systems
  Prof. Henry Hoffman, University of Chicago
  Hosted by: Prof. Babak Falsafi

Dec 16, 2021

• Securing Clouds and Webs -- A Tale of Bug Detection and Exploit Mitigation
  Prof. Manuel Egele, Boston University
  Hosted by: Prof. Mathias Payer

Nov 11, 2021

• Sharing Knowledge on Sharing State
  Prof. Vijay Nagarajan, University of Edinburgh
  Hosted by: Prof. Babak Falsafi

Sep 27, 2021

• Experiencing a New Internet Architecture
  Prof. Adrien Perrig, ETH Zurich
  Hosted by: Prof. Katerina Argyraki

June 30, 2021

• Large-Scale Reconfigurable Optical Networks
  Prof. Manya Ghobadi, MIT
  Hosted by: Prof. Katerina Argyraki

May 12, 2021

• Red Belly: A Secure, Fair and Scalable Open Blockchain
  Prof. Vincent Gramoli, University of Sydney
  Hosted by: Prof. Rachid Guerraoui

Nov 19, 2020

• Accelerating Biology and Medicine with Hardware Specialization
  Yatish Turakhia, UC San Diego
  Hosted by: Prof. George Candea

Jan 24, 2020

• veribetrfs: Verification as a Practical Engineering Tool
  Dr. Jon Howell, VMware Research Group
  Hosted by: Prof. George Candea

Dec 18, 2019

• When Program Analyses may, or may not, solve your Security problems
  Dr. Daniele Cono D’Elia, Sapienza University of Rome
  Hosted by: Prof. Mathias Payer

Nov 19, 2019

• Playing Reversible Pebble Games for Quantum Memory Management
  Dr. Mathias Soeken, EPFL
  Hosted by: Prof. Giovanni De Micheli

Nov 1, 2019

• Enabling Continuous Learning through Synaptic Plasticity in Hardware
  Prof. Tushar Krishna, Georgia Tech
  Hosted by: Prof. Babak Falsafi

Oct 3, 2019

• OmniX - an OS architecture for omni-programmable systems
  Prof. Mark Silberstein, Technion - Israel Institute of Technology
  Hosted by: Prof. Babak Falsafi

Sept 11, 2019

• Building Low-latency and Scalable Computing Systems Using Non-Volatile Memory
  Prof. Haibo Chen, Shanghai Jiao Tong University
  Hosted by: Prof. Jim Larus

June 19, 2019

• Automatically Scalable Computation
  Prof. Margo Seltzer, University of British Columbia
  Hosted by: Prof. Jim Larus

May 21, 2019

• Batteryless Intermittent Computer Systems
  Prof. Brandon Lucia, Carnegie Mellon University
  Hosted by: Prof. Jim Larus

May 8, 2019

• High performance Operating Systems in the Datacenter
  Prof. Tom Anderson, University of Washington
  Hosted by: Prof. George Candea

Feb 6, 2019

• Is Advance Knowledge of Flow Sizes a Plausible Assumption?
  Vojislav Dukic, ETH Zurich
  Hosted by: Prof. Katerina Argyraki

Dec 4, 2018

• Low Latency vs Scalability in Causal Consistency: Trade-offs and Protocols
  Diego Didona, Postdoctoral Researcher at EPFL
  Hosted by: -

Nov 19, 2018

• It’s All About Energy: What it Takes to do a FLOP in Real Systems
  Peter Hsu, Visiting Scholar, EcoCloud
  Hosted by: Prof. Babak Falsafi

Nov 15, 2018

• Rethinking the GPU Execution Model
  Yunho Oh, School of Electrical and Electronic Engineering at Yonsei University
  Hosted by: Prof. Babak Falsafi

Nov 12, 2018

• Two Roads to Parallelism: From Serial Code to Programming with STAPL
  Lawrence Rauchwerger, Eppright Professor of Computer Science and Engineering at Texas A&M University and the co-Director of the Parasol Lab
  Hosted by: Prof. Babak Falsafi

Oct 23, 2018

• A filesystem attack vector for backdoors, rowhammer-like attacks, and more
  Anil Kurmus, IBM Research, Zurich
  Hosted by: Prof. Mathias Payer

Oct 12, 2018

• Scalability, Fairness, and Availability in Modern Storage Systems: Challenges, Solutions, and Outlook
  Arash Tavakkol, RepRisk, Zurich
  Hosted by: Prof. Babak Falsafi

Oct 9, 2018

• τCFI: Type-Assisted Control Flow Integrity for x86-64 Binaries
  Paul Muntean, Technical University of Munich
  Hosted by: Prof. Mathias Payer

Oct 3, 2018

• A Sample of Software Engineering Research Opportunities at YouTube
  George Necula, Google
  Hosted by: Prof. George Candea

April 29, 2015

• Really Catching Click-Fraud
  Dr. Saikat Guha, Microsoft Research India
  Hosted by: Prof. Katerina Argyraki

September 30, 2014

• DeNovo: A Software-Driven Rethinking of the Memory Hierarchy
  Sarita Adve, Visiting Professor in the School of Computer and Communication Sciences at EPFL and Professor of Computer Science at the University of Illinois at Urbana-Champaign
  Hosted by: Prof. Babak Falsafi

September 26, 2014

• Code-Pointer Integrity
  Volodymyr Kuznetsov, Dependable Systems Lab, EPFL
  Hosted by: Prof. George Candea

May 6, 2014

• FaRM: Fast Remote Memory
  Dr. Aleksandar Dragojevic, Microsoft Research
  Hosted by: Prof. Rachid Guerraoui

May 5, 2014

• Incremental Parallel and Distributed Systems
  Pramod Bhatotia, MPI-SWS
  Hosted by: Prof. George Candea

April 16, 2014

• S3K - Seeking Statement-Supporting top-K Witnesses
  Dr. Steffen Metzger, Max-Planck-Institute for Informatics
  Hosted by: Prof. Anastasia Ailamaki

April 11, 2014

• Publish/Subscribe for Large-Scale Social Interaction: Design, Analysis
  Dr. Vinay Setty, University of Oslo
  Hosted by: Prof. Anastasia Ailamaki

April 11, 2014

• Diagnosing and Fixing Concurrency Bugs
  Guoliang Jin, University of Wisconsin-Madison
  Hosted by: Prof. George Candea

April 10, 2014

• Rethinking State-Machine Replication for Multicore Architectures
  Dr Parisa Jalili Marandi, University of Lugano
  Hosted by: Prof. Rachid Guerraoui

April 4, 2014

• DataFlow SuperComputing
  Prof. Veljko Milutinovic, University of Belgrade
  Hosted by: Prof. Babak Falsafi

March 24, 2014

• Opportunities and Challenges in the Mobile World
  Dr. Marco Valerio Barbera, Sapienza University of Rome
  Hosted by: Prof. George Candea

February 14, 2014

• CLyDE Mid-Flight: What we have learnt so far about the SSD-Based IO Stack
  Prof. Philippe Bonnet, IT University of Copenhagen
  Hosted by: Prof. Anastasia Ailamaki

February 3, 2014

• Diagnosing Production-Run Concurrency-Bug Failures
  Prof. Shan Lu, University of Wisconsin
  Hosted by: Prof. Babak Falsafi

January 24, 2014

• 2.5D and 3D IC --- The Status, The Challenges, and The Prospect
  Prof. Hsien-Hsin Sean Lee, TSMC and Georgia Tech
  Hosted by: Prof. Babak Falsafi