November 30, 2018

Facebook Testing and Verification Symposium 2018

By: Meta Research

The second annual Facebook TAV Symposium took place this past Wednesday, November 28th and Thursday, November 29th at our London Rathbone Square office. The TAV Symposium aims to build meaningful collaboration and exchange between Testing and Verification scientific research and academia and industry.

With over 160 attendees, the two-day event featured several expert speakers from around the world, who were complemented by our Facebook engineers. Additionally, Facebook engineering manager Mark Harman led a panel discussion with panelists Hana Chockler (King’s College London), Kerstin Edler (University of Bristol), Mateusz Machalica (Facebook), Stephen Magill (Galois) and Liane Praza (Facebook).

As announced last month, the winners of the Testing and Verification Research Awards were also invited to a special one-day workshop to share/discuss their winning proposals and also attend the TAV Symposium the following days.

For those that were unable to attend, the livestream is available on the TAV Symposium Facebook page.

TAV Symposium 2018 speakers and panelists

Symposium attendees applaud presentation by Daniel Schwartz-Narbonne

TAV Symposium Speakers

Mark Harman (Facebook)

Nick Benton (Facebook)

Cristian Cadar (Imperial College London)

Cristina Cifuentes (Oracle Labs Australia)

Myra Cohen (Iowa State University)

Sumit Gulwani (Microsoft)

Tony Hoare (Microsoft Cambridge)

Laura Kovács (TU Vienna)

Francesco Logozzo (Facebook)

Ruzica Piskac (Yale University)

Daniel Schwartz-Narbonne (Amazon)

Natasha Sharygina (USI Lugano, Switzerland)

Dmitry Vyukov (Google)

For full speaker bios, visit the TAV Symposium event page.

Laura Kovács delivers her presentation entitled “Symbol Elimination in Program Analysis”

Speakers listening from the audience: software engineer Francesco Logozzo and Turing Award winner Tony Hoare

TAV Research Award Winners’ Workshop

Jonathan Aldrich (Carnegie Mellon University)
Proposal: Incremental Verification, Gradually
Collaborators: Joshua Sunshine (Carnegie Mellon University) and Eric Tanter (Universidad de Chile)

Gordon Fraser (University of Passau)
Proposal: Automated Accessibility Testing for Mobile Apps
Collaborators: Jose Miguel Rojas (University of Leicester) and Marcelo Medeiros Eler (University of Sao Paolo)

Loris D’Antoni (University of Wisconsin – Madison)
Proposal: Learning Precise Quick Fixes from Open-Source Revision Histories

Sarfraz Khurshid (University of Texas – Austin)
Proposal: An Incremental Approach for More Effective Testing

Caroline Lemieux (University of California – Berkeley)
Proposal: DIFFUZZ: Making Greybox Fuzz Testing Incremental

Darko Marinov (University of Illinois Urbana-Champaign)
Proposal: Being Proactive in ATAFistic World

Justyna Petke (University College London)
Proposal: Automated Software Migration Using Genetic Improvement

Dr. Ajitha Rajan (University of Edinburgh)
Proposal: Classifying Test Executions using Neural Networks

Ladan Tahvildari (University of Waterloo)
Proposal: A Markov Decision- Making Framework for All Tests are Flaky

Rijnard van Tonder (Carnegie Mellon University)
Proposal: Improving Analysis via Automated Program Transformation

Thomas Vogel (Humboldt University of Berlin)
Proposal: Self-Adaptive Search for Sapienz

Tao Xie (University of Illinois Urbana-Champaign)
Proposal: Scalable and Intelligent UI Test Generation for Industrial Mobile Apps

Jooyong Yi (Innopolis University)
Proposal: High-Speed Automated Fixes

Research award winners from left to right: Darko Marinov, Gordon Fraser and Ladan Tahvildari, and Mark Harman on far right

Workshop attendees Thomas Vogel, Justyna Petke, Thomas Wies and Ladan Tahvildari engaged in a presentation