A list of topics

A unified functional programming language for the three-tiered web programs

• A polymorphic RPC calculus, SBMF2019
• A theory of RPC calculi, JFP2019

A language-integrated LR parser for Haskell

• Parser generators sharing LR automaton generators and accepting general purpose programming language-based specifications, KISSE2020 (written in Korean)

Static analysis on SmartThings Home Automation Applications

• Implementation of Real-Time Monitor for SmartThings Smart App, KSC2018
• Smart Block: A Visual Programming Environment for SmartThings, SCA2018
• Automatic Code Review for SmartThings Application using Static Analysis, KSC2017,

An educational coding environment for SmallBasic

• A development of open-source software for educational coding environments using Small Basic, KIISE2019 (written in Korean)
• A study on design and implementation of debugger on SmallBasic programs, KSC2017 (written in Korean)

An Android BLE Emulator for testing wearable apps without hardware devices

• Android BLE Emulator for wearable apps, KISSE2017 (written in Korean)

A testing framework for Ethereum smart contracts in EVM bytecodes/Solidity

• A script-based scenario test for smart contracts in Solidity, KSE2019 (written in Korean)