Strings at MOSCA
M Hague - ACM SIGLOG News, 2019 - dl.acm.org
The first edition of MOSCA, the Meeting on String Constraints and Applications was held in
May 2019 in the otherworldly location of Bertinoro [D'Antoni et al. 2019]. For one week, 43 …
May 2019 in the otherworldly location of Bertinoro [D'Antoni et al. 2019]. For one week, 43 …
Assuage: Assembly synthesis using a guided exploration
Assembly programming is challenging, even for experts. Program synthesis, as an
alternative to manual implementation, has the potential to enable both expert and non …
alternative to manual implementation, has the potential to enable both expert and non …
Program synthesis for musicians: A usability testbed for temporal logic specifications
W Choi, M Vazirani, M Santolucito - … 2021, Chicago, IL, USA, October 17 …, 2021 - Springer
In recent years, program synthesis research has made significant progress in creating user-
friendly tools for Programming by example (PBE) and Programming by demonstration (PBD) …
friendly tools for Programming by example (PBE) and Programming by demonstration (PBD) …
The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-based Code Generation
The capabilities of Large Language Models (LLMs) in code generation, particularly for
implementing target functionalities from natural language descriptions, have been …
implementing target functionalities from natural language descriptions, have been …
Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
W Zhang, M Leon, R Xu, A Cardenas, A Wissink… - arXiv preprint arXiv …, 2024 - arxiv.org
Node-based programming languages are increasingly popular in media arts coding
domains. These languages are designed to be accessible to users with limited coding …
domains. These languages are designed to be accessible to users with limited coding …
Human-in-the-loop program synthesis for live coding
M Santolucito - Proceedings of the 9th ACM SIGPLAN International …, 2021 - dl.acm.org
Live Coding is a creative coding practice, where the act of programming itself constitutes a
performance. The code written during a Live Coding performance often generates media, for …
performance. The code written during a Live Coding performance often generates media, for …
Formal methods and computing identity-based mentorship for early stage researchers
M Santolucito, R Piskac - Proceedings of the 51st ACM technical …, 2020 - dl.acm.org
The field of formal methods relies on a large body of background knowledge that can
dissuade researchers from engaging with younger students, such as undergraduates or …
dissuade researchers from engaging with younger students, such as undergraduates or …
An explainable semantic parser for end-user development
N Sales, J Efson - 2022 - opus4.kobv.de
Programming is a key skill in a world where businesses are driven by digital transformations.
Although many of the programming demand can be addressed by a simple set of …
Although many of the programming demand can be addressed by a simple set of …
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers
In this work, we consider two sets I and O of bounded integer variables, modeling the inputs
and outputs of a program. Given a specification Post, which is a Boolean combination of …
and outputs of a program. Given a specification Post, which is a Boolean combination of …
Example-Driven User Intent Discovery: Empowering Users to Cross the SQL Barrier Through Query by Example
Traditional data systems require specialized technical skills where users need to understand
the data organization and write precise queries to access data. Therefore, novice users who …
the data organization and write precise queries to access data. Therefore, novice users who …