In the fields of Software Security, Software Engineering, and Programming Languages, most influential papers are published at top-tier international conferences. The following conferences are typically considered as top-tiers.
- Computer Security: IEEE S&P, USENIX Security, ACM CCS, NDSS
- Software Engineering: ICSE, FSE, ASE
- Programming Languages: PLDI, POPL, CAV, OOPSLA
(translation in Korean)
소프트웨어 보안, 소프트웨어 공학, 프로그래밍 언어 분야에서의 영향력 있는 논문들은 대부분 탑티어 국제학술대회에 발표됩니다. 탑티어에 속한다고 여겨지는 학술대회 목록은 아래와 같습니다.
- 컴퓨터 보안: IEEE S&P, USENIX Security, ACM CCS, NDSS
- 소프트웨어 공학: ICSE, FSE, ASE
- 프로그래밍 언어: PLDI, POPL, CAV, OOPSLA
⭐ indicates top-tier conferences.
2023
Before 2023
- SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
Sunbeom So, Seongjoon Hong, and Hakjoo Oh
Security 2021: 30th USENIX Security Symposium
[pdf] [slides] [github]
⭐ Top-tier in Computer Security
- VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, and Hakjoo Oh
IEEE S&P 2020: 41st IEEE Symposium on Security and Privacy
[pdf] [slides] [github]
⭐ Top-tier in Computer Security
- Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Junho Lee, Dowon Song, Sunbeom So, and Hakjoo Oh
OOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[pdf] [slides] [github]
⭐ Top-tier in Programming Languages
- Synthesizing Pattern Programs from Examples
Sunbeom So, and Hakjoo Oh
IJCAI 2018: International Joint Conference on Artificial Intelligence
[pdf] [slides] [github]
- Synthesizing Imperative Programs from Examples Guided by Static Analysis
Sunbeom So, and Hakjoo Oh
SAS 2017: Static Analysis Symposium
[pdf] [slides] [github]
- Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
Mina Lee*, Sunbeom So*, and Hakjoo Oh (*: co-first authors)
GPCE 2016: ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
[pdf] [slides] [github]