Special Talks
arranged by PLAS Lab.
Embedded Files
2023
2023
10/5 Jaehyung Lee (Hanyang Univ.), Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting (ACM CCS'23)
9/20 Jongik Kim (Chungnam Nat'l Univ.), About Boosting Graph Similarity Search and Efficient Graph Edit Distance Computation
3/15 Woosuk Lee (Hanyang Univ.), Program Synthesis and MBA Expression Analysis (private discussion)
3/15 Jeehoon Kang (KAIST), 동시성 프로그램은 언제 메모리를 해제할 수 있는가? (When can memory be released in concurrent programs?)
2022
2022
2/22 Woosuk Lee (Hanyang Univ.), Program Synthesis and Program Analysis
2021
2021
12/03 Moonzoo Kim (KAIST, V+Lab.), Conconlic Test
11/28 Yoonjeong Kim (DuDu IT), Cyber Security Exercise in Practice
06/11 Jongik Kim (Jeonbuk Nat'l Univ.), Boosting Graph Similarity Search through Pre-computation (ACM SIGMOD'21)
05/28 Jonghyup Lee (Gachon Univ., PiLab Tech.), DeFi and Security
03/19 Woosuk Lee (Hanyang Univ.), Introduction to Program Synthesis (ACM POPL'21 and etc.)
2020
2020
12/29 Hyunil Lim (Gyungnam Univ.), Design and Implementation of Secure Data Access Control Model for Improving Information Security of Programs & Applying Code Vectors for Presenting Software Features in Machine Learning (IEEE COMPSAC'19)
12/28 Hakjoo Oh (Korea Univ.), VERISMART: A Highly Precise Safety Verifier forEthereum Smart Contracts (IEEE S&P'20)
12/23 Jongik Kim (Jeonbuk Nat'l Univ.), Inves: Incremental Partitioning-Based Verification for Graph Similarity Search (EDBT'19)
11/19 Insuk Jang (NSR), LockedSheids and Cyber defense exercise
10/31 Sungho Lee (CNU), Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis (ASE'20)
2016-2020
2016-2020
2020/05/14 K. Eom (NSR), Binary obfuscation practice
2019/09/27 Gyesik Lee (Hankyung Nat'l Univ.) The Correspondence Between Logic and Programming
2019/05/31 C. Choi (Kakao), Java 8 and Functional Programming
2018/08/24 Rize Jin (Tianjin Polytechnic Univ. China) Deep Learning Methods for Natural Language Processing
2018 /07/03 Ki Yung Ahn (Hannam Univ.) Quasi-Open Bisimilarity with Mismatch is Intuitionistic (LICS18)
2017/ 06/28 Qinghua Lu (China University of Petroleum, China), Dependable Cloud Computing, and Cross-Organizational Big Data Processing (IEEE Softw.17 etc.)
and more by K. Shin, G. Kim and etc.
Report abuse