Accepted papers

Sun 18 - Fri 23 June 2017 Barcelona, Spain

co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

This is the list of papers accepted in the conference. Congratulations to all the authors! And thanks to the reviewers!

	Title
	A Capability-Based Module System for Authority Control Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich
	A Co-contextual Type Checker for Featherweight Java Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
	A Generic Approach to Flow-Sensitive Polymorphic Effects Colin Gordon
	A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
	An Empirical Study on Deoptimization in the Graal Compiler Yudi Zheng, Lubomír Bulej, Walter Binder
	Compiling tree transforms to operate on packed representations Michael Vollmer, Sarah Spall, Buddhika Chamith, laith sakka, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan R. Newton
	Concurrent Data Structures Linked in Time Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
	Contracts in the Wild: A Study of Java Programs Jens Dietrich, David Pearce, Kamil Jezek, Premek Brada
	Data exploration through dot-driven development Tomas Petricek
	EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse Weixin Zhang, Bruno C. d. S. Oliveira
	EvilPickles: DoS attacks based on Object-Graph Engineering Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin
	IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition Daco Harkes, Eelco Visser
	Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis Baptiste Saleil, Marc Feeley
	Mailbox Abstractions for Static Analysis of Actor Programs Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
	Mixed Messages: Measuring Conformance and Non-Interference in TypeScript Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
	Mixing Metaphors: Actors as Channels and Channels as Actors Simon Fowler, Sam Lindley, Philip Wadler
	Modelling homogeneous generative meta-programming Martin Berger, Laurence Tratt
	Parallelizing Julia with a Non-invasive DSL Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
	Proactive Synthesis of Recursive Tree-to-String Functions from Examples Mikaël Mayer, Jad Hamza, Viktor Kuncak
	Promising Compilation to ARMv8 Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
	Relaxed Linear References for Lock-free Programming Elias Castegren, Tobias Wrigstad
	Speeding Up Maximal Causality Reduction with Static Dependency Analysis Shiyou Huang, Jeff Huang
	Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis
	Strong Normalization for Dependent Object Types (DOT) Fei Wang, Tiark Rompf
	Type Abstraction for Relaxed Noninterference Raimil Cruz, Tamara Rezk, Bernard Serpette, Éric Tanter
	What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective Jeff Huang, Arun Krishnakumar Rajagopalan
	μPuppet: A Declarative Subset of the Puppet Configuration Language Weili Fu, Roly Perera, Paul Anderson, James Cheney

Tracks

Workshops