CV

Education

• B.S. in GitHub, GitHub University, 2012
• M.S. in Jekyll, GitHub University, 2014
• Ph.D in Version Control Theory, GitHub University, 2018 (expected)

Work experience

• Summer 2015: Research Assistant
  • Github University
  • Duties included: Tagging issues
  • Supervisor: Professor Git
• Fall 2015: Research Assistant
  • Github University
  • Duties included: Merging pull requests
  • Supervisor: Professor Hub

Skills

• Skill 1
• Skill 2
  • Sub-skill 2.1
  • Sub-skill 2.2
  • Sub-skill 2.3
• Skill 3

Publications

A Proof Slicing Framework for Program Verification

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

Termination and Non-termination Specification Inference

Automated Mutual Explicit Induction Proof in Separation Logic

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

Automated Lemma Synthesis in Symbolic-Heap Separation Logic

The Game Among Bribers in a Smart Contract System

eGov-DAO: A Better Government using Blockchain based Decentralized Autonomous Organization

Proving Conditional Termination for Smart Contracts

Automated Mutual Induction Proof in Separation Logic

Specification and Inference of Trace Refinement Relations

SL-COMP: Competition of Solvers for Separation Logic

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

DynamiTe: Dynamic Termination and Non-termination Proofs

Proving LTL Properties of Bitvector Programs and Decompiled Binaries

An Algebra of Alignment for Relational Verification

Talks

A Proof Slicing Framework for Program Verification

October 30, 2013

Oral presentation at ICFEM 2013, Queenstown, New Zealand

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

April 11, 2014

Oral presentation at ICFEM 2014, Luxembourg

Termination and Non-termination Specification Inference

June 17, 2015

Oral presentation at PLDI 2015, Portland, OR

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

April 27, 2017

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

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

June 25, 2019

Oral presentation at PLDI 2019, Phoenix, AZ

DynamiTe: Dynamic Termination and Non-termination Proofs

October 05, 2020

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

DynamiTe: Dynamic Termination and Non-termination Proofs

November 17, 2020

Oral presentation at OOPSLA 2020, Chicago, IL Online

DynamiTe: Dynamic Termination and Non-termination Proofs

December 02, 2020

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

Teaching

Teaching experience 1

Teaching experience 2

Service and leadership

• Currently signed in to 43 different slack teams