2018.11.08

Publications

Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes (ESEC/FSE2018) Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes

automated debugging, software regression, tree differencing

2018.10.19

Publications

Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code (PLAS2018) Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code

2018.06.17

Publications

Local Data Race Freedom with Non-Multi-Copy Atomicity Local Data Race Freedom with Non-Multi-Copy Atomicity

operational semantics, memory consistency models, model checking, bisimulation, data race freedom

2018.04.13

Publications

STAIR Actions: A Video Dataset of Everyday Home Actions STAIR Actions: A Video Dataset of Everyday Home Actions

machine learning, action recognition, computer vision

2018.03.15

Publications

Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN

memory consistency models, model checking

2017.12.15

Publications

Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models

program verification, model checking, memory consistency models