ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
ECOOP 2015 (series) / Marriott /

Room information: Bohemia

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

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

09:00 - 10:00
Keynote: ChoiResearch Track at Bohemia
Chair(s): Jan Vitek Northeastern University
09:00
60m
Talk
Programming in the Large for the Internet of Things
Research Track
P: Jong-Deok Choi Samsung Electronics
10:30 - 12:00
Gradual TypingResearch Track at Bohemia
Chair(s): John Boyland University of Wisconsin, Milwaukee
10:30
30m
Talk
Towards Practical Gradual Typing
Research Track
Asumu Takikawa Northeastern University, Daniel Feltey Northeastern University, Earl Dean Indiana University, Robert Bruce Findler Northwestern University, Matthew Flatt University of Utah, Sam Tobin-Hochstadt Indiana University, Matthias Felleisen Northeastern University
11:00
30m
Talk
TreatJS: Higher-Order Contracts for JavaScripts
Research Track
Matthias Keil University of Freiburg, Peter Thiemann University of Freiburg
Media Attached
11:30
30m
Talk
Trust, but Verify: Two-Phase Typing for Dynamic Languages
Research Track
Panagiotis Vekris University of California, San Diego, Benjamin Cosman University of California, San Diego, Ranjit Jhala University of California, San Diego
13:30 - 15:00
ImplementationResearch Track at Bohemia
Chair(s): Christian Hammer Saarland University
13:30
30m
Talk
Concrete Types for TypeScript
Research Track
Gregor Richards University of Waterloo, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University
14:00
30m
Talk
Simple and Effective Type Check Removal through Lazy Basic Block Versioning
Research Track
Maxime Chevalier-Boisvert , Marc Feeley
14:30
30m
Talk
Loop tiling in the presence of exceptions
Research Track
Abhilash Bhandari IIT Madras, V Krishna Nandivada IIT Madras
15:30 - 17:00
ObjectsResearch Track at Bohemia
Chair(s): Kim Bruce Pomona College
15:30
30m
Talk
A Theory of Tagged Objects
Research Track
Joseph Lee Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Troy Shaw Victoria University of Wellington, Alex Potanin Victoria University of Wellington
16:00
30m
Talk
Brand Objects for Nominal Typing
Research Track
Timothy Jones Victoria University of Wellington, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington
16:30
30m
Talk
Transparent Object Proxies in JavaScript
Research Track
Matthias Keil University of Freiburg, Peter Thiemann University of Freiburg
17:30 - 18:30
Analysis IResearch Track at Bohemia
Chair(s): Werner Dietl University of Waterloo
17:30
30m
Talk
Access-rights Analysis in the Presence of Subjects
Research Track
Paolina Centonze Iona College, Marco Pistoia IBM Research, Omer Tripp IBM Thomas J. Watson Research Center
18:00
30m
Talk
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
Research Track
Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Claus Brabrand IT University of Copenhagen, Denmark, Andrzej WÄ…sowski IT University of Copenhagen, Denmark

Thu 9 Jul

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

09:00 - 10:00
DN Senior: StroustrupResearch Track at Bohemia
Chair(s): Erik Ernst Google
09:00
60m
Talk
Object-Oriented Programming without Inheritance
Research Track
P: Bjarne Stroustrup Morgan Stanley
10:30 - 12:00
Developer AssistanceResearch Track at Bohemia
Chair(s): Michael Van De Vanter Oracle Labs
10:30
30m
Talk
Optimization Coaching for JavaScript
Research Track
Vincent St-Amour Northeastern University, Shu-yu Guo Mozilla Corporation
11:00
30m
Talk
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification
Research Track
Lu Fang , Liang Dou East China Normal University, Harry Xu University of California, Irvine
11:30
30m
Talk
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
Research Track
Saba Alimadadi University of British Columbia, Ali Mesbah University of British Columbia, Karthik Pattabiraman University of British Columbia
13:30 - 15:00
Type SystemsResearch Track at Bohemia
Chair(s): Peter Müller ETH Zurich
13:30
30m
Talk
Intensional Effect Polymorphism
Research Track
Yuheng Long Iowa State University, Yu David Liu State University of New York (SUNY) Binghamton, Hridesh Rajan Iowa State University
14:00
30m
Talk
Type Inference for Place-Oblivious Objects
Research Track
Riyaz Haque University of California, Los Angeles (UCLA), Jens Palsberg University of California, Los Angeles
14:30
30m
Talk
Asynchronous Liquid Separation Types
Research Track
Johannes Kloos MPI-SWS, Rupak Majumdar MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
15:30 - 17:00
ParallelismResearch Track at Bohemia
Chair(s): Walter Binder University of Lugano
15:30
30m
Talk
The Eureka Programming Model for Speculative Task Parallelism
Research Track
Shams Imam Rice University, Vivek Sarkar Rice University
16:00
30m
Talk
Cooking the Books: Formalizing JMM Implementation Recipes
Research Track
Gustavo Petri Purdue University, Jan Vitek Northeastern University, Suresh Jagannathan DARPA
16:30
30m
Talk
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
Research Track
Brijesh Dongol Brunel University, John Derrick University of Sheffield, Lindsay Groves Victoria University of Wellington, Graeme Smith The University of Queensland
17:30 - 18:30
Empirical StudiesResearch Track at Bohemia
Chair(s): Jonathan Aldrich Carnegie 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 Pradel TU Darmstadt, Koushik Sen University of California, Berkeley
18:00
30m
Talk
The Love/Hate Relationship with the C Preprocessor: An Interview Study
Research Track
Flavio Medeiros Federal University of Campina Grande, Christian Kästner Carnegie Mellon University, Márcio Ribeiro Federal University of Alagoas (UFAL), Sarah Nadi Technische Universität Darmstadt, Rohit Gheyi UFCG, Brazil

Fri 10 Jul

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

09:00 - 10:00
DN Junior: SummersResearch Track at Bohemia
Chair(s): John Boyland University of Wisconsin, Milwaukee
09:00
60m
Talk
Software Verification "Across the Stack"
Research Track
S: Alexander J. Summers ETH Zurich
Media Attached
10:30 - 12:00
AbstractionResearch Track at Bohemia
Chair(s): Davide Ancona University of Genova
10:30
30m
Talk
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
Research Track
Avraham Shinnar IBM Research, Jerome Simeon IBM Research, Martin Hirzel IBM Research
11:00
30m
Talk
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
Research Track
Sebastian Burckhardt Microsoft Research, Daan Leijen Microsoft Research, Jonathan Protzenko Microsoft Research, Manuel Fähndrich Google
11:30
30m
Talk
Streams a la carte: Extensible Pipelines with Object Algebras
Research Track
Aggelos Biboudis University of Athens, Nick Palladinos Nessos Information Technologies, SA, George Fourtounis University of Athens, Yannis Smaragdakis University of Athens
13:30 - 14:30
Keynote: MeyerResearch Track at Bohemia
Chair(s): Jan Vitek Northeastern University
13:30
60m
Talk
The Prague List: Open Problems in Object-Oriented Programming
Research Track
P: Bertrand Meyer ETH Zurich, Innopolis University and Eiffel Software
15:00 - 16:30
VerificationResearch Track at Bohemia
Chair(s): Pavel Parizek Charles University in Prague
15:00
30m
Talk
Lightweight Support for Magic Wands in an Automatic Verifier
Research Track
Malte Schwerhoff ETH Zurich, Switzerland, Alexander J. Summers ETH Zurich
15:30
30m
Talk
Modular Verification of Finite Blocking in Non-terminating Programs
Research Track
Pontus Boström Abo Akademi University, Peter Müller ETH Zurich
16:00
30m
Talk
Modular Termination Verification
Research Track
Bart Jacobs iMinds - Distrinet, KU Leuven, Dragan Bosnacki Eindhoven University of Technology, The Netherlands, Ruurd Kuiper Eindhoven University of Technology, The Netherlands
17:00 - 18:30
Analysis IIResearch Track at Bohemia
Chair(s): Francesco Logozzo Facebook
17:00
30m
Talk
Framework for Static Analysis of PHP Applications
Research Track
David Hauzar Charles University in Prague, Jan Kofroň Charles University in Prague
17:30
30m
Talk
Adaptive Context-sensitive Analysis for JavaScript
Research Track
Shiyi Wei Virginia Tech, Barbara Ryder Virginia Tech
18:00
30m
Talk
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
Research Track
Changhee Park KAIST, Sukyoung Ryu Korea Advanced Institute of Science and Technology

Tue 7 Jul

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

Room18:003019:0030
Bohemia

Posters

Wed 8 Jul

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Bohemia

Research Track

Keynote: Choi

Research Track

Gradual Typing

Research Track

Implementation

Research Track

Objects

Research Track

Analysis I

Thu 9 Jul

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Bohemia

Research Track

DN Senior: Stroustrup

Research Track

Developer Assistance

Research Track

Type Systems

Research Track

Parallelism

Research Track

Empirical Studies

Fri 10 Jul

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Bohemia

Research Track

DN Junior: Summers

Research Track

Abstraction

Research Track

Keynote: Meyer

Research Track

Verification

Research Track

Analysis II

Wed 8 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Bohemia
ECOOP Research Track
Programming in the Large for the Internet of Things
09:00 - 10:00
ECOOP Research Track
Towards Practical Gradual Typing
10:30 - 11:00
ECOOP Research Track
TreatJS: Higher-Order Contracts for JavaScripts
11:00 - 11:30
ECOOP Research Track
Trust, but Verify: Two-Phase Typing for Dynamic Languages
11:30 - 12:00
ECOOP Research Track
Concrete Types for TypeScript
13:30 - 14:00
ECOOP Research Track
Simple and Effective Type Check Removal through Lazy Basic Block Versioning
14:00 - 14:30
ECOOP Research Track
Loop tiling in the presence of exceptions
14:30 - 15:00
ECOOP Research Track
A Theory of Tagged Objects
15:30 - 16:00
ECOOP Research Track
Brand Objects for Nominal Typing
16:00 - 16:30
ECOOP Research Track
Transparent Object Proxies in JavaScript
16:30 - 17:00
ECOOP Research Track
Access-rights Analysis in the Presence of Subjects
17:30 - 18:00
ECOOP Research Track
Variability Abstractions: Trading Precision for Speed in Family-Based A ...
18:00 - 18:30

Thu 9 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Bohemia
ECOOP Research Track
Object-Oriented Programming without Inheritance
09:00 - 10:00
ECOOP Research Track
Optimization Coaching for JavaScript
10:30 - 11:00
ECOOP Research Track
PerfBlower: Quickly Detecting Memory-Related Performance Problems via A ...
11:00 - 11:30
ECOOP Research Track
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
11:30 - 12:00
ECOOP Research Track
Intensional Effect Polymorphism
13:30 - 14:00
ECOOP Research Track
Type Inference for Place-Oblivious Objects
14:00 - 14:30
ECOOP Research Track
Asynchronous Liquid Separation Types
14:30 - 15:00
ECOOP Research Track
The Eureka Programming Model for Speculative Task Parallelism
15:30 - 16:00
ECOOP Research Track
Cooking the Books: Formalizing JMM Implementation Recipes
16:00 - 16:30
ECOOP Research Track
Defining Correctness Conditions for Concurrent Objects in Multicore Arc ...
16:30 - 17:00
ECOOP Research Track
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Co ...
17:30 - 18:00
ECOOP Research Track
The Love/Hate Relationship with the C Preprocessor: An Interview Study
18:00 - 18:30

Fri 10 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Bohemia
ECOOP Research Track
Software Verification "Across the Stack"
09:00 - 10:00
ECOOP Research Track
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and ...
10:30 - 11:00
ECOOP Research Track
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
11:00 - 11:30
ECOOP Research Track
Streams a la carte: Extensible Pipelines with Object Algebras
11:30 - 12:00
ECOOP Research Track
The Prague List: Open Problems in Object-Oriented Programming
13:30 - 14:30
ECOOP Research Track
Lightweight Support for Magic Wands in an Automatic Verifier
15:00 - 15:30
ECOOP Research Track
Modular Verification of Finite Blocking in Non-terminating Programs
15:30 - 16:00
ECOOP Research Track
Modular Termination Verification
16:00 - 16:30
ECOOP Research Track
Framework for Static Analysis of PHP Applications
17:00 - 17:30
ECOOP Research Track
Adaptive Context-sensitive Analysis for JavaScript
17:30 - 18:00
ECOOP Research Track
Scalable and Precise Static Analysis of JavaScript Applications via Loo ...
18:00 - 18:30