PLAS 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

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 Vitek Northeastern University
09:00
60m
Talk
Programming in the Large for the Internet of Things
ECOOP Research Track
P: Jong-Deok Choi Samsung Electronics
10:30 - 12:00
Gradual TypingECOOP Research Track at Bohemia
Chair(s): John Boyland University of Wisconsin, Milwaukee
10:30
30m
Talk
Towards Practical Gradual Typing
ECOOP 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
ECOOP 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
ECOOP 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
ImplementationECOOP Research Track at Bohemia
Chair(s): Christian Hammer Saarland University
13:30
30m
Talk
Concrete Types for TypeScript
ECOOP 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
ECOOP Research Track
14:30
30m
Talk
Loop tiling in the presence of exceptions
ECOOP Research Track
Abhilash Bhandari IIT Madras, V Krishna Nandivada IIT Madras
15:30 - 17:00
ObjectsECOOP Research Track at Bohemia
Chair(s): Kim Bruce Pomona College
15:30
30m
Talk
A Theory of Tagged Objects
ECOOP 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
ECOOP 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
ECOOP Research Track
Matthias Keil University of Freiburg, Peter Thiemann University of Freiburg
17:30 - 18:30
Analysis IECOOP Research Track at Bohemia
Chair(s): Werner Dietl University of Waterloo
17:30
30m
Talk
Access-rights Analysis in the Presence of Subjects
ECOOP 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
ECOOP 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: StroustrupECOOP Research Track at Bohemia
Chair(s): Erik Ernst Google
09:00
60m
Talk
Object-Oriented Programming without Inheritance
ECOOP Research Track
P: Bjarne Stroustrup Morgan Stanley
10:30 - 12:00
Developer AssistanceECOOP Research Track at Bohemia
Chair(s): Michael Van De Vanter Oracle Labs
10:30
30m
Talk
Optimization Coaching for JavaScript
ECOOP 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
ECOOP 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
ECOOP 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 SystemsECOOP Research Track at Bohemia
Chair(s): Peter Müller ETH Zurich
13:30
30m
Talk
Intensional Effect Polymorphism
ECOOP 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
ECOOP 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
ECOOP Research Track
Johannes Kloos MPI-SWS, Rupak Majumdar MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
15:30 - 17:00
ParallelismECOOP Research Track at Bohemia
Chair(s): Walter Binder University of Lugano
15:30
30m
Talk
The Eureka Programming Model for Speculative Task Parallelism
ECOOP Research Track
Shams Imam Rice University, Vivek Sarkar Rice University
16:00
30m
Talk
Cooking the Books: Formalizing JMM Implementation Recipes
ECOOP 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
ECOOP 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 StudiesECOOP Research 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
ECOOP 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
ECOOP 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: SummersECOOP Research Track at Bohemia
Chair(s): John Boyland University of Wisconsin, Milwaukee
09:00
60m
Talk
Software Verification "Across the Stack"
ECOOP Research Track
S: Alexander J. Summers ETH Zurich
Media Attached
10:30 - 12:00
AbstractionECOOP Research Track at Bohemia
Chair(s): Davide Ancona University of Genova
10:30
30m
Talk
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
ECOOP 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
ECOOP 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
ECOOP 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: MeyerECOOP Research Track at Bohemia
Chair(s): Jan Vitek Northeastern University
13:30
60m
Talk
The Prague List: Open Problems in Object-Oriented Programming
ECOOP Research Track
P: Bertrand Meyer ETH Zurich, Innopolis University and Eiffel Software
15:00 - 16:30
VerificationECOOP Research Track at Bohemia
Chair(s): Pavel Parizek Charles University in Prague
15:00
30m
Talk
Lightweight Support for Magic Wands in an Automatic Verifier
ECOOP 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
ECOOP Research Track
Pontus Boström Abo Akademi University, Peter Müller ETH Zurich
16:00
30m
Talk
Modular Termination Verification
ECOOP 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 IIECOOP Research Track at Bohemia
Chair(s): Francesco Logozzo Facebook
17:00
30m
Talk
Framework for Static Analysis of PHP Applications
ECOOP Research Track
David Hauzar Charles University in Prague, Jan Kofroň Charles University in Prague
17:30
30m
Talk
Adaptive Context-sensitive Analysis for JavaScript
ECOOP 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
ECOOP 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

Wed 8 Jul

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

Thu 9 Jul

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

Fri 10 Jul

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