THIS SITE

Information for

Arie Gurfinkel

Associate Professor

Contact InformationArie Gurfinkel

Phone: 519-888-4567 x36616
Location: DC 2522

Website

Education

  • 2007, Doctorate, Computer Science, University of Toronto

Courses

  • ECE 653 - Software Testing, Quality Assurance and Maintenance
    • Taught in 2017, 2018
  • ECE 650 - Methods and Tools for Software Engineering
    • Taught in 2017
  • ECE 453 - Software Testing, Quality Assurance and Maintenance
    • Taught in 2018

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