2024

• Securing Billions: Application Security Teams at Top Tech Companies

  Ibrahim M. ElSayed, Lacework

  Friday, August 2nd, 2024, 11:00 am in Huxley Building, room 218

• Scalable Static Analysis of Parallel Programs with Tens of Millions of Lines of Code

  Jeff Huang, Texas A&M University

  Tuesday, May 21st, 2024, 11:00 am in Huxley Building, room 218

• Fuzz Testing

  Abhik Roychoudhury, National University of Singapore

  Wednesday, May 8th, 2024, 11:00 am in Huxley Building, room 140

• Program Repair and Trusted Automatic Programming

  Abhik Roychoudhury, National University of Singapore

  Tuesday, April 23rd, 2024, 11:00 am in Huxley Building, room 218

• Can changes in the computational stack affect correctness of Deep Learning Models?

  Ajitha Rajan, University of Edinburgh

  Friday, March 1st, 2024, 11:00 am in Huxley Building, room 217

• Cedar: A language for expressing fast, safe, and fine-grained authorization policies

  Mike Hicks, Amazon Web Services, University of Maryland

  Tuesday, January 16th, 2024, 11:00 am in Huxley Building, room 218

2023

• Efficient Fuzzing and Software Updating via Dynamic Binary Rewriting

  Anastasios Andronidis, Imperial College London

  Wednesday, December 13th, 2023, 1:00 pm in Huxley Building, room 6M42 (level 6M)

• The TEA O'Clock of Hardware Security Research

  Cristiano Giuffrida, Vrije Universiteit Amsterdam

  Wednesday, December 13th, 2023, 11:00 am in Huxley Building, room 410

• SAST-Guided Greybox Fuzzing

  Stephan Lipp, Technical University of Munich (TUM)

  Monday, November 20th, 2023, 11:00 am in Huxley Building, room 218

• Symbolic Execution of Datalog and its Application to Static Analysis Guided Program Repair

  Sergey Mechtaev, University College London (UCL)

  Friday, November 17th, 2023, 11:00 am in Huxley Building, room 217

• Sanitizers' Blind Spots: Invisible Undefined Behaviors

  Shaohua Li, ETH Zurich

  Wednesday, October 11th, 2023, 11:00 am in Huxley Building, room 218

• Automatically Finding Performance Issues in Compilers and Databases

  Manuel Rigger, National University of Singapore

  Monday, July 10th, 2023, 11:00 am in Huxley Building, room 410

• Catching Bugs with Mutation Testing

  Mike Papadakis, University of Luxembourg

  Thursday, June 8th, 2023, 11:00 am in Huxley Building, room 218

• Fine-Grained Coverage-Based Fuzzing

  Michaël Marcozzi, CEA List, Université Paris-Saclay

  Friday, May 26th, 2023, 11:00 am in Huxley Building, room 408

• Building an Operating System for Ubiquitous Computing

  Petr Hosek, Google

  Tuesday, May 9th, 2023, 11:00 am in Huxley Building, room 145

• Adversarial Logic

  Julien Vanegue, Bloomberg

  Thursday, February 23rd, 2023, 3:00 pm in Huxley Building, room 218

• Proving and Disproving Equivalence of Functional Programming Assignments

  Dragana Milovančević, École Polytechnique Fédérale de Lausanne (EPFL)

  Thursday, February 2nd, 2023, 11:00 am in Huxley Building, room 410

2022

• Improving the Performance of WCET Analysis in the Presence of Variable Latencies

  Zhenyu Bai, University of Toulouse

  Thursday, June 30th, 2022, 11:00 am in Huxley Building, room 218

• Drifuzz: Harvesting Bugs in Device Drivers from Golden Seeds

  Brendan Dolan-Gavitt, NYU Tandon School of Engineering

  Tuesday, June 14th, 2022, 11:00 am in Huxley Building, room 218

• CVL: Separating Formal Specifications from Code

  Mooly Sagiv, Tel Aviv University and Certora

  Thursday, March 31st, 2022, 10:00 am in Online

• A Multilanguage Static Analysis of Python/C Programs with Mopsa

  Raphaël Monat, LIP6, Sorbonne Université

  Thursday, March 17th, 2022, 1:30 pm in Huxley Building, 218

2020

• Binary-level Code Analysis: Benefits, Challenges and Some Results

  Sébastien Bardin, CEA LIST, Paris-Saclay

  Thursday, February 20th, 2020, 2:00 pm in Huxley Building, room 218

• Concepts: an Abstraction for Software Design

  Daniel Jackson, CSAIL, MIT

  Tuesday, January 21st, 2020, 11:00 am in Huxley Building, room 218

2019

• Dual Channel Software Engineering

  Earl Barr, University College London

  Monday, November 18th, 2019, 11:00 am in Huxley Building, 217

• Incorrectness Logic

  Peter W O'Hearn, Facebook and University College London

  Tuesday, November 12th, 2019, 11:00 am in Electrical and Electronic Engineering Building, 403A

• Compiler Fuzzing: How Much Does It Matter?

  Michaël Marcozzi, Imperial College London

  Monday, October 14th, 2019, 11:00 am in Huxley Building, 217

• Symbolic Side-Channel Analysis for Probabilistic Programs

  Pasquale Malacaria, Queen Mary University of London

  Monday, June 10th, 2019, 11:00 am in Huxley Building, 217

• Lazy Symbolic Execution, Counterfactual Examples and Haskell Constraint Solving

  Bill Hallahan, Yale University

  Tuesday, June 4th, 2019, 11:00 am in Huxley Building, 218

• Semantic Program Repair

  Sergey Mechtaev, University College London (UCL)

  Thursday, May 16th, 2019, 11:00 am in Huxley Building, 218

• Less is More, Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption

  Kyriakos Georgiou, University of Bristol

  Tuesday, March 26th, 2019, 2:00 pm in Huxley Building, 217

• An Introduction to Automatic Android Test Generation Techniques

  Iván Arcuschin, University of Buenos Aires

  Tuesday, February 19th, 2019, 2:00 pm in Huxley Building, 217

• Performance Contracts for Software Network Functions

  Rishabh Iyer, Ecole polytechnique fédérale de Lausanne (EPFL)

  Friday, February 15th, 2019, 3:00 pm in Huxley Building, 218

2018

• Specification Mining for Smart Contracts with Automatic Abstraction Tuning

  Maria Christakis, MPI-SWS

  Friday, November 30th, 2018, 2:00 pm in Huxley Building, 218

• Baby Steps Towards Integrating Fuzzing and Symbolic Execution

  Willem Visser, Stellenbosch University

  Friday, September 14th, 2018, 1:00 pm in Huxley Building, room 218

• Programming Not Only By Example

  Hila Peleg, Technion

  Wednesday, August 15th, 2018, 11:00 am in Huxley Building, room 344a

2017

• Qualcomm Product Security Practice

  Tomasz Kuchta, Qualcomm

  Friday, December 8th, 2017, 2:00 pm in Huxley Building, room 218

• Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing

  Timotej Kapus, Imperial College London

  Friday, October 20th, 2017, 3:00 pm in Huxley Building, Room 572A

• Floating-Point Symbolic Execution--A Case Study in N-version Programming

  Dan Liew, Imperial College London

  Wednesday, October 11th, 2017, 3:00 pm in Huxley Building, Room 217

• A DSL Approach to Reconcile Equivalent Divergent Program Executions

  Luís Pina, Imperial College London

  Thursday, June 15th, 2017, 11:00 am in Huxley Building, Room 144

2016

• Software Debugging: Past, Present, and Future

  Alessandro Orso, Georgia Institute of Technology

  Thursday, December 15th, 2016, 11:00 am in Huxley Building, room 218

• Enhanced Symbolic Execution for Improved Software Reliability

  Tomasz Kuchta, Imperial College London

  Wednesday, December 14th, 2016, 4:00 pm in Huxley Building, room 217

• Build It, Break It, Fix It: Contesting Secure Development

  Michael Hicks, University of Maryland

  Monday, June 27th, 2016, 2:00 pm in Huxley Building, room 144

• Double Session: "Shadow of a Doubt: Testing for Divergences Between Software Versions" and "Analysing the Program Analyser"

  Tomasz Kuchta and Alastair Donaldson, Imperial College London

  Thursday, May 12th, 2016, 3:00 pm in Huxley Building, 144

• Towards Extending the Applicability of Symbolic Execution

  Martin Nowack, TU Dresden

  Wednesday, May 11th, 2016, 2:00 pm in Huxley Building, 344

• Ensuring Aviation Safety: Verification of Interactions between Automated Systems and Humans

  Neha Rungta, NASA Ames Research Center, California

  Tuesday, January 26th, 2016, 11:00 am in Huxley Building, room 217

2015

• It Was Built, Broken, and Fixed: Secure Programming Competitions for Research and Education

  Andrew Ruef, University of Maryland

  Tuesday, November 24th, 2015, 2:00 pm in Huxley Building, room 217

• Provably Correct Peephole Optimizations with Alive

  Nuno Lopes, Microsoft Research Cambridge

  Thursday, October 15th, 2015, 2:00 pm in Huxley Building, room 217

• "My other computer is *your* computer" (or: how attackers evade modern defenses and still manage to pwn your machine)

  Herbert Bos, VU University Amsterdam

  Monday, August 17th, 2015, 11:00 am in Huxley Building, 218

• Combining static and dynamic approaches to software verification

  Sébastien Bardin and Nikolai Kosmatov, CEA LIST

  Wednesday, July 1st, 2015, 11:00 am in Huxley Building, 219B

• Towards Automated Debugging

  Vikram Adve, University of Illinois at Urbana-Champaign

  Tuesday, June 9th, 2015, 12:00 pm in Huxley Building, 217/218

• Abstraction-guided Runtime Checking of Assertions on Lists

  Alex Gyori, University of Illinois at Urbana-Champaign

  Thursday, March 26th, 2015, 11:00 am in Huxley Building, 218

• Varan the Unbelievable: An Efficient N-version Execution Framework

  Petr Hosek, Imperial College London

  Thursday, January 8th, 2015, 2:00 pm in Huxley Building, 218

2014

• Extraction and Analysis of Knowledge for Automatic Software Repair

  Matías Martínez, University of Lille and INRIA Lille

  Friday, November 21st, 2014, 11:30 am in Huxley Building, room 217

• Ziria: wireless programming for hardware dummies

  Dimitrios Vytiniotis, Microsoft Research Cambridge

  Tuesday, November 18th, 2014, 3:00 pm in Sherfield Building, room SALC 2

• Rubah: Dynamic Software Updating for Java on a Stock JVM

  Luís Pina, Technical University of Lisbon and University of Maryland

  Tuesday, November 11th, 2014, 11:00 am in Huxley Building, room 218

• Output Diversity as a Test Selection Criterion

  Nadia Alshahwan, University College London

  Wednesday, October 15th, 2014, 4:00 pm in Huxley Building, 218

• Mining Oracles for Fully Automated Test Generation

  Andreas Zeller, Saarland University

  Friday, October 3rd, 2014, 11:00 am in Huxley Building, room 342

• Two Techniques for Automatically Eliminating Software Defects

  Martin Rinard, MIT

  Monday, September 29th, 2014, 2:00 pm in Huxley Building, room 342

• Testing the Future Internet

  Oscar Soria Dustmann, RWTH Aachen

  Thursday, September 25th, 2014, 3:00 pm in Huxley Building, room 218

• Docovery: Toward Generic Automatic Document Recovery

  Tomasz Kuchta, Imperial College London

  Wednesday, September 3rd, 2014, 3:00 pm in Huxley Building, 218

• Does Automated White-Box Unit Test Generation Really Help Software Testers?

  Gordon Fraser, University of Sheffield

  Friday, July 18th, 2014, 2:00 pm in Huxley Building, 217

• Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software

  Paul Marinescu, Imperial College London

  Tuesday, July 15th, 2014, 3:00 pm in Huxley Building, 217

• CopperDroid: On the Reconstruction of Android Malware Behaviors

  Lorenzo Cavallaro, Royal Holloway University of London

  Monday, May 12th, 2014, 2:00 pm in Huxley Building, 217

• Expositor: Scriptable Time-Travel Debugging with First Class Traces

  Michael Hicks, University of Maryland, College Park

  Wednesday, January 8th, 2014, 2:00 pm in Huxley Building, 218

2013

• Using the Intrinsic Redundancy of Software

  Andrea Mattavelli, University of Lugano, Switzerland

  Friday, November 22nd, 2013, 2:00 pm in Huxley Building, 217

• KATCH: High-Coverage Testing of Software Patches

  Paul Marinescu, Imperial College London

  Thursday, August 8th, 2013, 2:00 pm in Huxley Building, 218

• Shared Execution for Efficiently Testing Product Lines

  Chang Hwan Peter Kim, UT Austin

  Thursday, June 27th, 2013, 5:00 pm in William Penney Building, 301

• Safe Software Updates via Multi-version Execution

  Petr Hosek, Imperial College London

  Wednesday, May 15th, 2013, 11:00 am in William Penney Building, 212

• Symbolic Execution of Distributed Systems

  Raimondas Sasnauskas, RWTH Aachen University

  Friday, April 19th, 2013, 12:00 pm in William Penney Building, 301

• Collaborative Verification and Testing with Explicit Assumptions

  Maria Christakis, ETH Zurich

  Monday, February 25th, 2013, 2:00 pm in Huxley Building, 217

2012

• Gaining Insight into Systems with Model Inference

  Ivan Beschastnikh, University of Washington

  Tuesday, December 18th, 2012, 2:00 pm in Huxley Building, 218

• Automated Game-theoretic Verification for Probabilistic Systems

  David Parker, University of Birmingham

  Thursday, December 13th, 2012, 11:00 am in Huxley Building, 218

• Data Races vs. Data Race Bugs: Telling the Difference with Portend

  Cristian Zamfir, École Polytechnique Fédérale de Lausanne (EPFL)

  Thursday, March 8th, 2012, 2:00 pm in Huxley Building, 218

• IMUnit: Improved Multithreaded Unit Testing

  Darko Marinov, University of Illinois at Urbana-Champaign

  Thursday, February 2nd, 2012, 2:00 pm in Huxley Building, 345

2011

• Poirot - A Concurrency Sleuth

  Shaz Qadeer, Microsoft Research Redmond

  Monday, October 24th, 2011, 2:00 pm in Huxley Building, 341

2010

• Finding Malware on a Web Scale

  Ben Livshits, Microsoft Research Redmond

  Thursday, October 21st, 2010, 2:00 pm in Huxley Building, 345

• KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment

  Raimondas Sasnauskas, RWTH Aachen

  Thursday, March 11th, 2010, 2:00 pm in Huxley Building, 218