Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

How to make sense of Model Checking

12 minute read

Published:

I’ve recently started to explore the ideas behind model checking. This post documents my findings through a Q&A format, in hopes of making it easier to follow especially for those who are not familiar with the subject. I start off with basics – what it does and what it is for, illustrating the mechanism with simple examples – and answer any questions that came to my mind while thinking it through.

What I learned from my first PLDI

11 minute read

Published:

Programming Language Design and Implementation (PLDI) this year (June 15-19, 2020) was held virtually due to COVID-19. I took this opportunity to attend the conference, but at the same time, I honestly did not expect to get much out of it. That’s because I thought the conference would be mostly about discussing publications of technical papers by much more experienced people in the field. Hence, I initially thought I’d give it a try and see what kind of work people publish in such a renowned conference as a way to get myself familiar with what I am expected to produce further down the road.

portfolio

publications

talks

teaching

CS2030 Programming Methodology II

Undergraduate course, National University of Singapore, School of Computing, 2023

As a teaching assistant, I taught weekly tutorials of CS2030 Programming Methodology II for AY2022/2023 Semester 2.

CS1010 Programming Methodology

Undergraduate course, National University of Singapore, School of Computing, 2024

As a teaching assistant, I taught weekly tutorials of CS1010 Programming Methodology for AY2022/2023 Semester 1 and AY2024/2025 Semester1.