Contact Information
Phone: 519-888-4567 x36616
Location: DC 2522
Website
Education
- 2007, Doctorate, Computer Science, University of Toronto
Courses*
- CS 447 - Software Testing, Quality Assurance, and Maintenance
- Taught in 2019, 2020, 2021, 2022
- CS 647 - Software Testing, Quality Assurance and Maintenance
- Taught in 2019, 2020, 2021, 2022
- ECE 351 - Compilers
- Taught in 2020, 2021, 2022
- ECE 453 - Software Testing, Quality Assurance, and Maintenance
- Taught in 2019, 2020, 2021, 2022
- ECE 650 - Methods and Tools for Software Engineering
- Taught in 2019, 2020, 2022
- ECE 750 - Special Topics in Computer Software
* Only courses taught in the past 5 years are displayed.Selected/Recent Publications
- Andreas Katis and Grigory Fedyukovich and Huajun Guo and Andrew Gacek and John Backes and Arie Gurfinkel and Michael W. Whalen, Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts, CoRR, 2017
Link - Anvesh Komuravelli and Arie Gurfinkel and Sagar Chaki, SMT-based model checking for recursive programs, Formal Methods in System Design, 48(3), 2016, 175 - 205
Link - Andreas Katis and Grigory Fedyukovich and Andrew Gacek and John D. Backes and Arie Gurfinkel and Michael W. Whalen, Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability, CoRR, 2016
Link - Anvesh Komuravelli and Nikolaj Bj{o}rner and Arie Gurfinkel and Kenneth L. McMillan, Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays, CoRR, 2015
Link - Sagar Chaki and Arie Gurfinkel and Ofer Strichman, Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation), Formal Methods in System Design, 47(3), 2015, 287 - 301
Link - Arie Gurfinkel and Temesghen Kahsai and Jorge A. Navas, Algorithmic logic-based verification, {SIGLOG} News, 2(2), 2015, 29 - 38
Link - Anvesh Komuravelli and Arie Gurfinkel and Sagar Chaki, SMT-based Model Checking for Recursive Programs, CoRR, 2014
Link - Hana Chockler and Arie Gurfinkel and Ofer Strichman, Beyond vacuity: towards the strongest passing formula, Formal Methods in System Design, 43(3), 2013, 552 - 571
Link - Anvesh Komuravelli and Arie Gurfinkel and Sagar Chaki and Edmund M. Clarke, Automatic Abstraction in SMT-Based Unbounded Software Model Checking, CoRR, 2013
Link - Naghmeh Ghafari and Arie Gurfinkel and Nils Klarlund and Richard J. Trefler, Reachability Problems in Piecewise {FIFO} Systems, {ACM} Trans. Comput. Log., 13(1), 2012
Link
Graduate Studies