Loris D'Antoni

Available identifiers

zbMath Open dantoni.lorisMaRDI QIDQ746775

List of research outcomes

Publication	Date of Publication	Type
Learned load balancing	2024-06-04	Paper
Symbolic register automata	2024-02-16	Paper
Proving unrealizability for syntax-guided synthesis	2024-02-16	Paper
Efficient synthesis with probabilistic constraints	2024-02-16	Paper
Syntax-guided synthesis with quantitative syntactic objectives	2023-05-26	Paper
The learnability of symbolic automata	2023-05-26	Paper
Solving Program Sketches with Large Integer Values	2022-10-13	Paper
The power of symbolic automata and transducers	2022-07-01	Paper
Repairing decision-making programs under uncertainty	2022-07-01	Paper
A symbolic decision procedure for symbolic alternating finite automata	2022-04-25	Paper
Programmable program synthesis	2022-03-25	Paper
Synthesis with asymptotic resource bounds	2022-03-25	Paper
Automata Tutor v3	2021-02-09	Paper
Learning Symbolic Automata	2020-08-05	Paper
Forward Bisimulations for Nondeterministic Symbolic Finite Automata	2020-08-05	Paper
Streaming Tree Transducers	2018-05-17	Paper
Minimization of Symbolic Tree Automata	2018-04-23	Paper
Monadic second-order logic on finite sequences	2017-10-20	Paper
Genesis: synthesizing forwarding tables in multi-tenant networks	2017-10-20	Paper
Regular Functions and Cost Register Automata	2017-07-03	Paper
DReX: a declarative language for efficiently evaluating regular string transformations	2016-09-29	Paper
Program boosting: program synthesis via crowd-sourcing	2016-09-29	Paper
Extended symbolic finite automata and transducers	2015-10-20	Paper
High-performance complex event processing over hierarchical data	2015-09-03	Paper
Static Analysis of String Encoders and Decoders	2014-11-03	Paper
Minimization of symbolic automata	2014-04-10	Paper
Streaming Tree Transducers	2012-11-01	Paper
Global Progress in Dynamically Interleaved Multiparty Sessions	2008-11-25	Paper

Research outcomes over time

This page was built for person: Loris D'Antoni