Name: FaceTav London 2017
Start: 2017-11-06T21:00:00-05:00
End: 2017-11-07T17:00:00-05:00
Location: Facebook London

12pm - 1pm

How to Build Schedule Blocks

C. Doe

2016 Mobile Ad Summit

Mon

Nov

–

Tue

Nov

Full Name

Company & Title

Description of person representing this event or brand.

R. Harrison

CEO Barkbook

FaceTAV 2017 Symposium

Monday

November

Tuesday

November

Join us on Facebook LIVE for the Facebook Testing and Verification Symposium

The Facebook Testing and Verification Symposium is a two day event at Facebook's London offices on 6th and 7th of November 2017. The symposium aims to build meaningful collaboration and exchange between Testing and Verification scientific research and between academia and industry.

FaceTAV is full. Join us on Facebook LIVE to engage in the conversation. Please join the FaceTAV Facebook Group for updates on upcoming events and exciting news!

Guest Speakers

Tony Hoare

Computer Scientist & Emeritus Professor, Cambridge

Tony is a winner of the ACM Turing Award and creator of Hoare Logic. Tony is now a Senior Researcher with Microsoft Research in Cambridge.

Antonia Bertolino

CNR Researcher

Italy

Antonia is a researcher in the Software Engineering and Dependable Computing Research Lab at ISTI in Pisa.

Marsha Chechik

Professor in Computer Science

University of Toronto

Marsha's main research interests are in the use of formal methods to improve the quality of software including scalable automated verification techniques among others.

Philippa Gardner

Professor of Computing

Imperial College London

Philippa is the leader of the Program Specification and Verification Group. Her research focuses on program verification, in particular reasoning about Web programs.

Jade Alglave

Senior Lecturer

University College London

Jade's area of expertise is weak memory models and the interface between hardware and programming languages. She actually understands what C++ programs do when run on a PPC processor!

Claire Le Goues

Assistant Professor of Computer Science, Carnegie Mellon University

Claire's research interests span software engineering and programming languages, especially on how to construct, maintain, evolve, improve/debug, and assure high-quality software systems.

Daniel Kroening

Professor of Computer Science

Oxford

Daniel's interests include formal methods for correct construction of hardware and software systems, with a focus on automated methods for checking compliance of an implementation with a specification. Techniques include model checking and automated testing.

Corina Pasareanu

ACM Distinguished Scientist

NASA Ames Research Center

Corina is doing research in software engineering at NASA Ames in the Robust Software Engineering Group. She is also an Associate Research Professor at CMU CyLab in Silicon Valley.

Mark Harman

Engineering Manager

Facebook

Mark is an engineering manager at Facebook and a part time professor of Software Engineering in the Department of Computer Science at University College London. His scientific work centers around software analysis and testing and Search Based Software Engineering (SBSE), a field of engineering he co-founded in the late 1990s.

Caitlin Sadowski

Software Engineer

Google

Caitlin's mission is to make program analysis usable at Google. She has a computer science PhD from UC Santa Cruz where she worked with her advisors on a variety of research topics related to Programming Languages, Software Engineering and Human Computer Interaction.

Peter O'Hearn

Engineering Manager

Facebook

Peter is an Engineering Manager working with the Static Analysis Tools team in the Facebook London Engineering office. He came to Facebook in 2013 with the acquisition of the verification startup Monoidics. His research has been in the broad areas of programming languages and logic, ranging from new logics and mathematical models to industrial applications of formal proof.

Federica Sarro

Senior Lecturer

University College London

Federica is part of the CREST research centre, where she lead the predictive modelling theme of the Dynamic Adaptive Automated Software Engineering (DAASE) EPSRC project. She is also a member of the UCL Systems and Software Engineering group and head of the UCL App Store Analysis (UCLappA) group.

Michael Tautschnig

Research Scientist

Amazon

Michael is a Lecturer in Theoretical Computer Science at Queen Mary, University of London as well as a Research Scientist in Formal Verification at Amazon Web Services.

Sam Blackshear

Research Scientist

Facebook

Sam is a Research Scientist working on the Infer static analyzer at Facebook. He is interested in using static analysis to help developers move faster and with more confidence.

Ke Mao

Software Engineer

Facebook

Ke is a Software Engineer at Facebook. His research interests focus on search based software engineering (SBSE), mobile automation and crowdsourcing (for enhancing computational search intelligence).

Facebook Speakers

Mark Harman

Engineering Manager

Sam Blackshear

Research Scientist

Peter O'Hearn

Engineering Manager

Ke Mao

Software Engineer

Schedule

Monday, 6th November

08:30 - 09:00

Registration

09:00 - 09:45

Welcome

09:45 - 10:00

Introduction to the FaceTAV Symposium

Mark Harman - Facebook

Peter O'Hearn - Facebook

10:00 - 10:45

A Survey of Advances in Software Testing

Antonia Bertolino - CNR, Italy

10:45 - 11:15

Break

11:15 - 12:00

Formal Verification at Amazon

Michael Tautschnig - Amazon

12:00 - 12:45

Compositional Verification and Testing

Corina Pasareanu - NASA AMES, and CMU

12:45 - 14:00

Lunch and Networking

14:00 - 14:45

Static Analysis at Google

Caitlin Sadowski - Google

14:45 - 15:30

Compositional Analysis at Scale

Sam Blackshear - Facebook

15:30 - 16:00

Break

16:00 - 16:45

Weak Memory Models and/or Testing for Hardware

Jade Alglave - UCL/Microsoft

16:45 - 17:45

Perspectives on Testing and Verification

Tony Hoare - Microsoft Research Cambridge

17:45 - 18:00

Depart for Offsite Dinner and Drinks

18:00 - 20:30

Offsite Dinner and Networking

Tuesday, 7th November

08:30 - 09:00

Check-in

09:00 - 09:45

Advances in Automated Software Repair

Claire Le Goues - CMU

09:45 - 10:30

Verification and Testing at DiffBlue

Daniel Kroening - DiffBlue, Oxford

10:30 - 11:00

Break

11:00 - 11:45

Scalable Verification

Marsha Chechik - University of Toronto

11:45 - 12:30

Panel Discussion: Great scientific TAV work that is just on the cusp of industrial uptake and impact

Alessandra Gorla, IMDEA Software Institute, Spain

Earl Barr, University College London

Caitlin Sadowski, Google

Greta Yorsh, Queen Mary University of London

Yue Jia, Facebook

Stephen Magill, Galois

12:30 - 14:00

Lunch and Networking

14:00 - 14:45

Fault Prediction

Federica Sarro - University College London

14:45 - 15:30

Sapienz Automated Search-Based Test Design

Ke Mao - Facebook

15:30 - 16:00

Break

16:00 - 16:45

Separation Logic for Scalable Verification

Philippa Gardner - Imperial College London

16:45 - 17:00

Wrap Up

If you are a confirmed guest, the 2017 FaceTAV Symposium will take place at Facebook's London office in the heart of London. No onsite resgistrations allowed. Check out the recordings from our 2017 FaceTAV event on our Facebook Page.

If you have questions, please reach out to us at FaceTAV@fb.com.

Goals of the Symposium

FaceTAV brings together academia and industry to deliver meaningful collaboration and exchange between Testing and Verification scientific research and practice.

If you have questions, please email us at FaceTAV@fb.com.

About Research @ Facebook

Giving people the power to share and connect requires constant innovation. At Facebook, research permeates everything we do. Check out our website for more information: http://research.fb.com.

Registration is now closed.

Check out the recordings from our 2017 FaceTAV event here.