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
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
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
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Improving IDE code inspections with tree automata
Published in Foundations of Software Engineering ESEC/FSE, 2022
This paper is about improving IDE code inspections by suppressing bogus warnings through tree automata.
DSLs in Racket: You Want It How, Now?
Published in Software Language Engineering, 2024
This paper presents a taxonomy of language design intents and analysis of Racket-embedded domain specific languages.
talks
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
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.