Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia

We are proud announce our keynote speakers for APLAS’19:

Nate J. Foster

Bio: Nate Foster is an Associate Professor of Computer Science at Cornell University and a Principal Research Engineer at Barefoot Networks. The goal of his research is to develop languages and tools that make it easy for programmers to build secure and reliable systems. His current work focuses on the design and implementation of languages for programming software-defined networks. In the past he has also worked on bidirectional languages (also known as “lenses”), database query languages, data provenance, type systems, mechanized proof, and formal semantics. He received a PhD in Computer Science from the University of Pennsylvania. His honors include a Sloan Research Fellowship, an NSF CAREER Award, a Most Influential POPL Paper Award, and the SIGCOMM Rising Star Award.

Annabelle McIver

Bio: Annabelle McIver is a professor of Computer Science at Macquarie University in Sydney. Annabelle trained as a mathematician at Cambridge and Oxford Universities. Her research uses mathematics to prove quantitative properties of programs, and more recently to provide foundations for quantitative information flow for analysing security properties. She is co-author of the book “Abstraction, Refinement and Proof for Probabilisic Systems”, and of the forthcoming title "The Science of Quantitative Information Flow”.

Philipp Rümmer

Bio: Philipp Rümmer is an Associate Professor at the IT Department of Uppsala University, Sweden. He received his PhD from Gothenburg University in 2008, and is generally interested in any kind of technology that is useful for program verification. Over the years, he has contributed to deductive verification methods (including the tools KeY and Boogie), developed software model checkers (including Eldarica and JayHorn), worked on theorem provers and SMT solvers (leading to a zoo of solvers, among others inhabited by Princess, Norn, Sloth, Ostrich, Trau, UppSAT), and investigated the application of verification methods in domains like Embedded Systems and Security. In 2013 he received the Oscar Award, Uppsala University’s most prestigious award for young researchers, and in 2014 the Best-paper Award of IJCAR.

Keynote Talks

Title
Network Verification: Past, Present, and Future
Keynote Talks
On Strings in Software Model Checking
Keynote Talks
Proving that Programs are Differentially Private
Keynote Talks
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 2 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

08:50 - 10:00: Keynote 1Keynote Talks at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
08:50 - 10:00
Talk
Proving that Programs are Differentially Private
Keynote Talks
K: Annabelle McIverMacquarie University
10:00 - 10:30: Coffee BreakCatering
12:00 - 13:30: LunchCatering at El Patio Restaurant
15:00 - 15:30: Coffee BreakCatering
18:00 - 20:00: ReceptionCatering at El Patio Restaurant
18:00 - 20:00: Poster sessionPosters at Puri Bali
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore

Tue 3 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00: Keynote 2Keynote Talks at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
09:00 - 10:00
Talk
Network Verification: Past, Present, and Future
Keynote Talks
Nate FosterCornell University
10:00 - 10:30: Coffee BreakCatering

Wed 4 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00: Keynote 3Keynote Talks at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
09:00 - 10:00
Talk
On Strings in Software Model Checking
Keynote Talks
Philipp RuemmerUppsala University
10:00 - 10:30: Coffee BreakCatering
Questions? Use the APLAS Keynote Talks contact form.