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
Filter by Tag
OR
AND
NOT
1
WebDSL
Filter by Author
[+]
OR
AND
NOT
1
Ademar Aguiar
Andrea Rosà
André Restivo
Antranig Basman
Christos Kotselidis
Elisa Gonzalez Boix
Emma Söderberg
Eva Krebs
Fabio Niephaus
Hidehiko Masuhara
Luke Church
Marcel Taeumel
Patrick Rein
Philip Tchernavskij
Robert Hirschfeld
Steven L. Tanimoto
Tim Felgentreff
Toni Mattis
Walter Binder
Wolfgang De Meuter
Filter by Top terms
[+]
OR
AND
NOT
1
applications
art
code
conference
data
debugging
design
development
dynamic
engineering
experience
language
live
model
programming
science
software
systems
towards
web
Programming (Programming)
Editions
Publications
Viewing Publication 1 - 100 from 256
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
Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022
Ademar Aguiar
,
Eduardo Guerra 0001
,
Shigeru Chiba
,
Elisa Gonzalez Boix
, editors,
ACM,
2022.
[doi]
A Live Environment to Improve the Refactoring Experience
Sara Fernandes
,
Ademar Aguiar
,
André Restivo
.
Programming 2022
:
30-37
[doi]
Creating New Programming Experiences Inspired by Boxer to Develop Computationally Literate Society
Mark Guzdial
.
Programming 2022
:
67-69
[doi]
Calling Cards: Concrete Visual End-User Programming
Michael Homer
.
Programming 2022
:
22-29
[doi]
Example Mining: Assisting Example Creation to Enhance Code Comprehension
Eva Krebs
,
Patrick Rein
,
Robert Hirschfeld
.
Programming 2022
:
60-66
[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]
Interpreter Register Autolocalisation: Improving the Performance of Efficient Interpreters
Guillermo Polito
,
Nahuel Palumbo
,
Soufyane Labsari
,
Stéphane Ducasse
,
Pablo Tesone
.
Programming 2022
:
1-5
[doi]
Toward Understanding Task Complexity in Maintenance-Based Studies of Programming Tools
Patrick Rein
,
Tom Beckmann
,
Toni Mattis
,
Robert Hirschfeld
.
Programming 2022
:
38-45
[doi]
Toward Just-in-Time and Language-Agnostic Mutation Testing
Stefan Reschke
,
Toni Mattis
,
Fabio Niephaus
,
Robert Hirschfeld
.
Programming 2022
:
6-11
[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]
2021
Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021
Luke Church
,
Shigeru Chiba
,
Elisa Gonzalez Boix
, editors,
ACM,
2021.
[doi]
Studying Programmer Behaviour at Scale: A Case Study using Amazon Mechanical Turk
Jason T. Jacques
,
Per Ola Kristensson
.
Programming 2021
:
36-48
[doi]
Towards End-User Web Scraping for Customization
Kapaya Katongo
,
Geoffrey Litt
,
Daniel Jackson 0001
.
Programming 2021
:
49-59
[doi]
Toward Exploratory Understanding of Software using Test Suites
Dominik Meier
,
Toni Mattis
,
Robert Hirschfeld
.
Programming 2021
:
60-67
[doi]
Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyScript
Aäron Munsters
,
Angel Luis Scull Pupo
,
Jim Bauwens
,
Elisa Gonzalez Boix
.
Programming 2021
:
6-13
[doi]
Improving on the Experience of Hand-Assembling Programs for Application-Specific Architectures
Ian Piumarta
.
Programming 2021
:
21-30
[doi]
From ASTs to Machine Code with LLVM
Dimitri Racordon
.
Programming 2021
:
68-76
[doi]
Rec.HTML: Declarative HTML
Bob Reynders
,
Kwanghoon Choi 0001
.
Programming 2021
:
1-5
[doi]
Javardeye: Gaze Input for Cursor Control in a Structured Editor
André L. Santos
.
Programming 2021
:
31-35
[doi]
Exploring Modal Locking in Window Manipulation: Why Programmers Should Stash, Duplicate, Split, and Link Composite Views
Marcel Taeumel
,
Robert Hirschfeld
.
Programming 2021
:
14-20
[doi]
2020
Javardise: a structured code editor for programming pedagogy in Java
André L. Santos 0001
.
Programming 2020
:
120-125
[doi]
Rethinking programming "environment": technical and social environment design toward convivial computing
Jun Kato 0001
,
Keisuke Shimakage
.
Programming 2020
:
149-157
[doi]
Bicycles for the mind have to be see-through
Kartik Agaram
.
Programming 2020
:
173-186
[doi]
An experimental audio-tactile interface for sculpting digital resonance models using modelling clay
Jack Armitage
.
Programming 2020
:
225-226
[doi]
Escaping the prison of style
Antranig Basman
,
Philip Tchernavskij
.
Programming 2020
:
187-196
[doi]
Efficient editing in a tree-oriented projectional editor
Tom Beckmann
.
Programming 2020
:
215-216
[doi]
Program comprehension for live algorithmic design in virtual reality
Renata Castelo-Branco
,
António Leitão
,
Catarina Brás
.
Programming 2020
:
69-76
[doi]
ReAD: representational algorithmic design
Renata Castelo-Branco
.
Programming 2020
:
217-218
[doi]
An annotation system for specifying aliasing invariants on object fields
Aurélien Coet
.
Programming 2020
:
221-222
[doi]
Pattern-match-oriented proof writing language
Satoshi Egi
.
Programming 2020
:
223-224
[doi]
Running parallel bytecode interpreters on heterogeneous hardware
Juan Fumero
,
Athanasios Stratikopoulos
,
Christos Kotselidis
.
Programming 2020
:
31-35
[doi]
Synthesizing user interfaces using functional reactive web abstractions
Adam Granicz
,
Jozsef Uri
,
Andras Janko
.
Programming 2020
:
84-89
[doi]
Evolution of the WebDSL runtime: reliability engineering of the WebDSL web programming language
Danny M. Groenewegen
,
Elmer van Chastelet
,
Eelco Visser
.
Programming 2020
:
77-83
[doi]
Towards visualization of evolution of component-based software architectures in VR
Elke Franziska Heidmann
,
Annika Meinecke
,
Lynn von Kurnatowski
,
Andreas Schreiber 0001
.
Programming 2020
:
61-64
[doi]
What it takes to create with domain-appropriate tools: reflections on implementing the "id" system
Joel Jakubovic
.
Programming 2020
:
197-207
[doi]
Convivial design heuristics for software systems
Stephen Kell
.
Programming 2020
:
144-148
[doi]
Chatting with glue: cognitive tools for augmented conversation
Max Krieger
.
Programming 2020
:
208
[doi]
Wildcard: spreadsheet-driven customization of web applications
Geoffrey Litt
,
Daniel Jackson 0001
.
Programming 2020
:
126-135
[doi]
Towards language-parametric refactorings
Philippe D. Misteli
.
Programming 2020
:
213-214
[doi]
A formalism to model higher-order function
Damien Morard
.
Programming 2020
:
219-220
[doi]
LogicKit: bringing logic programming to swift
Dimitri Racordon
,
Didier Buchs
.
Programming 2020
:
13-16
[doi]
Achieving guidance in applied machine learning through software engineering techniques
Lars Reimann
,
Günter Kniesel-Wünsche
.
Programming 2020
:
7-12
[doi]
N-gram models for code completion in Pharo
Myroslava Romaniuk
.
Programming 2020
:
227-228
[doi]
Spreadsheets as notational environment for paper weaving
Jonathan Skjøtt
.
Programming 2020
:
158-162
[doi]
Multiagent live programming systems: models and prospects for critical applications
Steven L. Tanimoto
.
Programming 2020
:
90-96
[doi]
MATLAB doesn't love me: an essay
Tijs van der Storm
,
Geor Bakker
.
Programming 2020
:
97-101
[doi]
Can programmers escape the gentle tyranny of call/return?
Marcel Weiher
.
Programming 2020
:
163-172
[doi]
Sign in
or
sign up
to see more results.