default search action
SPLASH Companion 2023: Cascais, Portugal
- Vasco Thudichum Vasconcelos:
Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, October 22-27, 2023. ACM 2023 - Andrej Pecimuth
:
Remote Just-in-Time Compilation for Dynamic Languages. 1-3 - Ruyi Ji:
Scaling up Program Synthesis to Efficient Algorithms. 4-6 - Francisco Ribeiro
Large Language Models for Automated Program Repair. 7-9 - Luís Gomes
Transforming Ideas into Code: Visual Sketching for ML Development. 10-12 - Luís Carvalho:
Semantic Versioning for Python Programs. 13-15 - Tobias Roth:
Reusing Single-Language Analyses for Static Analysis of Multi-language Programs. 16-18 - Breandan Considine:
A Pragmatic Approach to Syntax Repair. 19-21 - Zhan Shi:
Partial Gradual Dependent Type Theory. 22-24 - Marta Davila Mateu:
Synthesizing Recursive Programs through Dataflow Constraints. 25-27 - Jesse Hoobergs
Modular Educational Languages. 28-30 - Julia Freeman, Timothy Zhou:
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking. 31-33 - Katrina Wilson:
Clearing the Trail: Motivations for Maintenance Work in Open Source. 34-36 - Antonio Zegarelli:
Design and Implementation of Facets of Dynamic Policies. 37-39 - Siraphob Phipathananunth:
Towards the Formal Verification of Wigderson's Algorithm. 40-42 - Haolin Ye:
An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver. 43-45 - Raven Rothkopf:
Rose: Extensible Autodiff on the Web. 46-48 - Mikhail Barash, Yulia Startsev, Rolf Martin Glomsrud:
Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization. 49-50 - Octave Larose:
Dynamic Library Compartmentalization. 51-52 - Adam Welc, Sam Blackshear:
Sui Move: Modern Blockchain Programming with Objects. 53-55 - Matús Sulír, Milan Nosál:
JaMaBuild: Mass Building of Java Projects. 56-57 - David Spielmann, Daniel Sokolowski, Guido Salvaneschi:
Extensible Testing for Infrastructure as Code. 58-60 - Yusuke Izawa
A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers. 61-62 - David H. Lorenz, Ofir Shmuel:
ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming. 63-64 - Mirko Köhler, Guido Salvaneschi:
Safe Combination of Data-Centric and Operation-Centric Consistency. 65-67 - Knut Anders Stokke, Mikhail Barash, Jaakko Järvi:
Towards Reusable GUI Structures. 68-69 - Rijul Jain, Wode Ni, Joshua Sunshine:
Generating Domain-Specific Programs for Diagram Authoring with Large Language Models. 70-71
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.
last updated on 2024-11-20 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: