masahiro-sakai documents channel
Avatar
All Documents
RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay

RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay

Category: Technology
Released: January 29, 2018
Writing a SAT solver as a hobby project

Writing a SAT solver as a hobby project

Category: Technology
Released: January 29, 2018
ゼロピッチ: MOOC

ゼロピッチ: MOOC

Category: Career
Released: April 13, 2017
SAT/SMTソルバの仕組み

SAT/SMTソルバの仕組み

Category: Engineering
Released: January 24, 2017
SAT/SMT solving in Haskell

SAT/SMT solving in Haskell

Category: Engineering
Released: January 24, 2017
Aluminum: Principled Scenario Exploration through Minimality

Aluminum: Principled Scenario Exploration through Minimality

Category: Technology
Released: July 20, 2015
代数的実数とCADの実装紹介

代数的実数とCADの実装紹介

Category: Technology
Released: July 07, 2015
Run-time Code Generation and Modal-ML の紹介@PLDIr#2

Run-time Code Generation and Modal-ML の紹介@PLDIr#2

Category: Technology
Released: July 07, 2015
Introduction to Categorical Programming

Introduction to Categorical Programming

Category: Education
Released: July 07, 2015
自動定理証明の紹介

自動定理証明の紹介

Category: Education
Released: June 29, 2015
Introduction to Categorical Programming (Revised)

Introduction to Categorical Programming (Revised)

Category: Education
Released: June 26, 2015
融合変換による最適化の理論的基盤と正当性 (2006-06-27)

融合変換による最適化の理論的基盤と正当性 (2006-06-27)

Category: Technology
Released: June 26, 2015