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
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

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 Article Search
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 Article Search
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 Article Search

Mathematical Foundations

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

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 Article Search
Enhancing the JTL Tool for Bidirectional Transformations
Romina Eramo, Alfonso Pierantonio, and Michele Tucci
(University of L'Aquila, Italy)
Publisher's Version Article Search

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 Article Search

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 Article Search
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 Article Search 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 Article Search
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 Article Search
Self-Hosted Scripting in Guile
Andy Wingo
(Igalia, Spain)
Publisher's Version Article Search
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 Article Search
The Inevitable Death of VMs: A Progress Report
Stephen Kell
(University of Cambridge, UK)
Publisher's Version Article Search

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 Article Search
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 Article Search

PASS 2018

Managing Hybrid Memories by Predicting Object Write Intensity
Shoaib Akram, Kathryn Mckinley, Jennifer Sartor, and Lieven Eeckhout
(Ghent University, Belgium; Google, USA; Vrije Universiteit Brussel, Belgium)
Publisher's Version Article Search
Towards Safe Modular Composition of Network Functions
Matthias Eichholz, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version Article Search
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 Universiteit, Netherlands)
Publisher's Version Article Search
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 Article Search

PX/18

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 Article Search Info
Collectors
Steven Costiou, Mickaël Kerboeuf, Alain Plantec, and Marcus Denker
(UBO, France; Inria, France)
Publisher's Version Article Search
Word Expansion Supports POSIX Shell Interactivity
Michael Greenberg
(Pomona College Claremont, USA)
Publisher's Version Article Search
Reactive Programming Experience with REScala
Ragnar Mogk, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version Article Search
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 Article Search
The Exploration Workspace: Interleaving the Implementation and Use of Plain Objects in Smalltalk
Patrick Rein and Robert Hirschfeld
(HPI, Germany)
Publisher's Version Article Search
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; University of Caen Normandy, France)
Publisher's Version Article Search
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 Article Search
Live Programming of Internet of Things in PalCom
Alfred Åkesson, Mattias Nordahl, Görel Hedin, and Boris Magnusson
(Lund University, Sweden)
Publisher's Version Article Search
A Non-tabular Spreadsheet with Broad Applicability
Pavel Bažant and Michaela Maršálková
Publisher's Version Article Search

Salon des Refuses

Files as Directories: Some Thoughts on Accessing Structured Data within Files
Raphael Wimmer
(University of Regensburg, Germany)
Publisher's Version Article Search 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 Article Search
Critique of Files as Directories: Some Thoughts on Accessing Structured Data within Files (2)
Stephen Kell
(University of Cambridge, UK)
Publisher's Version Article Search
Lector in Codigo or The Role of the Reader
Alvaro Videla
Publisher's Version Article Search
Critique of Lector in Codigo or The Role of the Reader
Luke Church
(University of Cambridge, UK)
Publisher's Version Article Search
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 Article Search
Critique of An Anatomy of Interaction: Co-occurrences and Entanglements
Tomas Petricek
(University of Kent, UK)
Publisher's Version Article Search
Semprola: A Semiotic Programming Language
Oli Sharpe
(Go Meta, UK)
Publisher's Version Article Search
Critique of Semprola: A Semiotic Programming Language
Antranig Basman
(Raising the Floor - International, UK)
Publisher's Version Article Search

Student Research Competition

Writing Safe Smart Contracts in Flint
Franklin Schrans, Susan Eisenbach, and Sophia Drossopoulou
(Imperial College London, UK)
Publisher's Version Article Search
Fine-Grained, Dynamic Access Control for Database-Backed Applications
Ezra Zigmond
(Harvard University, USA)
Publisher's Version Article Search
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 Article Search
Fully Homomorphic Encryption Scheme for Secure Computation
Alisa Gazizullina
(Innopolis University, Russia)
Publisher's Version Article Search
Safe Execution of LLVM-Based Languages on the Java Virtual Machine
Manuel Rigger
(JKU Linz, Austria)
Publisher's Version Article Search
On the Semantics of Loop Transformation Languages
Adilla Susungi
(MINES ParisTech, France)
Publisher's Version Article Search
Mining Concepts from Code using Community Detection in Co-occurrence Graphs
Toni Mattis
(University of Potsdam, Germany)
Publisher's Version Article Search
ExtendJ: Extensible Java Compiler
Jesper Öqvist
(Lund University, Sweden)
Publisher's Version Article Search
A Soup of Objects: Convenience Interfaces for Accessing Domain Objects in a Global Object Graph
Patrick Rein
(HPI, Germany)
Publisher's Version Article Search
DSL for End-User Service Composition
Alfred Åkesson
(Lund University, Sweden)
Publisher's Version Article Search
Debugging Support for Big Data Processing Applications
Matteo Marra
(Vrije Universiteit Brussel, Belgium)
Publisher's Version Article Search
Indigenizing Computer Programming for Cultural Maintenance
Jon Corbett
(University of British Columbia, Canada)
Publisher's Version Article Search

proc time: 5.76