Loris D'Antoni
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 94
Publications (10 Years): 94
Publications
- Brian Chang, Kausik Subramanian, Loris D'Antoni, Aditya Akella
- Kanghee Park, Jiayu Wang, Taylor Berg-Kirkpatrick, Nadia Polikarpova, Loris D'Antoni
- Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni
- Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni
- Loris D'Antoni
- Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
- Kanghee Park, Loris D'Antoni, Thomas W. Reps
- Kanghee Park, Loris D'Antoni, Thomas W. Reps
- Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps
- Samuel Drews, Aws Albarghouthi, Loris D'Antoni
- Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps
- Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
- Brian Chang, Aditya Akella, Loris D'Antoni, Kausik Subramanian
- Anvay Grover, Ruediger Ehlers, Loris D'Antoni
- Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
- Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
- Qinheping Hu, Rishabh Singh, Loris D'Antoni
- Karuna Grewal, Loris D'Antoni, Justin Hsu
- Anvay Grover, Rüdiger Ehlers, Loris D'Antoni
- Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
- Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
- Karuna Grewal, Loris D'Antoni, Justin Hsu
- Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
- Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
- Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
- Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
- Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
- Reudismam Rolim de Sousa, Gustavo Soares, Rohit Gheyi, Titus Barik, Loris D'Antoni
- Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
- Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps
- Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
- Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
- Loris D'Antoni, Margus Veanes
- Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
- Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella
- Samuel Drews, Aws Albarghouthi, Loris D'Antoni
- Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
- Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian WeiningerAutomata Tutor v3. CoRR (2020)
- Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni
- Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. RepsSemantics-Guided Synthesis. CoRR (2020)
- Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
- Rong Pan, Qinheping Hu, Gaowei Xu, Loris D'Antoni
- Samuel Drews, Aws Albarghouthi, Loris D'Antoni
- Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
- Samuel Drews, Aws Albarghouthi, Loris D'Antoni
- Samuel Drews, Aws Albarghouthi, Loris D'Antoni
- Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
- Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
- Qinheping Hu, Isaac Evavold, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
- Loris D'Antoni, Zachary Kincaid, Fang Wang
- George Argyros, Loris D'Antoni
- Kausik Subramanian, Loris D'Antoni, Aditya Akella
- Qinheping Hu, Loris D'Antoni
- Reudismam Rolim, Gustavo Soares, Rohit Gheyi, Loris D'Antoni
- Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra SilvaSymbolic Register Automata. CoRR (2018)
- Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. NoriQuantifying Program Bias. CoRR (2017)
- Loris D'Antoni, Margus Veanes
- Loris D'Antoni, Rishabh Singh, Michael Vaughn
- Samuel Drews, Loris D'Antoni
- Loris D'Antoni, Margus Veanes
- Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
- Kausik Subramanian, Loris D'Antoni, Aditya Akella
- Aws Albarghouthi, Loris D'Antoni, Samuel Drews
- Loris D'Antoni, Margus Veanes
- David Merrell, Aws Albarghouthi, Loris D'Antoni
- Rajeev Alur, Loris D'Antoni
- Qinheping Hu, Loris D'Antoni
- Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit
- Loris D'Antoni, Margus Veanes
- Loris D'Antoni, Roopsha Samanta, Rishabh Singh
- Loris D'Antoni, Rishabh Singh, Michael Vaughn
- Vaibhav Gogte, Aasheesh Kolli, Michael J. Cafarella, Loris D'Antoni, Thomas F. Wenisch
- Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
- Loris D'Antoni, Zachary Kincaid, Fang Wang
- Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur
- Loris D'Antoni, Margus Veanes
- Loris D'Antoni, Margus Veanes
- Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar