계룡 개발 모임

이벤트

2019/11/09 - F2FS: A New File System for Flash Storage - 이민욱
2019/11/16 - A Theory of Type Polymorphism in Programming - 최영서
2019/11/23 - Theorems for Free! - 최성은
2019/11/30 - Faster algorithms for some optimization problems on collinear points - 구본호
2019/12/14 - SimpleSSD: Modeling Solid State Drives for Holistic System Simulation - 이민욱
2019/12/21 - APPx: An Automated App Acceleration Framework for Low Latency Mobile App - 최영서
2019/12/28 - Coloring of cartesian product of cycle graph, C_7 X C_n - 구본호

2020/01/04 - A Categorical Programming Language - 최성은
2020/01/18 - Endurable Transient Inconsistency in Byte-Addressable Persistent B+ Tree - 이민욱
2020/01/25 - Optimising Existing Software with Genetic Programming - 최영서
2020/02/15 - Notion of Computation and Monad - 최성은
2020/02/22 - The dark side of UX design - 구본호
2020/02/29 - Spectre Attacks: Exploiting Speculative Execution - 하재형
2020/03/07 - Why Should I Trust You - Explaining the Predictions of Any Classifier - 백동진
2020/03/14 - An In-Depth Study of Next Generation Interface for Emerging Non-Volatile Memories - 이민욱
2020/03/21 - Computing the Galois Group of a Polynomial - 최성은
2020/03/28 - Terrain Synthesis from Digital Elevation Models - 이도운
2020/04/04 - MapReduce: Simplified Data Processing on Large Clusters - 최영서
2020/04/11 - Skip lists: A probabilistic alternative to balanced tree - 구본호
2020/04/18 - The Web’s Identity Crisis : Understanding the Effectiveness of Website Identity Indicators. - 하재형
2020/04/25 - Transforming Auto-encoders - 백동진
2020/05/02 - Ext4: The Next Generation of Ext2/3 Filesystem - 이민욱
2020/05/09 - Ghosts of Departed Proofs (Functional Pearl) - 최성은
2020/05/16 - Physically-Based Shading at Disney - 이도운