▶ ACM Transactions on Design Automation of Electronic Systems (TODAES)
▶ ACM Transactions on Architecture and Code Optimization (TACO)
▶ ACM Transactions on Programming Languages and Systems (TOPLAS)
▶ ACM Transactions on Embedded Computing Systems (TECS)
▶ Software Practice and Experience (SPE)
▶ 한국정보과학회
▶ 한국정보처리학회
Conferences
▶Languages, Compilers, and Tools for Embedded Systems (LCTES)
▶Software and Compilers for Embedded Systems (SCOPES)
▶International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES)
▶Design, Automation and Test in Europe (DATE)
▶Design Automation Conference (DAC)
▶Asia and South Pacific Design Automation Conference (ASP-DAC)
▶The ACM Conference on Embedded Software (EMSOFT)
▶High-Performance Computer Architecture (HPCA)
▶ OOPSLA
▶Arechitectural Support for Programming Languages and Operating Systems (ASPLOS)
Etc.
