| Version 52 (modified by yonelab, 14 years ago) (diff) |
|---|
General Meeting
Schedule
(Login to Google Calendar for adding/modifying entries. Login procedure.)
| Date | Title | Speaker | File |
| 2011/10/05 | Survey: CoreDet?: A Compiler and Runtime System for Deterministic Multithreaded Execution | murata | 20111005.pptx pptx(ja) |
| 2011/09/12 | Deterministic Parallel Copying Garbage Collection | murata | 20110912.pptx pptx(ja) |
| 2011/06/27 | Survey: MassiveThreads? | akiyama | 20110627-massive.pdf pdf(ja) |
| 2011/06/13 | Interim research report | murata | 110613.pptx pptx(ja) |
| 2011/05/23 | Interim research report | murata | 110523.pptx pptx(ja) |
| 2011/04/25 | Interim research report | murata | 110425.pptx pptx(ja) |
| 2011/03/02 | Survey: Nominal logic: A first order theory of names and binding | ywtnb | 20110302.pptx pptx(ja) |
| 2011/01/26 | Survey: Fast PGAS Implementation of Distributed Graph Algorithms | akiyama | 20110126-pgas-graph.pdf pdf(ja) |
| 2011/01/19 | Survey: Compact Dispatch Tables for Dynamically Typed Object Oriented Languages | ikejiri | 20110119-ikejiri.pdf pdf(ja) |
| 2010/12/22 | Thesis Interim Report | ywtnb | 20101222-ywtnb.pptx pptx(ja) |
| 2010/12/22 | Thesis Interim Report | arai | thesis-interim-report.pptx pptx(ja) |
| 2010/12/15 | Survey: A Type and Effect System for Deterministic Parallel Java | murata | 101215.pptx pptx(jp) |
| 2010/12/8 | Survey: Efficient, Portable Implementation Of Asynchronous Multi-place Programs | akiyama | 20101208-flatx10.pdf pdf(jp) |
| 2010/12/1 | Survey: Reflection | tsuzuki | Reflection.pdf pdf(jp) |
| 2010/10/13 | Survey: Actor Frameworks for the JVM Platform: A Comparative Analysis | akiyama | 20101013-java-actor.pdf pdf(jp) |
| 2010/11/10 | Survey: Effective Static Race Detection for Java | murata | 101110.pptx pptx(jp) |
| 2010/09/29 | Survey: Pantaxou | tsuzuki | Pantaxou0929.pdf pdf(jp) |
| 2010/09/22 | Interim research report | ywtnb | 20100922.pptx pptx(jp) |
| 2010/09/15 | Survey: Types for Safe Locking | murata | 100915.pptx pptx(jp) |
| 2010/07/28 | What I did in Brussels | tsuzuki | What_I_did_in_Brussels.pdf pdf(jp) |
| 2010/07/28 | Survey: X10 - A Object-Oriented Approach to Non-Uniform Clustered Computing | akiyama | 20100728-x10.pdf pdf(jp) |
| 2010/07/28 | Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments | tosh | tosh-talk-20100728-003.pptx pptx(jp) |
| 2010/07/23 | Survey: A Multithreaded Typed Assembly Language | murata | 100723.pptx pptx(jp) |
| 2010/07/07 | Survey: Concurrent abstract predicates | ywtnb | 20100707.pptx pptx(jp) |
| 2010/06/23 | Survey: The Implementation of the Cilk-5 Multithreaded Language | akiyama | 100623.pdf pdf(jp) |
| 2010/06/16 | Survey: Self VM system | ikejiri | 100616.pdf pdf(jp) |
| 2010/06/02 | Survey: From System F to Typed Assembly Language | murata | 100602.pptx pptx(jp) |
| 2010/05/26 | Survey: Manticore - A heterogeneous parallel language | akiyama | 100526.pdf pdf(jp) |
| 2010/05/19 | Survey: GADT and Type Families in Haskell | ywtnb | 20100519.pptx pptx(jp) |
| 2010/04/07 | Parallel Packrat Parser using Regularity in Syntactic Rules | akiyama | |
| 2010/02/17 | Survey: Certified compilers | ywtnb | 20100217.pptx pptx(jp) |
| 2009/12/02 | Survey: Certified Assembly Programming | ywtnb | 20091202.pptx pptx(jp) |
| 2009/09/16 | Survey: Ynot (Effective Interactive Proofs for Higher-Order Imperative Programs) | ywtnb | 20090916.pptx pptx(jp) |
| 2009/06/24 | Design and Implementation of ARM VMM by Full Virtualization | zbkt | zmeeting090624.ppt PPT(Japanese) |
| 2009/06/17 | Report: CCGrid 2009 | dunnan | 090617.Zentai.CCGrid09.pptx PPTX(English) |
| 2009/06/10 | Report: SACSIS 2009 | koichi | meeting_090610.pdf PDF(Japanese) |
| 2009/05/27 | Survey: The Beha vior of SAT Solvers in Model Checking Applications | matu | attachment/wiki/private/SystemSoftwareSeminar.ja/20090527.pdf PDF(Japanese) |
| 2009/05/13 | Survey: Implicit Detection of Hidden Processes with a Feather-Weight Hardware-Assisted Virtual Machine Monitor | sawazaki | 090513_sawazaki.pdf PDF(Japanese) |
| 2009/04/15 | Protecting Application Data on Memory and Disk from Outside Virtual Machines | koichi | meeting_090415.pdf PDF(Japanese) |
| 2009/04/07 | Survey: Fast Secure Virtualization for the ARM Platform | zbkt | zmeeting090407.pdf PDF(Japanese) |
| 2008/06/03 | Survey: Simple and Flexible Stack Types | iizuka | 全体ミーティング20080603.pptx PPTX(Japanese) |
| 2008/05/27 | Survey: Adaptive Functional Programming | sgotou | 080527-sgotou.pptx PPTX(Japanese) |
| 2008/03/11 | Survey: Sufficient Preconditions for Modular Assertion Checking | nojiri | 080311_nojiri.pptx PPTX(Japanese) |
| 2008/03/04 | Survey: Stealthy Malware Detection Through VMM-based "Out-of-the-Box" Semantic View Reconstruction | sawazaki | 20080304.pptx PPTX(Japanese) |
| 2008/01/21 | How to Give a Presentation | tosh | presen_for_presen-basic.pdf PDF(Japanese) |
Attachments
- presen_for_presen-basic.pdf (301.7 KB) - added by yonelab 16 years ago.
- 全体ミーティング20080603.pptx (977.4 KB) - added by yonelab 16 years ago.
- 080527-sgotou.pptx (1.2 MB) - added by yonelab 16 years ago.
- 20080304.pptx (1.2 MB) - added by yonelab 16 years ago.
- 080311_nojiri.pptx (109.4 KB) - added by yonelab 16 years ago.
- zmeeting090407.pdf (882.4 KB) - added by yonelab 16 years ago.
- meeting_090415.pdf (760.6 KB) - added by yonelab 16 years ago.
- 090513_sawazaki.pdf (329.1 KB) - added by yonelab 16 years ago.
- 090617.Zentai.CCGrid09.pptx (2.4 MB) - added by yonelab 16 years ago.
- meeting_090610.pdf (1.0 MB) - added by yonelab 16 years ago.
- zmeeting090624.ppt (1.0 MB) - added by yonelab 16 years ago.
-
20090916.pptx
(93.2 KB) -
added by yonelab 15 years ago.
ywtnb
-
20091202.pptx
(548.3 KB) -
added by yonelab 15 years ago.
ywtnb
- 20100217.pptx (624.4 KB) - added by yonelab 15 years ago.
- 100526.pdf (292.2 KB) - added by yonelab 15 years ago.
- 20100519.pptx (139.4 KB) - added by yonelab 15 years ago.
- 100602.pptx (117.1 KB) - added by yonelab 15 years ago.
- 100616.pdf (427.3 KB) - added by yonelab 15 years ago.
- 100623.pdf (651.9 KB) - added by yonelab 15 years ago.
- 20100707.pptx (982.9 KB) - added by yonelab 15 years ago.
-
What_I_did_in_Brussels.pdf
(1.6 MB) -
added by yonelab 15 years ago.
Summary of Suzuki's Brussels stay
- 20100728-x10.pdf (399.9 KB) - added by yonelab 15 years ago.
- tosh-talk-20100728-003.pptx (188.6 KB) - added by yonelab 15 years ago.
- Pantaxou0929.pdf (1.3 MB) - added by yonelab 15 years ago.
- 20100922.pptx (84.3 KB) - added by yonelab 15 years ago.
- 20101013-java-actor.pdf (807.2 KB) - added by yonelab 15 years ago.
- 101215.pptx (431.8 KB) - added by yonelab 14 years ago.
- 101110.pptx (223.8 KB) - added by yonelab 14 years ago.
- 100915.pptx (69.8 KB) - added by yonelab 14 years ago.
- 100723.pptx (92.3 KB) - added by yonelab 14 years ago.
- 20101208-flatx10.pdf (616.0 KB) - added by yonelab 14 years ago.
- Reflection.pdf (1.3 MB) - added by yonelab 14 years ago.
- thesis-interim-report.pptx (172.0 KB) - added by yonelab 14 years ago.
- 20101222-ywtnb.pptx (65.0 KB) - added by yonelab 14 years ago.
- 20110119-ikejiri.pdf (836.0 KB) - added by yonelab 14 years ago.
- 20110126-pgas-graph.pdf (1.2 MB) - added by yonelab 14 years ago.
- 20110302.pptx (122.9 KB) - added by yonelab 14 years ago.
- 110425.pptx (140.1 KB) - added by yonelab 14 years ago.
- 110523.pptx (121.8 KB) - added by yonelab 14 years ago.
- 110613.pptx (90.4 KB) - added by yonelab 14 years ago.
- 20110627-massive.pdf (913.3 KB) - added by yonelab 14 years ago.
- 20111005.pptx (146.8 KB) - added by yonelab 14 years ago.
- 20110912.pptx (250.2 KB) - added by yonelab 14 years ago.
