Teck Bok Tok
Graduate Student
Department of Computer Sciences
The University of Texas at Austin
In this page:
- research
- publications
- about me
- cv
- quotes
Contact:
ACES 3SEo3D
(512) 232-7433
toktb@cs.utexas.edu
| research |
My research focuses on
scalability and precision of static analysis, with my advisor Calvin Lin. Our compiler,
Broadway, supports domain-specific compilation by extending compiler
support to software libraries. Our configurable compiler framework
perform s library-level optimization and error checking. I am a member of the Speedway Group, which focuses on compiler and programmling language. I have interest in many other aspects of computer science, including parallel and distributed computing, algorithms, security, numerical analysis, etc. These are my cv and my research statement. |
| publications |
Efficient
Flow-Sensitive
Interprocedural Data-flow Analysis in the Presence of Pointers. with Samuel Guyer and Calvin Lin 15th International Conference on Compiler Construction, March 2006. Relevance-Based Context-Sensitivity. with Calvin Lin Submitted to PLDI'06. |
| about me |
I obtained my Bachelor of
Science (Honors First Class) from the School of Computing, National University of
Singapore in 1998, and M.Sc. in 1999. |
| quotes |
Men of genius are admired, men of wealth are envied, men of power are |