October 8, 2019

Registration now open for the 2019 Testing and Verification Symposium

By: Facebook Research

The Facebook Testing and Verification (TAV) symposium brings together academia and industry to deliver a meaningful collaboration and exchange between testing and verification scientific research and practice. Taking place this year at our London office on November 20 and 21, the symposium is open to all testing and verification practitioners and researchers, and it’s free to attend. Those interested in attending may submit their registration request here. Space is limited, so submit your request today.

Attendees will hear and network with world-expert researchers and engineers from top universities and research centers, and from on-the-ground experts delivering technologies to some of the largest companies in the world. “This is the third time we have held the Facebook testing verification symposium in London, and we’re delighted to have such an outstanding schedule of speakers from academia and industry,” says Mark Harman, Facebook TAV co-chair.

“We will hear exciting talks from academics whose research is close to potential industrial deployment and uptake,” Mark says. “We’ll also hear from industrial practitioners who have already deployed advanced software testing and verification techniques into industrial practice. As with the previous symposia, there will be lots of opportunity for questions, discussion, networking, and collaborative community building.”

Below is the list of confirmed speakers and topics, which can also be found on the registration page.

Confirmed speakers and topics

Sapienz testing
Nadia Alshahwan, Facebook

Automated program repair with Getafix
Satish Chandra, Facebook

Finding bugs with Infer
Ezgi Cicek, Facebook

Survey of program synthesis
Cristina David, University of Cambridge

Testing and verification at Amazon
Liana Hadarean, Amazon

Perspectives on testing and verification
Tony Hoare, Microsoft

Probabilistic model checking
Marta Kwiatkowska, University of Oxford

Technology transfer
Stephen Magill, Galois

Using machine learning to recommend correctness checks for geographic map data
Atif Memon, Apple

Incorrectness logic
Peter O’Hearn, Facebook

Analysis and testing of mobile systems
Julia Rubin, University of British Columbia

Fuzz testing
Andreas Zeller, Saarland University

To learn more about TAV research at Facebook, watch the 2018 TAV RFP video with program co-chairs Mark Harman and Peter O’Hearn.