Talks and presentations

• DynamiTe: Dynamic Termination and Non-termination Proofs

  December 02, 2020

  Invited talk, New York University (NYU), Formal Methods, New York, NY Online

• DynamiTe: Dynamic Termination and Non-termination Proofs

  November 17, 2020

  Oral presentation, OOPSLA 2020, Chicago, IL Online

• DynamiTe: Dynamic Termination and Non-termination Proofs

  October 05, 2020

  Technical talk, Amazon Web Services (AWS), Automated Reasoning Group, Online

• SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic

  June 25, 2019

  Oral presentation, PLDI 2019, Phoenix, AZ

• HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction

  April 27, 2017

  Oral presentation, SV-COMP@TACAS 2017, Uppsala, Sweden

• Termination and Non-termination Specification Inference

  June 17, 2015

  Oral presentation, PLDI 2015, Portland, OR

• A Resource-Based Logic for Termination and Non-termination Proofs

  April 11, 2014

  Oral presentation, ICFEM 2014, Luxembourg

• A Proof Slicing Framework for Program Verification

  October 30, 2013

  Oral presentation, ICFEM 2013, Queenstown, New Zealand