Stop the war!
Остановите войну!
for scientists:
default search action
Programming 2019: Genova, Italy
- Stefan Marr, Walter Cazzola:
Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019. ACM 2019, ISBN 978-1-4503-6257-3
1st interconnecting code workshop (ICW'19)
- Fabio Niephaus, Tim Felgentreff, Robert Hirschfeld:
Towards polyglot adapters for the GraalVM. 1:1-1:3 - Nicolas Brousse:
The issue of monorepo and polyrepo in large enterprises. 2:1-2:4 - Boris Magnusson, Björn A. Johnsson, Görel Hedin:
Factoring out glue-code in systems of IoT devices: the PalCom architecture model. 3:1-3:4 - Björn A. Johnsson, Boris Magnusson:
Live GUI development for service-based systems. 4:1-4:4
3rd workshop on modern language runtimes, ecosystems, and VMs (MoreVMs'19)
- Yusuke Izawa, Hidehiko Masuhara, Tomoyuki Aotani:
Extending a meta-tracing compiler to mix method and tracing compilation. 5:1-5:3 - Fabio Niephaus, Tim Felgentreff, Tobias Pape, Robert Hirschfeld:
Efficient implementation of Smalltalk activation records in language implementation frameworks. 6:1-6:3 - Eduardo Rosales, Andrea Rosà, Walter Binder:
Optimization coaching for fork/join applications on the Java virtual machine. 7:1-7:3 - Shoaib Akram:
To expose, or not to expose, hardware heterogeneity to runtimes. 8:1-8:2 - Hernán Wilkinson:
VM support for live typing: automatic type annotation for dynamically typed languages. 9:1-9:3 - Jeanine Miller Adkisson, Johannes Westlund, Hidehiko Masuhara:
A shell-like model for general purpose programming. 10:1-10:7 - Anthony Canino, Yu David Liu:
Toward a language design for energy prediction. 11:1-11:5 - Aditya Oak, Mira Mezini, Guido Salvaneschi:
Language support for multiple privacy enhancing technologies. 12:1-12:2
3rd international workshop on programming technology for the future web (ProWeb'19)
- Andrea Stocco:
How artificial intelligence can improve web development and testing. 13:1-13:4 - Andrea Valenza:
Web security training [at] UniGe: an experience. 14:1-14:6 - Maura Cerioli, Marina Ribaudo:
Civic participation powered by ethereum: a proposal. 15:1-15:6 - Junao Wu, Arek Mikolajczak, James Cheney:
TryLinks: an interactive tutorial system for a cross-tier web programming language. 16:1-16:6 - Maurizio Leotta, Vincenzo Petito, Luca Gelati, Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi:
Orchestrated crowdsourced testing of a mobile web application: a case study. 17:1-17:6 - Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli:
GUI testing in production: challenges and opportunities. 18:1-18:3
Proceedings of the programming experience 2019 workshop (PX/19)
- Christopher Schuster, Cormac Flanagan:
IDVE: an integrated development and verification environment for JavaScript. 19:1-19:16 - Matús Sulír, Ján Juhár:
Draw this object: a study of debugging representations. 20:1-20:11 - Toni Mattis, Falco Dürsch, Robert Hirschfeld:
Faster feedback through lexical test prioritization. 21:1-21:10 - Ademar Aguiar, André Restivo, Filipe Figueiredo Correia, Hugo Sereno Ferreira, João Pedro Dias:
Live software development: tightening the feedback loops. 22:1-22:6 - Johan Fabry:
The meager validation of live programming. 23:1-23:6 - Fabio Niephaus, Eva Krebs, Christian Flach, Jens Lincke, Robert Hirschfeld:
PolyJuS: a Squeak/Smalltalk-based polyglot notebook system for the GraalVM. 24:1-24:6 - Toyomi Ishida, Hidetake Uwano:
Time series analysis of programmer's EEG for debug state classification. 25:1-25:7 - Luke Church, Mariana Marasoiu:
What can we learn from systems? 26:1-26:2
<Programming> 2019 ACM student research competition
- Francesco Dagnino:
A framework for big-step semantics. 27:1-27:3 - Luca Franceschini:
RML: runtime monitoring language: a system-agnostic DSL for runtime verification. 28:1-28:3 - Manuel Leuenberger:
Exploring example-driven migration. 29:1-29:3 - Patrick Rein:
Reading logic as code or as natural language text: a randomized controlled trial experiment on the comprehensibility of object-oriented source code in comparison to natural language text. 30:1-30:3 - Dario Olianas:
Automatic test case generation from UML state machine diagrams. 31:1-31:2 - Yusuke Izawa:
BacCaml: the meta-hybrid just-in-time compiler. 32:1-32:3 - Jeanine Miller Adkisson:
Magritte: a modern shell language. 33:1-33:2 - Francesco Rossini:
Cantor pairing in a reversible programming language. 34:1-34:2
3rd salon des refusés workshop (SdR '19)
- Tobias Pape, Tim Felgentreff, Fabio Niephaus, Robert Hirschfeld:
Let them fail: towards VM built-in behavior that falls back to the program. 35:1-35:7 - Antranig Basman:
Critique of 'let them fail: towards VM built-in behavior that falls back to the program'. 36:1-36:3 - Mariana Marasoiu, Luke Church:
Computing beyond pencils. 37:1-37:3 - Clayton Lewis:
Reflections on computing beyond pencils. 38:1-38:2 - Clayton Lewis:
Why can't programming be like sketching? 39:1-39:6 - Luke Church:
Sketching a different programming: (reflections on why can't programming be like sketching?). 40:1
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.