Loris D'Antoni
Orcid: 0000-0001-9625-4037Affiliations:
- University of California-San Diego, CA, USA
- University of Wisconsin-Madison, USA (former)
According to our database1,
Loris D'Antoni
authored at least 94 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
5
10
15
12
4
3
2
2
3
3
1
4
1
1
1
1
3
3
7
5
4
3
14
3
3
2
6
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs.
Proc. ACM Program. Lang., 2024
Proc. ACM Program. Lang., 2024
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics.
Proc. ACM Program. Lang., 2024
Proc. ACM Program. Lang., 2024
A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness.
CoRR, 2024
CoRR, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Proceedings of the Static Analysis - 30th International Symposium, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023
2022
ACM Trans. Program. Lang. Syst., 2022
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
2021
Proceedings of the SOSR '21: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, USA, October 11, 2021
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the 37th International Conference on Machine Learning, 2020
Proceedings of the Programming Languages and Systems, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Proceedings of the Static Analysis - 26th International Symposium, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proc. ACM Meas. Anal. Comput. Syst., 2018
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proc. ACM Program. Lang., 2017
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
Exploring the Design Space of Automatically Synthesized Hints for Introductory Programming Assignments.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the 49th Annual IEEE/ACM International Symposium on Microarchitecture, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
ACM Trans. Program. Lang. Syst., 2015
ACM Trans. Comput. Hum. Interact., 2015
Bull. EATCS, 2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015
2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
ACM Trans. Database Syst., 2013
Proceedings of the Verification, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
2011
CoRR, 2011
2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008