Concepedia

Loris D’Antoni

LD

36

Publications

1.1K

Citations

19

H-Index

2013

Active since

Affiliations

University of Wisconsin–Madison(Current)

University of Pennsylvania

Microsoft (United States)

Philadelphia University

University of California, Berkeley

Loris D’Antoni is an author at University of Wisconsin–Madison specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringData ScienceVerification

Publications per year

2013–2023

36

Publications

36

Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis

Andrew Head, Elena L. Glassman, Gustavo Soares et al. · 2017 · 118 citations · Full text

Software Maintenance, Engineering, Education +21

FairSquare: probabilistic verification of program fairness

Aws Albarghouthi, Loris D’Antoni, Samuel Drews et al. · Proceedings of the ACM on Programming Languages · 2017 · 99 citations · Full text

Program Checking, Engineering, Verification +20

Minimization of symbolic automata

Loris D’Antoni, Margus Veanes · 2014 · 92 citations

Mathematical Programming, Logical Automaton, Engineering +14

Regular Functions and Cost Register Automata

Rajeev Alur, Loris D’Antoni, Jyotirmoy V. Deshmukh et al. · 2013 · 75 citations

How Can Automatic Feedback Help Students Construct Automata?

Loris D’Antoni, Dileep Kini, Rajeev Alur et al. · ACM Transactions on Computer-Human Interaction · 2015 · 51 citations

Automatic Feedback, Engineering, Education +16

Rows per page

1–5 of 36