Journal Publications

  1. Maxim Gorshkov and Laurie Hendren, SOCS Wayfinder: Using a Low Cost Solution for Geolocation and Pathfinding Indoors, International Journal of Computer Applications, Volume 152, Number 1, 8 pages, October 2016.

  2. Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht, Lubomr Bulej, Cliff Click, Lieven Eeckhout, Sebastian Fichmeister, Daniel Frampton, Laurie J. Hendren, Michael Hind, Antony L. Hosking, Richard E. Jones, Tomas Kalibera, Nathan Keynes, Nathanial Nystrom, and Andreas Zeller, The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations, ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 38, Issue 4, Article No. 15, pp. 15:1-15:20, October 2016.

  3. Eric Bodden, Patrick Lam and Laurie Hendren, Partially Evaluating Finite-State Runtime Monitors Ahead of Time, ACM Transactions on Programming Languages and Systems, Vol. 34, No. 2, pp. 7:1-7:52, 2012.

  4. Eric Bodden and Laurie Hendren, The Clara Framework for Hybrid Typestate Analysis, International Journal on Software Tools for Technology Transfer, Volumne 14, Issue 3, pp. 307-326, 2012.

  5. Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhotak and Nomair Naeem, Collaborative Runtime Verification with Tracematches, Journal of Logic and Computation, 20(3), pp 707-723, 2010.

  6. Ondrej Lhotak and Laurie Hendren, Evaluating the Benefits of Context-Sensitive Points-to Analysis using a BDD-based Implementation, ACM Transactions on Software Engineering and Methodology, Vol. 18., No. 1, pp. 1-53, 2008.

  7. Ondrej Lhotak and Laurie Hendren, Relations as an abstraction for BDD-based program analysis, ACM Transactions on Programming Languages and Systems, Vol. 30, No. 4, pp. 1-63, 2008.

  8. Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhotak, Ondrej Lhotak, Oege de Moor, Damien Sereni, Ganesh Sittampalam and Julian Tibble, abc: An Extensible AspectJ compiler, Transactions on Aspect-Oriented Software Development, Volume 1, pp. 293-334, March 2006.

  9. Ondrej Lhotak and Laurie Hendren, Run-time evaluation of opportunities for object inlining in Java, Concurrency and Computation: Practice and Experience, Vol. 17, Issue 5-6, pp. 515-537, April-May 2005.

  10. Yingchun Zhu and Laurie Hendren, Communication Optimizations for Parallel C Programs, Journal of Parallel and Distributed Computing, Vol. 58, No. 2, pp. 301-332, 1999.

  11. Yingchun Zhu and Laurie Hendren, Locality Analysis for Parallel C Programs, IEEE Transactions on Parallel and Distributed Systems, Vol. 10, No. 2, pp. 99-114, 1999.

  12. Laurie J. Hendren, Xinan Tang, Yingchun Zhu, Shereen Ghobrial, Guang R. Gao, Xun Xue, Haying Cai and Pierre Ouellet, Compiling C for the EARTH Multithreaded Architecture, International Journal of Parallel Programming, Vol. 25, No. 4, pp. 305-337, 1997.

  13. Rakesh Ghiya and Laurie J. Hendren, Connection Analysis: A Practical Interprocedural Heap Analysis for C, International Journal of Parallel Programming, Volume 24, No. 6, pp. 547-578, 1996.

  14. Herbert H. J. Hum, Olivier Maquelin, Kevin B. Theobald, Xinmin Tian, Guang R. Gao, and Laurie J. Hendren. A study of the EARTH-MANNA multithreaded system, International Journal of Parallel Programming, Volume 24, No. 4, pp. 319-347, August 1996.

  15. E. Merlo, J. F. Girard, L. Hendren, R. De Mori, Multi-valued Constant Propagation Analysis for User Interface Engineering, International Journal of Software Engineering and Knowledge Engineering, Vol. 5, No. 1, March 1995.

  16. Anne Rogers, Martin C. Carlisle, John H. Reppy and Laurie J. Hendren, Supporting Dynamic Data Structures on Distributed Memory Machines, ACM Transactions on Programming Languages and Systems, vol. 17, no. 2, pp. 233-263, March 1995.

  17. E. Merlo, Pierre-Yves Gangé, J.F. Girard, K. Kontogiannis, L. Hendren, P. Panangaden and R. De Mori, Reverse Engineering and Reengineering of User Interfaces, IEEE Software, Vol. 12, No. 1, pp. 64-73, Jan. 1995.

  18. Laurie J. Hendren, Guang R. Gao, Erik R. Altman, and Chandrika Mukerji, A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs, The Journal of Programming Languages, Chapman and Hall, Vol. 1, No. 3, pp. 155-185, 1993.

  19. Laurie J. Hendren and Guang R. Gao, Designing Programming Languages for the Analyzability of Pointer Data Structures, Computer Languages, Pergamon Press, Vol. 19, No. 2, pp. 119-134, April 1993.

  20. Joseph Hummel, Laurie J. Hendren, and Alexandru Nicolau, Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs, ACM Letters on Programming Languages and Systems, Vol. 1, No. 3, pp. 243-260, September 1992.

  21. L.J. Hendren and A. Nicolau, Parallelizing Programs with Recursive Data Structures, IEEE Transactions on Parallel and Distributed Computing, Vol. 1, No. 1, pp. 35-47, January 1990.

  22. J.I. Glasgow, L.J. Hendren and M.A. Jenkins, A Programming Language for Learning Environments, Computational Intelligence (Special Edition on AI Approaches to Education), pp. 68-75, May 1986.

Laurie HENDREN 2017-08-19