2019.11.16

Publications

Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value

rewriting, confluence, termination, solver

2019.10.23

Publications

A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language

parallel processing, program verification, high performance computing, operational semantics, type system, concurrency

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

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

2018.04.13

Publications

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

computer vision, machine learning, action recognition

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