Julian Parsert
Julian Parsert
Wolfson Building, Parks Road, Oxford OX1 3QD
Interests
Program Synthesis, Verification, Interactive and Automated Theorem Proving, Machine Learning
Biography
Before starting my DPhil in Oxford I studied and worked at the University of Innsbruck, Austria.
Selected Publications
-
Reinforcement Learning and Data−Generation for Syntax−Guided Synthesis
Julian Parsert and Elizabeth Polgreen
In Michael J. Wooldridge‚ Jennifer G. Dy and Sriraam Natarajan, editors, Thirty−Eighth AAAI Conference on Artificial Intelligence‚ AAAI 2024‚ Thirty−Sixth Conference on Innovative Applications of Artificial Intelligence‚ IAAI 2024‚ Fourteenth Symposium on Educational Advances in Artificial Intelligence‚ EAAI 2014‚ February 20−27‚ 2024‚ Vancouver‚ Canada. Pages 10670–10678. AAAI Press. 2024.
Details about Reinforcement Learning and Data−Generation for Syntax−Guided Synthesis | BibTeX data for Reinforcement Learning and Data−Generation for Syntax−Guided Synthesis | DOI (10.1609/AAAI.V38I9.28938) | Link to Reinforcement Learning and Data−Generation for Syntax−Guided Synthesis
-
Experiments on Infinite Model Finding in SMT Solving
Julian Parsert‚ Chad E. Brown‚ Mikolas Janota and Cezary Kaliszyk
In Ruzica Piskac and Andrei Voronkov, editors, LPAR 2023: Proceedings of 24th International Conference on Logic for Programming‚ Artificial Intelligence and Reasoning‚ Manizales‚ Colombia‚ 4−9th June 2023. Vol. 94 of EPiC Series in Computing. Pages 317–328. EasyChair. 2023.
Details about Experiments on Infinite Model Finding in SMT Solving | BibTeX data for Experiments on Infinite Model Finding in SMT Solving | DOI (10.29007/SLRM) | Link to Experiments on Infinite Model Finding in SMT Solving
-
Neural termination analysis
Mirco Giacobbe‚ Daniel Kroening and Julian Parsert
In Abhik Roychoudhury‚ Cristian Cadar and Miryung Kim, editors, Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering‚ ESEC/FSE 2022‚ Singapore‚ Singapore‚ November 14−18‚ 2022. Pages 633–645. ACM. 2022.
Details about Neural termination analysis | BibTeX data for Neural termination analysis | DOI (10.1145/3540250.3549120) | Link to Neural termination analysis