= 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 ||
|| 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 || [[attachment:akiyama-bachelor.pptx pptx(jp)]] ||
|| 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)]] ||