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

Facebook London

–

10 Brock Street

London

England

Mon

Nov

–

Tue

Nov

SIGN ME UP

Full Name

Company & Title

Description of person representing this event or brand.

R. Harrison

CEO Barkbook

FaceTAV 2017 Symposium

Facebook London

–

10 Brock Street

London

England

Monday

November

Tuesday

November

Registration is now closed

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.

Registration is now closed. We will be live-streaming FaceTAV this year so you can attend the event virtually via Facebook Live from our Facebook Academics Facebook page: https://www.facebook.com/academics. We will reach out to those who showed interest before the cut-off and confirm their registration via email.

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

09:00 - 09:30

Registration

Coffee, tea and pastries available

09:30 - 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

Refreshments provided

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

Lunch provided

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

Refreshments provided

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

Location TBD

Tuesday, 7th November

09:00 - 09:30

Coffee and Tea Available

09:30 - 10:15

Advances in Automated Software Repair

Claire Le Goues - CMU

10:15 - 10:45

Break

Refreshments provided

10:45 - 11:30

Verification and Testing at DiffBlue

Daniel Kroening - DiffBlue, Oxford

11:30 - 12:15

Separation Logic for Scalable Verification

Philippa Gardner - Imperial College London

12:15 - 13:00

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

13:00 - 14:00

Lunch and Networking

Lunch provided

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

Refreshments provided

16:00 - 16:45

Scalable Verification

Marsha Chechik - University of Toronto

16:45 - 17:00

Wrap Up

Facebook London

10 Brock Street

London

England

The 2017 FaceTAV Symposium will take place at Facebook's London office in the heart of London. 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. We hope to see you next year!

Sign Me Up