Blogs (2) >>
ISMM 2017
Sun 18 Jun 2017 Barcelona, Spain
co-located with PLDI 2017
VenueUniversitat Politècnica de Catalunya
Room nameAuditorium, Vertex Building
Floor0
Capacity500
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

Mon 19 Jun

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

09:00 - 09:05
WelcomePLDI Invited Speakers at Auditorium, Vertex Building
Chair(s): Albert Cohen INRIA, Martin Vechev DeepCode and ETH Zurich, Switzerland
09:00
5m
Day opening
Welcome
PLDI Invited Speakers

09:05 - 10:00
Joint Keynote ­– Martin OderskyPLDI Invited Speakers at Auditorium, Vertex Building
09:05
55m
Talk
What to Leave Implicit
PLDI Invited Speakers
Martin Odersky EPFL, Switzerland
Media Attached
09:05 - 10:00
Monday - 9:00 - 9:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
09:05
55m
Talk
What to Leave Implicit
CurryOn Curry On Keynotes
Martin Odersky EPFL, Switzerland
10:00 - 10:30
10:00
30m
Other
1' Pitches of Monday
PLDI Research Papers

10:30 - 12:50
Monday - 10:30 - 12:50 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
10:30
40m
Talk
Flow Reloaded: New Challenges and New Opportunities
CurryOn Curry On Talks
11:20
40m
Talk
Moving Fast with High Reliability: Program Analysis at Uber
CurryOn Curry On Talks
12:10
40m
Talk
The Practice and Theory of TLA+
CurryOn Curry On Talks
14:00 - 14:50
Monday - 14:00 - 14:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
14:00
50m
Talk
FP is Dead: Long Live FP
CurryOn Curry On Keynotes
15:00 - 15:40
Monday - 15:00 - 15:40 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
15:00
40m
Talk
Don't Write Tests!
CurryOn Curry On Talks
John Hughes Chalmers University of Technology
16:10 - 18:30
Monday - 16:10 - 18:30 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
16:10
40m
Talk
Winning the War on Error: Solving the Halting Problem and Curing Cancer
CurryOn Curry On Talks
Matthew Might University of Utah, USA
17:00
40m
Talk
Rust: Putting Ownership to Use
CurryOn Curry On Talks
Nicholas Matsakis Mozilla Corporation
17:55 - 18:50
Joint Keynote ­– Martin AbadiPLDI Invited Speakers at Auditorium, Vertex Building
17:55
55m
Talk
TensorFlow considered as a programming language
PLDI Invited Speakers
17:55 - 18:50
17:55
55m
Talk
PLDI Keynote - TensorFlow considered as a programming language
CurryOn Curry On Keynotes

Tue 20 Jun

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

09:00 - 09:50
Tuesday - 9:00 - 9:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
09:00
50m
Talk
Idioms for building distributed fault-tolerant applications with Elixir
CurryOn Curry On Keynotes
José Valim Plataformatec
09:00 - 09:50
Curry-On Keynote – José ValimPLDI Invited Speakers at Auditorium, Vertex Building
09:00
50m
Talk
Elixir
PLDI Invited Speakers
José Valim Plataformatec
09:50 - 10:25
1' pitches of the day and the next dayPLDI Research Papers at Auditorium, Vertex Building
09:50
35m
Other
1' Pitches of Tuesday and Wednesday
PLDI Research Papers

10:25 - 12:45
Tuesday - 10:25 - 12:45 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
10:25
40m
Talk
Building Tools and Languages for Terabyte Scale Biology: A Call to Action
CurryOn Curry On Talks
Daniel King Broad Institute
11:15
40m
Talk
Preventing Information Leaks by Construction
CurryOn Curry On Talks
Jean Yang Carnegie Mellon University
12:05
40m
Talk
The Sharp Edges of Leaky Abstraction
CurryOn Curry On Talks
Mark Allen Alert Logic
16:00 - 18:20
Tuesday - 16:00 - 18:20 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
16:00
40m
Talk
Pony: 714 Days Later
CurryOn Curry On Talks
Sylvan Clebsch Imperial College London
16:50
40m
Talk
Finding and Preventing Bugs in JavaScript Bindings
CurryOn Curry On Talks
17:40
40m
Talk
Reflex: Reactive Programming at Facebook
CurryOn Curry On Talks
18:30 - 19:20
Tuesday - 18:30 - 19:20 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
18:30
50m
Talk
Scripting with Lua
CurryOn Curry On Keynotes

Wed 21 Jun

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

10:20 - 12:00
Systems and PerformancePLDI Research Papers at Auditorium, Vertex Building
Chair(s): Dan Grossman University of Washington
10:20
25m
Talk
Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
PLDI Research Papers
Scott Schneider IBM Research, Kun-Lung Wu IBM Research
Media Attached
10:45
25m
Talk
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
PLDI Research Papers
Thomas Wuerthinger Oracle Labs, Christian Wimmer , Christian Humer Oracle Labs, Switzerland, Andreas Woess Oracle Labs, Lukas Stadler Oracle Labs, Austria, Chris Seaton Oracle Labs, Gilles Duboscq Oracle Labs, Doug Simon Oracle Labs, Matthias Grimmer Oracle Labs, Austria
Media Attached
11:10
25m
Talk
Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
PLDI Research Papers
Stefan K. Muller , Umut A. Acar Carnegie Mellon University, Robert Harper CWI
Media Attached
11:35
25m
Talk
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
PLDI Research Papers
Konstantinos Mamouras University of Pennsylvania, Mukund Raghothaman University of Pennsylvania, Rajeev Alur University of Pennsylvania, Zachary G. Ives University of Pennsylvania, Sanjeev Khanna University of Pennsylvania
Media Attached
12:00 - 12:30
12:00
15m
Awards
Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards
PLDI Research Papers

12:15
15m
Day closing
Closing
PLDI Research Papers
15:30 - 17:10
Analysis and SynthesisECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Anders Møller Aarhus University
15:30
25m
Talk
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
ECOOP Research Papers
Mikaël Mayer EPFL, Switzerland, Jad Hamza LIAFA, Université Paris Diderot, Viktor Kunčak EPFL, Switzerland
Link to publication Media Attached
15:55
25m
Talk
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
ECOOP Research Papers
Shiyou Huang Texas A&M University, Jeff Huang Texas A&M University
Link to publication Media Attached
16:20
25m
Talk
Mailbox Abstractions for Static Analysis of Actor Programs
ECOOP Research Papers
Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Link to publication Pre-print Media Attached
16:45
25m
Talk
What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective
ECOOP Research Papers
Jeff Huang Texas A&M University, Arun Krishnakumar Rajagopalan Texas A&M University
Link to publication Media Attached

Thu 22 Jun

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

09:00 - 10:00
Dahl-Nygaard Senior PrizeECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Eric Jul University of Oslo
09:00
60m
Talk
Composing Software in an Age of Dissonance
ECOOP Invited Speakers
Media Attached
10:30 - 12:10
Specification and VerificationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Doug Lea State University of New York, Oswego
10:30
25m
Talk
Concurrent Data Structures Linked in Time
ECOOP Research Papers
Germán Andrés Delbianco IMDEA Software Institute, Ilya Sergey University College London, Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute
Link to publication Media Attached
10:55
25m
Talk
Contracts in the Wild: A Study of Java Programs
ECOOP Research Papers
Jens Dietrich Massey University, David J. Pearce Victoria University of Wellington, Kamil Jezek University of West Bohemia, Pilsen, CZ, Premek Brada University of West Bohemia
Link to publication Pre-print Media Attached
11:20
25m
Talk
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
ECOOP Research Papers
Jan-Oliver Kaiser MPI-SWS, Hoang-Hai Dang MPI-SWS, Derek Dreyer MPI-SWS, Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
Link to publication Media Attached
11:45
25m
Talk
Promising Compilation to ARMv8 POP
ECOOP Research Papers
Anton Podkopaev St. Petersburg University, JetBrains, Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
Link to publication Media Attached
13:40 - 15:20
ImplementationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Tobias Wrigstad Uppsala University
13:40
25m
Talk
Parallelizing Julia with a Non-invasive DSL
ECOOP Research Papers
Todd A. Anderson , Hai Liu Intel Labs, Lindsey Kuper Intel Labs, Ehsan Totoni Intel Labs, Jan Vitek Northeastern University, Tatiana Shpeisman Intel Labs
Link to publication Media Attached
14:05
25m
Talk
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
ECOOP Research Papers
Baptiste Saleil , Marc Feeley Université de Montréal
Link to publication Media Attached
14:30
25m
Talk
Compiling tree transforms to operate on packed representations
ECOOP Research Papers
Michael Vollmer Indiana University, USA, Sarah Spall Indiana University, Buddhika Chamith Indiana University, Laith Sakka , Milind Kulkarni Purdue University, Sam Tobin-Hochstadt Indiana University, Ryan R. Newton Indiana University
Link to publication Media Attached
14:55
25m
Talk
An Empirical Study on Deoptimization in the Graal Compiler
ECOOP Research Papers
Yudi Zheng University of Lugano, Lubomír Bulej Charles University, Walter Binder University of Lugano
Link to publication Media Attached
15:50 - 17:30
Calculi and SemanticsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Colin Gordon Drexel University
15:50
25m
Talk
Modelling homogeneous generative meta-programming
ECOOP Research Papers
Martin Berger , Laurence Tratt King's College London, Christian Urban King's College London
Link to publication Media Attached
16:15
25m
Talk
Mixing Metaphors: Actors as Channels and Channels as Actors
ECOOP Research Papers
Simon Fowler The University of Edinburgh, Sam Lindley University of Edinburgh, UK, Philip Wadler University of Edinburgh, UK
Link to publication Pre-print Media Attached
16:40
25m
Talk
μPuppet: A Declarative Subset of the Puppet Configuration Language
ECOOP Research Papers
Weili Fu University of Edinburgh, Roly Perera University of Edinburgh, UK / University of Glasgow, UK, Paul Anderson University of Edinburgh, James Cheney University of Edinburgh, UK
Link to publication Media Attached
17:05
25m
Talk
Strong Normalization for Dependent Object Types (DOT)
ECOOP Research Papers
Fei Wang , Tiark Rompf Purdue University
Link to publication Media Attached

Fri 23 Jun

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

09:00 - 10:00
Dahl-Nygaard Junior PrizeECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Eric Jul University of Oslo
09:00
60m
Talk
Retargeting Gradual Typing
ECOOP Invited Speakers
Ross Tate Cornell University
Media Attached
10:30 - 12:10
Types and EffectsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Philipp Haller KTH Royal Institute of Technology
10:30
25m
Talk
Relaxed Linear References for Lock-free Programming
ECOOP Research Papers
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
Link to publication Media Attached
10:55
25m
Talk
A Generic Approach to Flow-Sensitive Polymorphic Effects
ECOOP Research Papers
Colin Gordon Drexel University
Link to publication Pre-print Media Attached
11:20
25m
Talk
A Co-contextual Type Checker for Featherweight Java
ECOOP Research Papers
Edlira Kuci TU Darmstadt, Germany, Sebastian Erdweg TU Delft, Oliver Bračevac TU Darmstadt, Andi Bejleri TU Darmstadt, Germany, Mira Mezini TU Darmstadt
Link to publication Media Attached
11:45
25m
Talk
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
ECOOP Research Papers
Alceste Scalas Imperial College London, Ornela Dardha University of Glasgow, Raymond Hu Imperial College London, Nobuko Yoshida Imperial College London
Link to publication Media Attached
13:40 - 15:20
Language and Library DesignECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Sophia Drossopoulou Imperial College London
13:40
25m
Talk
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
ECOOP Research Papers
Daco Harkes Delft University of Technology, Eelco Visser Delft University of Technology
Link to publication DOI Media Attached
14:05
25m
Talk
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
ECOOP Research Papers
Jack Williams University of Edinburgh, J. Garrett Morris University of Edinburgh, UK, Philip Wadler University of Edinburgh, UK, Jakub Zalewski
Link to publication Media Attached
14:30
25m
Talk
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
ECOOP Research Papers
Weixin Zhang University of Hong Kong, Bruno C. d. S. Oliveira The University of Hong Kong
Link to publication Media Attached
14:55
25m
Talk
Data exploration through dot-driven development
ECOOP Research Papers
Tomas Petricek Alan Turing Institute
Link to publication Media Attached
15:50 - 17:05
15:50
25m
Talk
Type Abstraction for Relaxed Noninterference
ECOOP Research Papers
Raimil Cruz University of Chile, Tamara Rezk Inria, Bernard Serpette Inria, Éric Tanter University of Chile
Link to publication Media Attached
16:15
25m
Talk
EvilPickles: DoS attacks based on Object-Graph Engineering
ECOOP Research Papers
Jens Dietrich Massey University, Kamil Jezek University of West Bohemia, Pilsen, CZ, Shawn Rasheed Massey University, Amjed Tahir Massey University, Alex Potanin Victoria University of Wellington
Link to publication Pre-print Media Attached
16:40
25m
Talk
A Capability-Based Module System for Authority Control
ECOOP Research Papers
Darya Melicher Carnegie Mellon University, Yangqingwei Shi Peking University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
Link to publication

Wed 21 Jun

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

Thu 22 Jun

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

Fri 23 Jun

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