1. A soup of objects: convenience interfaces for accessing domain objects in a global object graph;Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming;2018-04-09
2. Composable and compilable macros:;ACM SIGPLAN Notices;2002-09-17
3. Termination in language-based systems;ACM Transactions on Information and System Security;2002-05
4. SAFKASI;ACM Transactions on Software Engineering and Methodology;2000-10
5. A system for building interactive visual simulator of digital hardware;Systems and Computers in Japan;1993