Omega test and beyond

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

LLDN / キミならどう書く Haskell 編 (規定演技)

“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介＠PLDIr#6

Introduction to Max-SAT and Max-SAT Evaluation

非正格関数に対して適用可能な融合変換

Whole Program Paths 等の紹介@PLDIr#3

“Symbolic bounds analysis of pointers, array indices, and accessed memory regions”他の紹介＠PLDIr#4

“Design and Implementation of Generics for the .NET Common Language Runtime”他の紹介＠PLDIr#5

Haskell - LLRing2006 Language Update

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

Ruby-GNOME2におけるGC問題

自動定理証明の紹介

Introduction to Categorical Programming

LLDN / キミならどう書く Haskell 編 (自由演技)

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

自然言語をラムダ式で解釈する体系PTQのHaskell実装

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

萩野服部研究室 スキー合宿 2012 自己紹介(酒井)

Improving Performance by Branch Reordering の紹介@PLDIr#2