Loris D’Antoni - Concepedia

Author

Loris D’Antoni

University of Wisconsin–Madison ORCID

Also Known As

D'Antoni, Loris, Loris D'Antoni, Loris D'antoni, Loris DAntoni, Loris D’Antoni

144

Publications

Citations

H-Index

100

Concepts

All Affiliations

University of Wisconsin–Madison University of Pennsylvania Microsoft (United States)Philadelphia University University of California, Berkeley

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	33	1K
2	Education	4	4	218
3	Language Studies	3	3	148
4	Business	1	1	10
5	Management	1	1	23

Loris D’Antoni

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis Andrew Head, Elena L. Glassman, Gustavo Soares, Software MaintenanceEngineeringEducationSoftware EngineeringProgram Synthesis Techniques	2017	118
FairSquare: probabilistic verification of program fairness Aws Albarghouthi, Loris D’Antoni, Samuel Drews, Proceedings of the ACM on Programming Languages Program CheckingEngineeringVerificationSoftware SystemsSoftware Engineering	2017	99
Minimization of symbolic automata Loris D’Antoni, Margus Veanes Mathematical ProgrammingLogical AutomatonEngineeringString-searching AlgorithmClassical Automata	2014	92
Regular Functions and Cost Register Automata Rajeev Alur, Loris D’Antoni, Jyotirmoy V. Deshmukh,	2013	75
How Can Automatic Feedback Help Students Construct Automata? Loris D’Antoni, Dileep Kini, Rajeev Alur, ACM Transactions on Computer-Human Interaction Automatic FeedbackEngineeringEducationBinary FeedbackProgramming Language Teaching	2015	51
Automated grading of DFA constructions Rajeev Alur, Loris D’Antoni, Sumit Gulwani, International Joint Conference on Artificial Intelligence	2013	47
HARE: Hardware accelerator for regular expressions Vaibhav Gogte, Aasheesh Kolli, Michael Cafarella, EngineeringComputer ArchitectureHardware SystemsString-searching AlgorithmHigh-performance Architecture	2016	45
Genesis: synthesizing forwarding tables in multi-tenant networks Kausik Subramanian, Loris D’Antoni, Aditya Akella Cluster ComputingEngineeringComputer ArchitectureNetwork AnalysisData Center Network	2016	41
Program Boosting R Cochran, Loris D’Antoni, Benjamin Livshits, EngineeringCrowd-sourcing Imperfect SolutionsSoftware EngineeringSoftware AnalysisNatural Language Processing	2014	39
Operating system support for augmented reality applications Loris D’Antoni, Alan M. Dunn, Suman Jana, University of Birmingham Research Portal (University of Birmingham) EngineeringDisplay AbstractionsAugmented Reality GameVirtual RealityOperating System Support	2013	33

Page 1