Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 15 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 1 at Amphitheater 44
Chair(s): David MonniauxCNRS, VERIMAG
VMCAI-2017-papers09:00 - 10:00
Talk
Pascal CuoqTrust-in-Soft
File Attached
VMCAI-2017-papers
10:30 - 12:00: VMCAI - Program Analysis at Amphitheater 44
Chair(s): Boris YakobowskiCEA - LIST
VMCAI-2017-papers10:30 - 11:00
Talk
Wei WangGoogle, Inc., Clark BarrettStanford University, Thomas WiesNew York University
File Attached
VMCAI-2017-papers11:00 - 11:30
Talk
Asya FrumkinTel Aviv University, Yotam FeldmanTel Aviv University, Ondřej LhotákUniversity of Waterloo, Canada, Oded PadonTel Aviv University, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university
File Attached
VMCAI-2017-papers11:30 - 12:00
Talk
Yijia GuNortheastern University, Thomas WahlNortheastern University
VMCAI-2017-papers
14:00 - 15:30: VMCAI - Concurrency 1 at Amphitheater 44
Chair(s): Camille CotiLIPN, Université Paris 13
VMCAI-2017-papers14:00 - 14:30
Talk
VMCAI-2017-papers14:30 - 15:00
Talk
Vijay D'SilvaGoogle Inc., Daniel KroeningUniversity of Oxford, Marcelo SousaUniversity of Oxford
VMCAI-2017-papers15:00 - 15:30
Talk
Vincent BotbolCEA LIST + LIP6 Université Pierre & Marie Curie, Tristan Le GallCEA LIST, Emmanuel ChaillouxLIP6 - UPMC
Media Attached File Attached
VMCAI-2017-papers
16:00 - 17:30: VMCAI - Decision procedures at Amphitheater 44
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
VMCAI-2017-papers16:00 - 16:30
Talk
Ernst Moritz HahnState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Sven ScheweUniversity of Liverpool, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences
File Attached
VMCAI-2017-papers16:30 - 17:00
Talk
Andrew ReynoldsEPFL, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Cristina SerbanVERIMAG, CNRS, Université Grenoble-Alpes
File Attached
VMCAI-2017-papers17:00 - 17:30
Talk
Supratik ChakrabortyIIT Bombay, Ashutosh Gupta, Rahul JainTata Institute of Fundamental Research
File Attached

Mon 16 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 2 at Amphitheater 44
Chair(s): Ahmed BouajjaniIRIF, Université Paris Diderot
VMCAI-2017-papers09:00 - 10:00
Talk
Ernie CohenAmazon Web Services
VMCAI-2017-papers
10:30 - 12:00: VMCAI - Numerical domains at Amphitheater 44
Chair(s): Laure GonnordUniversity of Lyon & LIP, France
VMCAI-2017-papers10:30 - 11:00
Talk
Tushar SharmaUniversity of Wisconsin - Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
File Attached
VMCAI-2017-papers11:00 - 11:30
Talk
Media Attached File Attached
VMCAI-2017-papers11:30 - 12:00
Talk
Yassamine SeladjiUniversity of Tlemcen
File Attached
VMCAI-2017-papers
14:00 - 15:30: VMCAI - Model-checking and bug finding at Amphitheater 44
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
VMCAI-2017-papers14:00 - 14:30
Talk
Iago AbalIT University of Copenhagen, Claus BrabrandIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark
VMCAI-2017-papers14:30 - 15:00
Talk
Hadrien BrideFemto-ST / Université de Franche-Comté, Olga KouchnarenkoFemto-ST / Université de Franche-Comté, Fabien PeureuxFemto-ST / Université de Franche-Comté + Smartesting S&S
Media Attached
VMCAI-2017-papers15:00 - 15:30
Talk
Henning GüntherTechnische Universität Wien, Alfons LaarmanVienna University of Technology, Ana SokolovaUniversity of Salzburg, Georg WeissenbacherTechnische Universität Wien
File Attached
VMCAI-2017-papers
16:00 - 17:30: VMCAI - Symbolic analysis and invariant synthesis at Amphitheater 44
Chair(s): Constantin EneaLIAFA, Université Paris Diderot
VMCAI-2017-papers16:00 - 16:30
Talk
VMCAI-2017-papers16:30 - 17:00
Talk
Yakir Vizel, Arie GurfinkelUniversity of Waterloo, Sharon ShohamTel Aviv university, Sharad MalikPrinceton University
VMCAI-2017-papers17:00 - 17:30
Talk
Lukas Holik, Martin HruskaBrno University of Technology , Ondrej LengalBrno University of Technology , Adam RogalewiczBrno University of Technology , Tomas VojnarBrno University of Technology
VMCAI-2017-papers
19:30 - 22:00: VMCAI - Banquet at Procope

Tue 17 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 3 at Amphitheater 44
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
VMCAI-2017-papers09:00 - 10:00
Talk
Jasmin FisherMicrosoft Research
VMCAI-2017-papers
10:30 - 12:00: VMCAI - Model Checking and Synthesis at Amphitheater 44
Chair(s): Ahmed BouajjaniIRIF, Université Paris Diderot
VMCAI-2017-papers10:30 - 11:00
Talk
Anca MuschollUniversité de Bordeaux / LaBRI, Helmut SeidlTechnische Universität München, Igor WalukiewiczCNRS, LaBRI
VMCAI-2017-papers11:00 - 11:30
Talk
Roderick BloemInstitute of Software Technology, Graz University of Technology , Hana Chockler, Masoud EbrahimiInstitute of Applied Information Processing and Communications, Graz University of Technology, Ofer StrichmanTechnion
File Attached
VMCAI-2017-papers11:30 - 12:00
Talk
Dejan JovanovićSRI International
VMCAI-2017-papers
14:00 - 15:30: VMCAI - Abstract Interpretation at Amphitheater 44
Chair(s): Roberto GiacobazziUniversity of Verona, Italy
VMCAI-2017-papers14:00 - 14:30
Talk
Vijay D'SilvaGoogle, Marcelo SousaUniversity of Oxford
VMCAI-2017-papers14:30 - 15:00
Talk
David BühlerCEA LIST, Boris YakobowskiCEA - LIST, Sandrine BlazyUniversity of Rennes 1, France
Media Attached
VMCAI-2017-papers15:00 - 15:30
Talk
Mooly SagivTel Aviv University, Or OzeriTel Aviv university, Oded PadonTel Aviv University, Noam RinetzkyTel Aviv University
Media Attached
VMCAI-2017-papers
16:00 - 17:30: VMCAI - Concurrency 2 at Amphitheater 44
Chair(s): David MonniauxCNRS, VERIMAG
VMCAI-2017-papers16:00 - 16:30
Talk
Pietro FerraraIBM Research, Omer TrippIBM Thomas J. Watson Research Center, Peng LiuPurdue University, Eric KoskinenYale University
VMCAI-2017-papers16:30 - 17:00
Talk
Suvam MukherjeeIndian Institute of Science, Arunkumar SIndian Institute of Science, Deepak D'Souza
VMCAI-2017-papers17:00 - 17:30
Talk
Raphaël MonatEcole Normale Supérieure de Lyon, Antoine MinéUPMC, France

Sun 15 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44
09:00 - 10:00
14:00 - 15:30

Mon 16 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Amphitheater 44
09:00 - 10:00
Procope
19:30 - 22:00

Tue 17 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44
09:00 - 10:00
16:00 - 17:30
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)