


default search action
Programming 2020: Porto, Portugal
- Ademar Aguiar, Shigeru Chiba, Elisa Gonzalez Boix

:
Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020. ACM 2020, ISBN 978-1-4503-7507-8
1st International Workshop on ENgineering Intelligent Applications' Code (ENIAC 2020)
- Toni Mattis, Patrick Rein

, Robert Hirschfeld:
Three trillion lines: infrastructure for mining GitHub in the classroom. 1-6 - Lars Reimann

, Günter Kniesel-Wünsche:
Achieving guidance in applied machine learning through software engineering techniques. 7-12
2nd International Workshop on Interconnecting Code (ICW 2020)
- Dimitri Racordon

, Didier Buchs:
LogicKit: bringing logic programming to swift. 13-16 - Brigitte Boden, Robert Mischke, Alexander Weinert

, Andreas Schreiber
:
Supporting the composition of domain-specific software via task-specific roles. 17-18 - Alexander Riese, Fabio Niephaus, Tim Felgentreff, Robert Hirschfeld:

User-defined interface mappings for the GraalVM. 19-22
4th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2020)
- Ting Wang, Michihiro Horie, Kazunori Ogata, Hao Chen Gui, Xiao Ping Guo, Yang Liu:

Enhancement of OpenJDK biased locking for infrequent lock contention. 23-26 - Eduardo Eduardo Rosales Rosero, Andrea Rosà

, Walter Binder
:
Profiling streams on the Java virtual machine. 27-30 - Juan Fumero

, Athanasios Stratikopoulos, Christos Kotselidis
:
Running parallel bytecode interpreters on heterogeneous hardware. 31-35 - Javier Cabrera-Arteaga, Shrinish Donde, Jian Gu, Orestis Floros, Lucas Satabin, Benoit Baudry, Martin Monperrus

:
Superoptimization of WebAssembly bytecode. 36-40 - Johannes Henning, Tim Felgentreff, Fabio Niephaus, Robert Hirschfeld:

Toward presizing and pretransitioning strategies for GraalPython. 41-45 - Filippo Schiavio

, Daniele Bonetta, Walter Binder
:
Towards dynamic SQL compilation in Apache Spark. 46-49
1st International Workshop on New Interfaces for Programming (NIP 2020)
- Alejandra Cossio Chavalier, Juan Pablo Sandoval Alcocer

, Alexandre Bergel:
Assessing textual source code comparison: split or unified? 50-54 - Nitish Patkar, Leonel Merino, Oscar Nierstrasz:

Towards requirements engineering with immersive augmented reality. 55-60 - Elke Franziska Heidmann, Annika Meinecke, Lynn von Kurnatowski, Andreas Schreiber

:
Towards visualization of evolution of component-based software architectures in VR. 61-64 - Ingo Börsting

, Volker Gruhn:
Towards efficient interdisciplinary authoring of industrial augmented reality applications. 65-68 - Renata Castelo-Branco, António Leitão, Catarina Brás

:
Program comprehension for live algorithmic design in virtual reality. 69-76
4th International Workshop on Programming Technology for the Future Web (ProWeb 2020)
- Danny M. Groenewegen

, Elmer van Chastelet, Eelco Visser:
Evolution of the WebDSL runtime: reliability engineering of the WebDSL web programming language. 77-83 - Adam Granicz, Jozsef Uri, Andras Janko:

Synthesizing user interfaces using functional reactive web abstractions. 84-89
6th International Workshop on Programming Experience (PX/20)
- Steven L. Tanimoto:

Multiagent live programming systems: models and prospects for critical applications. 90-96 - Tijs van der Storm, Geor Bakker:

MATLAB doesn't love me: an essay. 97-101 - Tao Dong, Gale Yang:

Towards a pattern language for interactive coding tutorials. 102-105 - Jan Ehmueller, Alexander Riese, Hendrik Tjabben, Fabio Niephaus, Robert Hirschfeld:

Polyglot code finder. 106-112 - Tom Beckmann, Stefan Ramson

, Patrick Rein
, Robert Hirschfeld:
Visual design for a tree-oriented projectional editor. 113-119 - André L. Santos

:
Javardise: a structured code editor for programming pedagogy in Java. 120-125
Convivial Computing Salon (Salon 2020)
- Geoffrey Litt

, Daniel Jackson:
Wildcard: spreadsheet-driven customization of web applications. 126-135 - Amy Rae Fox, Philip J. Guo, Clemens Nylandsted Klokmose, Peter Dalsgaard

, Arvind Satyanarayan
, Haijun Xia, James D. Hollan:
Towards a dynamic multiscale personal information space: beyond application and document centered views of information. 136-143 - Stephen Kell:

Convivial design heuristics for software systems. 144-148 - Jun Kato

, Keisuke Shimakage:
Rethinking programming "environment": technical and social environment design toward convivial computing. 149-157 - Jonathan Skjøtt

:
Spreadsheets as notational environment for paper weaving. 158-162 - Marcel Weiher:

Can programmers escape the gentle tyranny of call/return? 163-172 - Kartik Agaram:

Bicycles for the mind have to be see-through. 173-186 - Antranig Basman, Philip Tchernavskij

:
Escaping the prison of style. 187-196 - Joel Jakubovic:

What it takes to create with domain-appropriate tools: reflections on implementing the "id" system. 197-207 - Max Krieger

:
Chatting with glue: cognitive tools for augmented conversation. 208
2020 Posters
- Sara Fernandes, André Restivo

, Hugo Sereno Ferreira
, Ademar Aguiar
:
Helping software developers through live software metrics visualization. 209-210 - Emanuel Moreira, Filipe F. Correia

, João Bispo:
Overviewing the liveness of refactoring for energy efficiency. 211-212
2020 Student Research Competition
- Philippe D. Misteli:

Towards language-parametric refactorings. 213-214 - Tom Beckmann:

Efficient editing in a tree-oriented projectional editor. 215-216 - Renata Castelo-Branco:

ReAD: representational algorithmic design. 217-218 - Damien Morard:

A formalism to model higher-order function. 219-220 - Aurélien Coet:

An annotation system for specifying aliasing invariants on object fields. 221-222 - Satoshi Egi:

Pattern-match-oriented proof writing language. 223-224 - Jack Armitage:

An experimental audio-tactile interface for sculpting digital resonance models using modelling clay. 225-226 - Myroslava Romaniuk:

N-gram models for code completion in Pharo. 227-228

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














