PLoP 2015
Fri 23 - Mon 26 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
VenueSheraton Station Square Hotel
Room nameGrand Station 1
Floor1
Room 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
Session 2GPCE at Grand Station 1
Chair(s): Tiark RompfPurdue & Oracle Labs
10:30
10m
Day opening
Opening Remarks
GPCE
10:40
30m
Talk
Shallow Embedding of DSLs via Online Partial Evaluation
GPCE
Roland Leißa, Klaas BoescheSaarland University, Sebastian Hack, Richard MembarthGerman Research Center for Artificial Intelligence, Philipp SlusallekGerman Research Center for Artificial Intelligence
11:10
30m
Talk
Almost First-Class Language Embedding: Taming Staged Embedded DSLs
GPCE
Maximilian Scherr, Shigeru ChibaUniversity of Tokyo
11:40
20m
Talk
Generating Safe Boundary APIs between Typed EDSLs and their Environments
GPCE
Bob ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven
13:30 - 15:00
Session 3GPCE at Grand Station 1
Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark
13:30
30m
Talk
An Empirical Study on Configuration-Related Type Issues
GPCE
Flávio MedeirosFederal University of Campina Grande, Iran RodriguesFederal University of Alagoas, Márcio RibeiroFederal University of Alagoas (UFAL), Leopoldo TeixeiraFederal University of Pernambuco, Rohit GheyiUFCG, Brazil
14:00
30m
Talk
Analysing the Kconfig Semantics and its Analysis Tools
GPCE
Sascha El-SharkawyUniversity of Hildesheim, Adam KrafczykUniversity of Hildesheim, Klaus SchmidStiftung Universistat Hildesheim
14:30
30m
Talk
Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation
GPCE
Zakarea Al SharaLIRMM, CNRS and University of Montpellier, Abdelhak SeriaiLIRMM, CNRS and University of Montpellier, Chouki TibermacineLIRMM, CNRS and University of Montpellier, Hinde BouzianeLIRMM, CNRS and University of Montpellier, Christophe DonyLIRMM, CNRS and University of Montpellier, Anas ShatnawiLIRMM, CNRS and University of Montpellier
15:30 - 17:30
Session 4GPCE at Grand Station 1
Chair(s): Tijs van der StormCWI
15:30
30m
Talk
Safer SDN programming through Arbiter
GPCE
Michael LopezTexas A&M University, C. Jasson CaseyTexas A&M University and Flowgrammable.org, Gabriel Dos ReisTexas A&M University and Microsoft
16:00
30m
Talk
Contract-Based General-Purpose GPU Programming
GPCE
Alexey KolesnichenkoETH Zurich, Chris PoskittETH Zurich, Switzerland, Sebastian NanzETH Zurich, Bertrand MeyerETH Zurich, Innopolis University and Eiffel Software
Link to publication DOI Pre-print Media Attached File Attached
16:30
30m
Talk
Inverse macro in Scala
GPCE
Hiroshi YamaguchiThe University of Tokyo, Shigeru ChibaUniversity of Tokyo
17:00
20m
Talk
Towards Tool Support for Spreadsheet-based Domain-Specific Languages
GPCE
Sorin AdamConpleks Innovation, Ulrik Pagh SchultzUniversity of Southern Denmark

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

13:30 - 15:00
Session 7GPCE at Grand Station 1
Chair(s): Christian KaestnerCarnegie Mellon University
13:30
30m
Talk
Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems
GPCE
Gabriel FoustTexas A & M University, Jaakko JärviTexas A&M University, Sean ParentAdobe Systems, Inc.
14:00
30m
Talk
POP-PL: A Patient-Oriented Prescription Programming Language
GPCE
Spencer P. FlorenceNorthwestern University, Burke FetscherNorthwestern University, Matthew FlattUniversity of Utah, William H TempsNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Tina KiguradzeNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Dennis P. WestNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Charlotte NiznikNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Paul R. YarnoldOptimal Data Analysis LLC, Robby FindlerNorthwestern University, Steven M. BelknapNorthwestern University Feinberg School of Medicine, Departmentof Dermatology
14:30
30m
Talk
Lightweight, Generative Variant Exploration for High-Performance Graphics Applications
GPCE
Kai SelgradFriedrich-Alexander-Universität Erlangen-Nürnberg, Alexander LierFriedrich-Alexander-Universität Erlangen-Nürnberg, Franz KöferlFriedrich-Alexander-Universität Erlangen-Nürnberg, Marc StammingerFriedrich-Alexander-Universität Erlangen-Nürnberg, Daniel LohmannFriedrich-Alexander University of Erlangen-Nürnberg
15:30 - 17:30
Session 8GPCE at Grand Station 1
Chair(s): Jaakko JärviTexas A&M University
15:30
30m
Talk
Modular Interpreters for the Masses: Implicit Context Propagation Using Object Algebras
GPCE
Pablo InostrozaCentrum Wiskunde & Informatica, Tijs van der StormCWI
16:00
30m
Talk
Addressing Metamodel Revisions in Model-based Software Product Lines
GPCE
Jaime FontSan Jorge University, Lorena ArcegaSan Jorge University, Oystein HaugenØstfold University College, Carlos CetinaSan Jorge University
16:30
30m
Talk
Generative Software Product Line Development using Variability-Aware Design Patterns
GPCE
Christoph SeidlTechnische Universität Braunschweig, Sven SchusterTechnische Universität Braunschweig, Ina Schaefer
17:00
20m
Talk
Model Querying with Query Models
GPCE
Carlos NogueraVrije Universiteit Brussel, Viviane JonckersVrije Universiteit Brussel
17:20
10m
Day closing
GPCE'15 Closing and GPCE'16 Announcement
GPCE

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

10:30 - 12:00
1. Model CheckingSPLASH OOPSLA at Grand Station 1
Chair(s): Julian DolbyIBM Research
10:30
22m
Talk
Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting ApproachOOPSLA Artifact
SPLASH OOPSLA
Anthony Widjaja LinYale-NUS College, Singapore, Matthew HagueRoyal Holloway University of London, UK, C.-H. Luke OngUniversity of Oxford, UK
Link to publication
10:52
22m
Talk
SATCheck: SAT-Directed Stateless Model Checking for SC and TSOOOPSLA Artifact
SPLASH OOPSLA
Brian DemskyUniversity of California at Irvine, USA, Patrick LamUniversity of Waterloo, Canada
Link to publication
11:15
22m
Talk
Programming with Enumerable Sets of Structures
SPLASH OOPSLA
Ivan KurajMassachusetts Institute of Technology, USA, Viktor KunčakEPFL, Switzerland, Daniel JacksonMassachusetts Institute of Technology, USA
DOI
11:37
22m
Talk
Stateless Model Checking of Event-Driven Applications
SPLASH OOPSLA
Casper Svenning JensenAarhus University, Denmark, Anders MøllerAarhus University, Veselin RaychevETH Zurich, Switzerland, Dimitar DimitrovETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
DOI
13:30 - 15:00
3. VerificationSPLASH OOPSLA at Grand Station 1
Chair(s): Guangtai LiangIBM Research - China
13:30
22m
Talk
Conditionally Correct Superoptimization
SPLASH OOPSLA
Rahul SharmaStanford University, Eric SchkufzaStanford University, Berkeley ChurchillStanford University, Alex AikenStanford University
DOI
13:52
22m
Talk
Selective Control-Flow Abstraction via JumpingOOPSLA Artifact
SPLASH OOPSLA
Sam BlackshearUniversity of Colorado at Boulder, USA, Bor-Yuh Evan ChangUniversity of Colorado at Boulder, USA, Manu SridharanSamsung Research America
Link to publication
14:15
22m
Talk
Automating Grammar ComparisonOOPSLA Artifact
SPLASH OOPSLA
Ravichandhran MadhavanEPFL, Switzerland, Mikaël MayerEPFL, Switzerland, Sumit GulwaniMicrosoft Research, USA, Viktor KunčakEPFL, Switzerland
Link to publication
14:37
22m
Talk
Reasoning about the POSIX File System: Local Update and Global Pathnames
SPLASH OOPSLA
Gian NtzikImperial College London, UK, Philippa GardnerImperial College London, UK
DOI
15:30 - 17:00
4. ConcurrencySPLASH OOPSLA at Grand Station 1
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
15:30
22m
Talk
AutoMO: Automatic Inference of Memory Order Parameters for C/C++11OOPSLA Artifact
SPLASH OOPSLA
Peizhao OuUniversity of California at Irvine, USA, Brian DemskyUniversity of California at Irvine, USA
DOI
15:52
22m
Talk
Valor: Efficient, Software-Only Region Conflict ExceptionsOOPSLA Artifact
SPLASH OOPSLA
Swarnendu BiswasOhio State University, USA, Minjia ZhangOhio State University, USA, Michael D. BondOhio State University, USA, Brandon LuciaCarnegie Mellon University, USA
DOI Pre-print
16:15
22m
Talk
Automatic Memory Reclamation for Lock-Free Data Structures
SPLASH OOPSLA
Nachshon CohenTechnion, Israel, Erez PetrankTechnion, Israel
DOI
16:37
22m
Talk
Protocol-Based Verification of Message-Passing Parallel ProgramsOOPSLA Artifact
SPLASH OOPSLA
Hugo LópezTechnical University of Denmark, Eduardo MarquesUniversity of Lisbon, Portugal, Francisco MartinsUniversity of Lisbon, Portugal, Nicholas NgImperial College London, UK, César SantosUniversity of Lisbon, Portugal, Vasco VasconcelosUniversity of Lisbon, Portugal, Nobuko YoshidaImperial College London, UK
Link to publication

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

10:30 - 12:00
5. MobilitySPLASH OOPSLA at Grand Station 1
Chair(s): Lukasz ZiarekState University of New York (SUNY) Buffalo
10:30
22m
Talk
Interactively Verifying Absence of Explicit Information Flows in Android Apps
SPLASH OOPSLA
Osbert BastaniStanford University, Saswat AnandStanford University, Alex AikenStanford University
DOI Media Attached
10:52
22m
Talk
ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access
SPLASH OOPSLA
Lucas BrutschyETH Zurich, Switzerland, Pietro FerraraIBM Research, USA, Omer TrippIBM Research, USA, Marco PistoiaIBM Research, USA
Pre-print Media Attached
11:15
22m
Talk
Scalable Race Detection for Android ApplicationsOOPSLA Artifact
SPLASH OOPSLA
Pavol BielikETH Zurich, Switzerland, Veselin RaychevETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
DOI Media Attached
11:37
22m
Talk
Versatile yet Lightweight Record-and-Replay for Android
SPLASH OOPSLA
Yongjian HuUniversity of California at Riverside, USA, Tanzirul AzimUniversity of California at Riverside, USA, Iulian NeamtiuUniversity of California at Riverside, USA
DOI Media Attached
13:30 - 15:00
7. RuntimeSPLASH OOPSLA at Grand Station 1
Chair(s): Michael PradelTU Darmstadt, Germany
13:30
22m
Talk
Accurate Profiling in the Presence of Dynamic CompilationOOPSLA Artifact
SPLASH OOPSLA
Yudi ZhengUniversity of Lugano, Lubomír BulejUniversità della Svizzera italiana, Walter BinderUniversity of Lugano
DOI
13:52
22m
Talk
Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data StructuresOOPSLA Artifact
SPLASH OOPSLA
Martin AignerUniversity of Salzburg, Austria, Christoph KirschUniversity of Salzburg, Austria, Michael LippautzUniversity of Salzburg, Austria, Ana SokolovaUniversity of Salzburg, Austria
DOI Pre-print Media Attached
14:15
22m
Talk
Probability Type Inference for Flexible Approximate Programming
SPLASH OOPSLA
Brett BostonMassachusetts Institute of Technology, USA, Adrian SampsonCornell University & Microsoft Research, Dan GrossmanUniversity of Washington, USA, Luis CezeUniversity of Washington, USA
Pre-print Media Attached
14:37
22m
Talk
Cross-Layer Memory Management for Managed Language Applications
SPLASH OOPSLA
Michael JantzUniversity of Tennessee, USA, Forrest RobinsonUniversity of Kansas, USA, Prasad KulkarniUniversity of Kansas, Kshitij DoshiIntel, USA
DOI Media Attached
15:30 - 17:30
8. Static AnalysisSPLASH OOPSLA at Grand Station 1
Chair(s): Werner DietlUniversity of Waterloo
15:30
24m
Talk
Static Analysis of Event-Driven Node.js JavaScript Applications
SPLASH OOPSLA
Magnus MadsenUniversity of Waterloo, Frank TipSamsung Research America, Ondřej LhotákUniversity of Waterloo
DOI Media Attached
15:54
24m
Talk
EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
SPLASH OOPSLA
Yu FengUniversity of Texas at Austin, USA, Xinyu WangUT Austin, Isil DilligUniversity of Texas at Austin, USA, Calvin LinUniversity of Texas at Austin, USA
Pre-print Media Attached
16:18
24m
Talk
Giga-Scale Exhaustive Points-To Analysis for Java in Under a MinuteOOPSLA Artifact
SPLASH OOPSLA
Jens DietrichMassey University, New Zealand, Nicholas HollingumUniversity of Sydney, Australia, Bernhard ScholzOracle Labs, Australia
DOI Media Attached
16:42
24m
Talk
Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis
SPLASH OOPSLA
David DaraisUniversity of Maryland, College Park, Matthew MightUniversity of Utah, USA, David Van HornUniversity of Maryland at College Park, USA
DOI Media Attached
17:06
24m
Talk
Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation
SPLASH OOPSLA
Hakjoo OhKorea University, South Korea, Hongseok YangUniversity of Oxford, UK, Kwangkeun YiSeoul National University, South Korea
DOI Media Attached

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

10:30 - 12:00
9. Compilation & Dynamic AnalysisSPLASH OOPSLA at Grand Station 1
Chair(s): Frank TipSamsung Research America
10:30
22m
Talk
Runtime Pointer DisambiguationOOPSLA Artifact
SPLASH OOPSLA
Pericles Rafael AlvesFederal University of Minas Gerais, Brazil, Fabian GruberINRIA, France, Johannes DoerfertSaarland University, Alexandros LabrineasINRIA, France, Tobias GrosserETH Zurich, Switzerland, Fabrice RastelloINRIA, France, Fernando Magno Quintão PereiraFederal University of Minas Gerais, Brazil
Link to publication
10:52
22m
Talk
Performance Problems You Can Fix: A Dynamic Analysis of Memoization OpportunitiesOOPSLA Artifact
SPLASH OOPSLA
Luca Della ToffolaETH Zurich, Switzerland, Michael PradelTU Darmstadt, Germany, Thomas GrossETH Zurich, Switzerland
DOI
11:15
22m
Talk
RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization
SPLASH OOPSLA
Wen-Chuan LeePurdue University, USA, Tao BaoPurdue University, USA, Yunhui ZhengIBM Research, Xiangyu ZhangPurdue University, USA, Keval VoraUniversity of California at Riverside, USA, Rajiv GuptaUniversity of California at Riverside, USA
DOI
11:37
22m
Talk
Automated Backward Error Analysis for Numerical Code
SPLASH OOPSLA
Zhoulai FuUniversity of California at Davis, USA, Zhaojun BaiUniversity of California at Davis, USA, Zhendong SuUniversity of California at Davis, USA
DOI
13:30 - 15:00
11. Programming Language DesignSPLASH OOPSLA at Grand Station 1
Chair(s): Gary Leavens University of Central Florida
13:30
22m
Talk
Remote-Scope Promotion: Clarified, Rectified, and VerifiedOOPSLA Artifact
SPLASH OOPSLA
John WickersonImperial College London, Mark BattyUniversity of Cambridge, Bradford M. BeckmannAdvanced Micro Devices, Inc, Alastair DonaldsonImperial College London
DOI Media Attached
13:52
22m
Talk
Incremental Computation with NamesOOPSLA Artifact
SPLASH OOPSLA
Matthew HammerUniversity of Maryland, College Park, Jana DunfieldUniversity of British Columbia, Canada, Kyle HeadleyUniversity of Maryland, College Park, Nicholas LabichUniversity of Maryland at College Park, USA, Jeffrey S. FosterUniversity of Maryland at College Park, USA, Michael HicksUniversity of Maryland at College Park, USA, David Van HornUniversity of Maryland at College Park, USA
DOI
14:15
22m
Talk
Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming LanguagesOOPSLA Artifact
SPLASH OOPSLA
Tim FelgentreffHPI, Germany, Todd MillsteinUniversity of California at Los Angeles, USA, Alan BorningUniversity of Washington, USA, Robert HirschfeldHPI
DOI
14:37
22m
Talk
Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM CollectionsOOPSLA Artifact
SPLASH OOPSLA
Michael SteindorferCWI, Netherlands, Jurgen VinjuCWI, Netherlands
Link to publication
15:30 - 17:00
13. Type SystemsSPLASH OOPSLA at Grand Station 1
Chair(s): Nobuko YoshidaImperial College London, UK
15:30
22m
Talk
A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking
SPLASH OOPSLA
Sebastian ErdwegTU Darmstadt, Germany, Oliver BračevacTU Darmstadt, Edlira KuciTU Darmstadt, Germany, Matthias KrebsTU Darmstadt, Germany, Mira MeziniTU Darmstadt
Link to publication Pre-print
15:52
22m
Talk
Disjointness Domains for Fine-Grained Aliasing
SPLASH OOPSLA
Stephan BrandauerUppsala University, Dave ClarkeUppsala University, Sweden and KU Leuven, Belgium, Tobias WrigstadUppsala University
Link to publication File Attached
16:15
22m
Talk
The Chemical Approach to Typestate-Oriented Programming
SPLASH OOPSLA
Silvia CrafaUniversità di Padova, Italy, Luca Padovani
DOI
16:37
22m
Talk
Customizable Gradual Polymorphic Effects for ScalaOOPSLA Artifact
SPLASH OOPSLA
Matías ToroUniversity of Chile, Chile, Éric TanterUniversity of Chile, Chile
DOI

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 1

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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 1

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