Registration now open for the 2019 Testing and Verification Symposium

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.

The post Registration now open for the 2019 Testing and Verification Symposium appeared first on Facebook Research.

Funding

We need your support to operate it properly. We have lots of ideas but less fund, so help us with your funding.

Contribute

Thoughts of the day

A perfection of means, and confusion of aims, seems to be our main problem

Albert Einstein
Sell your product online

Do you want to sell products online with no extra cost?

Send your details, our executive will contact you

Email:

Mobile:

Location:

Polls
What you like most in facebook?
News
33%

 


Games
33%

 


Images
33%

 


Videos
1%

 


Tutorial On Request
Q. Ask us for any tutorial or any thing which helps to build your career better.
Email:
Query: