EasyChair Smart SlideDocs/Log in
Author: Loris D'Antoni

This page shows all presentations of this author published in EasyChair Smart Slide.

Direct Manipulation for Imperative Programs

Direct Manipulation for Imperative Programs

Qinheping Hu, Roopsha Samanta, Rishabh Singh and Loris D'Antoni

Symbolic Register Automata

Symbolic Register Automata

Loris D'Antoni, Tiago Ferreira, Matteo Sammartino and Alexandra Silva

Syntax Guided Synthesis with Quantitative Syntactic Objectives

Syntax Guided Synthesis with Quantitative Syntactic Objectives

Qinheping Hu and Loris D'Antoni

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair