Changes between Version 2 and Version 3 of ThesesForDegrees

Timestamp:

04/01/11 00:20:45 (13 years ago)

Author:

yonelab

Comment:

--

ThesesForDegrees

@@ -7 +7 @@
 
 = Ph.D. Thesis = #doctor
+== 2010 ==
+
+== 2009 ==
+
+== 2008 ==
+
 == 2007 ==
  * Type Systems for Formal Verification of Concurrent Programs
@@ -93 +99 @@
 
 = Master Thesis = #master
+== 2010 ==
+
+== 2009 ==
+
+== 2008 ==
+ * A Distributed Storage System for Virtual Disk Management
+ ([/~osumi/ Hiroyuki Osumi])
+ * A Typed Assembly Language with Reference Counting
+ ([/~kosakai/ Takahiro Kosakai])
+ * A Merging Facility for a Tree-Structured Versioning File System
+ ([/~takaki/ Wataru Takaki])
+
 == 2007 ==
  * Reactive Model Checking for Game Scenarios
@@ -271 +289 @@
 
 = Senior Thesis = #senior
+== 2010 ==
+ * Lightweight Implementation of Profile-Driven Implicit Parallelization for Haskell
+ ([/~arai/ Junya Arai])
+ * Analysis and Sugesstion on Security Requirements for Software Development
+ ([/~yuto/ Yuto Takei])
+ * Improving BEEP Approach for Preventing XSS Attacks and Reducing Its Overhead
+ ([/~masato/ Masato Tanaka])
+
+== 2009 ==
+ * Encapsulation in Prototype-Based Object-Oriented Language using Ownership Types
+ ([/~ikejiri/ Takuro Ikejiri])
+
+== 2008 ==
+ * Realizing Fairness in StackThreads/MP Scheme
+ ([/~uemura/ Keiichiro Uemura])
+ * A Honeypot System Solving Dilemma Between Freedom and Restriction
+ ([/~tsuzuki/ Tomohiro Suzuki])
+ * Extending Hoare Type Theory for Arrays
+ ([/~ywtnb/ Yuki Watanabe])
+
 == 2007 ==
  * Dependent Types in Imperative Programming Language