Loris D'Antoni

Available identifiers

zbMath Open dantoni.lorisMaRDI QIDQ746775

List of research outcomes

Publication	Date of Publication	Type
Symbolic register automata	2024-02-16	Paper
Efficient synthesis with probabilistic constraints	2024-02-16	Paper
Proving unrealizability for syntax-guided synthesis	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	2016-09-29	Paper
Program Boosting	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Loris D'Antoni