Ph.D.,
M.A.,
B.S., MIT, 1963, Applied Mathematics
Research and software development in database engines: performance analysis, transactions, XML support, Unicode support, buffering methods. Database-backed web applications. Operating systems and networking performance analysis.
· 1970-present: Professor, Department of Computer Science, UMassBoston. Developed and taught courses in database systems, web technology, operating systems, computer networking, computer architecture, and data structures. Developed microprocessor and hardware labs and systems software to support them, including an array of online Intel microprocessor systems with software-controlled reset, and a C software development environment for them. From 1980-2003, Director or co-Director, C.S. Computer Labs, except for a few years here and there.
· 2001: Consultant at then start-up Netezza Corporation, a shared-nothing database appliance vendor, providing code review of the implementation and making suggestions for improvements.
·
Sabbatical leaves 2000-2001, 1993-1994:
Full-time Consultant, Microsoft Corp.,
·
1996-2000: Consultant, Sybase IQ,
·
1977-1996: Senior Scientist (parttime), Bolt,
Beranek, and Newman, Inc.,
· Lecturer in Applied Math, M.I.T., Department of Mathematics, l968-l970.
· Assistant Professor, N.Y.U., Department of Mathematics, l967-l968
· Postdoctoral Fellow, N.Y.U., Courant Institute, l966-1967
· With Timo Böhme, Selim Mimaroglu, Patrick O’Neil, Erhard Rahm, “Insert-Friendly Hierarchical Numbering Schemes for XML” Submitted for publication 2006
· With Mike Stonebreaker, Patrick O'Neil, et al. "C-Store: A Column-oriented DBMS", Presented at the 31st VLDB Conference, September 2005
·
With Patrick
O'Neil, Alan Fekete, Dimitrios
Liarokapis, and Dennis Shasha, "Making Snapshot Isolation
Serializable," ACM TODS, Vol 30, No. 2, June 2005. This work was performed
under the NSF Grant: "Isolation Testing in Transactional Systems"
· With Patrick O'Neil, Shankar Pal, Istvan Cseri, Gideon Schaller, Nigel Westbury, "ORDPATHs: Insert-Friendly XML Node Labels," Presented at the ACM SIGMOD Industrial Track, June 2004.
· With Alan Fekete, Patrick O'Neil, A Read-Only Transaction Anomaly Under Snapshot Isolation, published in ACM SIGMOD Record, Vol. 33, No. 3, Sept. 2004 This work was performed under the NSF Grant: "Isolation Testing in Transactional Systems".
· With Patrick O'Neil, Introductory Two Term Textbook on Database: "Database: Principles, Programming and Performance," 2001, Morgan-Kaufmann. Second Edition.
· With Denis Rinfret, Patrick O'Neil, "Bit-Sliced Index Arithmetic," Proceedings of the ACM SIGMOD Conference, May 2001.
· With Patrick O'Neil, and Gerhard Weikum, "An Optimality Proof of the LRU-K Page Replacement Algorithm". Journal of the ACM, January 1999, pp. 92-112. This paper contains a mathematical proof that the LRU-K algorithm, first introduced in a 1993 paper listed below, gives optimal behavior under reasonable assumptions of database page access.
· With Edward Cheng, Dieter Gawlick, and Patrick O'Neil, "The Log-Structured Merge-Tree (LSM-tree)," Galleys returned to Acta Informatica, publication in next issue. Patents applied for by Digital Equipment Corp.
· With Hal Berenson, Phil Bernstein, Jim Gray, Jim Melton, and Patrick O'Neil, "A Critique of ANSI SQL Isolation Levels," I presented this at SIGMOD '95 (ACM Special Interest Group on Management of Data Conference, 1995), in June.
· With Patrick E. O'Neil and Gerhard Weikum, "The LRU-K Page Replacement Algorithm for Database Disk Buffering", Presented at ACM SIGMOD Conference May 1993, Wash. D.C. and published in its Proceedings, May 1993.
·
``The ARGOT Strategy III: The BBN Butterfly
Multiprocessor'', Supercomputing '88, with Craig Shaefer, Nov. 1988,
· ``Performance of Blocked Gaussian Elimination on Multiprocessors'', with Henno Allik, Proceedings, SIAM Conference on Parallel Processing, Dec. 1987, published Dec., 1988.
· ``Finite Element Analysis on the BBN Butterfly Multiprocessor'', with Henno Allik, Denny Moore, and Eric Tenenbaum, Computers and Structures, Vol. 27, No. 1, 1987, pp 13-21.
· ``Parallelizing Conjugate Gradient for Finite Element Analysis'', with Henno Allik, Denny Moore, and Eric Tenenbaum, Proceedings of the 1987 Summer Computer Simulation Conference, Montreal, July, 1987.
·
``Finite Element Analysis on the BBN Butterfly
Multiprocessor'', with Henno Allik, Denny Moore, and Eric Tenenbaum,
Proceedings, Supercomputing '87,
· ``Switching-time Statistics for a Ramp-Excited Tunnel Diode Switch,'', with Donald Nelsen, IEEE Transactions on Information Theory, Vol. IT-23, no. 3, May, l977, pp.415-418.
· ``A Fast Expected Time Algorithm for Boolean Matrix Multiplication and Transitive Closure'', with Patrick O'Neil, Journal of Information and Control, Vol. 22, no.2, pp. 132-138; Also published in Combinatorial Algorithms, edited by Randall Rustin, Algorithmic Press, l97l.
Last updated February 10, 2006