PLoP 2015
Fri 23 - Mon 26 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
VenueSheraton Station Square Hotel
Room nameGrand Station 2
Floor1
Additional information

Program

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

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: Language Development and EvaluationSLE at Grand Station 2
Chair(s): Davide Di RuscioUniversity of L'Aquila
10:30 - 10:40
Day opening
SLE
Davide Di RuscioUniversity of L'Aquila, Markus Völteritemis, Germany
10:40 - 11:10
Talk
SLE
Salome MaroChalmers University of Technology, Sweden, Jan-Philipp SteghöferChalmers University of Technology, Sweden, Anthony AnjorinChalmers University of Technology, Sweden, Matthias TichyUniversity of Ulm, Germany, Lars GelinEricsson, Sweden
DOI
11:10 - 11:40
Talk
SLE
Eric UmuhozaPolitecnico di Milano, Italy, Marco BrambillaPolitecnico di Milano, Italy, Davide RipamontiPolitecnico di Milano, Italy, Jordi CabotICREA, Spain
DOI Media Attached
11:40 - 12:00
Talk
SLE
Thomas DegueuleINRIA, France, Benoit CombemaleINRIA, France, Arnaud BlouinINSA Rennes, France, Olivier BaraisUniversity of Rennes 1, France, Jean-Marc JézéquelUniversity of Rennes 1, France
DOI
13:30 - 15:00: Model and Program TransformationSLE at Grand Station 2
Chair(s): Tijs van der StormCWI
13:30 - 14:00
Talk
SLE
DOI
14:00 - 14:30
Talk
SLE
Romina EramoUniversity of L'Aquila, Italy, Alfonso PierantonioUniversity of L'Aquila, Italy, Gianni RosaUniversity of L'Aquila, Italy
DOI
14:30 - 15:00
Talk
SLE
Nico RitschelTU Darmstadt, Germany, Sebastian ErdwegTU Darmstadt, Germany
Link to publication DOI
15:30 - 17:00: Tools ISLE at Grand Station 2
Chair(s): David PearceVictoria University of Wellington
15:30 - 16:00
Talk
SLE
Patrick NeubauerVienna University of Technology, Austria, Alexander BergmayrVienna University of Technology, Austria, Tanja MayerhoferVienna University of Technology, Austria, Javier TroyaVienna University of Technology, Austria, Manuel WimmerVienna University of Technology, Austria
DOI
16:00 - 16:30
Talk
SLE
Loïc GammaitoniUniversity of Luxembourg, Luxembourg, Pierre KelsenUniversity of Luxembourg, Luxembourg, Christian GlodtUniversity of Luxembourg, Luxembourg
DOI
16:30 - 17:00
Talk
SLE
Anya Helene BaggeUniversity of Bergen, Norway
DOI

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: Formal Modeling and Language ValidationSLE at Grand Station 2
Chair(s): Marco BrambillaPolitecnico di Milano, Italy
10:30 - 11:00
Talk
SLE
Christoff BürgerLund University, Sweden
DOI
11:00 - 11:30
Talk
SLE
Jesús J. López-FernándezAutonomous University of Madrid, Spain, Esther GuerraAutonomous University of Madrid, Spain, Juan de LaraAutonomous University of Madrid, Spain
DOI
11:30 - 12:00
Talk
SLE
Thomas KühnTU Dresden, Germany, Stephan BöhmeTU Dresden, Germany, Sebastian GötzTU Dresden, Germany, Uwe AßmannTU Dresden, Germany
DOI
13:30 - 15:00: Model Execution and VerificationSLE at Grand Station 2
Chair(s): Davide Di RuscioUniversity of L'Aquila
13:30 - 14:00
Talk
SLE
Florent LatombeUniversity of Toulouse, France, Xavier CrégutUniversity of Toulouse, France, Benoit CombemaleINRIA, France, Julien DeAntoni, Marc PantelUniversity of Toulouse, France
DOI Pre-print Media Attached File Attached
14:00 - 14:30
Talk
SLE
Erwan BousseIRISA, France, Jonathan CorleyUniversity of Alabama, USA, Benoit CombemaleINRIA, France, Jeff GrayUniversity of Alabama, USA, Benoit BaudryINRIA, France
Link to publication DOI File Attached
14:30 - 15:00
Talk
SLE
Lina OchoaUniversity of Los Andes, Colombia, Oscar González-RojasUniversity of Los Andes, Colombia, Thomas ThümTU Braunschweig, Germany
DOI
15:30 - 17:00: Tools II and ClosingSLE at Grand Station 2
Chair(s): Anya Helene BaggeUniversity of Bergen, Norway
15:30 - 16:00
Talk
SLE
David PearceVictoria University of Wellington
DOI
16:00 - 16:30
Talk
SLE
Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium
DOI Pre-print
16:30 - 17:00
Day closing
SLE

Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: 2. Domain Specific LanguagesSPLASH OOPSLA at Grand Station 2
Chair(s): Eelco VisserDelft University of Technology
10:30 - 10:52
Talk
SPLASH OOPSLA
Thibaud HottelierGraphistry, Inc, Rastislav BodikUniversity of Washington, USA
Link to publication Media Attached
10:52 - 11:15
Talk
SPLASH OOPSLA
Sebastian ErdwegTU Darmstadt, Germany, Moritz LichterTU Darmstadt, Germany, Manuel WeielTU Darmstadt, Germany
Link to publication Media Attached
11:15 - 11:37
Talk
SPLASH OOPSLA
Alex PolozovUniversity of Washington, USA, Sumit GulwaniMicrosoft Research, USA
Link to publication DOI Media Attached
11:37 - 12:00
Talk
SPLASH OOPSLA
Haoyuan ZhangUniversity of Hong Kong, China, Zewei ChuUniversity of Hong Kong, China, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tijs van der StormCWI
Link to publication Media Attached
13:30 - 15:00: Session the FirstOnward! Papers at Grand Station 2
Chair(s): Stéphane DucasseINRIA, France
13:30 - 13:52
Talk
Onward! Papers
Steven ArztTU Darmstadt, Sarah NadiTechnische Universität Darmstadt, Karim AliTU Darmstadt, Sebastian ErdwegTU Darmstadt, Germany, Eric BoddenFraunhofer SIT and TU Darmstadt, Mira MeziniTU Darmstadt
Link to publication DOI Media Attached
13:52 - 14:15
Talk
Onward! Papers
Jürgen CitoUniversity of Zurich, Philipp LeitnerUniversity of Zurich, Harald GallUniversity of Zurich, Aryan DadashiSAP, Anne KellerSAP, Andreas RothSAP
Pre-print Media Attached
14:15 - 14:37
Talk
Onward! Papers
Hesam SamimiSAP Labs, Alessandro WarthSAP Labs, Mahdi EslamimehrSAP Labs, Alan BorningUniversity of Washington, USA
14:37 - 15:00
Talk
Onward! Papers
Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbatudorgirba.com, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland, Aliaksei SyrelUniversity of Bern, Switzerland
DOI Pre-print Media Attached
15:30 - 17:00: Session 1Onward! Essays at Grand Station 2
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research
15:30 - 16:15
Talk
Onward! Essays
Tomas PetricekUniversity of Cambridge, UK
DOI Media Attached
16:15 - 17:00
Talk
Onward! Essays
David M. WestTranscendence, USA
DOI
19:30 - 21:30: Richard's Pretty Good TalksSPLASH RPG at Grand Station 2
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research
19:30 - 20:30
Meeting
SPLASH RPG
Crista LopesUniversity of California, Irvine, Annette VeeUniversity of Pittsburgh
20:30 - 21:30
Meeting
SPLASH RPG

Thu 29 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: 6. Compilation and ToolsSPLASH OOPSLA at Grand Station 2
Chair(s): Gorel HedinLund University
10:30 - 10:52
Talk
SPLASH OOPSLA
John BenderUniversity of California at Los Angeles, USA, Mohsen LesaniMIT, Jens PalsbergUniversity of California at Los Angeles, USA
Link to publication
10:52 - 11:15
Talk
SPLASH OOPSLA
Vu LeUniversity of California at Davis, USA, Chengnian SunUniversity of California at Davis, USA, Zhendong SuUniversity of California at Davis, USA
DOI
11:15 - 11:37
Talk
SPLASH OOPSLA
Haichuan WangUniversity of Illinois at Urbana-Champaign, David PaduaUniversity of Illinois at Urbana-Champaign, Peng WuHuawei America Lab
DOI
11:37 - 12:00
Talk
SPLASH OOPSLA
Tihomir GveroEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
Link to publication

Fri 30 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: 10. Empirical Studies & ApproximationSPLASH OOPSLA at Grand Station 2
Chair(s): John FieldGoogle
10:30 - 10:52
Talk
SPLASH OOPSLA
Markus Völteritemis, Germany, Arie van DeursenDelft University of Technology, Netherlands, Bernd Kolbitemis AG, Stephan Eberleitemis AG
DOI Pre-print Media Attached
10:52 - 11:15
Talk
SPLASH OOPSLA
Crista LopesUniversity of California, Irvine, Joel OssherUniversity of California, Irvine
DOI Pre-print Media Attached File Attached
11:15 - 11:37
Talk
SPLASH OOPSLA
Luis MastrangeloUniversity of Lugano, Switzerland, Luca PonzanelliUniversity of Lugano, Switzerland, Andrea MocciUniversity of Lugano, Switzerland, Michele LanzaUniversity of Lugano, Switzerland, Matthias HauswirthUniversity of Lugano, Switzerland, Nate NystromUniversity of Lugano, Switzerland
DOI Media Attached
11:37 - 12:00
Talk
SPLASH OOPSLA
Sara AchourMassachusetts Institute of Technology, USA, Martin RinardMassachusetts Institute of Technology, USA
DOI Media Attached
13:30 - 15:00: 12. PerformanceSPLASH OOPSLA at Grand Station 2
Chair(s): Tiark RompfPurdue & Oracle Labs
13:30 - 13:52
Talk
SPLASH OOPSLA
Vlad UrecheEPFL, Switzerland, Aggelos BiboudisUniversity of Athens, Yannis SmaragdakisUniversity of Athens, Martin OderskyEPFL, Switzerland
Pre-print Media Attached
13:52 - 14:15
Talk
SPLASH OOPSLA
Stefan MarrINRIA, France, Stéphane DucasseINRIA, France
Link to publication Media Attached
14:15 - 14:37
Talk
SPLASH OOPSLA
Ganesha UpadhyayaIowa State University, USA, Hridesh RajanIowa State University, USA
DOI Pre-print Media Attached
14:37 - 15:00
Talk
SPLASH OOPSLA
Venkatesh SrinivasanUniversity of Wisconsin-Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
DOI Media Attached
15:30 - 17:00: Session the FourthOnward! Papers at Grand Station 2
Chair(s): Gail MurphyUniversity of British Columbia
15:30 - 15:52
Talk
Onward! Papers
Toni MattisHasso Plattner Institute, Johannes HenningHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Malte AppeltauerSAP, Robert HirschfeldHPI
DOI Media Attached
15:52 - 16:15
Talk
Onward! Papers
Guillermo PolitoInria, Stéphane DucasseINRIA, France, Noury BouraqadiMines Douai, Luc FabresseMines Douai, Max MattoneInria - Mines Douai
Media Attached
16:15 - 16:37
Talk
Onward! Papers
Stephen KellUniversity of Cambridge
Link to publication Pre-print Media Attached
16:37 - 17:00
Talk
Onward! Papers
Guido ChariDept. of Computer Science FCEyN, University of Buenos Aires, Diego GarbervetskyDepartamento de Computación, FCEyN, UBA, Stefan MarrINRIA, France, Stéphane DucasseINRIA, France
Pre-print Media Attached

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 2

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 29 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 30 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change