researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
Filter by Tag
OR
AND
NOT
1
WebDSL
Filter by Author
[+]
OR
AND
NOT
1
Antranig Basman
Christos Kotselidis
Elisa Gonzalez Boix
Emma Söderberg
Eva Krebs
Fabio Niephaus
Harumi Watanabe
Hidehiko Masuhara
Kenji Hisazumi
Luke Church
Marcel Taeumel
Martin C. Rinard
Nobuhiko Ogura
Patrick Rein
Philip Tchernavskij
Robert Hirschfeld
Steven L. Tanimoto
Tim Felgentreff
Tom Beckmann
Toni Mattis
Filter by Top terms
[+]
OR
AND
NOT
1
abstract
applications
art
code
conference
debugging
design
engineering
experience
international
keynote
language
live
programming
quantum
science
software
systems
towards
web
Programming (Programming)
Editions
Publications
Viewing Publication 1 - 100 from 299
2026
Companion Proceedings of the 10th International Conference on the Art, Science, and Engineering of Programming, ‹Programming› Companion 2026, MunichGermany, March 16-20, 2026
Dirk Beyer 0001
, editor,
ACM,
2026.
[doi]
Towards Least-Privilege WebAssembly Applications: Transparent Interposition for WebAssembly Components
Olav Blaak
,
Tom Van Cutsem
.
Programming 2026
:
14-17
[doi]
The Promise of Static Profiling: Exploring the Limits
Milan Cugurovic
,
Aleksandar Prokopec
,
Boris Spasojevic
,
Vojin Jovanovic
,
Milena Vujosevic-Janicic
.
Programming 2026
:
4-8
[doi]
Towards Transferring Text Comprehension Techniques to Program Comprehension
Teresa Dreyer
,
Joel Michel
,
Christoph Bockisch
.
Programming 2026
:
18-25
[doi]
PhysiCode Builder: A Framework for Rapid Prototyping of Tangible Programming Toolkits
Hina Hiratsuka
,
Kenji Hisazumi
.
Programming 2026
:
39-50
[doi]
Value Support in the qBeta Language
Ole Lehrmann Madsen
,
Birger Møller-Pedersen
.
Programming 2026
:
93-103
[doi]
Liveness in the Age of Agents: Are We Back to Compile-and-Run Cycles?
Toni Mattis
,
Marcel Taeumel
,
Lukas Böhme
,
Robert Hirschfeld
.
Programming 2026
:
71-77
[doi]
Vexa: Automated Configuration-to-Code Generation for On-Demand State Management in Vue.js Applications
Yizhi Mei
,
Tetsuo Kamina
.
Programming 2026
:
26-38
[doi]
A Logical Foundation for Type-Safe Cross-Language Interoperability (Keynote)
Brigitte Pientka
.
Programming 2026
:
1-2
[doi]
Code Layout Optimization Guided by Temporal Profiling Information
Marko Spasic
,
Miloje Joksimovic
,
Peter Hofer
,
Milena Vujosevic-Janicic
.
Programming 2026
:
9-13
[doi]
Literate Exploratory Programming for Asynchronous Collaboration
Christoph Thiede
,
Tom Beckmann
,
Marcel Taeumel
,
Robert Hirschfeld
.
Programming 2026
:
51-61
[doi]
A Behavior-Centric Programming Framework for Drone Systems with Digital Twin Backends
Ryota Uesugi
,
Nobuhiko Ogura
,
Kenji Hisazumi
,
Harumi Watanabe
.
Programming 2026
:
62-70
[doi]
The Art, Science, and Craftsmanship of Typography (Keynote)
Didier Verna
.
Programming 2026
:
3
[doi]
Comparing Large Language Models and Traditional Clone Detection Tools for Intra- and Cross-Language Code Clone Detection
Luka Vrankovic
,
Gordana Rakic
.
Programming 2026
:
86-92
[doi]
A Tool for Transforming the Type of a Container in C++ Code
Ábel Szauter
,
Norbert Pataki
.
Programming 2026
:
78-85
[doi]
2025
Front Matter, Table of Contents, Preface, Conference Organization
Programming 2025
:
[doi]
Encouraging Experimentation Through Programming by Proximity
Tom Beckmann
,
Leonard Geier
,
Stefan Ramson
,
Marcel Taeumel
,
Robert Hirschfeld
.
Programming 2025
:
[doi]
Exploration and Complexity Management in Graph-Based Programming Environments
Max Boksem
,
L. Thomas van Binsbergen
.
Programming 2025
:
[doi]
In-Situ Visual Programming
Ulrich Brandstätter
,
Bernhard Schenkenfelder
.
Programming 2025
:
[doi]
It's OK to Want to Have a Good Time
Luke Church
,
Mariana Marasoiu
.
Programming 2025
:
[doi]
A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions
Quentin Colla
,
Kim Mens
,
Julien Liénard
.
Programming 2025
:
[doi]
Comparing R Bytecode Compilers Written in R, Java, and Rust (Extended Abstract)
Pierre Donat-Bouillud
,
Filip Krikava
,
Jakob Hain
,
Adam Plodek
,
Jan Vitek
.
Programming 2025
:
[doi]
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia
Jonathan Edwards
,
Roly Perera
,
Tomas Petricek 0001
, editors,
Volume 134 of
OASIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2025.
[doi]
Locus: A Proposal for Quantum Software Composition
Javier Zayas Gallardo
,
Francisco Chicano
,
Carlos Canal
,
Juan Manuel Murillo
.
Programming 2025
:
[doi]
Fuzzing as Editor Feedback
Marcel Garus
,
Jens Lincke
,
Robert Hirschfeld
.
Programming 2025
:
[doi]
Quantum Table: A Tangible Quantum Circuit Demonstrator
Stefan Hillmich
,
Raphael Zefferer
,
Mathias Gartner
,
Bernhard Schenkenfelder
,
Sonja Bruckner
,
Ulrich Brandstätter
.
Programming 2025
:
[doi]
Towards a Java Virtual Machine for Processing-In-Memory (Extended Abstract)
Kazuki Ichinose
,
Shigeyuki Sato 0001
,
Tomoharu Ugawa
.
Programming 2025
:
[doi]
PShapeTrace: Linking Drawing Instructions with Visual Outcomes in Processing
Takashi Ishio
,
Yuta Yamasaki
.
Programming 2025
:
[doi]
Exploring a Quantum Programming Language with Concurrency
Manisha Jain
,
Vitor Fernandes
,
Alexandre Madeira
,
Luís Soares Barbosa
.
Programming 2025
:
[doi]
Identifying Security Issues in Elixir Web Applications
Smiljana Knezev
,
István Bozó
,
Melinda Tóth
.
Programming 2025
:
[doi]
Im-C - A Memory-Safe C Interpreter Providing a Better Learning, Testing, and Debugging Experience
Masaki Kunii
,
Ian Piumarta
.
Programming 2025
:
[doi]
Toward a Typed Intermediate Language for R (Extended Abstract)
Mickaël Laurent
,
Jakob Hain
,
Filip Krikava
,
Sebastián Krynski
,
Jan Vitek
.
Programming 2025
:
[doi]
The Pyttern Program Query Language
Julien Liénard
,
Kim Mens
,
Siegfried Nijssen
.
Programming 2025
:
[doi]
On the Effectiveness of Interpreter-Guided Compiler Testing
Federico Lochbaum
,
Guillermo Polito
.
Programming 2025
:
[doi]
Dimensions of Examples: Toward a Framework for Qualifying Examples in Programming
Toni Mattis
,
Lukas Böhme
,
Stefan Ramson
,
Tom Beckmann
,
Martin C. Rinard
,
Robert Hirschfeld
.
Programming 2025
:
[doi]
Renkon-Pad: A Live and Self-Sustaining Programming Environment Based on Functional Reactive Programming
Yoshiki Ohshima
,
Adam Bouhenguel
,
Matthew Good
.
Programming 2025
:
[doi]
A Pragmatic Approach to Replay Compilation (Extended Abstract)
Andrej Pecimuth
,
David Leopoldseder
,
Petr Tuma 0001
.
Programming 2025
:
[doi]
Who Owns the Contents of a Doubly-Linked List?
Dimi Racordon
.
Programming 2025
:
[doi]
Mutable Value Semantics Through a Runtime-Enforced Framework in Scala (Extended Abstract)
Hamza Remmal
.
Programming 2025
:
[doi]
Is There Hypothesis for Attribute Grammars?
Emanuel Rodrigues
,
José Nuno Macedo
,
João Saraiva
.
Programming 2025
:
[doi]
Shica - Improving the Programming Experience for Agent-Based, Distributed, Physical Computing Systems
Hiroto Shikada
,
Ian Piumarta
.
Programming 2025
:
[doi]
Debugging a Smalltalk VM Assisted by Large Automated Reasoning (Extended Abstract)
Boris Shingarov
,
Jan Vraný
.
Programming 2025
:
[doi]
COP Layer Encapsulating Non-Functional Requirements for Physical Systems on Hakoniwa Environment
Yudai Yamada
,
Nobuhiko Ogura
,
Kenji Hisazumi
,
Harumi Watanabe
.
Programming 2025
:
[doi]
2024
Autocorrection in Projectional Editors
André L. Santos 0001
,
Ângelo Mendonça
.
Programming 2024
:
[doi]
Programming Algorithmic Art (Keynote)
Benoit Baudry
.
Programming 2024
:
[doi]
A Constraint Programming Approach for QUBO Solving and Quantum Annealing
Philippe Codognet
.
Programming 2024
:
[doi]
Recent Evolution of Dart: A Pragmatic Story (Keynote)
Erik Ernst
.
Programming 2024
:
[doi]
Lightweight Affine Types for Safe Concurrency in Scala (Keynote)
Philipp Haller
.
Programming 2024
:
[doi]
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
Lo Heander
,
Emma Söderberg
,
Christofer Rydenfält
.
Programming 2024
:
[doi]
In-Line Compositional Visual Programming
Michael Homer
.
Programming 2024
:
[doi]
Retro-fitting Garbage Collection into Rust (Invited Talk)
Jacob Hughes
.
Programming 2024
:
[doi]
Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems
Fuyuki Ishikawa
,
Shinobu Saito
.
Programming 2024
:
[doi]
Implementing Babylonian/G by Putting Examples into Game Contexts
Eva Krebs
,
Toni Mattis
,
Marius Dörbandt
,
Oliver Schulz
,
Martin C. Rinard
,
Robert Hirschfeld
.
Programming 2024
:
[doi]
Developers' Perspective on Today's and Tomorrow's Programming Tool Assistance: A Survey
Peng Kuang
,
Emma Söderberg
,
Martin Höst
.
Programming 2024
:
[doi]
Dear Developers, What Do You Mean by Photography? (Keynote)
Nicolas Malevé
.
Programming 2024
:
[doi]
Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization
Leon Matthes
,
Marcel Taeumel
,
Eliot Miranda
,
Robert Hirschfeld
.
Programming 2024
:
[doi]
Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example
Toni Mattis
,
Eva Krebs
,
Martin C. Rinard
,
Robert Hirschfeld
.
Programming 2024
:
[doi]
Faster Feedback with AI? A Test Prioritization Study
Toni Mattis
,
Lukas Böhme
,
Eva Krebs
,
Martin C. Rinard
,
Robert Hirschfeld
.
Programming 2024
:
[doi]
Ironies of Programming Automation: Exploring the Experience of Code Synthesis via Large Language Models
Alan T. McCabe
,
Moa Björkman
,
Joel Engström
,
Peng Kuang
,
Emma Söderberg
,
Luke Church
.
Programming 2024
:
[doi]
Magic Markup: Maintaining Document-External Markup with an LLM
Edward Misback
,
Zachary Tatlock
,
Steven L. Tanimoto
.
Programming 2024
:
[doi]
Property-Based Testing and Debugging of Quantum Programs (Keynote)
Mohammad Reza Mousavi
.
Programming 2024
:
[doi]
BoaSpect: An Expressive Instrumentation Platform for JavaScript
Aäron Munsters
,
Angel Luis Scull Pupo
,
Elisa Gonzalez Boix
.
Programming 2024
:
[doi]
A Virtual Machine for Higher-Order Reactors
Bjarno Oeyen
,
Jens Nicolay
,
Wolfgang De Meuter
.
Programming 2024
:
[doi]
Virtual Machines: Should We Keep Doing Them? (Invited Talk)
Javier Primás
.
Programming 2024
:
[doi]
The Next-Gen Interactive Runtime Simulator for Neural Network Programming
Sanaullah
,
Hasina Attaullah
,
Thorsten Jungeblut
.
Programming 2024
:
[doi]
Containers for GUI Models
Knut Anders Stokke
,
Mikhail Barash
,
Jaakko Järvi
,
Elisabeth Stenholm
,
Håkon Robbestad Gylterud
.
Programming 2024
:
[doi]
Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming, Programming Companion 2024, Lund, Sweden, March 11-15, 2024
Emma Söderberg
,
Luke Church
, editors,
ACM,
2024.
[doi]
Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration
Marcel Taeumel
,
Jens Lincke
,
Robert Hirschfeld
.
Programming 2024
:
[doi]
Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs
Jan Vraný
,
Boris Shingarov
.
Programming 2024
:
[doi]
Towards a DevOps Modeling Based on Context-Oriented Programming
Harumi Watanabe
,
Nobuhiko Ogura
,
Kenji Hisazumi
.
Programming 2024
:
[doi]
A Formal Foundation of Reach Capabilities
Yichen Xu
,
Martin Odersky
.
Programming 2024
:
[doi]
2023
Static Analysis for Quantum Software Correctness and Reliability (Keynote)
Jianjun Zhao 0001
.
Programming 2023
:
89
[doi]
Capturing Qubit Decoherence through Paraconsistent Transition Systems
Luís Soares Barbosa
,
Alexandre Madeira
.
Programming 2023
:
109-110
[doi]
Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023
Shigeru Chiba
,
Youyou Cong
,
Elisa Gonzalez Boix
, editors,
ACM,
2023.
[doi]
My Space, Our Space, Their Space: A First Glance at Developers' Experience of Spaces
Luke Church
,
Emma Söderberg
,
Martin Höst
.
Programming 2023
:
48-53
[doi]
ReactCOP Supporting Layer Parameter Management for Front-End Web Applications
Hiroki Hashimoto
,
Ikuta Tanigawa
,
Nobuhiko Ogura
,
Harumi Watanabe
.
Programming 2023
:
76-83
[doi]
Multiple-Representation Visual Compositional Dataflow Programming
Michael Homer
.
Programming 2023
:
39-47
[doi]
Clerk: Moldable Live Programming for Clojure
Martin Kavalar
,
Philippa Markovics
,
Jack Rusher
.
Programming 2023
:
22-31
[doi]
Probe Log: Visualizing the Control Flow of Babylonian Programming
Eva Krebs
,
Patrick Rein
,
Joana Bergsiek
,
Lina Urban
,
Robert Hirschfeld
.
Programming 2023
:
61-67
[doi]
Threaded Execution as a Dual to Native Code
Dave Mason
.
Programming 2023
:
7-11
[doi]
Symbolic Quantum Programming for Supporting Applications of Quantum Computing Technologies
Jaroslaw Adam Miszczak
.
Programming 2023
:
101-108
[doi]
Model-Driven Quantum Federated Learning (QFL)
Armin Moin
,
Atta Badii
,
Moharram Challenger
.
Programming 2023
:
111-113
[doi]
A Compact and Extensible Portable Scheme VM
Léonard Oest O'Leary
,
Marc Feeley
.
Programming 2023
:
3-6
[doi]
Resurrecting Score11 in Siren: What Ever Happened to the 1980s Score Languages?
Stephen Travis Pope
.
Programming 2023
:
84-88
[doi]
Programming for Deep Learning on Top of Virtual Machines (Keynote)
Zoran Vlatko Sevarac
.
Programming 2023
:
2
[doi]
Cross-Language Interoperability of Heterogeneous Code
Athanasios Stratikopoulos
,
Florin Blanaru
,
Juan Fumero
,
Maria Xekalaki
,
Orion Papadakis
,
Christos Kotselidis
.
Programming 2023
:
17-21
[doi]
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
Go Suzuki
,
Takuo Watanabe
,
Sosuke Moriguchi
.
Programming 2023
:
12-16
[doi]
Five Futures with AI Coding Agents
Steven L. Tanimoto
.
Programming 2023
:
32-38
[doi]
Object-Centric Time-Travel Debugging: Exploring Traces of Objects
Christoph Thiede
,
Marcel Taeumel
,
Robert Hirschfeld
.
Programming 2023
:
54-60
[doi]
SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote)
Katsuhiro Ueno
.
Programming 2023
:
1
[doi]
Towards Reliable Distributed Quantum Computing on Quantum Interconnects
Ryo Wakizaka
.
Programming 2023
:
114-116
[doi]
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development
Paul Wuilmart
,
Emma Söderberg
,
Martin Höst
.
Programming 2023
:
68-75
[doi]
Scaling W State Circuits in the qudit Clifford Hierarchy
Lia Yeh
.
Programming 2023
:
90-100
[doi]
2022
A Live Environment to Improve the Refactoring Experience
Sara Fernandes
,
Ademar Aguiar
,
André Restivo
.
Programming 2022
:
30-37
[doi]
Calling Cards: Concrete Visual End-User Programming
Michael Homer
.
Programming 2022
:
22-29
[doi]
Enhancing DrRacket with Dodona for Learning Scheme
Turgut Reis Kursun
,
Mathijs Saey
,
Viviane Jonckers
.
Programming 2022
:
81-82
[doi]
Automatic Programming and Education
Clayton Lewis
.
Programming 2022
:
70-80
[doi]
An Experiment in Live Collaborative Programming on the Croquet Shared Experience Platform
Yoshiki Ohshima
,
Aran Lunzer
,
Jenn Evans
,
Vanessa Freudenberg
,
Brian Upton
,
David A. Smith
.
Programming 2022
:
46-53
[doi]
CodeMap: A Graphical Note-Taking Tool Cooperating with an Integrated Development Environment
Rikito Taniguchi
,
Hidehiko Masuhara
.
Programming 2022
:
54-59
[doi]
Programming in an fMRI Scanner: A Report from the Field
Steven L. Tanimoto
,
Rob Thompson
,
Todd Richards
,
Cheri Yates
,
Virginia W. Berninger
.
Programming 2022
:
12-21
[doi]
Sign in
or
sign up
to see more results.