Tom Rothamel

Welcome to my web page. From here, you can download software and publications I've written.

Research Software

Research Publications

2008

Gorbovitski, M., Rothamel, T., Liu, Y. A. and Stoller, S. D. Efficient runtime invariant checking: a framework and case study. Technical report, Stony Brook University, 2008.

Rothamel, T. and Liu, Y. A. Automatic incrementalization of queries in object-oriented programs. Technical report, Stony Brook University, 2008.

2007

Rothamel, T. and Liu, Y. A. Efficent implementation of tuple pattern based retrieval. Pepm 2007: proceedings of the workshop on partial evaluation and program manipulation, pages 81--90. Nice, France, 2007. ACM Press.

2006

Rothamel, T., Liu, Y. A., Heitmeyer, C. L. and Leonard, E. I. Generating optimized code from SCR specifications. LCTES '06: Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Languages, Compilers and Tool Support for Embedded Systems, pages 135--144. New York, NY, USA, 2006. ACM Press.

Hristova, K., Rothamel, T., Liu, Y. A. and Stoller, S. D. Efficient type inference for secure information flow. PLAS '06: Proceedings of the 2006 workshop on Programming Languages and Analysis for Security, pages 85--94. New York, NY, USA, 2006. ACM Press.

Liu, Y. A., Wang, C., Gorbovitski, M., Rothamel, T., Cheng, Y., Zhao, Y. and Zhang, J. Core role-based access control: efficient implementations by transformations. PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 112--120. New York, NY, USA, 2006. ACM Press.

2005

Liu, Y. A., Stoller, S. D., Gorbovitski, M., Rothamel, T. and Liu, Y. E. Incrementalization across object abstraction. OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object Oriented Programming, Systems, Languages, and Applications, pages 473--486. New York, NY, USA, 2005. ACM Press.

Gorbovitski, M., Rothamel, T., Liu, Y. A. and Stoller, S. D. Implementing incrementalization across object abstraction. OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object Oriented Programming, Systems, Languages, and Applications, pages 112--113. New York, NY, USA, 2005. ACM Press.

Liu, Y. A., Stoller, S. D., Li, N. and Rothamel, T. Optimizing aggregate array computations in loops. ACM Transactions on Programming Languages and Systems, 27(1):91--125, 2005.

2004

Liu, Y. A., Rothamel, T., Yu, F., Stoller, S. D. and Hu, N. Parametric regular path queries. PLDI '04: proceedings of the ACM SIGPLAN 2004 conference on Programming Language Design and Implementation, pages 219--230. New York, NY, USA, 2004. ACM Press.

Contact Me

You can contact me via email at tom at rothamel.us.