default search action
Programming 2018: Nice, France
- Stefan Marr, Jennifer B. Sartor:
Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018. ACM 2018
Model Transformation
- Michael Johnson, Perdita Stevens:
Confidentiality in the process of (model-driven) software development. 1-8 - Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle:
Multimodel correspondence through inter-model constraints. 9-17 - Anthony Anjorin, Enes Yigitbas, Hermann Kaindl, Roman Popp:
On the development of consistent user interfaces (extended abstract). 18-20
Mathematical Foundations
- Michael Johnson, Robert D. Rosebrugh:
Cospans and symmetric lenses. 21-29 - Guillaume Boisseau:
Understanding profunctor optics: a representation theorem (extended abstract). 30-32
Tools and Systems
- Anthony Anjorin, Hsiang-Shang Ko:
Towards a visual editor for lens combinators (extended abstract). 33-35 - Romina Eramo, Alfonso Pierantonio, Michele Tucci:
Enhancing the JTL tool for bidirectional transformations. 36-41
Experience Report
- Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens:
A lightweight data sharing system based on bidirectional transformations. 42-45
MoreVMs 2018
- James Clarkson, Juan Fumero, Michail Papadimitriou, Maria Xekalaki, Christos Kotselidis:
Towards practical heterogeneous virtual machines. 46-48 - Juan Manuel Martinez Caamaño, Serge Guelton:
Easy: : Jit: compiler assisted library to enable just-in-time compilation in C++ codes. 49-50 - Foivos S. Zakkak, Andy Nisbet, John Mawer, Tim Hartley, Nikos Foutris, Orion Papadakis, Andreas Andronikakis, Iain Apreotesei, Christos Kotselidis:
On the future of research VMs: a hardware/software perspective. 51-53 - Andrea Rosà, Eduardo Rosales, Filippo Schiavio, Walter Binder:
Understanding task granularity on the JVM: profiling, analysis, and optimization. 54-56 - Andy Wingo:
Self-hosted scripting in guile. 57 - Manuel Rigger, Roland Schatz, Jacob Kreindl, Christian Häubl, Hanspeter Mössenböck:
Sulong, and thanks for all the fish. 58-60 - Stephen Kell:
The inevitable death of VMs: a progress report. 61-62
ProWeb 2018
- Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, Sukyoung Ryu:
A framework for dynamic inter-device task dispatch with eventual consistency. 63-68 - Bob Reynders, Michael Greefs, Dominique Devriese, Frank Piessens:
Scalagna 0.1: towards multi-tier programming with Scala and Scala.js. 69-74
PASS 2018
- Shoaib Akram, Kathryn S. McKinley, Jennifer B. Sartor, Lieven Eeckhout:
Managing hybrid memories by predicting object write intensity. 75-80 - Matthias Eichholz, Guido Salvaneschi, Mira Mezini:
Towards safe modular composition of network functions. 81-86 - Sandra Kostova, Valentino Vranic:
Applying aspect-oriented change realization in the mobile application domain. 87-92 - Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen:
Detecting energy bugs and hotspots in control software using model checking. 93-98
PX/18
- Louis Spinelli, Maulishree Pandey, Steve Oney:
Attention patterns for code animations: using eye trackers to evaluate dynamic code presentation techniques. 99-104 - Ragnar Mogk, Guido Salvaneschi, Mira Mezini:
Reactive programming experience with REScala. 105-112 - Patrick Rein, Robert Hirschfeld:
The exploration workspace: interleaving the implementation and use of plain objects in smalltalk. 113-116 - Alexandre Bergel, Paulin Melatagia, Serge Stinckwich:
An API and visual environment to use neural network to reason about source code. 117-120 - Alfred Åkesson, Mattias Nordahl, Görel Hedin, Boris Magnusson:
Live programming of internet of things in PalCom. 121-126 - Siegfried Horschig, Toni Mattis, Robert Hirschfeld:
Do Java programmers write better Python? Studying off-language code quality on GitHub. 127-134 - Stefan Marr, Benoit Daloze:
Few versatile vs. many specialized collections: how to design a collection library for exploratory programming? 135-143 - Steven Costiou, Mickaël Kerboeuf, Alain Plantec, Marcus Denker:
Collectors. 144-152 - Michael Greenberg:
Word expansion supports POSIX shell interactivity. 153-160 - Pavel Bazant, Michaela Marsálková:
A non-tabular spreadsheet with broad applicability. 161-165
Salon des Refusés
- Raphael Wimmer:
Files as directories: some thoughts on accessing structured data within files. 166-170 - Stephen Kell:
Critique of 'files as directories: some thoughts on accessing structured data within files' (2). 175-179 - Alvaro Videla:
Lector in Codigo or the role of the reader. 180-186 - Luke Church:
Critique of 'lector in Codigo or the role of the reader'. 187 - Antranig Basman, Philip Tchernavskij, Simon Bates, Michel Beaudouin-Lafon:
An anatomy of interaction: co-occurrences and entanglements. 188-196 - Tomas Petricek:
Critique of 'an anatomy of interaction: co-occurrences and entanglements'. 197-201 - Oli Sharpe:
Semprola: a semiotic programming language. 202-213 - Antranig Basman:
Critique of 'Semprola: a semiotic programming language'. 214-217
Undergraduate Category
- Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou:
Writing safe smart contracts in Flint. 218-219 - Ezra Zigmond:
Fine-grained, dynamic access control for database-backed applications. 220-221 - Vasu Jindal:
Towards an intelligent fault prediction code editor to improve software quality using deep learning. 222-223 - Alisa Gazizullina:
Fully homomorphic encryption scheme for secure computation. 224-226
Graduate Category
- Manuel Rigger:
Sandboxed execution of C and other unsafe languages on the Java virtual machine. 227-229 - Adilla Susungi:
On the semantics of loop transformation languages. 230-231 - Toni Mattis:
Mining concepts from code using community detection in co-occurrence graphs. 232-233 - Jesper Öqvist:
ExtendJ: extensible Java compiler. 234-235 - Patrick Rein:
A soup of objects: convenience interfaces for accessing domain objects in a global object graph. 236-238 - Alfred Åkesson:
DSL for end-user service composition. 239-240 - Matteo Marra:
Debugging support for big data processing applications. 241-242 - Jon M. R. Corbett:
Indigenizing computer programming for cultural maintenance. 243-244
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.