POPL 2017
Sun 15 - Sat 21 January 2017
VenueParis Jussieu
Room nameAmphitheater 44
Floor0
Room number
Capacity240
Additional informationThere is no additional information of this room available.
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-papers148446720000009: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-papers148447260000010:30 - 11:00
Talk
Wei WangGoogle, Inc., Clark BarrettStanford University, Thomas WiesNew York University
File Attached
VMCAI-2017-papers148447440000011: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-papers148447620000011: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-papers148448520000014:00 - 14:30
Talk
VMCAI-2017-papers148448700000014:30 - 15:00
Talk
Vijay D'SilvaGoogle Inc., Daniel KroeningUniversity of Oxford, Marcelo SousaUniversity of Oxford
VMCAI-2017-papers148448880000015: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-papers148449240000016: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-papers148449420000016:30 - 17:00
Talk
Andrew ReynoldsEPFL, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Cristina SerbanVERIMAG, CNRS, Université Grenoble-Alpes
File Attached
VMCAI-2017-papers148449600000017: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-papers148455360000009: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-papers148455900000010:30 - 11:00
Talk
Tushar SharmaUniversity of Wisconsin - Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
File Attached
VMCAI-2017-papers148456080000011:00 - 11:30
Talk
Media Attached File Attached
VMCAI-2017-papers148456260000011: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-papers148457160000014:00 - 14:30
Talk
Iago AbalIT University of Copenhagen, Claus BrabrandIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark
VMCAI-2017-papers148457340000014: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-papers148457520000015: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-papers148457880000016:00 - 16:30
Talk
VMCAI-2017-papers148458060000016:30 - 17:00
Talk
Yakir Vizel, Arie GurfinkelUniversity of Waterloo, Sharon ShohamTel Aviv university, Sharad MalikPrinceton University
VMCAI-2017-papers148458240000017: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

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-papers148464000000009: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-papers148464540000010:30 - 11:00
Talk
Anca MuschollUniversité de Bordeaux / LaBRI, Helmut SeidlTechnische Universität München, Igor WalukiewiczCNRS, LaBRI
VMCAI-2017-papers148464720000011: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-papers148464900000011: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-papers148465800000014:00 - 14:30
Talk
Vijay D'SilvaGoogle, Marcelo SousaUniversity of Oxford
VMCAI-2017-papers148465980000014:30 - 15:00
Talk
David BühlerCEA LIST, Boris YakobowskiCEA - LIST, Sandrine BlazyUniversity of Rennes 1, France
Media Attached
VMCAI-2017-papers148466160000015: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-papers148466520000016:00 - 16:30
Talk
Pietro FerraraIBM Research, Omer TrippIBM Thomas J. Watson Research Center, Peng LiuPurdue University, Eric KoskinenYale University
VMCAI-2017-papers148466700000016:30 - 17:00
Talk
Suvam MukherjeeIndian Institute of Science, Arunkumar SIndian Institute of Science, Deepak D'Souza
VMCAI-2017-papers148466880000017:00 - 17:30
Talk
Raphaël MonatEcole Normale Supérieure de Lyon, Antoine MinéUPMC, France

Wed 18 Jan

POPL-2017-papers
10:30 - 12:10: POPL - Abstract Interpretation at Amphitheater 44
Chair(s): Isabella MastroeniUniversity of Verona, Italy
POPL-2017-papers148473180000010:30 - 10:55
Talk
Jade AlglaveUniversity College London, Patrick CousotNew York University
POPL-2017-papers148473330000010:55 - 11:20
Talk
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Utah; Harvard Medical School; The White House
POPL-2017-papers148473480000011:20 - 11:45
Talk
Huisong LiINRIA/CNRS/ENS/PSL*, François BérengerINRIA/CNRS/ENS/PSL*, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Xavier RivalINRIA/CNRS/ENS Paris
POPL-2017-papers148473630000011:45 - 12:10
Talk
Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Martin VechevETH Zurich
POPL-2017-papers
14:20 - 16:00: POPL - Probabilistic Programming at Amphitheater 44
Chair(s): Marco GaboardiSUNY Buffalo, USA
POPL-2017-papers148474560000014:20 - 14:45
Talk
Leonidas LampropoulosUniversity of Pennsylvania, Diane Gallois-WongInria Paris, ENS Paris, Cătălin HriţcuInria Paris, John HughesChalmers University of Technology, Benjamin C. PierceUniversity of Pennsylvania, Li-yao XiaENS Paris
Pre-print
POPL-2017-papers148474710000014:45 - 15:10
Talk
Chung-chieh ShanIndiana University, USA, Norman Ramsey
Pre-print
POPL-2017-papers148474860000015:10 - 15:35
Talk
Krishnendu ChatterjeeIST Austria, Petr NovotnyIST Austria, Djordje ZikelicUniversity of Cambridge
POPL-2017-papers148475010000015:35 - 16:00
Talk
POPL-2017-papers
16:30 - 17:45: POPL - Logic at Amphitheater 44
Chair(s): Alexandra SilvaUniversity College London
POPL-2017-papers148475340000016:30 - 16:55
Talk
Loris D'AntoniUniversity of Wisconsin–Madison, Margus VeanesMicrosoft Research
POPL-2017-papers148475490000016:55 - 17:20
Talk
Naoki KobayashiUniversity of Tokyo, Japan, Etienne LozesENS Cachan, Florian BruseUniversity of Kassel
POPL-2017-papers148475640000017:20 - 17:45
Talk
Simon RobillardChalmers University of Technology, Andrei VoronkovUniversity of Manchester, Laura KovacsChalmers University of Technology

Thu 19 Jan

POPL-2017-papers
10:30 - 12:10: POPL - Program Analysis at Amphitheater 44
Chair(s): Francesco LogozzoFacebook
POPL-2017-papers148481820000010:30 - 10:55
Talk
Ezgi ÇiçekMPI-SWS, Germany, Gilles BartheIMDEA, Marco GaboardiSUNY Buffalo, USA, Deepak GargMPI-SWS, Germany, Jan HoffmannCarnegie Mellon University
POPL-2017-papers148481970000010:55 - 11:20
Talk
Ravichandhran MadhavanEPFL, Sumith KulalIIT Bombay, Viktor KuncakEPFL, Switzerland
POPL-2017-papers148482120000011:20 - 11:45
Talk
Qirun ZhangUniversity of California, Davis, Zhendong SuUniversity of California, Davis
POPL-2017-papers148482270000011:45 - 12:10
Talk
Jan HoffmannCarnegie Mellon University, Ankush DasCarnegie Mellon University, Shu-Chun WengYale University
POPL-2017-papers
14:20 - 16:00: POPL - Concurrency 2 at Amphitheater 44
Chair(s): Nobuko YoshidaImperial College London, UK
POPL-2017-papers148483200000014:20 - 14:45
Talk
Shaked FlurUniversity of Cambridge, Susmit SarkarUniversity of St. Andrews, UK, Christopher PulteUniversity of Cambridge, Kyndylan NienhuisUniversity of Cambridge, Luc MarangetINRIA Rocquencourt, Kathryn E. GrayUniversity of Cambridge, Ali SezginUniversity of Cambridge, Mark BattyUniversity of Kent, Peter SewellUniversity of Cambridge
POPL-2017-papers148483350000014:45 - 15:10
Talk
Christopher LidburyImperial College London, Alastair DonaldsonImperial College London
POPL-2017-papers148483500000015:10 - 15:35
Talk
Lucas BrutschyETH Zurich, Dimitar DimitrovETH Zurich, Switzerland, Peter MüllerETH Zurich, Martin VechevETH Zurich
Pre-print
POPL-2017-papers148483650000015:35 - 16:00
Talk
Jochen HoenickeUniversität Freiburg, Rupak MajumdarMPI-SWS, Andreas PodelskiUniversity of Freiburg, Germany
POPL-2017-papers
16:30 - 17:20: POPL - Semantic Foundations at Amphitheater 44
Chair(s): Lars BirkedalAarhus University
POPL-2017-papers148483980000016:30 - 16:55
Talk
Arthur Azevedo de AmorimUniversity of Pennsylvania, USA, Ikram CheriguiENS Paris, Marco GaboardiSUNY Buffalo, USA, Justin Hsu, Shin-ya KatsumataKyoto University
POPL-2017-papers148484130000016:55 - 17:20
Talk
Steffen SmolkaCornell University, Praveen KumarCornell University, Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London
DOI File Attached

Fri 20 Jan

POPL-2017-papers
10:30 - 12:10: POPL - Verification and Synthesis at Amphitheater 44
Chair(s): Benjamin DelawarePurdue University
POPL-2017-papers148490460000010:30 - 10:55
Talk
Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Yuepeng WangUniversity of Texas at Austin, Isil DilligUT Austin, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
POPL-2017-papers148490610000010:55 - 11:20
Talk
Joshua MoermanRadboud University, Matteo SammartinoUniversity College London, Alexandra SilvaUniversity College London, Bartek KlinUniversity of Warsaw, Michał SzynwelskiUniversity of Warsaw
POPL-2017-papers148490760000011:20 - 11:45
Talk
Ahmed BouajjaniIRIF, Université Paris Diderot, Constantin EneaLIAFA, Université Paris Diderot, Rachid Guerraoui, Jad HamzaLIAFA, Université Paris Diderot
POPL-2017-papers148490910000011:45 - 12:10
Talk
Akhilesh SrikanthGeorgia Institute of Technology, Burak SahinGeorgia Institute of Technology, William Harris
POPL-2017-papers
14:20 - 16:00: POPL - Concurrency 3 at Amphitheater 44
Chair(s): Adam ChlipalaMIT
POPL-2017-papers148491840000014:20 - 14:45
Talk
Ananya Kumar, Guy E. BlellochCarnegie Mellon University, Robert Harper
POPL-2017-papers148491990000014:45 - 15:10
Talk
Igor KonnovTU Wien, Marijana LazićTU Wien, Helmut VeithTU Wien, Josef WidderTU Wien
DOI Pre-print
POPL-2017-papers148492140000015:10 - 15:35
Talk
Xinxin LiuInstitute of software, Chinese academy of sciences, Tingting Yu, Wenhui ZhangInstitute of software, Chinese academy of sciences
POPL-2017-papers148492290000015:35 - 16:00
Talk
Julien LangeImperial College London, Nicholas NgImperial College London, Bernardo ToninhoImperial College London, Nobuko YoshidaImperial College London, UK
Pre-print
POPL-2017-papers
16:30 - 17:45: POPL - Quantum at Amphitheater 44
Chair(s): Michele PaganiIRIF, Université Paris Diderot
POPL-2017-papers148492620000016:30 - 16:55
Talk
Mingsheng YingUniversity of Technology Sydney, Australia, Shenggang YingUniversity of Technology Sydney, Australia, Xiaodi WuUniversity of Oregon, USA
POPL-2017-papers148492770000016:55 - 17:20
Talk
Ugo Dal LagoUniversity of Bologna, France, Claudia Faggian, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay, Akira YoshimizuUniv.Tokyo
POPL-2017-papers148492920000017:20 - 17:45
Talk
Jennifer Paykin, Robert RandUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania

Sat 21 Jan

N40AI
08:45 - 09:00: Next 40 years of Abstract Interpretation - Opening at Amphitheater 44
Chair(s): Roberto GiacobazziUniversity of Verona, Italy
N40AI148498470000008:45 - 09:00
Day opening
N40AI
09:00 - 10:00: Next 40 years of Abstract Interpretation - Industrial Panel 1 at Amphitheater 44
Chair(s): Antoine MinéUPMC, France
N40AI148498560000009:00 - 09:30
Talk
N40AI148498740000009:30 - 10:00
Talk
N40AI
10:30 - 12:00: Next 40 years of Abstract Interpretation - Industrial Panel 2 & Systems Biology at Amphitheater 44
Chair(s): Jerome FeretINRIA Paris
N40AI148499100000010:30 - 11:00
Talk
N40AI148499280000011:00 - 11:30
Talk
Aaron TombGalois, Inc.
N40AI148499460000011:30 - 12:00
Talk
Vincent DanosENS Paris/CNRS
N40AI
14:00 - 15:30: Next 40 years of Abstract Interpretation - Security, Big Code and Synthesis at Amphitheater 44
Chair(s): Xavier RivalINRIA/CNRS/ENS Paris
N40AI148500360000014:00 - 14:30
Talk
Michael HicksUniversity of Maryland at College Park, USA
N40AI148500540000014:30 - 15:00
Talk
Bor-Yuh Evan ChangUniversity of Colorado Boulder
N40AI148500720000015:00 - 15:30
Talk
Eran YahavTechnion
N40AI
16:00 - 18:30: Next 40 years of Abstract Interpretation - System Verification and Patrick Cousot's Keynote at Amphitheater 44
Chair(s): Francesco RanzatoUniversity of Padova
N40AI148501080000016:00 - 16:30
Talk
Arie GurfinkelUniversity of Waterloo
N40AI148501260000016:30 - 17:45
Talk
Patrick CousotNew York University
N40AI148501710000017:45 - 18:30
Social Event

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:0030
Amphitheater 44
09:00 - 10: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

Wed 18 Jan 2017

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44
16:30 - 17:45

Thu 19 Jan 2017

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44
14:20 - 16:00

Fri 20 Jan 2017

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44
14:20 - 16:00
16:30 - 17:45

Sat 21 Jan 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Amphitheater 44
08:45 - 09:00
14:00 - 14:30
14:30 - 15:00