Frontmatter

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: prog18bx-id13-p (type: Full Paper (10 pages)) doi:10.1145/3191697.3191714

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: prog18bx-id14-p (type: Full Paper (10 pages)) doi:10.1145/3191697.3191715

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: prog18bx-id10-p (type: Extended Abstract (3 pages)) doi:10.1145/3191697.3191716

Mathematical Foundations

Cospans and Symmetric Lenses
Michael Johnson and Robert Rosebrugh
(Macquarie University, Australia; Mount Allison University, Canada)

Publisher's Version Article: prog18bx-id12-p (type: Full Paper (10 pages)) doi:10.1145/3191697.3191717

Understanding Profunctor Optics: A Representation Theorem (Extended Abstract)
Guillaume Boisseau
(University of Oxford, UK)

Publisher's Version Article: prog18bx-id16-p (type: Extended Abstract (3 pages)) doi:10.1145/3191697.3191718

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: prog18bx-id9-p (type: Extended Abstract (3 pages)) doi:10.1145/3191697.3191719

Enhancing the JTL Tool for Bidirectional Transformations
Romina Eramo, Alfonso Pierantonio, and Michele Tucci
(University of L'Aquila, Italy)

Publisher's Version Article: prog18bx-id15-p (type: Full Paper (Tool Paper 6 pages)) doi:10.1145/3191697.3191720

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: prog18bx-id17-p (type: Short Paper (Experience Report 4 pages)) doi:10.1145/3191697.3191722

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: prog18morevms-id12-p (type: Extended Abstract (2 pages, excl. references)) doi:10.1145/3191697.3191730

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: prog18morevms-id5-p (type: Extended Abstract (2 pages, excl. references)) doi:10.1145/3191697.3191725

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: prog18morevms-id11-p (type: Extended Abstract (2 pages, excl. references)) doi:10.1145/3191697.3191729

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: prog18morevms-id2-p (type: Extended Abstract (2 pages, excl. references)) doi:10.1145/3191697.3191724

Self-Hosted Scripting in Guile
Andy Wingo
(Igalia, Spain)

Publisher's Version Article: prog18morevms-id7-p (type: Extended Abstract (2 pages, excl. references)) doi:10.1145/3191697.3191727

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: prog18morevms-id6-p (type: Extended Abstract (2 pages, excl. references)) doi:10.1145/3191697.3191726

The Inevitable Death of VMs: A Progress Report
Stephen Kell
(University of Cambridge, UK)

Publisher's Version Article: prog18morevms-id9-p (type: Extended Abstract (2 pages, excl. references)) doi:10.1145/3191697.3191728

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: prog18proweb-id11-p (type: Full Paper (Technical Paper, 6 pages)) doi:10.1145/3191697.3191732

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: prog18proweb-id10-p (type: Full Paper (Technical Paper, 6 pages)) doi:10.1145/3191697.3191731

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 Article: prog18pass-id1-p (type: Full Paper (6 pages)) doi:10.1145/3191697.3213803

Towards Safe Modular Composition of Network Functions
Matthias Eichholz, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)

Publisher's Version Article: prog18pass-id3-p (type: Full Paper (6 pages)) doi:10.1145/3191697.3213804

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: prog18pass-id2-p (type: Full Paper (6 pages)) doi:10.1145/3191697.3213806

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 Article: prog18pass-id4-p (type: Full Paper (6 pages)) doi:10.1145/3191697.3213805

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 Article: prog18px-px007-p (type: Full Paper) doi:10.1145/3191697.3214338

Reactive Programming Experience with REScala
Ragnar Mogk, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)

Publisher's Version Article: prog18px-px006-p (type: Full Paper) doi:10.1145/3191697.3214337

The Exploration Workspace: Interleaving the Implementation and Use of Plain Objects in Smalltalk
Patrick Rein and Robert Hirschfeld
(HPI, Germany)

Publisher's Version Article: prog18px-px009-p (type: Full Paper) doi:10.1145/3191697.3214339

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 Article: prog18px-px010-p (type: Full Paper) doi:10.1145/3191697.3214340

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: prog18px-px012-p (type: Full Paper) doi:10.1145/3191697.3214342

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: prog18px-px011-p (type: Full Paper) doi:10.1145/3191697.3214341

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: prog18px-px003-p (type: Full Paper) doi:10.1145/3191697.3214334

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 Article: prog18px-px004-p (type: Full Paper) doi:10.1145/3191697.3214335

Word Expansion Supports POSIX Shell Interactivity
Michael Greenberg
(Pomona College Claremont, USA)

Publisher's Version Article: prog18px-px005-p (type: Full Paper) doi:10.1145/3191697.3214336

A Non-tabular Spreadsheet with Broad Applicability
Pavel Bažant and Michaela Maršálková

Publisher's Version Article: prog18px-px013-p (type: Full Paper) doi:10.1145/3191697.3214343

Salon des Refusés

Files as Directories: Some Thoughts on Accessing Structured Data within Files
Raphael Wimmer
(University of Regensburg, Germany)

Publisher's Version Article: prog18sdr-p1-p (type: Full Paper) doi:10.1145/3191697.3214323

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: prog18sdr-p2-p (type: Full Paper (Paper Critique)) doi:10.1145/3191697.3214324

Critique of ‘Files as Directories: Some Thoughts on Accessing Structured Data within Files’ (2)
Stephen Kell
(University of Cambridge, UK)

Publisher's Version Article: prog18sdr-p3-p (type: Full Paper (Paper Critique)) doi:10.1145/3191697.3214325

Lector in Codigo or The Role of the Reader
Alvaro Videla
(Durazno, Uruguay)

Publisher's Version Article: prog18sdr-p4-p (type: Full Paper) doi:10.1145/3191697.3214326

Critique of ‘Lector in Codigo or The Role of the Reader’
Luke Church
(University of Cambridge, UK)

Publisher's Version Article: prog18sdr-p5-p (type: Full Paper (Paper Critique)) doi:10.1145/3191697.3214327

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: prog18sdr-p6-p (type: Full Paper) doi:10.1145/3191697.3214328

Critique of ‘An Anatomy of Interaction: Co-occurrences and Entanglements’
Tomas Petricek
(University of Kent, UK)

Publisher's Version Article: prog18sdr-p7-p (type: Full Paper (Paper Critique)) doi:10.1145/3191697.3214329

Semprola: A Semiotic Programming Language
Oli Sharpe
(Go Meta, UK)

Publisher's Version Article: prog18sdr-p8-p (type: Full Paper) doi:10.1145/3191697.3214330

Critique of ‘Semprola: A Semiotic Programming Language’
Antranig Basman
(Raising the Floor - International, UK)

Publisher's Version Article: prog18sdr-p9-p (type: Full Paper (Paper Critique)) doi:10.1145/3191697.3214331

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 Article: prog18src-p01-p (type: Extended Abstract) doi:10.1145/3191697.3213790

Fine-Grained, Dynamic Access Control for Database-Backed Applications
Ezra Zigmond
(Harvard University, USA)

Publisher's Version Article: prog18src-p02-p (type: Extended Abstract) doi:10.1145/3191697.3213791

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: prog18src-p04-p (type: Extended Abstract) doi:10.1145/3191697.3213793

Fully Homomorphic Encryption Scheme for Secure Computation
Alisa Gazizullina
(Innopolis University, Russia)

Publisher's Version Article: prog18src-p05-p (type: Extended Abstract) doi:10.1145/3191697.3213794

Graduate Category

Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine
Manuel Rigger
(JKU Linz, Austria)

Publisher's Version Article: prog18src-p06-p (type: Extended Abstract) doi:10.1145/3191697.3213795

On the Semantics of Loop Transformation Languages
Adilla Susungi
(MINES ParisTech, France)

Publisher's Version Article: prog18src-p07-p (type: Extended Abstract) doi:10.1145/3191697.3213796

Mining Concepts from Code using Community Detection in Co-occurrence Graphs
Toni Mattis
(HPI, Germany)

Publisher's Version Article: prog18src-p08-p (type: Extended Abstract) doi:10.1145/3191697.3213797

ExtendJ: Extensible Java Compiler
Jesper Öqvist
(Lund University, Sweden)

Publisher's Version Article: prog18src-p09-p (type: Extended Abstract) doi:10.1145/3191697.3213798

A Soup of Objects: Convenience Interfaces for Accessing Domain Objects in a Global Object Graph
Patrick Rein
(HPI, Germany)

Publisher's Version Article: prog18src-p10-p (type: Extended Abstract) doi:10.1145/3191697.3213799

DSL for End-User Service Composition
Alfred Åkesson
(Lund University, Sweden)

Publisher's Version Article: prog18src-p11-p (type: Extended Abstract) doi:10.1145/3191697.3213800

Debugging Support for Big Data Processing Applications
Matteo Marra
(Vrije Universiteit Brussel, Belgium)

Publisher's Version Article: prog18src-p12-p (type: Extended Abstract) doi:10.1145/3191697.3213801

Indigenizing Computer Programming for Cultural Maintenance
Jon M. R. Corbett
(University of British Columbia, Canada)

Publisher's Version Article: prog18src-p13-p (type: Extended Abstract) doi:10.1145/3191697.3213802

proc time: 0.09