Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- invited-talkSeptember 2023
Programming for Deep Learning on Top of Virtual Machines (Keynote)
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPage 2https://doi.org/10.1145/3594671.3605097Development of deep learning applications over a variety of new hardware opens many challenges for developers. These challenges include requirements for massive parallelization, runtime optimization and debugging of computation over a large amount of ...
- invited-talkSeptember 2023
SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote)
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPage 1https://doi.org/10.1145/3594671.3605096This talk introduces the development of the SML# language and its native code compiler from the perspective of its interoperability with operating systems and foreign libraries. SML# is a statically-typed functional programming language derived from ...
- short-paperSeptember 2023
Model-Driven Quantum Federated Learning (QFL)
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 111–113https://doi.org/10.1145/3594671.3594690Recently, several studies have proposed frameworks for Quantum Federated Learning (QFL). For instance, the Google TensorFlow Quantum (TFQ) and TensorFlow Federated (TFF) libraries have been deployed for realizing QFL. However, developers, in the main, ...
- research-articleSeptember 2023
Symbolic Quantum Programming for Supporting Applications of Quantum Computing Technologies
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 101–108https://doi.org/10.1145/3594671.3594688The goal of this paper is to deliver the overview of the current state of the art, provide experience report on developing quantum software tools, and outline the perspective for developing quantum programming tools supporting symbolic programming for ...
- invited-talkSeptember 2023
Static Analysis for Quantum Software Correctness and Reliability (Keynote)
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPage 89https://doi.org/10.1145/3594671.3594686Software correctness and reliability have been central issues in classical computing for decades. Researchers have developed a wide range of approaches to these problems, but few have been to date for quantum computing. In this talk, I consider two ...
- research-articleSeptember 2023
Five Futures with AI Coding Agents
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 32–38https://doi.org/10.1145/3594671.3594685Many computer programmers are beginning to use computational agents to help them develop software. This article raises questions about the nature of programmer-to-agent relationships. The author’s intent is to foster thought that will help human ...
- research-articleSeptember 2023
ReactCOP Supporting Layer Parameter Management for Front-End Web Applications
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 76–83https://doi.org/10.1145/3594671.3594684In modern software, including web applications, context-dependent behavior is one of the most important features. Context-oriented programming (COP) is a suitable programming technique for developing such software. However, we often need to work on ...
- research-articleSeptember 2023
Resurrecting Score11 in Siren: What Ever Happened to the 1980s Score Languages?
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 84–88https://doi.org/10.1145/3594671.3594683This paper describes a “software archaeology” project in which a new interpreter was created for the Score11 music representation, a popular 1980s music input language that was frequently used with the Music11 non-real-time software sound synthesis ...
- research-articleSeptember 2023
Clerk: Moldable Live Programming for Clojure
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 22–31https://doi.org/10.1145/3594671.3594682Clerk is an open source Clojure programmer’s assistant that builds upon the traditions of interactive and literate programming to provide a holistic moldable development environment. Clerk layers static analysis, incremental computation, and rich ...
- research-articleSeptember 2023
Multiple-Representation Visual Compositional Dataflow Programming
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 39–47https://doi.org/10.1145/3594671.3594681Many tasks that end users want to accomplish with a computer program are fundamentally data-flow transformations, and both visual and textual programming systems have been created to fill this need, but these are often inflexible, unapproachable, or ...
- research-articleSeptember 2023
My Space, Our Space, Their Space: A First Glance at Developers’ Experience of Spaces
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 48–53https://doi.org/10.1145/3594671.3594680We report on an investigation into the nature of the experience that developers have with the spaces in which they work and live based on the reflections of the authors. We describe a few aspects of the structure of developers’ experience around the ...
- research-articleSeptember 2023
Probe Log: Visualizing the Control Flow of Babylonian Programming
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 61–67https://doi.org/10.1145/3594671.3594679Code itself is abstract, which makes it often difficult to understand – sometimes even by the programmers that wrote it. When working with or thinking about code, programmers thus often resort to concrete values and execution traces to make the abstract ...
- research-articleSeptember 2023
Object-Centric Time-Travel Debugging: Exploring Traces of Objects
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 54–60https://doi.org/10.1145/3594671.3594678Traditional behavior-centric debuggers are organized around an extensive call stack, making it hard for programmers to navigate and explore large programs. We present object traces, a novel, object-centric approach to time-travel debugging that enables ...
- research-articleSeptember 2023
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 68–75https://doi.org/10.1145/3594671.3594677Developers need to comprehend new code on a regular basis; a demanding task that gets complicated as projects grow in complexity and size. To help developers, documentation is typically added in the form of code comments, design documents, system ...
- extended-abstractSeptember 2023
Cross-Language Interoperability of Heterogeneous Code
- Athanasios Stratikopoulos,
- Florin Blanaru,
- Juan Fumero,
- Maria Xekalaki,
- Orion Papadakis,
- Christos Kotselidis
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 17–21https://doi.org/10.1145/3594671.3594675In recent years, the Java Virtual Machine has evolved from a cross-ISA virtualization layer to a system that can also offer multilingual support. GraalVM paved the way to enable the interoperability of Java with other programming languages, such as ...
- extended-abstractSeptember 2023
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 12–16https://doi.org/10.1145/3594671.3594674This paper reports the implementation of Emfrp-REPL, an interactive interpreter (REPL) of a functional reactive programming language for resource-constrained embedded systems. Its goal is to accelerate the prototyping and development of microcontroller-...
- research-articleSeptember 2023
Threaded Execution as a Dual to Native Code
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 7–11https://doi.org/10.1145/3594671.3594673Threaded execution has been used as a higher performance alternative to a byte-code interpreter, by utilizing hardware dispatch to replace software interpreter dispatch.
Traditional JIT code is compiled from byte-code to native code for the current ...