= General Meeting = #titleheading == Schedule == [[Iframe(http://www.google.com/calendar/embed?showTitle=0&mode=AGENDA&height=600&wkst=1&bgcolor=%23FFFFFF&src=c8ut7l1alhuttg1s42r0i25e2k%40group.calendar.google.com&color=%237A367A&ctz=Asia%2FTokyo&pvttk=572b06804a2377227224fcc01e0881f9, 100%, 200)]] [[BR]]([https://calendar.google.com Login to Google Calendar] for adding/modifying entries. [wiki:private/Calendar.ja Login procedure.]) || Date || Title || Speaker || File || || 2011/10/05 || Survey: CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution || murata || [[attachment:20111005.pptx pptx(ja)]] || || 2011/09/12 || Deterministic Parallel Copying Garbage Collection || murata || [[attachment:20110912.pptx pptx(ja)]] || || 2011/06/27 || Survey: MassiveThreads || akiyama || [[attachment:20110627-massive.pdf pdf(ja)]] || || 2011/06/13 || Interim research report || murata || [[attachment:110613.pptx pptx(ja)]] || || 2011/05/23 || Interim research report || murata || [[attachment:110523.pptx pptx(ja)]] || || 2011/04/25 || Interim research report || murata || [[attachment:110425.pptx pptx(ja)]] || || 2011/03/02 || Survey: Nominal logic: A first order theory of names and binding || ywtnb || [[attachment:20110302.pptx pptx(ja)]] || || 2011/01/26 || Survey: Fast PGAS Implementation of Distributed Graph Algorithms || akiyama || [[attachment:20110126-pgas-graph.pdf pdf(ja)]] || || 2011/01/19 || Survey: Compact Dispatch Tables for Dynamically Typed Object Oriented Languages || ikejiri || [[attachment:20110119-ikejiri.pdf pdf(ja)]] || || 2010/12/22 || Thesis Interim Report || ywtnb || [[attachment:20101222-ywtnb.pptx pptx(ja)]] || || 2010/12/22 || Thesis Interim Report || arai || [[attachment:thesis-interim-report.pptx pptx(ja)]] || || 2010/12/15 || Survey: A Type and Effect System for Deterministic Parallel Java || murata || [[attachment:101215.pptx pptx(jp)]] || || 2010/12/8 || Survey: Efficient, Portable Implementation Of Asynchronous Multi-place Programs || akiyama || [[attachment:20101208-flatx10.pdf pdf(jp)]] || || 2010/12/1 || Survey: Reflection|| tsuzuki || [[attachment:Reflection.pdf pdf(jp)]] || || 2010/10/13 || Survey: Actor Frameworks for the JVM Platform: A Comparative Analysis || akiyama || [[attachment:20101013-java-actor.pdf pdf(jp)]] || || 2010/11/10 || Survey: Effective Static Race Detection for Java || murata || [[attachment:101110.pptx pptx(jp)]] || || 2010/09/29 || Survey: Pantaxou || tsuzuki || [[attachment:Pantaxou0929.pdf pdf(jp)]] || || 2010/09/22 || Interim research report || ywtnb || [[attachment:20100922.pptx pptx(jp)]] || || 2010/09/15 || Survey: Types for Safe Locking || murata || [[attachment:100915.pptx pptx(jp)]] || || 2010/07/28 || What I did in Brussels || tsuzuki || [[attachment:What_I_did_in_Brussels.pdf pdf(jp)]] || || 2010/07/28 || Survey: X10 - A Object-Oriented Approach to Non-Uniform Clustered Computing || akiyama || [[attachment:20100728-x10.pdf pdf(jp)]] || || 2010/07/28 || Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments || tosh || [[attachment:tosh-talk-20100728-003.pptx pptx(jp)]] || || 2010/07/23 || Survey: A Multithreaded Typed Assembly Language || murata || [[attachment:100723.pptx pptx(jp)]] || || 2010/07/07 || Survey: Concurrent abstract predicates || ywtnb || [[attachment:20100707.pptx pptx(jp)]] || || 2010/06/23 || Survey: The Implementation of the Cilk-5 Multithreaded Language || akiyama || [[attachment:100623.pdf pdf(jp)]] || || 2010/06/16 || Survey: Self VM system || ikejiri || [[attachment:100616.pdf pdf(jp)]] || || 2010/06/02 || Survey: From System F to Typed Assembly Language || murata || [[attachment:100602.pptx pptx(jp)]] || || 2010/05/26 || Survey: Manticore - A heterogeneous parallel language || akiyama || [[attachment:100526.pdf pdf(jp)]] || || 2010/05/19 || Survey: GADT and Type Families in Haskell || ywtnb || [[attachment:20100519.pptx pptx(jp)]] || || 2010/04/07 || Parallel Packrat Parser using Regularity in Syntactic Rules || akiyama || || || 2010/02/17 || Survey: Certified compilers || ywtnb || [[attachment:20100217.pptx pptx(jp)]] || || 2009/12/02 || Survey: Certified Assembly Programming || ywtnb || [[attachment:20091202.pptx pptx(jp)]] || || 2009/09/16 || Survey: Ynot (Effective Interactive Proofs for Higher-Order Imperative Programs) || ywtnb || [[attachment:20090916.pptx pptx(jp)]] || || 2009/06/24 || Design and Implementation of ARM VMM by Full Virtualization || zbkt || [[attachment:zmeeting090624.ppt PPT(Japanese)]] || || 2009/06/17 || Report: CCGrid 2009 || dunnan || [[attachment:090617.Zentai.CCGrid09.pptx PPTX(English)]] || || 2009/06/10 || Report: SACSIS 2009 || koichi || [[attachment: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 || [[attachment:090513_sawazaki.pdf PDF(Japanese)]] || || 2009/04/15 || Protecting Application Data on Memory and Disk from Outside Virtual Machines || koichi || [[attachment:meeting_090415.pdf PDF(Japanese)]] || || 2009/04/07 || Survey: Fast Secure Virtualization for the ARM Platform || zbkt || [[attachment:zmeeting090407.pdf PDF(Japanese)]] || || 2008/06/03 || Survey: Simple and Flexible Stack Types || iizuka || [[attachment:全体ミーティング20080603.pptx PPTX(Japanese)]] || || 2008/05/27 || Survey: Adaptive Functional Programming || sgotou || [[attachment:080527-sgotou.pptx PPTX(Japanese)]] || || 2008/03/11 || Survey: Sufficient Preconditions for Modular Assertion Checking || nojiri || [[attachment:080311_nojiri.pptx PPTX(Japanese)]] || || 2008/03/04 || Survey: Stealthy Malware Detection Through VMM-based "Out-of-the-Box" Semantic View Reconstruction || sawazaki || [[attachment:20080304.pptx PPTX(Japanese)]] || || 2008/01/21 || How to Give a Presentation || tosh || [[attachment:presen_for_presen-basic.pdf PDF(Japanese)]] ||