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
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
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à
Profiling streams on the Java virtual machine. 27-30 - Juan Fumero
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
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
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
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
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
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
Wildcard: spreadsheet-driven customization of web applications. 126-135 - Amy Rae Fox, Philip J. Guo, Clemens Nylandsted Klokmose, Peter Dalsgaard
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
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
Helping software developers through live software metrics visualization. 209-210 - Emanuel Moreira, Filipe F. Correia
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.
last updated on 2024-12-16 22:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: