Powered by
Conference Publishing Consulting
2nd International Conference on the Art, Science, and Engineering of Programming (<Programming> 2018 Companion), April 9–12, 2018, Nice, France

<Programming'18> Companion – Companion Proceedings

 Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
2018 7th International Workshop on Bidirectional Transformations (Bx 2018)
2018 2nd International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2018)
2018 2nd International Workshop on Programming Technology for the Future Web (ProWeb 2018)
2018 International Workshop on Programming across the System Stack (PASS 2018)
PX/18 International Workshop on Programming Experience (PX/18)
2018 Salon des Refusés (SdR 2018)
2018 Student Research Competition
Info
Sponsors

BX 2018

Model Transformation

Confidentiality in the Process of (Model-Driven) Software Development
Michael Johnson and Perdita Stevens
(Macquarie University, Australia; University of Edinburgh, UK)
Publisher's Version
Multimodel Correspondence through Inter-model Constraints
Patrick Stünkel, Harald König, Yngve Lamo, and Adrian Rutle
(Western Norway University of Applied Sciences, Norway; University of Applied Sciences FHDW Hannover, Germany)
Publisher's Version
On the Development of Consistent User Interfaces (Extended Abstract)
Anthony Anjorin, Enes Yigitbas, Hermann Kaindl, and Roman Popp
(University of Paderborn, Germany; Vienna University of Technology, Austria)
Publisher's Version

Mathematical Foundations

Cospans and Symmetric Lenses
Michael Johnson and Robert Rosebrugh
(Macquarie University, Australia; Mount Allison University, Canada)
Publisher's Version
Understanding Profunctor Optics: A Representation Theorem (Extended Abstract)
Guillaume Boisseau
(University of Oxford, UK)
Publisher's Version

Tools and Systems

Towards a Visual Editor for Lens Combinators (Extended Abstract)
Anthony Anjorin and Hsiang-Shang Ko
(University of Paderborn, Germany; National Institute of Informatics, Japan)
Publisher's Version
Enhancing the JTL Tool for Bidirectional Transformations
Romina Eramo, Alfonso Pierantonio, and Michele Tucci
(University of L'Aquila, Italy)
Publisher's Version

Experience Report

A Lightweight Data Sharing System Based on Bidirectional Transformations
Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, and Pierre-Yves Schobbens
(University of Namur, Belgium; National Institute of Informatics, Japan)
Publisher's Version

MoreVMs 2018

Towards Practical Heterogeneous Virtual Machines
James Clarkson, Juan Fumero, Michail Papadimitriou, Maria Xekalaki, and Christos Kotselidis
(University of Manchester, UK)
Publisher's Version
Easy::Jit: Compiler Assisted Library to Enable Just-in-Time Compilation in C++ Codes
Juan Manuel Martinez Caamaño and Serge Guelton
(Quarkslab, France)
Publisher's Version Info
On the Future of Research VMs: A Hardware/Software Perspective
Foivos S. Zakkak, Andy Nisbet, John Mawer, Tim Hartley, Nikos Foutris, Orion Papadakis, Andreas Andronikakis, Iain Apreotesei, and Christos Kotselidis
(University of Manchester, UK)
Publisher's Version
Understanding Task Granularity on the JVM: Profiling, Analysis, and Optimization
Andrea Rosà, Eduardo Rosales, Filippo Schiavio, and Walter Binder
(University of Lugano, Switzerland)
Publisher's Version
Self-Hosted Scripting in Guile
Andy Wingo
(Igalia, Spain)
Publisher's Version
Sulong, and Thanks for All the Fish
Manuel Rigger, Roland Schatz, Jacob Kreindl, Christian Häubl, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Austria)
Publisher's Version
The Inevitable Death of VMs: A Progress Report
Stephen Kell
(University of Cambridge, UK)
Publisher's Version

ProWeb 2018

A Framework for Dynamic Inter-device Task Dispatch with Eventual Consistency
Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, and Sukyoung Ryu
(KAIST, South Korea; Samsung Electronics, South Korea)
Publisher's Version
Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js
Bob Reynders, Michael Greefs, Dominique Devriese, and Frank Piessens
(KU Leuven, Belgium)
Publisher's Version

PASS 2018

Managing Hybrid Memories by Predicting Object Write Intensity
Shoaib Akram, Kathryn S. McKinley, Jennifer B. Sartor, and Lieven Eeckhout
(Ghent University, Belgium; Google, USA; Vrije Universiteit Brussel, Belgium)
Publisher's Version
Towards Safe Modular Composition of Network Functions
Matthias Eichholz, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
Applying Aspect-Oriented Change Realization in the Mobile Application Domain
Sandra Kostova and Valentino Vranić
(Slovak University of Technology in Bratislava, Slovakia)
Publisher's Version
Detecting Energy Bugs and Hotspots in Control Software using Model Checking
Pascal van Gastel, Bernard van Gastel, and Marko van Eekelen
(Avans University of Applied Sciences, Netherlands; Open University, Netherlands; Radboud University Nijmegen, Netherlands)
Publisher's Version

PX/18

Attention Patterns for Code Animations: Using Eye Trackers to Evaluate Dynamic Code Presentation Techniques
Louis Spinelli, Maulishree Pandey, and Steve Oney
(University of Washington, USA; University of Michigan, USA)
Publisher's Version
Reactive Programming Experience with REScala
Ragnar Mogk, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
The Exploration Workspace: Interleaving the Implementation and Use of Plain Objects in Smalltalk
Patrick Rein and Robert Hirschfeld
(HPI, Germany)
Publisher's Version
An API and Visual Environment to Use Neural Network to Reason about Source Code
Alexandre Bergel, Paulin Melatagia, and Serge Stinckwich
(University of Chile, Chile; University of Yaoundé, Cameroon; Sorbonne University, France)
Publisher's Version
Live Programming of Internet of Things in PalCom
Alfred Åkesson, Mattias Nordahl, Görel Hedin, and Boris Magnusson
(Lund University, Sweden)
Publisher's Version
Do Java Programmers Write Better Python? Studying Off-Language Code Quality on GitHub
Siegfried Horschig, Toni Mattis, and Robert Hirschfeld
(HPI, Germany)
Publisher's Version
Few Versatile vs. Many Specialized Collections: How to Design a Collection Library for Exploratory Programming?
Stefan Marr and Benoit Daloze
(University of Kent, UK; JKU Linz, Austria)
Publisher's Version Info
Collectors
Steven Costiou, Mickaël Kerboeuf, Alain Plantec, and Marcus Denker
(CNRS, France; University of Brest, France; Inria, France; University of Lille, France)
Publisher's Version
Word Expansion Supports POSIX Shell Interactivity
Michael Greenberg
(Pomona College Claremont, USA)
Publisher's Version
A Non-tabular Spreadsheet with Broad Applicability
Pavel Bažant and Michaela Maršálková
Publisher's Version

Salon des Refusés

Files as Directories: Some Thoughts on Accessing Structured Data within Files
Raphael Wimmer
(University of Regensburg, Germany)
Publisher's Version Info
Critique of ‘Files as Directories: Some Thoughts on Accessing Structured Data within Files’ (1)
Philip Tchernavskij
(University of Paris-Sud, France)
Publisher's Version
Critique of ‘Files as Directories: Some Thoughts on Accessing Structured Data within Files’ (2)
Stephen Kell
(University of Cambridge, UK)
Publisher's Version
Lector in Codigo or The Role of the Reader
Alvaro Videla
(Durazno, Uruguay)
Publisher's Version
Critique of ‘Lector in Codigo or The Role of the Reader’
Luke Church
(University of Cambridge, UK)
Publisher's Version
An Anatomy of Interaction: Co-occurrences and Entanglements
Antranig Basman, Philip Tchernavskij, Simon Bates, and Michel Beaudouin-Lafon
(Raising the Floor - International, UK; University of Paris-Sud, France; OCAD University, Canada)
Publisher's Version
Critique of ‘An Anatomy of Interaction: Co-occurrences and Entanglements’
Tomas Petricek
(University of Kent, UK)
Publisher's Version
Semprola: A Semiotic Programming Language
Oli Sharpe
(Go Meta, UK)
Publisher's Version
Critique of ‘Semprola: A Semiotic Programming Language’
Antranig Basman
(Raising the Floor - International, UK)
Publisher's Version

Student Research Competition

Undergraduate Category

Writing Safe Smart Contracts in Flint
Franklin Schrans, Susan Eisenbach, and Sophia Drossopoulou
(Imperial College London, UK)
Publisher's Version
Fine-Grained, Dynamic Access Control for Database-Backed Applications
Ezra Zigmond
(Harvard University, USA)
Publisher's Version
Towards an Intelligent Fault Prediction Code Editor to Improve Software Quality using Deep Learning
Vasu Jindal
(University of Texas at Dallas, USA)
Publisher's Version
Fully Homomorphic Encryption Scheme for Secure Computation
Alisa Gazizullina
(Innopolis University, Russia)
Publisher's Version

Graduate Category

Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine
Manuel Rigger
(JKU Linz, Austria)
Publisher's Version
On the Semantics of Loop Transformation Languages
Adilla Susungi
(MINES ParisTech, France)
Publisher's Version
Mining Concepts from Code using Community Detection in Co-occurrence Graphs
Toni Mattis
(HPI, Germany)
Publisher's Version
ExtendJ: Extensible Java Compiler
Jesper Öqvist
(Lund University, Sweden)
Publisher's Version
A Soup of Objects: Convenience Interfaces for Accessing Domain Objects in a Global Object Graph
Patrick Rein
(HPI, Germany)
Publisher's Version
DSL for End-User Service Composition
Alfred Åkesson
(Lund University, Sweden)
Publisher's Version
Debugging Support for Big Data Processing Applications
Matteo Marra
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
Indigenizing Computer Programming for Cultural Maintenance
Jon M. R. Corbett
(University of British Columbia, Canada)
Publisher's Version

proc time: 8.06