PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) /
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Program
Filter
Sun 18 Jun
| 08:30 - 10:30 Other | Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks | |||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:30 Talk | Sukyoung RyuKAIST File Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:30 Talk | Xipeng ShenNorth Carolina State University | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: ARRAY 2017 - Keynote at Vertex WS218 Chair(s): Andreas KloecknerUniversity of Illinois at Urbana-Champaign | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | P. SadayappanOhio State University | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:45 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:45 - 10:30 Talk | Kathryn S McKinleyMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:10 - 09:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Daniel WelchClemson University | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:30 Talk | Sumit GulwaniMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 09:50 Talk | DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:50 - 10:10 Talk | George BalatsourasUniversity of Athens, Kostas FerlesUniversity of Texas at Austin, USA, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:10 - 10:30 Talk | Behnaz HassanshahiOracle Labs, Australia, Raghavendra KagalavadiOracle Labs, Australia, Paddy Krishnan, Bernhard ScholzUniversity of Sydney, Australia, Yi LuOracle DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
09:30 - 10:30: ISMM 2017 - Session 1: Garbage Collection at Aula Master Chair(s): Hannes PayerGoogle | ||||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Rodrigo BrunoINESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi OliveiraFeedzai, Paulo FerreiraINESC-ID / Instituto Superior Técnico, University of Lisbon | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
10:00 - 10:30: ARRAY 2017 - Morning talks 1 at Vertex WS218 Chair(s): Andreas KloecknerUniversity of Illinois at Urbana-Champaign | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Talk | DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:45 Talk | Jingling XueUNSW Australia | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Tim VieiraJohns Hopkins University, Matthew Francis-LandauThe Johns Hopkins University, Nathaniel Wesley Filardo, Farzad KhorasaniRice University, Jason EisnerThe Johns Hopkins University | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: ARRAY 2017 - Morning talks 2 at Vertex WS218 Chair(s): Martin ElsmanDepartment of Computer Science, University of Copenhagen | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | David PearceVictoria University of Wellington DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:30 Other | Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:45 Talk | Michael HicksUniversity of Maryland, College Park | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:30 Talk | Armando Solar-LezamaMIT CSAIL | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Julian DolbyIBM Thomas J. Watson Research Center | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: ISMM 2017 - Session 2: Clever Data Tricks at Aula Master Chair(s): Michael BondOhio State University | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Zhengyang LiuBeijing University of Posts and Telecommunications, John CriswellUniversity of Rochester | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | Florian KüblerTU Darmstadt, Germany, Patrick MüllerTU Darmstadt, Germany, Ben HermannUniversity of Paderborn DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Tony Antoniadis, Konstantinos TriantafyllouUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens DOI Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Chandrakana NandiUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Adrian SampsonCornell University, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Sarah NadiUniversity of Alberta | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Praveen NarayananIndiana University, USA | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Jasper SchulzKing's College London | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework at Vertex WS215 | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:30 Other | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Ugur KocUniversity of Maryland, College Park, Parsa SaadatpanahUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Adam PorterUniversity of Maryland | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:45 Talk | Julian DolbyIBM Thomas J. Watson Research Center Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:00: ARRAY 2017 - Invited talk at Vertex WS218 Chair(s): David PaduaUniversity of Illinois at Urbana-Champaign | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | Jeremy GibbonsDepartment of Computer Science, University of Oxford Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:45 Talk | Jean YangCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:30 Talk | Ben WiedermannHarvey Mudd College | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: ISMM 2017 - Session 3: Hybrid Memory Systems at Aula Master Chair(s): Ben L. TitzerGoogle | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Ivy Bo PengKTH Royal Institute of Technology, Roberto GioiosaPacific Northwest National Laboratory, Gokcen KestorPacific Northwest National Laboratory, Stefano MarkidisKTH Royal Institute of Technology, Pietro CicottiSan Diego Supercomputer Center, Erwin LaureKTH Royal Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:07 Talk | Esben AndreasenAarhus University, Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:07 - 15:30 Talk | Jens DietrichMassey University, Li SuiMassey University, New Zealand, Shawn RasheedMassey University, Amjed TahirMassey University DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:00 - 15:30: ARRAY 2017 - Afternoon talks 1 at Vertex WS218 Chair(s): David PaduaUniversity of Illinois at Urbana-Champaign | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:40 Talk | Eric JulUniversity of Oslo | |||||||||||||||||||||||||||||||||||||||||
| 17:40 - 17:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: ARRAY 2017 - Afternoon talks 2 at Vertex WS218 Chair(s): P. SadayappanOhio State University | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | Benjamin AndreassenNorwegian University of Science and Technology, Jan ChristianNorwegian University of Science and Technology, Lasse NatvigNorwegian University of Science and Technology DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Matthias SpringerTokyo Institute of Technology, Peter WauligmannTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:30 Talk | DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:20 Talk | Michael ReifTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Ben HermannUniversity of Paderborn, Mira MeziniTU Darmstadt DOI Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||
16:00 - 18:00: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework (cont'd) at Vertex WS215 | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 18:00 Other | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:45 Talk | Roopsha SamantaPurdue University | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:45 Other | Stephen FreundWilliams College, Martin HuschenbettJane Street, Kathryn S McKinleyMicrosoft Research, Roopsha SamantaPurdue University | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: ISMM 2017 - Session 4: A Deeper Look at Aula Master Chair(s): Steve BlackburnAustralian National University | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Bin FangEast China Normal University (China) and University Paris Diderot and CNRS (France), Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:30 Talk | Minjia ZhangMicrosoft Research, Swarnendu BiswasUniversity of Texas at Austin, Michael BondOhio State University | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 18:00 Talk | Jan VitekNortheastern University | |||||||||||||||||||||||||||||||||||||||||
17:30 - 18:00: ARRAY 2017 - Closing / Discussion at Vertex WS218 Chair(s): Martin ElsmanDepartment of Computer Science, University of Copenhagen, David PaduaUniversity of Illinois at Urbana-Champaign, Andreas KloecknerUniversity of Illinois at Urbana-Champaign | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 18:00 Day closing | ||||||||||||||||||||||||||||||||||||||||||
Mon 19 Jun
| 09:00 - 09:10 Talk | Mario WolczkoOracle Labs | |||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:30 Talk | Sylvan ClebschImperial College London | |||||||||||||||||||||||||||||||||||||||||
09:00 - 09:05: PLDI Invited Speakers - Welcome at Auditorium, Vertex Building Chair(s): Martin VechevDeepCode and ETH Zurich, Switzerland, Albert CohenINRIA | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:05 Day opening | ||||||||||||||||||||||||||||||||||||||||||
09:05 - 10:00: PLDI Invited Speakers - Joint Keynote – Martin Odersky at Auditorium, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 09:05 - 10:00 Talk | Martin OderskyEPFL, Switzerland Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:05 - 10:00 Talk | Martin OderskyEPFL, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:10 Talk | Avik ChaudhuriFacebook | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 12:00 Talk | Manu SridharanUber | |||||||||||||||||||||||||||||||||||||||||
| 12:10 - 12:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:10 Talk | Jon PrettyPropensive Ltd | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 12:00 Talk | Jonathan WinandyUnivalence | |||||||||||||||||||||||||||||||||||||||||
| 12:10 - 12:50 Talk | Allison McMillanCollective Idea | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:50: Curry On Talks - Monday - 10:30 - 12:50 - Sala d'Actes at Sala d'Actes, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:10 Talk | Silvia Moura PinaZalando SE | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 12:00 Talk | Brandon KasePinterest | |||||||||||||||||||||||||||||||||||||||||
| 12:10 - 12:50 Talk | Brandon DailFormidable Labs | |||||||||||||||||||||||||||||||||||||||||
10:50 - 12:30: PLDI Research Papers - Compiler Optimizations at Aula Master Chair(s): Uday BondhugulaIndian Institute of Science | ||||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:05 Talk | Yufei DingNorth Carolina State University, Lin NingNorth Carolina State University, Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:05 - 12:30 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
10:50 - 12:30: PLDI Research Papers - Learning and Probabilistic at Actes, Civil Engineering Chair(s): Swarat ChaudhuriRice University | ||||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:15 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:05 Talk | Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:05 - 12:30 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: JSTools 2017 - Morning at Vertex WS218 Chair(s): Julian DolbyIBM Thomas J. Watson Research Center | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Anders MøllerAarhus University | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: ICOOOLPS 2017 - Morning II at Vertex WS216 Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Matthias SpringerTokyo Institute of Technology, Andrew KriegerUniversity of California, Los Angeles, Stanislav ManilovUniversity of Edinburgh, Hidehiko MasuharaTokyo Institute of Technology Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Johannes HenningHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Guido ChariUniversity of Buenos Aires, Argentina, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Stefan MarrJohannes Kepler University Linz Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Stephan BrandauerUppsala University | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Alex PotaninVictoria University of Wellington | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Sylvan ClebschImperial College London | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: JSTools 2017 - Afternoon at Vertex WS218 Chair(s): Christian HammerUniversity of Potsdam | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | John VilkUniversity of Massachusetts, Amherst File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Frank TipNortheastern University | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: ICOOOLPS 2017 - Afternoon I at Vertex WS216 Chair(s): Edd BarrettKing's College London | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton BalassiHungarian Academy of Sciences Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:40: PLDI Research Papers - Concurrency Analysis at Aula Master Chair(s): Jeff HuangTexas A&M University | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:25 Talk | Ariel EizenbergUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Toma PigliUniversity of Pennsylvania, William ManskyPrinceton University, Joseph DeviettiUniversity of Pennsylvania | |||||||||||||||||||||||||||||||||||||||||
| 14:25 - 14:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:50 - 15:15 Talk | Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:15 - 15:40 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Talk | Lorenzo AffettiPolitecnico di Milano | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:40 Talk | Guenter HesseHasso Plattner Institute, Christoph MatthiesHasso Plattner Institute, Benjamin ReissausHasso Plattner Institute | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:00 Talk | Benjamin SteerQueen Mary University London, Félix CuadradoQueen Mary University of London, Richard CleggQueen Mary University London | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:20 Talk | Domagoj MarganImperial College London | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:40: PLDI Research Papers - Language Implementation at Actes, Civil Engineering Chair(s): David F. BaconGoogle | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:25 Talk | Andreas HaasGoogle, Andreas RossbergGoogle, Derek SchuffGoogle, Ben L. TitzerGoogle, Dan GohmanMozilla, Luke WagnerMozilla, Alon ZakaiMozilla, JF BastienApple, Michael HolmanMicrosoft Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:25 - 14:50 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:50 - 15:15 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:15 - 15:40 Talk | Piyus KediaIndian Institute of Technology Delhi, Manuel CostaMicrosoft Research, Matthew ParkinsonMicrosoft Research, UK, Kapil VaswaniMicrosoft Research, Dimitrios VytiniotisMicrosoft Research, Cambridge Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 14:50: Curry On Keynotes - Monday - 14:00 - 14:50 - Auditorium at Auditorium, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:50 Talk | Brian GoetzOracle | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:40 Talk | Amal AhmedNortheastern University, USA | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:40 Talk | John HughesChalmers University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:40 Talk | Renzo BorgattiMailonline | |||||||||||||||||||||||||||||||||||||||||
15:00 - 15:40: Curry On Talks - Monday - 15:00 - 15:45 - Sala d'Actes at Sala d'Actes, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:40 Talk | Valentin Kasasself-employed @ Kanaka | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | Christian HammerUniversity of Potsdam | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 17:00 Other | Eric JulUniversity of Oslo, Edd BarrettKing's College London, Steve BlackburnAustralian National University , Ben L. TitzerGoogle | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:30 Talk | Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 18:00 Demonstration | Daniel WelchClemson University, Blair DurkeeClemson University, Mike KabbaniClemson University, Murali SitaramanClemson University Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:20 Talk | Ole MeyerUniversity of Duisburg-Essen, Julius OlleschUniversity of Duisburg-Essen, Stefan GriesUniversity of Duisburg-Essen, Florian WesslingUniversity of Duisburg-Essen, Volker GruhnUniversity Duisburg-Essen | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:40 - 17:00 Talk | Caroline DespratIRIT - University of Toulouse, Benoît Caudesaygues, Hervé LugaIRIT - Université Paul Sabatier Toulouse, Jean-Pierre JesselIRIT - Université Paul Sabatier Toulouse | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:45 Talk | Dimitrios VytiniotisMicrosoft Research, Cambridge | |||||||||||||||||||||||||||||||||||||||||
16:10 - 17:50: PLDI Research Papers - Dynamic Analysis and Testing at Actes, Civil Engineering Chair(s): Michael PradelTU Darmstadt | ||||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:35 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:35 - 17:00 Talk | Buddhika ChamithIndiana University, Luke DalessandroIndiana University, Bo Joel SvenssonChalmers University of Technology, Sweden, Ryan R. NewtonIndiana University Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:25 Talk | Amanieu d'AntrasUniversity of Manchester, Cosmin GorgovanUniversity of Manchester, Jim GarsideUniversity of Manchester, Mikel Lujan Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:25 - 17:50 Talk | Qirun ZhangUniversity of California, Davis, Chengnian SunUniversity of California, Davis, Zhendong SuUniversity of California, Davis Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:50 Talk | Matthew MightUniversity of Utah, USA | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:40 Talk | Nicholas MatsakisMozilla Corporation | |||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:50 Talk | Tiark RompfPurdue University | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:40 Talk | Adil AkhterING | |||||||||||||||||||||||||||||||||||||||||
| 17:50 - 18:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
16:10 - 18:30: Curry On Talks - Monday - 16:10 - 18:30 - Sala d'Actes at Sala d'Actes, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:50 Talk | Jeremy GibbonsDepartment of Computer Science, University of Oxford | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:40 Talk | Martin KleppmannUniversity of Cambridge | |||||||||||||||||||||||||||||||||||||||||
| 17:50 - 18:30 Talk | Luka Jacobowitzcodecentric AG | |||||||||||||||||||||||||||||||||||||||||
| 16:10 - 17:50 Talk | Amal AhmedNortheastern University, USA | |||||||||||||||||||||||||||||||||||||||||
16:10 - 17:50: PLDI Research Papers - Static Analysis at Aula Master Chair(s): Loris D'AntoniUniversity of Wisconsin–Madison | ||||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:35 Talk | Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin-Madison, Ashkan Forouhi BoroujeniUniversity of Wisconsin-Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc. Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:35 - 17:00 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:25 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:25 - 17:50 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:55 - 18:50 Talk | Martin AbadiGoogle | |||||||||||||||||||||||||||||||||||||||||
| 17:55 - 18:50 Talk | Martin AbadiGoogle | |||||||||||||||||||||||||||||||||||||||||
Tue 20 Jun
| 09:30 - 09:50 Talk | Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 09:50 - 10:25 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:25 - 10:30 Talk | Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:30 Talk | Alexander ArtikisUniversity of Pireaus and NCSR "Demokritos", Alessandro MargaraPolitecnico di Milano, Martin UgarteUniversité Libre de Bruxelles, Stijn VansummerenUniversité Libre de Bruxelles, Matthias WeidlichHumboldt-Universtität zu Berlin | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:50 Talk | José ValimPlataformatec | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:15 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:15 Talk | Tijs van der StormCWI & University of Groningen | |||||||||||||||||||||||||||||||||||||||||
| 10:15 - 10:30 Other | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:30 Talk | Martin HirzelIBM Research, Scott SchneiderIBM Research, Kanat TangwongsanMahidol University International College | |||||||||||||||||||||||||||||||||||||||||
09:00 - 09:50: Curry On Keynotes - Tuesday - 9:00 - 9:50 - Auditorium at Auditorium, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:50 Talk | José ValimPlataformatec | |||||||||||||||||||||||||||||||||||||||||
09:50 - 10:25: PLDI Research Papers - 1' pitches of the day and the next day at Auditorium, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 09:50 - 10:25 Other | ||||||||||||||||||||||||||||||||||||||||||
| 10:25 - 11:05 Talk | Daniel KingBroad Institute | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:55 Talk | Jean YangCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 12:05 - 12:45 Talk | Mark AllenAlert Logic | |||||||||||||||||||||||||||||||||||||||||
| 10:25 - 11:05 Talk | Dave ThomasKx Systems | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:55 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 12:05 - 12:45 Talk | Radu PopescuCERN | |||||||||||||||||||||||||||||||||||||||||
10:25 - 12:45: Curry On Talks - Tuesday - 10:25 - 12:45 - Sala d'Actes at Sala d'Actes, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 10:25 - 11:05 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:55 Talk | Luke ZarkoGoogle, Inc | |||||||||||||||||||||||||||||||||||||||||
| 12:05 - 12:45 Talk | Ali ShokerHASLab/INESC TEC & University of Minho | |||||||||||||||||||||||||||||||||||||||||
| 10:50 - 12:30 Talk | Nicholas MatsakisMozilla Corporation | |||||||||||||||||||||||||||||||||||||||||
10:50 - 12:30: PLDI Research Papers - Static Analysis and Security at Aula Master Chair(s): Mayur NaikGeorgia Tech | ||||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:15 Talk | Timos AntonopoulosYale University, Paul GazzilloYale University, Michael HicksUniversity of Maryland, College Park, Eric KoskinenYale University, Tachio TerauchiJAIST, Shiyi WeiUniversity of Maryland, College Park Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:40 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:05 Talk | Peter OhmannUniversity of Wisconsin - Madison, Alexander L. BrooksUniversity of Wisconsin, Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Ben LiblitUniversity of Wisconsin–Madison Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:05 - 12:30 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
10:50 - 12:30: PLDI Research Papers - Synthesis at Actes, Civil Engineering Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign | ||||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:15 Talk | Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Swarat ChaudhuriRice University Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:40 Talk | Ryan BeckettPrinceton University, Ratul MahajanMicrosoft, Todd MillsteinUniversity of California, Los Angeles, Jitendra PadhyeMicrosoft, David WalkerPrinceton University Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:05 Talk | Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:05 - 12:30 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:20 Talk | Youssef El BakounyCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan CrolardCEDRIC - CNAM - Paris, France, Dani MezherCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 12:30 Talk | Derek DreyerMPI-SWS | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:30 Talk | Alexander ArtikisUniversity of Pireaus and NCSR "Demokritos", Alessandro MargaraPolitecnico di Milano, Martin UgarteUniversité Libre de Bruxelles, Stijn VansummerenUniversité Libre de Bruxelles, Matthias WeidlichHumboldt-Universtität zu Berlin | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: DEBS Tutorials - Data Streaming and its Application to Stream Processing at Vertex WS206b | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:00 Talk | Tyler McMullenFastly | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Christopher MeiklejohnUniversité catholique de Louvain File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Tetsuo KaminaRitsumeikan University, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:30 Talk | Martín AbadiGoogle | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:20 Talk | Peter HawkinsGoogle | |||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:30 Talk | Mira MeziniTU Darmstadt | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:20 Talk | Sztefan EdwardsnVisium LLC | |||||||||||||||||||||||||||||||||||||||||
13:50 - 15:30: Curry On Talks - Tuesday - 13:50 - 15:20 - Sala d'Actes at Sala d'Actes, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:30 Talk | Santiago M. Molasource{d} | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:20 Talk | Andy WingoIgalia, S.L. | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Deepthi Devaki Akkoorath, José Brandão, Annette BieniusaTechnischen Universität Kaiserslautern, Carlos BaqueroHASLab/INESC TEC & University of Minho File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Talk | Julia BelyakovaSouthern Federal University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:55 Talk | Paola GianniniUniversita' del Piemonte Orientale, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova | |||||||||||||||||||||||||||||||||||||||||
| 14:55 - 15:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 15:40: PLDI Research Papers - Functional Programming and Correctness at Aula Master Chair(s): Francesco LogozzoFacebook | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:25 Talk | Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, Cambridge Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:25 - 14:50 Talk | Daniel PattersonNortheastern University, Jamie PercontiNortheastern University, Christos DimoulasHarvard University, USA, Amal AhmedNortheastern University, USA Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:50 - 15:15 Talk | Shumo ChuUniversity of Washington, USA, Konstantin WeitzUniversity of Washington, USA, Alvin CheungUniversity of Washington, Dan SuciuUniversity of Washington Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:15 - 15:40 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:30 Talk | Opher EtzionYezreel Valley College | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:40: PLDI Research Papers - Parallelization and Concurrency at Actes, Civil Engineering Chair(s): Milind KulkarniPurdue University | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:25 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:25 - 14:50 Talk | Troels HenriksenDIKU, University of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Fritz HengleinDIKU, Denmark, Cosmin OanceaDIKU, University of Copenhagen Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:50 - 15:15 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:15 - 15:40 Talk | Colin GordonDrexel University, Michael D. ErnstUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Matthew ParkinsonMicrosoft Research, UK Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: DEBS Tutorials - Reflections on Almost Two Decades of Research into Stream Processing at Vertex WS206b | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:30 Talk | Kyumars Sheykh EsmailiNokia Bell Labs | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:40 Talk | Nicholas MatsakisMozilla Corporation | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Yuta SaekiKyushu University, Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Akira FukudaKyushu University | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Nobuhiko OguraTokyo City University, Harumi WatanabeTokai University, Akira FukudaKyushu University | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland, Jorge H. CastroUniversidad de los Andes Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:55 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:55 - 17:30 Talk | Davide AnconaUniversity of Genova, Angelo Ferrando, Luca FranceschiniDIBRIS, University of Genova, Italy, Viviana MascardiDIBRIS, University of Genova, Italy | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 17:00 Talk | Philippe DobbelaereNokia Bell Labs | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 17:30 Talk | Opher EtzionYezreel Valley College | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:40 Talk | Sylvan ClebschImperial College London | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:40 - 18:20 Talk | Julien VerlaguetFacebook | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:40 Talk | Chris FordThoughtWorks (UK) Ltd. | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:30 Talk | Jurriaan HageUtrecht University | |||||||||||||||||||||||||||||||||||||||||
| 17:40 - 18:20 Talk | Michael SteindorferDelft University of Technology, Netherlands | |||||||||||||||||||||||||||||||||||||||||
16:00 - 18:20: Curry On Talks - Tuesday - 16:00 - 18:20 - Sala d'Actes at Sala d'Actes, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:40 Talk | Eelco VisserDelft University of Technology Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:30 Talk | Martin KavalarNextjournal | |||||||||||||||||||||||||||||||||||||||||
| 17:40 - 18:20 Talk | Julia NguyenIndiegogo | |||||||||||||||||||||||||||||||||||||||||
16:10 - 17:00: PLDI Research Papers - Correctness at Actes, Civil Engineering Chair(s): Joseph DeviettiUniversity of Pennsylvania | ||||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:35 Talk | Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, Derek DreyerMPI-SWS Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:35 - 17:00 Talk | Juneyoung LeeSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Chung-Kil HurSeoul National University, Sanjoy DasAzul Systems, David MajnemerGoogle, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:10 - 17:00: PLDI Research Papers - Verified Computation at Aula Master Chair(s): Alvin CheungUniversity of Washington | ||||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:35 Talk | Timothy BourkeINRIA, Lélio BrunENS/Inria, Pierre-Evariste DagandLIP6/CNRS , Xavier LeroyInria, Marc PouzetÉcole normale supérieure, Lionel RiegCollège de France Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:35 - 17:00 Talk | Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Phi-Diep BuiUppsala University, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp RuemmerUppsala University Media Attached | |||||||||||||||||||||||||||||||||||||||||
17:00 - 18:00: PLDI Invited Speakers - Program Chair report and SIGPLAN Town Hall meeting at Aula Master | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 18:00 | ||||||||||||||||||||||||||||||||||||||||||
17:30 - 20:00: PLDI Student Research Competition - Reception and SRC posters (finger food provided) at Lunch area | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 20:00 | ||||||||||||||||||||||||||||||||||||||||||
18:30 - 19:20: Curry On Keynotes - Tuesday - 18:30 - 19:20 - Auditorium at Auditorium, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 18:30 - 19:20 Talk | Roberto IerusalimschyPUC-Rio | |||||||||||||||||||||||||||||||||||||||||
Wed 21 Jun
| 09:00 - 09:55 Talk | Frank WoodUniversity of Oxford Media Attached | |||||||||||||||||||||||||||||||||||||||||
09:15 - 10:15: LCTES 2017 - Keynote 1 at Vertex WS208 Chair(s): Zili ShaoThe Hong Kong Polytechnic University | ||||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:15 Talk | Jingling XueUNSW Australia | |||||||||||||||||||||||||||||||||||||||||
09:30 - 10:30: DEBS Research Papers - Session 1: New Directions at Sala d'Actes, Vertex Building Chair(s): Annika HinzeUniversity of Waikato | ||||||||||||||||||||||||||||||||||||||||||
| 09:30 - 09:50 Talk | Suad SejdovicFZI Research Center for Information Technology, Sven EutingFZI Research Center for Information Technology, Dominik RiemerFZI Research Center for Information Technology, York Sure-VetterKarlsruhe Institute of Technology (KIT) | |||||||||||||||||||||||||||||||||||||||||
| 09:50 - 10:10 Talk | Aleksandar AntonicUniversity of Zagreb, Martina MarjanovicUniversity of Zagreb, Ivana Podnar ZarkoUniversity of Zagreb | |||||||||||||||||||||||||||||||||||||||||
| 10:10 - 10:30 Talk | Piyush YadavLero The Irish Software Research Centre Ireland, Umair UlhassanInsight Centre for Data Analytics NUIG, Souleiman HasanInsight Centre for Data Analytics NUIG, Edward CurryInsight Centre for Data Analytics NUIG | |||||||||||||||||||||||||||||||||||||||||
10:20 - 12:00: PLDI Research Papers - Systems and Performance at Auditorium, Vertex Building Chair(s): Dan GrossmanUniversity of Washington | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:45 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:45 - 11:10 Talk | Thomas WuerthingerOracle Labs, Christian Wimmer, Christian HumerOracle Labs, Switzerland, Andreas WoessOracle Labs, Lukas StadlerOracle Labs, Austria, Chris SeatonOracle Labs, Gilles DuboscqOracle Labs, Doug SimonOracle Labs, Matthias GrimmerOracle Labs, Austria Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:35 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:35 - 12:00 Talk | Konstantinos MamourasUniversity of Pennsylvania, Mukund RaghotamanUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Sanjeev KhannaUniversity of Pennsylvania Media Attached | |||||||||||||||||||||||||||||||||||||||||
10:50 - 12:30: LCTES 2017 - Session 1: Compiler Optimization for Embedded Systems at Vertex WS208 Chair(s): Yi WangShenzhen University | ||||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:15 Talk | April W. WadeUniversity of Kansas, Prasad KulkarniUniversity of Kansas, Michael JantzUniversity of Tennessee | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:40 Talk | Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Zheng WangLancaster University | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:05 Talk | Oliver ReicheFriedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Christof Kobylko, Frank HannigFriedrich-Alexander University Erlangen-Nürnberg (FAU), Jürgen Teich | |||||||||||||||||||||||||||||||||||||||||
| 12:05 - 12:30 Talk | Sheng-Yu Fu, Ding-Yong HongInstitute of Information Science, Academia Sinica, Yu-Ping LiuDepartment of Computer Science and Information Engineering, National Taiwan University, Jan-Jan WuInstitute of Information Science, Academia Sinica, Wei-Chung HsuDept. Computer Science & Information Engineering, National Taiwan University | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: DEBS Research Papers - Session 2: High Performance and Distribution at Sala d'Actes, Vertex Building Chair(s): Guido SalvaneschiTU Darmstadt | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:25 Talk | Ruben MayerUniversity of Stuttgart, Muhammad Adnan TariqUniversity of Stuttgart, Kurt RothermelUniversitaet Stuttgart | |||||||||||||||||||||||||||||||||||||||||
| 11:25 - 11:50 Talk | Kanat TangwongsanMahidol University International College, Martin HirzelIBM Research, Scott SchneiderIBM Research | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 12:10 - 12:30 Talk | Benjamin ErbUlm University, Germany , Dominik MeißnerInstitute of Distributed Systems, Ulm University, Jakob PietronUlm University, Frank KarglUlm University | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:15 Awards | ||||||||||||||||||||||||||||||||||||||||||
| 12:15 - 12:30 Day closing | Albert CohenINRIA | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | Wolfram ShulteFacebook | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:00: ECOOP Invited Speakers - Keynote at Auditorium, Vertex Building Chair(s): Peter MüllerETH Zurich | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | Wolfram SchulteMicrosoft Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:10: ECOOP Research Papers - Analysis and Synthesis at Auditorium, Vertex Building Chair(s): Anders MøllerAarhus University | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Talk | Mikaël MayerEPFL, Switzerland, Jad HamzaLIAFA, Université Paris Diderot, Viktor KuncakEPFL, Switzerland Link to publication Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:20 Talk | Link to publication Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:45 Talk | Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel Link to publication Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:10 Talk | Link to publication Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 17:10 Talk | Andrey BreslavJetBrains Pre-print | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:10: LCTES 2017 - Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems at Vertex WS208 Chair(s): Bernhard ScholzUniversity of Sydney, Australia | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Talk | Weiwen JiangChongqing University, Edwin ShaChongqing University, Qingfeng ZhugeChongqing University, China, Hailiang DongChongqing University, Xianzhang ChenChongqing University | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:45 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:10 Talk | Wenguang Zheng, Hui WuUniversity of New South Wales, Australia, Chuanyao NieThe University of New South Wales | |||||||||||||||||||||||||||||||||||||||||
16:30 - 17:00: DEBS Posters & Demos - Demos and Poster Introduction at Sala d'Actes, Vertex Building | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Demonstration | ||||||||||||||||||||||||||||||||||||||||||
Thu 22 Jun
09:00 - 10:00: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer at Vertex WS219 | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Other | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: ECOOP Invited Speakers - Dahl-Nygaard Senior Prize at Auditorium, Vertex Building Chair(s): Eric JulUniversity of Oslo | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Gilad BrachaGoogle Media Attached | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: DSW 2017 - Intro & industry perspective on crypto at Vertex WS216 Chair(s): Andrew AppelPrinceton | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:15 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:00 Talk | Dominic RizzoGoogle | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Richard HullIBM T. J. Watson Research Center | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: LCTES 2017 - Keynote 2 at Vertex WS208 Chair(s): Vijay NagarajanUniversity of Edinburgh, UK | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Christoph KirschUniversity of Salzburg File Attached | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: PLDI Tutorials - Refinement Types for Program Verification and Synthesis at Vertex WS215 | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Other | Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA Media Attached | |||||||||||||||||||||||||||||||||||||||||