SPLASH 2017 (series) /
SPLASH 2017 Program
Filter
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 Oct
08:30 - 10:00: Scala 2017 - Keynote Sunday at Regency C Chair(s): Philipp HallerKTH Royal Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:00 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Reynold XinDatabricks | |||||||||||||||||||||||||||||||||||||||||
08:30 - 10:00: Meta 2017 - Metaprogramming and Domain Specific Languages at Regency B Chair(s): Sebastian ErdwegTU Delft | ||||||||||||||||||||||||||||||||||||||||||
| 08:50 - 09:00 Day opening | Stefan MarrUniversity of Kent | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:30 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Yossi GilTechnion—Israel Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 10:00 Talk | Steven TanimotoUniversity of Washington, Seattle Link to publication | |||||||||||||||||||||||||||||||||||||||||
08:30 - 10:00: DSLDI 2017 - Session 1 at Regency A Chair(s): Lindsey KuperIntel Labs, Eric WalkingshawOregon State University | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:10 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:00 Talk | Ronald GarciaUniversity of British Columbia, Canada File Attached | |||||||||||||||||||||||||||||||||||||||||
08:30 - 10:00: Parsing@SLE 2017 - Session 1 at Oxford Chair(s): Eric Van WykUniversity of Minnesota, USA | ||||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:00 Day opening | Eric Van WykUniversity of Minnesota, USA, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:30 Talk | Abhinav JangdaUniversity of Massachusetts, Amherst | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:30 Talk | Manuel SerranoInria, France | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:00 Talk | Julia RubinUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:15 Talk | Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI, Marcel TaeumelHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 12:00 Talk | Vadim ZaytsevRaincode Labs, Belgium Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Parsing@SLE 2017 - Session 2 at Oxford Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Jasper DenkersTU Delft, Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael SteindorferDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Abel NietoUniversity of Waterloo DOI Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Adelbert ChangUnaffiliated DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Scala 2017 - Compilation at Regency C Chair(s): Paolo G. GiarrussoUniversity of Tübingen, Germany | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Aleksandar ProkopecOracle Labs, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Thomas WuerthingerOracle Labs DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Meta 2017 - Runtime Reflection at Regency B Chair(s): Cyrus OmarCarnegie Mellon University | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Takuo WatanabeTokyo Institute of Technology File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Phyllipe LimaINPE - National Institute for Space Research, Eduardo GuerraINPE - National Institute for Space Research, Marco NardesINPE - National Institute for Space Research, Andrea MocciUniversita della Svizzera italiana (USI), Gabriele BavotaUniversità della Svizzera italiana (USI), Michele LanzaUniversità della Svizzera italiana (USI) DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:15 Talk | Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 15:00 Talk | Patrick ReinHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI Pre-print | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: DSLDI 2017 - Session 3 at Regency A Chair(s): Eric WalkingshawOregon State University | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | Manasij MukherjeeChennai Mathematical Institute File Attached | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:15 Talk | Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:37 Talk | Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:37 - 15:00 Talk | Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany Link to publication Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Parsing@SLE 2017 - Session 3 at Oxford Chair(s): Eric Van WykUniversity of Minnesota, USA | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Michael SteindorferDelft University of Technology, Netherlands, Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Vadim ZaytsevRaincode Labs, Belgium | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Kenny WehlingVolkswagen AG, David WilleTU Braunschweig, Germany, Christoph SeidlTechnische Universität Braunschweig, Ina SchaeferTechnische Universität Braunschweig | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Meta 2017 - Compiling Reflection at Regency B Chair(s): Stefan MarrUniversity of Kent | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:30 Talk | Nada AminUniversity of Cambridge | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Day closing | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Scala 2017 - Open-source & Student Talks at Regency C Chair(s): Guido SalvaneschiTU Darmstadt | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:15 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:37 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Parsing@SLE 2017 - Practical Guide to Parsing at Oxford Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 17:00 Other | Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:15 Talk | Matthias HauswirthUniversità della Svizzera italiana (USI), Mohammad Reza AzadmaneshUniversity of Lugano Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 17:00 Talk | Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | Shrutarshi BasuCornell University, James GrimmelmannCornell Law School, Nate FosterCornell University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:15 Talk | Shayan NajdUniversity of Edinburgh File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:37 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:00 Day closing | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | Sven SchusterTU Braunschweig, Germany, Christoph SeidlTechnische Universität Braunschweig, Ina SchaeferTechnische Universität Braunschweig | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Eric WalkingshawOregon State University | |||||||||||||||||||||||||||||||||||||||||
Mon 23 Oct
| 08:45 - 09:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Philip A. BernsteinMicrosoft Research File Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:00 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Sumit GulwaniMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 08:45 Day opening | Benoit CombemaleUniversity of Rennes 1, Marjan MernikUniversity of Maribor, Bernhard RumpeRWTH Aachen University, Germany Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:45 - 10:00 Talk | Danny DigSchool of EECS at Oregon State University | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 08:45 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 08:45 - 10:00 Talk | Danny DigSchool of EECS at Oregon State University | |||||||||||||||||||||||||||||||||||||||||
08:30 - 10:00: Scala 2017 - Keynote Monday at Regency C Chair(s): Ondřej LhotákUniversity of Waterloo, Canada | ||||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:00 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Dwayne ReevesFacebook | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 10:00 Talk | Sebastian BurckhardtMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
08:30 - 10:00: SEPS 2017 - Session 1 at Brighton Chair(s): Yukinori SatoTokyo Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Philipp HallerKTH Royal Institute of Technology Media Attached | |||||||||||||||||||||||||||||||||||||||||
08:30 - 10:00: NJR 2017 - Session 1 at Constable Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA) | ||||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:00 Talk | Crista LopesUniversity of California, Irvine, Jens PalsbergUniversity of California, Los Angeles (UCLA) | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:20 Talk | Cristina CifuentesOracle Labs, Karim AliUniversity of Alberta, Yannis SmaragdakisUniversity of Athens File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:20 - 09:40 Talk | Jonathan BellGeorge Mason University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:40 - 10:00 Talk | Jens DietrichMassey University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:00 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Reid HolmesUniversity of British Columbia File Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:00 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:30 Talk | Vadim ZaytsevRaincode Labs, Belgium | |||||||||||||||||||||||||||||||||||||||||
08:30 - 10:00: SPLASH-E - Tools and Techniques at Kensington Chair(s): Joe Gibbs PolitzUniversity of California, San Diego | ||||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:00 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:30 Talk | Giovanni VincentiUniversity of Baltimore, Scott Hilberg, James Braman, Michael SatzingerUniversity of Baltimore, Lily CaoTowson University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Aybuke Gul TurkerUniversity of Wisconsin - Madison, Christine Corbett MoranCalifornia Institute of Technology File Attached | |||||||||||||||||||||||||||||||||||||||||
08:30 - 10:00: WODA 2017 - WODA at Cavendish Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK | ||||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:15 Talk | Emery BergerUniversity of Massachusetts, Amherst | |||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:00 Talk | Michael BondOhio State University | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:45 Talk | Cristina CifuentesOracle Labs, Mark MillerGoogle Inc., Jonathan AldrichCarnegie Mellon University, Yannis SmaragdakisUniversity of Athens | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Guillaume MartresEPFL, Switzerland DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper) DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Elisa BaniassadUniversity of British Columbia File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Preston Tunnell WilsonBrown University, Kathi FislerBrown University, Shriram KrishnamurthiBrown University, USA File Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: SLE - Parsing at Regency B Chair(s): Ralf LämmelUniversity of Koblenz-Landau, Germany | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:55 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:55 - 11:20 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:45 Talk | Kimio KuramitsuYokohama National University, Japan DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:00 Talk | Nicolas LaurentUniversité Catholique de Louvain, Belgium DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Hiroaki InoueGraduate School of Informatics, Kyoto University, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Christophe De Troyer, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Pre-print | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: AGERE 2017 - Session 1: Verification and Language Models at Prince of Wales Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Sebastian BlessingImperial College London, Sylvan ClebschImperial College London, Sophia Drossopoulou | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: NJR 2017 - Session 2 at Constable Chair(s): Crista LopesUniversity of California, Irvine | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:50 Talk | Harry XuUniversity of California, Irvine File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:10 Talk | Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Ben HermannUniversity of Paderborn File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:30 Talk | Yu David LiuState University of New York (SUNY) Binghamton File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 11:50 Talk | Michael BondOhio State University | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:10 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Vadim ZaytsevRaincode Labs, Belgium | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: SEPS 2017 - Session2: Software performance engineering at Brighton Chair(s): Pablo de Oliveira CastroUniversity of Versailles, France | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Sébastien ValatCERN, Andres S. Charif-RubialUniversité de Versailles Saint-Quentin, William JalbyUniversité de Versalles | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Philip C. RothOak Ridge National Laboratory, Hongzhang ShanLawrence Berkeley National Laboratory, David RiegnerThe Ohio State University, Nikolas AntolinThe Ohio State University, Sarat SreepathiOak Ridge National Laboratory, Leonid OlikerLawrence Berkeley National Laboratory, Samuel WilliamsLawrence Berkeley National Laboratory, Shirley MooreOak Ridge National Laboratory, Wolfgang WindlThe Ohio State University | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Jan-Patrick LehrGraduate School of Computational Engineering, TU Darmstadt, Christian IwainskyCompetence Center for High-Performance Computing in Hessian, TU Darmstadt, Christian BischofScientific Computing, TU Darmstadt | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:55 Talk | DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 10:55 - 11:20 Talk | DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:45 Talk | DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:00 Talk | Ludovic CourtèsInria, France DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:50 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:10 Talk | One λ at a time: What do we know about presenting human-friendly output from program analysis tools? Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:30 Talk | Niklas HollmannUniversity of Duisburg-Essen, Germany, Thorben RoßenbeckUniversity of Duisburg-Essen, Germany, Mark KunzeUniversity of Duisburg-Essen, Germany, Liron TürkUniversity of Duisburg-Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 11:50 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: WODA 2017 - WODA at Cavendish Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:15 Talk | Milind KulkarniPurdue University | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:35 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:35 - 11:55 Talk | Nathalie Oostvogels, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen DOI Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: PLATEAU 2017 - Language, DSL, and Feature Design at Regency D Chair(s): Joshua SunshineCarnegie Mellon University | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:50 Talk | Celeste BarnabyWesleyan University, Michael CoblenzCarnegie Mellon University, Tyler Etzel, Eliezer KanalCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:05 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:05 - 14:25 Talk | Lauren MurphyUniversity of Michigan, Tosin AlliyuHaverford College, Mary Beth KeryCarnegie Mellon University, Brad MyersCarnegie Mellon University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:25 - 14:45 Talk | Tommaso Dal SassoUniversità della Svizzera Italiana, Andrei Chişfeenk, Switzerland, Andrea MocciUniversita della Svizzera italiana (USI), Tudor GîrbaCompuGroup Medical Schweiz AG, Michele LanzaUniversità della Svizzera italiana (USI) Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:00 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: AGERE 2017 - Session 2: Runtime Environments and Debugging at Prince of Wales Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Carmen Torres Lopez, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria, Christophe ScholliersUniversiteit Gent, Belgium | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 15:00 Other | Crista LopesUniversity of California, Irvine, Jens PalsbergUniversity of California, Los Angeles (UCLA) | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: CoCoS 2017 - Session 3: Debugging at Dover Chair(s): Yvonne CoadyUniversity of Victoria | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: SEPS 2017 - Session 3: Software concurrency and heterogeneity at Brighton Chair(s): Sébastien ValatCERN | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Janwillem SwalensVrije Universiteit Brussel, Belgium, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Talk | Silvana Morita MeloICMC/USP, Simone do Rocio Senger de SouzaICMC/USP, Jeff CarverUniversity of Alabama, Paulo Sergio Lopes de SouzaICMC/USP | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:40 Talk | Paulo MottaMotta & SantAnna Pesquisa e Desenvolvimento | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:00 Talk | Matthias BookUniversity of Iceland, Morris RiedelJülich Supercomputing Centre, Helmut NeukirchenUniversity of Iceland, Markus GötzJülich Supercomputing Centre | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Zhewei HuNorth Carolina State University, Yang SongUniversity of North Carolina Wilmington, Edward GehringerNorth Carolina State University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Anya Helene BaggeUniversity of Bergen | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:53 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:53 - 14:15 Talk | Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Eelco VisserDelft University of Technology DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:16 - 14:38 Talk | Robert BillVienna University of Technology, Patrick NeubauerUniversity of York, UK, Manuel WimmerTU Wien DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:38 - 15:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Ben Calusimec - DistriNet, KU Leuven, Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Dominique DevrieseKU Leuven, Job NoormanKU Leuven, Frank PiessensKU Leuven | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Sam Van den Vonder, Joeri De KosterVrije Universiteit Brussel, Belgium, Florian MyterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: GPCE 2017 - Variability at Regency A Chair(s): Ina SchaeferTechnische Universität Braunschweig | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:55 Talk | Lukas LinsbauerJohannes Kepler University Linz, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Paul GrünbacherJKU Linz, Austria DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 13:55 - 14:20 Talk | Raúl LapeñaSan Jorge University, Spain, Jaime FontSan Jorge University, Spain, Oscar PastorUniversitat Politècnica de València, Spain, Carlos CetinaSan Jorge University, Spain DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:45 Talk | Wolfram FenskeUniversity of Magdeburg, Germany, Sandro SchulzeUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: WODA 2017 - WODA at Cavendish Chair(s): Ben LivshitsImperial College London, UK, Jeff HuangTexas A&M University | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:15 Talk | Benjamin ZornMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 15:00 Talk | Harry XuUniversity of California, Irvine | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: SLE - DSLs at Regency B Chair(s): Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:20 Talk | Simon SchaussUniversity of Koblenz-Landau, Ralf LämmelUniversity of Koblenz-Landau, Germany, Johannes HärtelUniversity of Koblenz-Landau, Germany, Marcel HeinzUniversity of Koblenz-Landau, Germany, Kevin KleinUniversity of Koblenz-Landau, Lukas HärtelUniversity of Koblenz-Landau, Germany, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:45 Talk | Ankica BarisicNOVA-LINCS - Universidade Nova de Lisboa, Dominique BlouinLTCI Lab, Telecom ParisTech, Université Paris-Saclay, Vasco AmaralNOVA-LINCS, FCT/UNL, Miguel GoulaoNOVA-LINCS, FCT/UNL DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:10 Talk | Marco BrambillaPolitecnico di Milano, Jordi CabotICREA - UOC, Javier Luis Cánovas IzquierdoIN3 - UOC, Andrea MauriPolitecnico di Milano, Italy DOI | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: PLATEAU 2017 - Insights into Programmer Thought Processes and Experience at Regency D Chair(s): Sarah ChasinsUniversity of California, Berkeley | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:50 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:50 - 16:05 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:05 - 16:25 Talk | Pedro BruelUniversity of São Paulo, Paulo MeirellesUniversity of São Paulo and University of Brasília, Raphael CobeSão Paulo State University, Alfredo GoldmanUniversity of São Paulo Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:25 - 16:45 Talk | Sabine JanssensStressLabo, Ulrik SchultzUniversity of Southern Denmark, Vadim ZaytsevRaincode Labs, Belgium Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:05 Talk | Adrian ClarkUniversity of Illinois at Urbana-Champaign, Jonathan WellsUniversity of Illinois at Urbana-Champaign, Angello Astorga, Andrew XieIndependent, Jalen Coleman-LandsUniversity of Illinois at Urbana-Champaign, Tao Xie Pre-print | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: SEPS 2017 - Session 4 at Brighton Chair(s): Yukinori SatoTokyo Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 17:00 Talk | Yukinori SatoTokyo Institute of Technology, Pablo de Oliveira CastroUniversity of Versailles, France, Philipp HallerKTH Royal Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: CoCoS 2017 - Session 4: Wrap-Up at Dover Chair(s): Christoph BockischPhilipps-Universität Marburg | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Other | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Talk | DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:20 Talk | Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:45 Talk | David PearceVictoria University of Wellington, New Zealand DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Scala 2017 - Unconference at Regency C Chair(s): Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: WODA 2017 - WODA at Cavendish Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | Jeff HuangTexas A&M University | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Sam GuyerTufts University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Social Event | Gail MurphyUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
17:30 - 19:30: Posters - Poster Reception Monday at Poster Area Chair(s): Jonathan BellGeorge Mason University, Patrick LamUniversity of Waterloo | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Alastair DonaldsonImperial College London | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Adilla SusungiMINES ParisTech, France | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Suman RoychoudhuryTata Consultancy Services Research | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Andrew SorensenAustralian National University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Darya MelicherCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Mark SantolucitoYale University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Davide AnconaUniversity of Genova | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Travis CarlsonUniversity of Minnesota, USA | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Vadim ZaytsevRaincode Labs, Belgium | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Fredrik KjolstadMIT CSAIL | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Jesper OqvistLund University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Petr MajReactorLabs | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Rui GeUniversity of British Columbia, Canada | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Ruzica PiskacYale University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Monica FigueraUniversidad Simón Bolívar | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Germán CeballosUppsala University, Erik HagerstenUppsala University, David Black-SchafferUppsala University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | David GroveIBM Research | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Hakjoo OhKorea University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Christoph KirschUniversity of Salzburg | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Eugene SyrianiUniversity of Montreal | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Karl CronburgTufts University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Lionel ParreauxEPFL | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Julie L. NewcombUniversity of California at Berkeley | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Jiasi ShenMassachusetts Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Hakjoo OhKorea University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Christoffer Quist AdamsenAarhus University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Derrick LinIndependent Researcher, James KoppelMIT, Angela ChenGoogle, Inc, Armando Solar-LezamaMIT CSAIL | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Kiwan MaengCarnegie Mellon University, USA | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Julien Gascon-Samson, Rafiuzzaman MohammadUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Samantha Syeda KhairunnesaIowa State University | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 19:30 Talk | Vadim ZaytsevRaincode Labs, Belgium | |||||||||||||||||||||||||||||||||||||||||
Tue 24 Oct
08:30 - 09:30: VMIL 2017 - DLS 2017 Invited Talk at Regency C Chair(s): Davide AnconaUniversity of Genova | ||||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:30 Talk | Filip PizloApple | |||||||||||||||||||||||||||||||||||||||||
08:30 - 10:00: SAVR 2017 - Keynote (Venture Labs, 12th Floor, 555 Hastings) at Venture Labs Chair(s): Yvonne CoadyUniversity of Victoria | ||||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:00 Social Event | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 08:30 - 08:45 Day opening | Marjan MernikUniversity of Maribor, Bernhard RumpeRWTH Aachen University, Germany, Laurence TrattKing's College London, Tanja MayerhoferTU Wien File Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:45 - 10:00 Talk | Peter D. MossesSwansea University DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 08:45 Awards | ||||||||||||||||||||||||||||||||||||||||||
| 08:45 - 10:00 Talk | Peter D. MossesSwansea University | |||||||||||||||||||||||||||||||||||||||||
| 08:00 - 08:10 Day opening | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:10 - 08:50 Talk | Kathryn S McKinleyGoogle File Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:50 - 09:30 Talk | Yannis SmaragdakisUniversity of Athens File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:10 Talk | Benjamin ZornMicrosoft Research Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 08:35 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 08:35 - 08:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 08:50 - 09:20 Talk | Jan VitekNortheastern University, USA | |||||||||||||||||||||||||||||||||||||||||
| 09:20 - 10:00 Talk | Germán CeballosUppsala University | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:30 Talk | Filip PizloApple | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Stefan MarrUniversity of Kent, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:20 Talk | Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan | |||||||||||||||||||||||||||||||||||||||||
| 09:20 - 09:40 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:40 - 10:00 Talk | Sean McDirmidIndependent Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: SAVR 2017 - Building and Breaking (Venture Labs, 12th Floor, 555 Hastings) at Venture Labs Chair(s): Derek JacobyQvirt.com | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:55 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:55 - 11:20 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:45 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:00 Talk | Suman RoychoudhuryTata Consultancy Services Research, Sagar SunkleTata Consultancy Services Research, Deepali KholkarTata Consultancy Services Research, Vinay KulkarniTata Consultancy Services Research DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:55 Talk | DOI Authorizer link Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:55 - 11:20 Talk | DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:45 Talk | Arsène Pérard-GayotSaarland University, Germany, Martin WeierBonn-Rhein-Sieg University of Applied Sciences, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, Roland LeißaSaarland University, Germany, Sebastian HackSaarland University, Germany DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:00 Talk | Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany, Immo HuismannTU Dresden, Germany, Albert CohenInria, France / ENS, France, Claude TadonkiMINES ParisTech, France, Jörg StillerTU Dresden, Germany, Jochen FröhlichTU Dresden, Germany DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Anton BurtsevUniversity of California, Irvine, David JohnsonUniversity of Utah, Josh KunzUniversity of Utah, Eric EideUniversity of Utah, Jacobus Van der MerweUniversity of Utah | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Corbin SimpsonMatador Cloud LLC | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Darya MelicherCarnegie Mellon University, Yangqingwei ShiPeking University, Valerie ZhaoWellesley College, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:10 Talk | Y. Annie LiuStony Brook University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 12:10 Other | Michael HiltonCarnegie Mellon University, USA, Kathryn StoleeNorth Carolina State University, David DaraisUniversity of Maryland, USA, Annie T.T. YingEquitySim | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:10 Talk | Oliver KraussUniversity of Applied Sciences Upper Austria | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:50 Talk | David LeopoldsederJohannes Kepler University Linz | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Talk | Cyrus OmarCarnegie Mellon University, Ian VoyseyCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Talk | Mike JohnstonMoatboat Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:40 Day opening | Adam WelcHuawei America Research Center | |||||||||||||||||||||||||||||||||||||||||
| 10:40 - 11:20 Talk | Christos KotselidisThe University of Manchester, Andy NisbetThe University of Manchester, Foivos S. Zakkak, Nikos Foutris | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: GPCE 2017 - Analysis & Testing at Regency A Chair(s): Jaakko JärviUniversity of Bergen | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:55 Talk | Jafar M. Al-KofahiIowa State University, USA, Suresh KothariIowa State University, USA, Christian KästnerCarnegie Mellon University, USA DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 13:55 - 14:20 Talk | Leonardo FernandesFederal University of Pernambuco, Brazil, Márcio RibeiroFederal University of Alagoas, Brazil, Luiz CarvalhoFederal University of Alagoas, Brazil, Rohit GheyiFederal University of Campina Grande, Brazil, Melina MongioviFederal University of Campina Grande, Brazil, Andre Santos, Ana CavalcantiUniversity of York, UK, Fabiano FerrariFederal University of São Carlos, Brazil, José Carlos MaldonadoUniversity of São Paulo, Brazil DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:45 Talk | Tomoki NakamaruUniversity of Tokyo, Japan, Kazuhiro IchikawaUniversity of Tokyo, Japan, Tetsuro YamazakiUniversity of Tokyo, Japan, Shigeru ChibaUniversity of Tokyo, Japan DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:00 Talk | Vadim ZaytsevRaincode Labs, Belgium DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:20 Other | Sean McDirmidIndependent | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:40 Talk | Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:00 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:53 Talk | Yentl Van TendelooUniversity of Antwerp, Simon Van MierloUniversity of Antwerp, Bart MeyersUniversity of Antwerp, Belgium, Hans VangheluweUniversity of Antwerp and McGill University DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:53 - 14:16 Talk | Artur BoronatUniversity of Leicester DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:16 - 14:38 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:38 - 15:00 Talk | Ed SeidewitznMeta LLC DOI | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: SAVR 2017 - Sensing and Sharing (Venture Labs, 12th Floor, 555 Hastings) at Venture Labs Chair(s): Craig AnslowVictoria University of Wellington | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:10 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Aaron CraigECS, VUW, Alex PotaninVictoria University of Wellington, Lindsay GrovesVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:10 Talk | Jan VitekNortheastern University, USA File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:10 - 14:50 Talk | Ana MilanovaRensselaer Polytechnic Institute File Attached | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | David UngarApple, Inc, | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:30 Talk | Jeremy G. SiekIndiana University, USA File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:30 Talk | Mario WolczkoOracle Labs | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: SAVR 2017 - Bits versus Atoms! (Venture Labs, 12th Floor, 555 Hastings) at Venture Labs Chair(s): Florian MyterVrije Universiteit Brussel, Belgium | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:50 - 16:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 16:58 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:58 - 16:59 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:59 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Talk | DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:20 Talk | Ricardo Giuliani MartiniUniversity of Minho, Portugal, Pedro Rangel HenriquesUniversity of Minho, Portugal DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:45 Talk | Mark GrebeUniversity of Kansas, USA, David YoungUniversity of Kansas, USA, Andy GillUniversity of Kansas, USA DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: SLE - GPL/DSL implementation at Regency B Chair(s): Eric Van WykUniversity of Minnesota, USA | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Talk | DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:20 Talk | Francesco Di GiacomoUniversità Ca' Foscari, Mohamed AbbadiHogeschool Rotterdam, Agostino CortesiUniversità Ca' Foscari Venezia, Pieter SpronckTilburg University, Giuseppe MaggioreHogeschool Rotterdam DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:45 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:10 Talk | Vadim ZaytsevRaincode Labs, Belgium | |||||||||||||||||||||||||||||||||||||||||
| 17:10 - 17:20 Talk | Rui PereiraHASLab/INESC TEC & Universidade do Minho, Marco CoutoHASLab/INESC TEC & Universidade do Minho, Francisco RibeiroHASLab/INESC TEC & Universidade do Minho, Rui RuaHASLab/INESC TEC & Universidade do Minho, Jácome CunhaNOVA-LINCS - Universidade Nova de Lisboa, João Paulo FernandesRelease/LISP, CISUC, João SaraivaUniversity of Minho, Portugal DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:20 - 16:00 Talk | Mayur NaikUniversity of Pennsylvania File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 17:00 Other | Kathryn S McKinleyGoogle, Julia RubinUniversity of British Columbia, Benjamin ZornMicrosoft Research, Mayur NaikUniversity of Pennsylvania | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:15 Day closing | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:15 - 18:30 Social Event | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:10 Talk | Guilherme CavalcantiFederal University of Pernambuco, Brazil | |||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:50 Talk | Luis Fernando González AlvaránPolitécnico Colombiano Jaime Isaza Cadavid | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:00 Day closing | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET, Beta ZilianiFAMAF, UNC and CONICET, Bruno Silvestre, Daniel Fridlender, Fabio MascarenhasUFRJ | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 17:00 Other | Tony HoskingAustralian National University / Data61, Mario WolczkoOracle Labs, David GroveIBM Research | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:50 Talk | Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:50 - 16:10 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:10 - 17:00 Other | Sean McDirmidIndependent | |||||||||||||||||||||||||||||||||||||||||
Wed 25 Oct
| 08:30 - 08:40 Day opening | Gail MurphyUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
| 08:40 - 08:50 Awards | ||||||||||||||||||||||||||||||||||||||||||
| 08:50 - 10:00 Talk | Chris GrangerKodowa | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Onward! Papers - Language Design at Regency B Chair(s): Zachary TatlockUniversity of Washington | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Preston Tunnell WilsonBrown University, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Roger ChamberlainWashington University in St. Louis | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Friedrich SteimannFernuniversität | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: | ||||||||||||||||||||||||||||||||||||||||||