Vita

TIMOTHY J. HICKEY


Michtom School of Computer Science
Volen Center for Complex Systems, Mailstop 18
Brandeis University, Waltham, MA, 02254
Phone: (781)-736-2706, Fax: (781)-736-2741
tjhickey@brandeis.edu, http://www.cs.brandeis.edu/~tim

July 2017

Education

Employment Experience

Journal Publications

  1. Catching audiovisual interactions with a first-person fisherman video game, by Yile Sun, Barbara Shinn-Cunningham, Timothy Hickey, Robert Sekuler to appear in Perception.
  2. William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey, Early Detection of At-Risk Students in CS1 Using Teachback/Spinoza, in The Journal of Computing in Small Colleges, 2016.
  3. Timothy J. Hickey and Jason K. Pontrello, Building Bridges Between Science Courses Using Honors Organic Chemistry Projects, The Journal of College Science Teaching, Vol 46, n.1, Sep, 2016.
  4. Policing Fish at Boston's Museum of Science: Studying Audiovisual Interaction in the Wild
    by Hannah Goldberg, Yile Sun, Timothy J. Hickey, Barbara Shinn-Cunningham, and Robert Sekuler.
    i-Perceptions, 2015, 6(3) 1-11. DOI: 10.1177/2041669515599332
  5. Timothy Hickey, William Tarimo, The Affective Tutor, the Journal of Computing Sciences in Colleges, 29(6), pp. 50-56, 2014.
  6. Timothy Hickey, Physics-based 3D Game Design as a First Course in Computing the Journal of Computing Sciences in Colleges, pp. 35-41, vol 28 no 6, 2013.
  7. Adam Taylor, Timothy Hickey, Astrid Prinz, and Eve Marder, "Structure and visualization of high-dimensional conductance spaces," Journal of Neurophysiology 96: 891-905, 2006.
  8. "Timothy Hickey, John Langton, Kenroy Granville, and Richard Alterman, Enhancing CS Programming Lab Courses using Collaborative Editors," The Journal of Computing Sciences in Colleges, vol 20(3), pp 157-167, 2005.
  9. Timothy Hickey, "Computer literacy via Scheme and web programmming", the Journal of Functional Programming, vol 14(4), 14:475-488 Cambridge University Press, Sep. 2004.
  10. John Langton, Timothy Hickey, and Richard Alterman. "Integrating Tools and Resources: a case study in building educational groupware for collaborative programming," The Journal of Computing Sciences in Colleges, 19(5), pp. 140-153, May 2004.
  11. Timothy Hickey, Qun Ju, Maarten H. van Emden, "Interval Arithmetic: from Principles to Implementation", Journal of the ACM, volume 48, issue 5, pp. 1038-1068, September 2001.
  12. Timothy Hickey, "Metalevel Interval Arithmetic and Verifiable Constraint Solving", Journal of Functional and Logic Programing, vol 2001, no. 7, Oct. 2001, 25 pp.
  13. Timothy Hickey, Z. Qiu, and Maarten H. van Emden, "Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations" Reliable Computing, Vol. 6, No. 1, 2000.
  14. Timothy Hickey, Jaques Cohen, Veronique Deschamps, "Meta-Level Interpretation of Constraint Languages; A Case Study: Logical Primitives," New Generation Computing, 10(4), 1992.
  15. Timothy Hickey, Jacques Cohen, Hirofumi Hotta, Thierry Petitjean, "Computer Assisted Microanalysis of Parallel Programs," ACM Transactions on Programming Languages and Systems, 13(4), Oct. 1991.
  16. Timothy Hickey, Shyam Mudambi, "Global Compilation of Prolog," Journal of Logic Programming, 7(3), pp. 193-230, Dec. 1989.
  17. Timothy Hickey, Jacques Cohen, "Automating Program Analysis," Journal of the ACM, 35(1), pp. 185-220, Jan. 1988.
  18. Jacques Cohen, Timothy Hickey, "Parsing and Compiling Using Prolog," ACM Transactions on Programming Languages and Systems, 125-163, 1987
  19. Timothy Hickey, Jacques Cohen, "Performance Analysis of On-the-fly Garbage Collection," Communications of the ACM 27(11), 1143-1154, 1984.
  20. Timothy Hickey, Jacques Cohen, "Uniform Random Generation of Strings in a Context-free Language," SIAM Journal of Computing 12(4), 645-655, 1983.
  21. Jacques Cohen, Timothy Hickey, Joel Katcoff, "Upper Bounds for Speed-Up in Parallel Parsing," Journal of the ACM 29(2), 408-428, 1982.
  22. Jacques Cohen, Timothy Hickey, "Two Algorithms for Determining the Volume of Convex Polyhedra," Journal of the ACM 26(3), 401-414, 1979.

Refereed Conference Publications

  1. The Calculus Dashboard - leveraging intelligent tutor techniques to provide automated fine-grained student assessment by Kristian Kime, Timothy Hickey, and Rebecca Torrey to appear in Frontiers in Education (FIE2017)
  2. Flipping Introductory Programming Classes using Spinoza and Agile Pedagogy by Fatima Abe Deeb and Timothy Hickey to appear in Frontiers in Education (FIE2017)
  3. Groupwork: Learning During Collaborative Assessment Activities by William T. Tarimo and Timothy J. Hickey. to appear in (CSCL2017).
  4. Measuring and Visualizing Learning with Markov Models by Fatima Abu Deeb, Kristian Kime, Rebecca Torrey, and Timothy Hickey Frontiers in Education (FIE2016).
  5. Fully Integrating Remote Students into a Traditional Classroom using Live-Streaming and TeachBack by William Tarimo and Timothy Hickey Frontiers in Education (FIE2016).
  6. William T Tarimo, Fatima Abu Deeb, and Timothy J. Hickey, A Flipped Classroom With and Without Computers to appear in Computer Supported Education, CCIS vol 583, Springer International Publishing Switzerland, 2016
  7. Kristian Kime, Rebecca Torrey, and Timothy Hickey. CalcTutor: Applying the Teachers Dilemma Methodology to Calculus Pedagogy in Frontiers in Education (FIE'15), 2015.
  8. Timothy Hickey, Fatima Abu Deeb, and William Tarimo. Computers in the CS1 Classroom. in CSEDU'15
  9. Fatima Abu Deeb and Timothy J. Hickey. Spinoza: the Code Tutor. Proceedings of CIST'15, May 11-12, 2015, Ottawa CA, pp. 132-1 to 132-8, 2015.
  10. Timothy Hickey and Pito Salas, "The Entrepreneur’s Bootcamp: A New Model For Teaching Web/Mobile Development and Software Entrepreneurship", The 44th ACM Technical Symposium on Computer Science Education, SIGCSE’13, March 6–9, 2013, Denver, Colorado, USA, 2013, pp 549-554.
  11. Kenroy Granville and Timothy Hickey, CollabEd: a Platform for Collaboratizing Existing Editors Proceedings of the International Conference on Mobile, Hybrid, and On-line Learning 2009, Best Paper Award.
  12. John T. Langton, Astrid Prinz, and Timothy Hickey, NeuroVis: combining dimensional stacking and pixelization to visually explore, analyze, and mine multidimensional multivariate data, Proceedings of SPIE; Visualization and Data Analysis 2007 (VDA 2007), Volume 6495, pages 64950H-1 to 64950H-12, SPIE and IS\&T, 2007.
  13. John T. Langton, Astrid Prinz, and Timothy Hickey, Combining Pixelization and Dimensional Stacking. In Proceedings of the 2nd International Symposium on Visual Computing (ISVC 2006), Volume 4292 Part 2 of Lecture Notes in Computer Science, pages 617-626. Springer, 2006.
  14. John T. Langton, Astrid Prinz, David K. Wittenberg, and Timothy Hickey. Leveraging layout with dimensional stacking and pixelization to facilitate feature discovery and directed queries. in Pixelization Paradigm, Proceedings of the Visual Information Expert Workshop (VIEW 2006), Lecture Notes in Computer Science. Springer, Vol 4370/2007, pp. 77-91.
  15. David Wittenberg, Timothy Hickey, "Modeling Hysteresis in CLIP - The Tank Flow Problem" Proceedings of the NSF Workshop on Reliable Engineering Computing.
    http://www.gtrep.gatech.edu/workshop/rec06/proceedings.html
  16. Kenroy G. Granville and Timothy Hickey, "The Design, Implementation, and Application of the GrewpEdit Tool" Proceedings of the 2005 conference on Diversity in computing, Albuquerque, New Mexico, USA, pp. 14-16, 2005. ISBN:1-59593-257-7
  17. Svetlena Taneva, Richard Alterman, and Timothy Hickey, "Collaborative Learning: Collaborative Depth." CogSci2005, pp. 2156-2161, 2005.
  18. Timothy Hickey, David Wittenberg, "Using Analytic CLP to Model and Analyze Hybrid Systems" Proceedings of FLAIRS2004, eds. Valerie Barr and Zdravko Markov, pp. 269-274, 2004.
  19. Timothy Hickey, David Wittenberg, "Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints" Hybrid Systems: Computation and Control, pp. 402-416, 2004
  20. Timothy Hickey, "Scheme-based Web Programming as a Basis for a CS0 Curriculum", SIGCSE 2004, pp. 353-357, 2004.
  21. Saumya Debray and Timothy Hickey, "Constraint-Based Termination Analysis for Cyclic Rule Activation in Active Databases," Proc. DOOD'2000: 6th. International Conference on Rules and Objects in Databases, July 2000, pp. 1121-1136. Springer LNAI vol. 1861.
  22. Timothy Hickey, "Analytic Constraint Solving and Interval Arithmetic", Proceedings of POPL'00, pp. 338-351, Jan. 2000.
  23. Timothy Hickey, "Metalevel Constraint Solving in CLIP", PADL'00, Springer-Verlag LNCS, vol 1753, pp. 200-214, Jan. 2000.
  24. Ken Anderson, Timothy Hickey, "Reflecting Java into Scheme," Springer-Verlag LNCS, vol. 1616, 1999.
  25. Timothy Hickey, Maarten H. van Emden, H. Wu, "A Unified Framework for Interval Constraints and Interval Arithmetic", in Principles and Practice of Constraint Programming -- CP98 Michael Maher and Jean-Francois Puget (eds.), Springer-Verlag, Lecture Notes in Computer Science, v. 1520, pp. 250-264, 1998.
  26. Don Smith, Timothy Hickey, "Multi-SLD Resolution," Proceedings of LPAR'94, F. Pfenning (Ed.), Lecture Notes in Computer Science, Vol. 822, Springer-Verlag, pp. 260-274, 1994.
  27. Z. George Mou, C. Constantinescu, and Timothy Hickey. Optimal mapping of divideand -conquer algorithms to mesh connected parallel architectures. In Proceedings International Computer Symposium, pp. 273--284. Taiwan, 1992.
  28. Z. George Mou, C. Constantinescu, Timothy Hickey, "Divide and Conquer on a 3 Dimensional Mesh," in Proceedings of Parallel Computing: From Theory to Sound Practice by the European Workshop on Parallel Computing, Barcelona, Spain, pp. 344-355, IOS Press, March 1992.
  29. Timothy Hickey, Don Smith, "Toward the Partial Evaluation of Constraint Logic Programs," Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Yale University, New Haven, CT, pp. 43-51, ACM Press, Jun. 17-19, 1991.
  30. Don Smith, Timothy Hickey, "Partial Evaluation of a CLP language," Proceedings of the 1990 North American Conference in Logic Programming, ed. S. Debray, M. Hermenegildo, pp. 119-138, 1990.
  31. Timothy Hickey, "CLP* and Constraint Abstraction," 16th Annual ACM Symposium on Principles of Programming Languages, Austin, TX, pp. 125-133, ACM Press, Jan. 11-13, 1989.

Book Chapters

  1. John Langton, Elizabeth Gifford, and Timothy Hickey. Visualization and Interactive Exploration of High Dimensional Datasets, in "Applications of Computational Intelligence in Biology: Current Trends and Open Problems,", Smolinski, Milanova, Hassanien (eds), Springer, 2008, pp 231-255.
  2. Timothy Hickey, and Alex Feinman, Groupware an article in the Encyclopedia of Human Computer Interaction, Berkshire Press, 2004.
  3. Timothy Hickey, "Functional Constraints in CLP Languages," in "Constraint Logic Programming", (eds. A. Colmerauer, F. Benhamou), MIT Press, pp 355-381, 1993.
  4. Jaques Cohen, Timothy Hickey, "New Directions in Program Microanalysis," Invited paper in "Computers and Computing" (ed. Chenin, et. al.) John Wiley and Sons, 193-202, 1986.

Dissertation

  1. Timothy Hickey, "On the Fourier--Jacobi coefficients of certain Eisenstein series for a unitary group," Doctoral Dissertation, University of Chicago, 1986.

Refereed Workshops

  1. Timothy J. Hickey and William T. Tarimo. Adopting a "Flipped" Interactive Pedagogy Using Teachback. in CCSCNE'15
  2. Timothy Hickey, "Incorporating Scheme-based Web Programmming into Computer Literacy Courses," Proceedings of the Scheme2002 workshop, Pittsburgh, PA, 10/5/2002.
  3. Ken Anderson, Timothy Hickey, and Peter Norvig, "Silk: A Playful Combination of Scheme and Java", Proceedings of the Workshop on Scheme and Functional Programming Rice University, CS Dept. Tech. Report 00-368, Sept 2000.
  4. Timothy Hickey, Peter Norvig, Ken Anderson, "LISP - a Language for Internet Scripting and Programming", in LUGM'98: The 40th Anniversary of LISP: Lisp in the Mainstream, Nov. 1998, Berkeley, CA.
  5. Timothy Hickey, "CLP(F) and Constrained ODEs", Proceedings of the Workshop on Constraint Languages and their use in Problem Modelling, Editors Jourdan, Lim, Yap, ECRC Technical Report ECRC-94-38 pp. 69-79, Nov. 1994.
  6. Andrew Huang, Z. George Mou, Timothy Hickey, "Parallel Recurrence Transformation", Proceedings of the First Annual Summer Institute on "Issues and Obstacles in the Practical Implementation of Parallel Algorithms and the Use of Parallel Machines," Dartmouth, June 1992.

Refereed Panel Positions, Tutorials, and Poster Abstracts

  1. Fatima Abu Deeb and Timothy J. Hickey. The Spinoza Code Tutor. in CCSCNE'15
  2. A. Kumar, K. Hufford, T. Hickey, L. Wilkens, A. Mahadev, A. Beiderman, "Internet Computing in the Computer Science Curriculum" Proceedings of SIGCSE 2002, pp. 50-51, March 2002, (panel positions).
  3. A. Kumar, K. Hufford, J. Bergin, L. Wilkens, T. Hickey, "Internet Computing in the Computer Science Curriculum", The Journal of Computing in Small Colleges, vol. 17, no 3, pp. 39-43, Feb. 2002, (panel positions).
  4. A. Kumar, K. Hufford, J. Bergin, T. Hickey, "Internet-Centric Curriculum", The Journal of Computing in Small Colleges, vol. 16, no 4, pp. 45-49, May 2001, (panel positions).
  5. T. Hickey, D. Wittenberg, Validated Constraint Contraction, in Joxan Jaffar (Ed.): Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings. Lecture Notes in Computer Science, Vol. 1713, Springer, 1999, ISBN 3-540-66626-5 , pp. 482-483, (poster paper).

Unpublished Technical Reports

  1. T. Hickey, D. Wittenberg, "Validated Constraint Constraction", Brandeis CS Technical Report CS-99-201, 17pp., 1999. Also, a 2 page summary appears in the Proceedings of CP'99.
  2. T. Hickey, Q. Ju, "Efficient Implementation of Interval Arithmetic Narrowing Using IEEE Arithmetic," unnumbered Tech Report, Mar. 1997.
  3. T. Hickey, Q. Ju. "Fast, Sound, and Precise Narrowing of the Exponential Function," unnumbered Tech. Report, Mar. 1996.

This vita is available online at http://www.cs.brandeis.edu/~tim/Activities/cv.html