PLE 2015
Mon 6 - Fri 10 July 2015 Prague, Czech Republic
co-located with ECOOP 2015
VenueMarriott
Room nameBohemia
Floor1
Room InformationNo extra information available
Program

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

Conference Day
Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Keynote: ChoiECOOP Research Track at Bohemia
Chair(s): Jan VitekNortheastern University
09:00
60m
Talk
Programming in the Large for the Internet of Things
ECOOP Research Track
P: Jong-Deok ChoiSamsung Electronics
10:30 - 12:00
Gradual TypingECOOP Research Track at Bohemia
Chair(s): John BoylandUniversity of Wisconsin, Milwaukee
10:30
30m
Talk
Towards Practical Gradual Typing
ECOOP Research Track
Asumu TakikawaNortheastern University, Daniel FelteyNortheastern University, Earl DeanIndiana University, Robby FindlerNorthwestern University, Matthew FlattUniversity of Utah, Sam Tobin-HochstadtIndiana University, Matthias FelleisenNortheastern University
11:00
30m
Talk
TreatJS: Higher-Order Contracts for JavaScripts
ECOOP Research Track
Matthias KeilUniversity of Freiburg, Peter ThiemannUniversity of Freiburg
Media Attached
11:30
30m
Talk
Trust, but Verify: Two-Phase Typing for Dynamic Languages
ECOOP Research Track
Panagiotis VekrisUniversity of California, San Diego, Benjamin CosmanUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego
13:30 - 15:00
ImplementationECOOP Research Track at Bohemia
Chair(s): Christian HammerSaarland University
13:30
30m
Talk
Concrete Types for TypeScript
ECOOP Research Track
Gregor RichardsUniversity of Waterloo, Francesco Zappa NardelliInria, Jan VitekNortheastern University
14:00
30m
Talk
Simple and Effective Type Check Removal through Lazy Basic Block Versioning
ECOOP Research Track
14:30
30m
Talk
Loop tiling in the presence of exceptions
ECOOP Research Track
15:30 - 17:00
ObjectsECOOP Research Track at Bohemia
Chair(s): Kim BrucePomona College
15:30
30m
Talk
A Theory of Tagged Objects
ECOOP Research Track
Joseph LeeCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Troy ShawVictoria University of Wellington, Alex PotaninVictoria University of Wellington
16:00
30m
Talk
Brand Objects for Nominal Typing
ECOOP Research Track
Timothy JonesVictoria University of Wellington, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington
16:30
30m
Talk
Transparent Object Proxies in JavaScript
ECOOP Research Track
Matthias KeilUniversity of Freiburg, Peter ThiemannUniversity of Freiburg
17:30 - 18:30
Analysis IECOOP Research Track at Bohemia
Chair(s): Werner DietlUniversity of Waterloo
17:30
30m
Talk
Access-rights Analysis in the Presence of Subjects
ECOOP Research Track
Paolina CentonzeIona College, Marco PistoiaIBM Research, Omer TrippIBM Thomas J. Watson Research Center
18:00
30m
Talk
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
ECOOP Research Track
Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Claus BrabrandIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark

Conference Day
Thu 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
DN Senior: StroustrupECOOP Research Track at Bohemia
Chair(s): Erik ErnstGoogle
09:00
60m
Talk
Object-Oriented Programming without Inheritance
ECOOP Research Track
P: Bjarne StroustrupMorgan Stanley
10:30 - 12:00
Developer AssistanceECOOP Research Track at Bohemia
Chair(s): Michael Van De VanterOracle Labs
10:30
30m
Talk
Optimization Coaching for JavaScript
ECOOP Research Track
Vincent St-AmourNortheastern University, Shu-yu GuoMozilla Corporation
11:00
30m
Talk
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification
ECOOP Research Track
Lu Fang, Liang DouEast China Normal University, Harry XuUniversity of California, Irvine
11:30
30m
Talk
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
ECOOP Research Track
Saba AlimadadiUniversity of British Columbia, Ali MesbahUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
13:30 - 15:00
Type SystemsECOOP Research Track at Bohemia
Chair(s): Peter MüllerETH Zurich
13:30
30m
Talk
Intensional Effect Polymorphism
ECOOP Research Track
Yuheng LongIowa State University, Yu David LiuState University of New York (SUNY) Binghamton, Hridesh RajanIowa State University
14:00
30m
Talk
Type Inference for Place-Oblivious Objects
ECOOP Research Track
Riyaz HaqueUniversity of California, Los Angeles (UCLA), Jens PalsbergUniversity of California, Los Angeles
14:30
30m
Talk
Asynchronous Liquid Separation Types
ECOOP Research Track
Johannes KloosMPI-SWS, Rupak MajumdarMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
15:30 - 17:00
ParallelismECOOP Research Track at Bohemia
Chair(s): Walter BinderUniversity of Lugano
15:30
30m
Talk
The Eureka Programming Model for Speculative Task Parallelism
ECOOP Research Track
Shams ImamRice University, Vivek SarkarRice University
16:00
30m
Talk
Cooking the Books: Formalizing JMM Implementation Recipes
ECOOP Research Track
Gustavo PetriPurdue University, Jan VitekNortheastern University, Suresh JagannathanDARPA
16:30
30m
Talk
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
ECOOP Research Track
Brijesh DongolBrunel University, John DerrickUniversity of Sheffield, Lindsay GrovesVictoria University of Wellington, Graeme SmithThe University of Queensland
17:30 - 18:30
Empirical StudiesECOOP Research Track at Bohemia
Chair(s): Jonathan AldrichCarnegie Mellon University
17:30
30m
Talk
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
ECOOP Research Track
Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley
18:00
30m
Talk
The Love/Hate Relationship with the C Preprocessor: An Interview Study
ECOOP Research Track
Flavio MedeirosFederal University of Campina Grande, Christian KaestnerCarnegie Mellon University, Márcio RibeiroFederal University of Alagoas (UFAL), Sarah NadiTechnische Universität Darmstadt, Rohit GheyiUFCG, Brazil

Conference Day
Fri 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
DN Junior: SummersECOOP Research Track at Bohemia
Chair(s): John BoylandUniversity of Wisconsin, Milwaukee
09:00
60m
Talk
Software Verification "Across the Stack"
ECOOP Research Track
Media Attached
10:30 - 12:00
AbstractionECOOP Research Track at Bohemia
Chair(s): Davide AnconaUniversity of Genova
10:30
30m
Talk
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
ECOOP Research Track
Avraham ShinnarIBM Research, Jerome SimeonIBM Research, Martin HirzelIBM Research
11:00
30m
Talk
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
ECOOP Research Track
Sebastian BurckhardtMicrosoft Research, Daan LeijenMicrosoft Research, Jonathan ProtzenkoMicrosoft Research, Manuel FähndrichGoogle
11:30
30m
Talk
Streams a la carte: Extensible Pipelines with Object Algebras
ECOOP Research Track
Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
13:30 - 14:30
Keynote: MeyerECOOP Research Track at Bohemia
Chair(s): Jan VitekNortheastern University
13:30
60m
Talk
The Prague List: Open Problems in Object-Oriented Programming
ECOOP Research Track
P: Bertrand MeyerETH Zurich, Innopolis University and Eiffel Software
15:00 - 16:30
VerificationECOOP Research Track at Bohemia
Chair(s): Pavel ParizekCharles University in Prague
15:00
30m
Talk
Lightweight Support for Magic Wands in an Automatic Verifier
ECOOP Research Track
Malte SchwerhoffETH Zurich, Switzerland, Alexander J. SummersETH Zurich
15:30
30m
Talk
Modular Verification of Finite Blocking in Non-terminating Programs
ECOOP Research Track
Pontus BoströmAbo Akademi University, Peter MüllerETH Zurich
16:00
30m
Talk
Modular Termination Verification
ECOOP Research Track
Bart JacobsiMinds - Distrinet, KU Leuven, Dragan BosnackiEindhoven University of Technology, The Netherlands, Ruurd KuiperEindhoven University of Technology, The Netherlands
17:00 - 18:30
Analysis IIECOOP Research Track at Bohemia
Chair(s): Francesco LogozzoFacebook
17:00
30m
Talk
Framework for Static Analysis of PHP Applications
ECOOP Research Track
David HauzarCharles University in Prague, Jan KofroňCharles University in Prague
17:30
30m
Talk
Adaptive Context-sensitive Analysis for JavaScript
ECOOP Research Track
Shiyi WeiVirginia Tech, Barbara RyderVirginia Tech
18:00
30m
Talk
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
ECOOP Research Track
Changhee ParkKAIST, Sukyoung RyuKorea Advanced Institute of Science and Technology

Conference Day
Tue 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room18:003019:0030
Bohemia

Conference Day
Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Thu 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Fri 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change