About Me
I am a Ph.D. student at the University of Texas at Austin. I am currently working as a Research Assistant to Prof. James C. Browne. We are working on P-COM2.
I graduated in 2005 with a Bachelor of Computing (2nd Upper Hons) from the School of Computing at the National University of Singapore.
I spent about 6 years total in the industry. During that time, I was programmer, system architect, tester, requirements engineer, technical writer, operator, PC repairman, or salesman, depending on the time of the day and whom you asked.
Between 1998 and 2008, I was involved in military constructive battlefield simulation, first as user, and then as engineer. Fortunately, my present research area does nothing of that sort.
Cirriculum Vitae
My CV (full version) can be found here.
A 1-page summary can be found here.
Under construction!
Research
Under construction!
Teaching
I am currently not teaching.
Teaching History:
2004 (Fall) -- CS1101C (Lab Tutor), NUS
Projects
LSDiff
Logical Structure Diff (LSDiff) is a novel approach to program differencing. LSDiff collects the structural changes between two program versions and summarizes them into logical rules.
The official LSDiff page is found here.
My plugin implementation of LSDiff is found here.
P-COM2
P-COM2 is an Architecture Specification Language (ASL) which enables automatic composition of parallel programs from components. This releases the programmer from hand-coding the parallel mechanics which is not only time-consuming but also very bug-prone. Parallel programs generated via P-COM2 can be automatically checked for deadlocks and other parallelism-related errors. I am working on the automatic verification aspect of the project for Prof James C Browne. Here are some key papers describing P-COM2:
- Mahmood, Deng and Browne, "Compositional Development of Parallel Programs", LCPC '03. 2003
- Mahmood, Feng and Browne, "Evolutionary Performance-Oriented Development of Parallel Programs by Composition of Components", WOSP '05. 2005
- Mahmood and Browne, "Model Checking and Runtime Validation of Parallel Behaviors for Automatically Composed Component-based Parallel Programs", LCPC '07. 2007
The latest version of CODE can be found here.
More (slightly outdated) information on P-COM2 can be found here.
Contact
Alex Loh
Department of Computer Science
University of Texas at Austin
1 University Station C0500
Austin, TX 78712-0233
Tel:
Email: alexloh@cs.utexas.edu
The best way to reach me is via email.
Links
University of Texas at Austin
UT-Austin Computer Science Dept
E. W. Dijkstra Archive, EWD Manuscript Library
Other Universities
School of Computing at NUS, Singapore -- my Alma Mater
CS-Related Non-Academic Groups
Formal Systems (Europe) -- Creators of FDR
Miscellaneous
In the Beginning was the Command Line -- Analogy between OS's and cars
The Cathedral and the Bazaar -- Classic essay by Eric S. Raymond
Standard Template Library Programmer's Guide
