VenueOmni Hotel
Room nameWatercourt
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 7 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Invited Talk by Ranjit JhalaVMCAI at Watercourt
Chair(s): Isil DilligUT Austin
09:00 - 10:00
Talk
VMCAI
Ranjit JhalaUniversity of California, San Diego
10:30 - 12:00: SynthesisVMCAI at Watercourt
Chair(s): K. Rustan M. LeinoAmazon
10:30 - 11:00
Talk
VMCAI
Hila Peleg, Shachar ItzhakyTechnion, Israel, Sharon ShohamTel Aviv university
11:00 - 11:30
Talk
VMCAI
Eric ButlerUniversity of Washington, Emina TorlakUniversity of Washington, Zoran PopovicUniversity of Washington
11:30 - 12:00
Talk
VMCAI
Hila Peleg, Dan RasinTechnion – Israel Institute of Technology, Eran YahavTechnion
14:00 - 15:30: VerificationVMCAI at Watercourt
Chair(s): Jeffrey S. FosterUniversity of Maryland, College Park
14:00 - 14:30
Talk
VMCAI
Johannes BaderMicrosoft, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile
14:30 - 15:00
Talk
VMCAI
Adi PrabawaNational University of Singapore, Mahmudul Faisal Al AmeenNational University of Singapore, Benedict LeeNational University of Singapore, Wei-Ngan ChinNational University of Singapore
15:00 - 15:30
Talk
VMCAI
16:00 - 17:30: SecurityVMCAI at Watercourt
Chair(s): Francesco RanzatoUniversity of Padova
16:00 - 16:30
Talk
VMCAI
Roberto BruniDipartimento di Informatica, Universita' di Pisa, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Roberta GoriDipartimento di Informatica, Universita' di Pisa
16:30 - 17:00
Talk
VMCAI
Fabrizio BiondiCentraleSupelec Rennes, Mike EnescuINRIA, Annelie HeuserCNRS/IRISA, Axel Legay, Kuldeep S. MeelNational University of Singapore, Jean QuilbeufINRIA
17:00 - 17:30
Talk
VMCAI
Samuele BuroUniversità degli Studi di Verona, Isabella MastroeniUniversity of Verona, Italy

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Invited Talk by Kenneth L. McMillanVMCAI at Watercourt
Chair(s): Lenore Zuck
09:00 - 10:00
Talk
VMCAI
Kenneth L. McMillanMicrosoft Research
10:30 - 12:00: Abstract InterpretationVMCAI at Watercourt
Chair(s): Patrick Cousot
10:30 - 11:00
Talk
VMCAI
Francesco RanzatoUniversity of Padova
11:00 - 11:30
Talk
VMCAI
Laura TitoloNational Institute of Aerospace, USA, Marco A. FeliuNational Institute of Aerospace, Mariano MoscatoNational Institute of Aerospace, Cesar MunozNASA
11:30 - 12:00
Talk
VMCAI
Julian KranzTechnical University of Munich, Axel SimonGoogle
14:00 - 15:30: PotpourriVMCAI at Watercourt
Chair(s): Wei-Ngan ChinNational University of Singapore
14:00 - 14:30
Talk
VMCAI
Nima RoohiUniversity of Pennsylvania, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
14:30 - 15:00
Talk
VMCAI
Brijesh DongolBrunel University London, Radha JagadeesanDePaul University, James RielyDePaul University, Alasdair ArmstrongBrunel University
15:00 - 15:30
Talk
VMCAI
Cedric BaumannETH Zurich, Andrei Marian DanETH Zurich, Yuri MeshmanIMDEA, Torsten HoeflerETH Zurich, Martin VechevETH Zürich
16:00 - 17:30: Invited Tutorial by Mayur NaikVMCAI at Watercourt
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
16:00 - 17:30
Talk
VMCAI
Mayur NaikUniversity of Pennsylvania, Xujie SiUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, USA, Radu GrigoreUniversity of Kent
18:00 - 22:00: VMCAI BanquetVMCAI at Watercourt
18:00 - 22:00
Dinner
VMCAI

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Invited Talk by Azadeh FarzanVMCAI at Watercourt
Chair(s): Isil DilligUT Austin
09:00 - 10:00
Talk
VMCAI
Azadeh FarzanUniversity of Toronto
10:30 - 12:00: Verifying Protocols and SystemsVMCAI at Watercourt
Chair(s): James RielyDePaul University
10:30 - 11:00
Talk
VMCAI
Swen Jacobs, Mouhammad SakrSaarland University
11:00 - 11:30
Talk
VMCAI
11:30 - 12:00
Talk
VMCAI
Mahsa NajafzadehPurdue University, Marc ShapiroLIP6, Patrick EugsterPurdue University
14:00 - 15:30: Types and AnalysisVMCAI at Watercourt
Chair(s): Tachio TerauchiWaseda University
14:00 - 14:30
Talk
VMCAI
Tomas FiedorVUT Brno, Lukáš HolíkBrno University of Technology, Adam RogalewiczBrno University of Technology , Moritz SinnSt. Polten University of Applied Sciences, Tomáš VojnarBrno University of Technology, Florian ZulegerTU Vienna
14:30 - 15:00
Talk
VMCAI
Andreas HumenbergerVienna University of Technology, Maximilian JaroschekVienna University of Technology, Laura KovacsChalmers University of Technology
15:00 - 15:30
Talk
VMCAI
Milod Kazerounian, Niki VazouUniversity of Maryland, Austin BourgerieUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Emina TorlakUniversity of Washington
16:00 - 17:30: Model CheckingVMCAI at Watercourt
Chair(s): Kenneth L. McMillanMicrosoft Research
16:00 - 16:30
Talk
VMCAI
Yong LiInstitute of Software, Chinese Academy of Sciences, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences, Sven ScheweUniversity of Liverpool
16:30 - 17:00
Talk
VMCAI
Tanja SchindlerUniversity of Freiburg, Dejan JovanovićSRI International
17:00 - 17:30
Talk
VMCAI
Benjamin AminofVienna University of Technology, Sasha RubinUniversity of Naples Federico II, Ilina StoilkovskaVienna University of Technology , Josef WidderTU Wien, Florian ZulegerTU Vienna

Sun 7 Jan
Times are displayed in time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Watercourt

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change