Keynote TalksAPLAS 2019
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 |
Mon 2 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
08:50 - 10:00 | Keynote 1Keynote Talks at Bali Room Chair(s): Anthony Widjaja Lin Technische Universität Kaiserslautern | ||
08:50 70mTalk | Proving that Programs are Differentially Private Keynote Talks | ||
10:00 - 10:30 | Coffee BreakCatering | ||
12:00 - 13:30 | |||
15:00 - 15:30 | Coffee BreakCatering | ||
18:00 - 20:00 | |||
18:00 - 20:00 | Poster sessionPosters at Puri Bali Chair(s): Andreea Costea School of Computing, National University Of Singapore | ||
Tue 3 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:00 | Keynote 2Keynote Talks at Bali Room Chair(s): Anthony Widjaja Lin Technische Universität Kaiserslautern | ||
09:00 60mTalk | Network Verification: Past, Present, and Future Keynote Talks Nate Foster Cornell University | ||
10:00 - 10:30 | Coffee BreakCatering | ||
Wed 4 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:00 | Keynote 3Keynote Talks at Bali Room Chair(s): Anthony Widjaja Lin Technische Universität Kaiserslautern | ||
09:00 60mTalk | On Strings in Software Model Checking Keynote Talks Philipp Ruemmer Uppsala University | ||
10:00 - 10:30 | Coffee BreakCatering | ||