wiki:GeneralMeeting

Version 19 (modified by yonelab, 14 years ago) (diff)

--

General Meeting

Schedule


(Login to Google Calendar for adding/modifying entries. Login procedure.)

Date Title Speaker File
2010/05/26 Survey: Manticore - A heterogeneous parallel language akiyama 100526.pdf pdf(jp)
2010/04/07 Parallel Packrat Parser using Regularity in Syntactic Rules akiyama akiyama-bachelor.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