이벤트

• [[설대회]]
• [[송편대회]]
• [[Memory_Leak]]
• [[썩어버린 Query Language]]

  논문 스터디

• [[Endurable_Transient_Inconsistency_in_Byte_Addressable_Persistent_B+-Tree]]
• [[ext4]]{The new ext4 filesystem: current status and future plans}
• [[F2FS]]

공부한 논문 리스트(일자-논문-발표자)

2019

• 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

• 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 - 이도운