ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
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

Wed 8 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Keynote: ChoiResearch Track at Bohemia
Chair(s): Jan VitekNortheastern University
09:00
60m
Talk
Programming in the Large for the Internet of Things
Research Track
P: Jong-Deok ChoiSamsung Electronics
10:30 - 12:00
Gradual TypingResearch Track at Bohemia
Chair(s): John BoylandUniversity of Wisconsin, Milwaukee
10:30
30m
Talk
Towards Practical Gradual Typing
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
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
Research Track
Panagiotis VekrisUniversity of California, San Diego, Benjamin CosmanUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego
13:30 - 15:00
ImplementationResearch Track at Bohemia
Chair(s): Christian HammerSaarland University
13:30
30m
Talk
Concrete Types for TypeScript
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
Research Track
14:30
30m
Talk
Loop tiling in the presence of exceptions
Research Track
15:30 - 17:00
ObjectsResearch Track at Bohemia
Chair(s): Kim BrucePomona College
15:30
30m
Talk
A Theory of Tagged Objects
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
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
Research Track
Matthias KeilUniversity of Freiburg, Peter ThiemannUniversity of Freiburg
17:30 - 18:30
Analysis IResearch Track at Bohemia
Chair(s): Werner DietlUniversity of Waterloo
17:30
30m
Talk
Access-rights Analysis in the Presence of Subjects
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
Research Track
Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Claus BrabrandIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark

Thu 9 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
DN Senior: StroustrupResearch Track at Bohemia
Chair(s): Erik ErnstGoogle
09:00
60m
Talk
Object-Oriented Programming without Inheritance
Research Track
P: Bjarne StroustrupMorgan Stanley
10:30 - 12:00
Developer AssistanceResearch Track at Bohemia
Chair(s): Michael Van De VanterOracle Labs
10:30
30m
Talk
Optimization Coaching for JavaScript
Research Track
Vincent St-AmourNortheastern University, Shu-yu GuoMozilla Corporation
11:00
30m
Talk
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification
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
Research Track
Saba AlimadadiUniversity of British Columbia, Ali MesbahUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
13:30 - 15:00
Type SystemsResearch Track at Bohemia
Chair(s): Peter MüllerETH Zurich
13:30
30m
Talk
Intensional Effect Polymorphism
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
Research Track
Riyaz HaqueUniversity of California, Los Angeles (UCLA), Jens PalsbergUniversity of California, Los Angeles
14:30
30m
Talk
Asynchronous Liquid Separation Types
Research Track
Johannes KloosMPI-SWS, Rupak MajumdarMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
15:30 - 17:00
ParallelismResearch Track at Bohemia
Chair(s): Walter BinderUniversity of Lugano
15:30
30m
Talk
The Eureka Programming Model for Speculative Task Parallelism
Research Track
Shams ImamRice University, Vivek SarkarRice University
16:00
30m
Talk
Cooking the Books: Formalizing JMM Implementation Recipes
Research Track
Gustavo PetriPurdue University, Jan VitekNortheastern University, Suresh JagannathanDARPA
16:30
30m
Talk
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
Research Track
Brijesh DongolBrunel University, John DerrickUniversity of Sheffield, Lindsay GrovesVictoria University of Wellington, Graeme SmithThe University of Queensland
17:30 - 18:30
Empirical StudiesResearch 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
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
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

Fri 10 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
DN Junior: SummersResearch Track at Bohemia
Chair(s): John BoylandUniversity of Wisconsin, Milwaukee
09:00
60m
Talk
Software Verification "Across the Stack"
Research Track
Media Attached
10:30 - 12:00
AbstractionResearch Track at Bohemia
Chair(s): Davide AnconaUniversity of Genova
10:30
30m
Talk
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
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
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
Research Track
Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
13:30 - 14:30
Keynote: MeyerResearch Track at Bohemia
Chair(s): Jan VitekNortheastern University
13:30
60m
Talk
The Prague List: Open Problems in Object-Oriented Programming
Research Track
P: Bertrand MeyerETH Zurich, Innopolis University and Eiffel Software
15:00 - 16:30
VerificationResearch Track at Bohemia
Chair(s): Pavel ParizekCharles University in Prague
15:00
30m
Talk
Lightweight Support for Magic Wands in an Automatic Verifier
Research Track
Malte SchwerhoffETH Zurich, Switzerland, Alexander J. SummersETH Zurich
15:30
30m
Talk
Modular Verification of Finite Blocking in Non-terminating Programs
Research Track
Pontus BoströmAbo Akademi University, Peter MüllerETH Zurich
16:00
30m
Talk
Modular Termination Verification
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 IIResearch Track at Bohemia
Chair(s): Francesco LogozzoFacebook
17:00
30m
Talk
Framework for Static Analysis of PHP Applications
Research Track
David HauzarCharles University in Prague, Jan KofroňCharles University in Prague
17:30
30m
Talk
Adaptive Context-sensitive Analysis for JavaScript
Research Track
Shiyi WeiVirginia Tech, Barbara RyderVirginia Tech
18:00
30m
Talk
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
Research Track
Changhee ParkKAIST, Sukyoung RyuKorea Advanced Institute of Science and Technology

Tue 7 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room18:003019:0030
Bohemia

Wed 8 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 9 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 10 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change