Search events for 'all'
Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines
Research Papers When: Thu 14 Mar 2024 11:30 - 12:00 People: Javier Pimás, Stefan Marr, Diego Garbervetsky
… …
Virtual Machines: should we keep doing them?
MoreVMs'24 When: Tue 12 Mar 2024 13:00 - 14:00 People: Javier Pimás
… of Java as the mother of all VMs. However, a pressing question remains: Can we …
Tinyrossa: a compiler framework for vertical, verified construction of Smalltalk VMs
MoreVMs'24 When: Tue 12 Mar 2024 11:30 - 12:00 People: Jan Vraný, Boris Shingarov
… source code for Tinyrossa, MachineArithmetic and all other parts of our system …
A Constraint Programming Approach for QUBO solving and Quantum Annealing
QP2024 When: Mon 11 Mar 2024 11:30 - 12:00 People: Philippe Codognet
… Digital Annealing Unit. All those systems use the same modeling language: Quadratic …
In-line Compositional Visual Programming
PX/24 When: Mon 11 Mar 2024 10:30 - 11:00 People: Michael Homer
… Concatenative programming inherently expresses composition of sub-tasks of a pipeline, but one uncommonly seen model of this paradigm includes all data values inline within the program. A visual environment for editing and evaluating …
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
PX/24 When: Mon 11 Mar 2024 09:00 - 09:30 People: Lo Heander, Emma Söderberg, Christofer Rydenfält
… in this collaborative manner was also intuitive enough for all of the participants to be able …
Name Trees: Uniform and Extensible Interactions Between Languages and Language Extensions
PX/24 When: Mon 11 Mar 2024 13:00 - 13:30 People: Filip Strömbäck
… focuses on the name tree, which is shared between all languages in the system …
Recent Evolution of Dart — a pragmatic story.
Keynotes When: Thu 14 Mar 2024 09:00 - 10:00 People: Erik Ernst
… not want to change all of it just for fun. For example, the migration of null …
Arrays in Practice, An Empirical Study of Array Access Patterns on the JVM
Research Papers When: Thu 14 Mar 2024 14:00 - 14:30 People: Beatrice Åkerblom, Elias Castegren
… to log all array accesses, allowing for analysis of array sizes, element types … the Renaissance benchmark suite, all running on the Java Virtual Machine.
We …%) do not use arrays directly at all. These results come from tracing data …
LiveRec: Prototyping Probes by Framing Debug Protocols
Research Papers When: Thu 14 Mar 2024 15:00 - 15:30 People: Jean-Baptiste Döderlein, Riemer van Rozen, Tijs van der Storm
… the debugger. During execution the evolution of all local variables in the current stack … (JDI), and through the DAP for Java, Python, C, and Javascript, all requiring … of all four probes prototypes, decomposed into: compile-after-change, hotswap …
Privacy-Respecting Type Error Telemetry at Scale
Research Papers When: Wed 13 Mar 2024 16:15 - 16:45 People: Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah
… ; thus, Luau must support a wide audience. As part of its efforts to support all … present several findings about Luau, all of which suggest that telemetry …
Broadening the View of Live Programmers: Integrating a Cross-cutting Perspective on Run-time Behavior Into a Live Programming Environment
Research Papers When: Thu 14 Mar 2024 10:30 - 11:00 People: Patrick Rein, Christian Flach, Stefan Ramson, Eva Krebs, Robert Hirschfeld
… . As this requires complete and correct knowledge of all relevant code …
Coqlex: Generating Formally Verified Lexers
Research Papers When: Wed 13 Mar 2024 15:15 - 15:45 People: Wendlasida Ouedraogo, Gabriel Scherer, Lutz Strassburger
… verified lexers, they all have only limited practical applicability.
In order …
Little Tricky Logic: Misconceptions in the Understanding of LTL
Research Papers When: Wed 13 Mar 2024 11:45 - 12:15 People: Ben Greenman, Tim Nelson, Sam Saarinen, Shriram Krishnamurthi
… Linear Temporal Logic (LTL) has been used widely in verification. Its importance and popularity have only grown with the revival of temporal logic synthesis, and with new uses of LTL in robotics and planning activities. All these uses …