No Slide Title

Object Initialization in X10

Object Initialization in X10

Three suggestions for Usable Formal Methods

Three suggestions for Usable Formal Methods

The Magic of Rubik

The Magic of Rubik

No Slide Title

No Slide Title

PowerPoint 演示文稿

PowerPoint 演示文稿

Popcorn (Paradime Of Parallel Computation Over Remote

Popcorn (Paradime Of Parallel Computation Over Remote

Problem Solving for Computer Science

Problem Solving for Computer Science

Advanced pointer topics

Advanced pointer topics

Lazy and Speculative Execution

Lazy and Speculative Execution

Objective-C - UAF Department of Computer Science

Objective-C - UAF Department of Computer Science

Project overview and IC language

Project overview and IC language

International Students in Your Classroom: Challenges and

International Students in Your Classroom: Challenges and

Contrarianism and value investment

Contrarianism and value investment

Data Abstraction, Existential Types and Module Systems

Data Abstraction, Existential Types and Module Systems