Curriculum Vitae

Kai Li

Department of Computer Science
35 Olden Street
Princeton University
Princeton, N.J. 08544-2087
(609) 258-4637
E-mail: li@cs.princeton.edu

Education

• Ph.D. 1986, Yale University.  Yale Fellowships.
      Dissertation: Shared Virtual Memory on Loosely Coupled Multiprocessors.
      Advisers: Paul Hudak and Alan Perlis.
• M.S. 1983, M.Phil. 1984, Yale University.
• M.S. 1981, University of Science and Technology of China, Peking, P.R.C.
• B.S. 1977, Jilin University, Changchun, P.R.C. Graduate with high honors.

Research Interests

Distributed and parallel systems, content-based search, operating systems, networking, data protection, storage systems, and scalable display and data visualization systems.

Professional Experience

Full Time

Paul M. Wythes ’55, P’86 and Marcia R. Wythes P’86 Professor, Department of Computer Science, Princeton University, since 2009.

Charles Fitzmorris Professor, Department of Computer Science, Princeton University, 2002-2009.

Professor, Department of Computer Science, Princeton University, 1995-2001.
Associate professor, Department of Computer Science, Princeton University, 1992-1995.
Assistant professor, Department of Computer Science, Princeton University, 1986-1992.

Visiting and Consulting

Consulting Chief Scientist, Data Domain, LLC, EMC, since 2009.

Honorary visiting professor, Tsinghua Univesity, since 2005.

Honorary visiting professor, Institute of Computing Technology, Chinese Academy of Sciences, since 2005.

Consulting Chief Scientist, Data Domain, Inc. 2002-2009.

Entrepreneur-In-Resident, New Enterprise Associates, fall 2001.

Honorary Visiting Professor, Institute of Software, Academy of Sciences of China, since 2001.
Visiting Professor, Department of Computer Science, Stanford University, 2000.
Visiting Professor, Department of Computer Science, Stanford University, 1996.
Consultant, Intel Microcomputer Research Labs, since 1996.
Consultant, AT\&T Bell Laboratories, summer 1995.
Consultant, NEC Research Institute, since 1994.
Consultant, Matsushita Information Technology Laboratory, 1991-94.
Consultant, DEC Systems Research Center, 1989.
Consultant, Intel Supercomputer Systems Division, 1987.
Visiting assistant professor, Department of Electrical Engineering and Department of Computer Science, University of Toronto, Fall 1988.
Visiting scientist, DEC Systems Research Center, summer 1987 and 1988.

Honors and Awards

• Overseas Outstanding Contribution Award, China Computer Federation, 2008.
• Commendation List for Outstanding Teaching, School of Engineering and Applied Science, Princeton University, 2006.
• Honorary visiting professor, Tsinghua Univesity, since 2005.
• Honorary visiting professor, Institute of Computing Technology, Chinese Academy of Sciences, since 2005.
• Authored one of the 50 most-influential papers in 20 Years of PLDI –A Selection (1979-1999), 2004.
• Authored one of the 43 most-influential papers in 25 Years of the International Symposia on Computer Architecture. 1998.
• IBM Partnership Award, 1998 and 2000.
• ACM Fellow, 1998.
• ACM Measurement and Modeling of Computer Systems Best Paper Award, ACM, 1995.
• Excellence in Teaching Award, Undergraduate Engineering Council, Princeton University, 1994.

Advisory Boards

• Advisory board member, EMC Corporation, since 2010.
• Chair, Advisory board, Intel China Research Center, since 2009.
• Advisory board member, School of Computer and Communication Sciences (I&C), Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland, since 2004.
• Advisory board member, Computer Science Department, Hong Kong University of Science and Technology, Hong Kong, since 2004.
• Advisory board member, TeraGrid Technical Advisory Board, Argonne National Labs, NCSA and UCSD Supercomputing Center, 2002-2004
• Advisory board member, Board of Advisory council, Intel Microcomputer Technology Labs, 2000-2004.
• Advisory board member, DOE Plasma Sciences Advanced Computing Institute (PSACI), since 1999.
• Oversea Expert Committee member, Chinese Academy of Sciences, People's Republic of China, since 1999.

University Services

• Member, Committee on Internationalization, 2007.
• Chair, Faculty Advisory Committee on Athletics, Princeton University, since 2006.
• Member, Award Nomination Committee, School of Engineering and Applied Science, Princeton University, since 2006.
• Member, Faculty Advisory Committee on Athletics, Princeton University, since 2005.
• Member, University Research Board, Princeton University, since 2004.
• Executive committee member, Princeton Institute for Computational Sciences, since 2003.
• Member, Council of Princeton University Community, 1998-2000.
• Member, Fellowship committee, School of Engineering and Applied Science, Princeton University, 1997, 1998, and 2003.

Professional Services

• Chair, ACM SIGOPS Mark Weiser Award committee, 2010.
• Member, ACM SIGOPS Mark Weiser Award committee, 2008-2009.
• Panel Member, Research Assessment Exercise (RAE), University Grants Committee, Hong Kong, 2006.
• Member, Committee of Visitors, National Science Foundation, 2005.
• Member, Evaluation Committee, Ministry of Science and Technology, China, 2005.
• Member, Evaluation Committee, Chinese Academy of Sciences, China, 2005.

• Editorial board member, International Journal of Parallel Programming, since 1993.
• Associate Editor, IEEE Transactions on Parallel and Distributed Systems, 1994-97.
• Guest Editor, Special Issue on "Large-Format Displays," IEEE Computer Graphics & Applications.  July 2000.
• Editorial board member, Journal of Software, since 2001.
• Editorial board member, International Journal of Security and Networks, since 2005.
  
• Program committee member, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, 2010.
• Program committee member, ACM SIGMM the 11^th International Conference on Multimedia Information Retrieval, 2010.
• Co-general chair, ACM/IEEE International Symposium of Computer Architecture, 2008.
• Program committee member, IEEE International Symposium on High Performance Computer Architecture, 2008.
• Program committee member, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, 2007.
• Program committee member, ACM SIGOS Eurosys Conference, 2007.
• Program committee member, ACM Workshop on Continuous Archival and Retrieval of Personal Experiences, 2006.
• Program committee member, IEEE International Symposium on High Performance Computer Architecture, 2006.
• Program committee member, IEEE International Parallel and Distributed Processing Symposium, 2006.
• Program committee member, ACM International Conference on Computing Frontiers, 2006.
• Co-general chair, IEEE High Performance Computing Asia, 2005.
• Program committee member, USENIX Conference on File And Storage Technology (FAST), 2005.
• Program committee member, ACM Workshop on Continuous Archival and Retrieval of Personal Experiences, 2005.
• Program committee member, IEEE Workshop on Remote Direct Memory Access, 2005.
• Co-program committee chair, ACM/IEEE Symposium on Architecture for Networking and Communications Systems, 2005.
• Program committee member, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, 2005.
• Steering committee member, ACM/IEEE International Symposium of Computer Architecture, 2004.
• Program committee member, ACM Workshop on Continuous Archival and Retrieval of Personal Experiences, 2004.
• Program committee member, IEEE Workshop on Remote Direct Memory Access, 2004.
• Program committee chair, ACM/IEEE International Symposium of Computer Architecture, 2003.
• Program committee vice chair, ACM Supercomputing conference, 2002
• Program committee member, ACM International Conference on Architectural Support for Operating Systems and Programming Languages, 2000.
• Program committee member, ACM Supercomputing Conference, 2000.
• Program committee member, ACM International Conference on Supercomputing, 2000.
• Program committee chair, IEEE High-Performance Computer Architecture, 2000.
• Program committee member, ACM/IEEE International Symposium of Computer Architecture, 1999.
• Program committee member, ACM International Conference on Supercomputing, 1999.
• Program committee member, ACM SIGOS/USENIX Symposium on Operating Systems Design and Implementation, 1999.
• Program committee member, ACM Symposium on Principles of Distributed Computing, 1998.
• Program committee member, ACM Symposium on Parallel Algorithms and Architectures, 1998.
• Program committee Vice-Chair, International Conference on Parallel Processing, 1998.
• Program committee member, ACM SIGOS Symposium on Principles of Operating Systems, 1997.
• Program committee member, ACM Supercomputing conference, 1997.
• Program committee member, IEEE Hot Interconnects V, 1997.
• Program committee member, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, 1997.
• Program committee Vice-Chair, IEEE Symposium on Parallel and Distributed Processing. 1997.
• Program committee member, IEEE International Conference on Massively Parallel Processing using Optical Interconnections. 1996.
• Program committee Co-Chair, IEEE Hot Interconnects IV, 1996.
• Program committee member, IEEE Symposium on Parallel and Distributed Processing. 1996.
• Program committee member, IEEE Symposium on High Performance Computer Architecture, 1996.
• Program committee member, IEEE Hot Interconnects III, 1995.
• Program committee member, ACM Symposium on Parallel Algorithms and Architectures, 1995.
• Program committee member, ACM SIGOS Workshop on Hot Topics of Operating Systems, 1995.
• Program committee member, International Conference of Parallel Processing, 1995.
• Program committee member, IEEE International Parallel Processing Symposium, 1994.
• Program committee member, ACM Symposium on Principles of Distributed Computing, 1993.
• Program committee member, ACM/IEEE International Symposium on Computer Architecture, 1993.
• Program committee member, IEEE International Conference on Distributed Computing Systems, 1993.
• Program committee member, ACM SIGOS Symposium on Principles of Operating Systems, 1993.
• Program committee member, ACM/IEEE International Symposium on Computer Architecture, 1992.

Ph.D. graduates

• Mark Greenstreet. Professor at University of British Columbia.
      Thesis: STARI: A Technique for High-Bandwidth Communication, Januaray 1993.
• James Plank.  Professor at University of Tennessee.
      Thesis: Efficient Checkpointing on MIMD Architectures, June 1993.
• Karin Petersen-Flynn.  PCG Capital Partners.
      Thesis: Operating Systems Support for Modern Memory Hierarchies, October 1993.
• Pei Cao.  Architect at Google Inc and Consulting Faculty at Stanford University.
      Thesis: Application-Controlled File Caching and Prefetching, January 1996.
• Matthias Blumrich.  Research Staff at IBM T.J. Watson Research Center..
      Thesis: Network Interface for Protected, User-Level Communication, June 1996.
• Stefanos N. Damianakis.  CEO, Netrics, Inc.
      Thesis: Efficient Connection-Oriented Communication on High-Performance Networks. June 1998.
• Liviu Iftode. Associate Professor at Rutgers University.
      Thesis: Home-Based Shared Virtual Memory, June 1998.
• Bin Wei. Research Staff at AT\&T Research Lab.
      Thesis: A Multiple-Port Distributed Frame Buffer on Multicomputers, November 1998.
• Yuanyuan Zhou. Associate Professor at University of Illinois at Urbana Champaign..
      Thesis: Memory Management for Networked Servers, May 2000.
• Yuqun Chen.  Research Staff at Microsoft Research.
      Thesis: Building A Scalable High-Resolution Display Wall, December 2000.
• Sanjeev Kumar. Research Staff at Intel Microcomputer Technology Labs.
      Thesis: ESP: A Language for Programmable Devices, January 2002.
• Han Chen. Research Staff at IBM T. J. Watson Research Center.
      Thesis: Scalable and Ultra-High Resolution MPEG Video Delivery on Tiled Displays. September 2003.
• Qin (Christine) Lv. Assistant Professor at Stony Brook University.
  Thesis: Similarity Search for Large-Scale Image Datasets. November 2006.
• Zhiyan (Cathy) Liu. Technical Staff at Google, Inc.
  Thesis: Scalable Isosurface Visualization. May 2008.
• Matthew Hibbs (co-advised with Prof. Olga Troyanskaya). The Jackson Laboratory.
  Thesis: Analysis and Visualization of Large-Scale Gene Expression Microarray Compendia, May 2007.
• Junwen Lai (co-advised with Dr. Randy Wang). D.E. Shaw.
  Thesis: Virtualizing Network File Systems, November 2008.

Recent Keynote/Distinguished Lectures

• Distinguished lecture, “Deduplication Storage System,” Department of Computer Science, Wayne State University, March 2009.
• Keynote, “Deduplication Storage System,” Annual Conference of China Computer Federation, June 2008.
• Distinguished lecture, “A Tapeless World Can Be Inexpensive,” School of Computer Science, University of Illinois at Urbana Champaign, April 2007.
• Keynote speech, “Next-Generation Data Protection: Progress and Challenges,” 50^th Anniversary of Institute of Computing Technology, Chinese Academy of Sciences, China, October 2006.
• Distinguished lecture, “Content-Based Similarity Search,” Tsinghua University, China, December 2006.
• Distinguished lecture, “Content-Based Similarity Search,” Institute of Computing Technology, Chinese Academy of Sciences, China, October 2005.
• Distinguished lecture, “Princeton Scalable Display Wall,” Zhongshan University, China, January 2005.
• Distinguished lecture, "Building and Using A Scalable Display Wall," University of Oslo, September 2001.
• Distinguished lecture, "Building and Using A Scalable Display Wall," University of Tromso, September 2001.
• Keynote speech, "Challenges and Early Experiences in Building and Using A Scalable Display Wall," IEEE Parallel Visualization and Graphics Symposium, October 1999.
• Distinguished Lecture, "Inexpensive Visual Computing," Department of Computer Science, University of Illinois at Urbana-Champaign, October 1999.
• Distinguished lecture, "Inexpensive Visual Computing," Department of Electrical Engineering, University of Toronto, September 1999.
• Distinguished lecture, "Inexpensive Visual Computing,"  Department of Computer Science, University of Chicago, March 1999.
• Distinguished lecture, "Inexpensive Visual Computing,"  Department of Computer Science, University of Tennessee, February 1999.

Patents

• Efficient data storage using resemblance of data segments (with M. Zhu, U. Maheshwari, Z. Yang). U.S. Patent 7,562,186. 2009.
• Efficient Data Storage System (with Ming Benjamin Zhu and Hugo Patterson). U.S. Patent 7,434,015. 2008.
• Efficient Data Storage System (with Ming Benjamin Zhu and Hugo Patterson). U.S. Patent 7,373,464. 2008.
• Efficient Data Storage System (with Ming Benjamin Zhu and Hugo Patterson). U.S. Patent 7,305,532. 2007.
• Efficient Data Storage System (with Ming Benjamin Zhu and Hugo Patterson). U.S. Patent 7,065,619. 2006.
• Archival Data Storage System and Method (with Howard Lee). U.S. Patent 7,007,141. 2006.
• Efficient Data Storage System (with Ben Zhu and Hugo Patterson). U.S. Patent 6,928,526. 2005.
• Optical blending for multi-projector display wall systems (with Yuqun Chen and Timothy Housel).  U.S. Patent 6,570,623. 2000.
• Method for Improving Cache Locality of A Computer Program (with Jan Edler and James Philbin). U.S. Patent  5,724,586. 1996.
• User-Level Direct Memory Access (with Matthias Blumrich, Cezary Dubnicki, and Edward Felten). U.S. Patent 5,659,798. 1996.
• Real Time, Concurrent Garbage Collection System and Method (With Andrew Appel and John Ellis). U.S. Patent 5,088,036. 1989.

Publications

1. William K. Josephson, Lars A. Bongo, David Flynn, and Kai Li. DFS A File System for Virtualized Flash Storage. 8^th USENIX Conference on File and Storage Technologies, February 2010.
2. J. Deng, W. Dong, R. Socher, L.-J. Li, K. Li and L. Fei-Fei, ImageNet: A Large-Scale Hierarchical Image Database. IEEE Conference on Computer Vision and Pattern Recognition (CVPR), June 2009.
3. J. Deng, K. Li, M. Do, H. Su, L. Fei-Fei, Construction and Analysis of a Large Scale Image Ontology. Annual Conference of Vision Sciences Society (VSS), May 2009.
4. Hibbs, M.A.; Myers, C.L.; Huttenhower, C.; Hess, D.C.; Li, K.; Caudy, A.A.; Troyanskaya, O.G. Directing Experimental Biology: A Case Study in Mitochondrial Biogenesis, PLoS Computational Biology, 2009.
5. Christian Bienia and Kai Li. PARSEC 2.0: A New Benchmark Suite for Chip-Multiprocessors. In Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation, June 2009.

6. Wei Dong, Zhe Wang, Moses Charikar, Kai Li. Efficiently Matching Sets of Features with Random Histograms. In Proceedings of the 16th ACM International Conference on Multimedia. Vancouver, Canada. October 2008.

7. Wei Dong, Zhe Wang, William Josephson, Moses Charikar, Kai Li. Modeling LSH for Performance Tuning.. In In Proceedings of ACM 17th Conference on Information and Knowledge Management (CIKM). Napa Valley, CA, USA. October 2008.

8. Brendan Collins, Jia Deng, Kai Li and Fei-Fei Li Towards scalable dataset construction: An active learning approach. In Proceedings of the European Conference on Computer Vision (ECCV) 2008.

9. Wei Dong, Moses Charikar, Kai Li. Asymmetric Distance Estimation with Sketches for Similarity Search in High-Dimensional Spaces. Proceedings of the 31st Annual International ACM SIGIR Conference on Research & Development on Information Retrieval. Singapore. July 2008.

10. Gala Yadgar, Michael Factor, Kai Li, and Assaf Schuster. MC2: Multiple Clients on a Multilevel Cache. Proceedings of the 28^th International Conference on Distributed Computing Systems (ICDCS). June 2008.

11. Benjamin Zhu, Kai Li and Hugo Patterson. Avoiding the Disk Bottleneck in a Deduplication Storage System. In Proceedings of The 6^th USENIX Conference on File and Storage Technologies (FAST’08). February 2008.

12. Matthew A. Hibbs, David C. Hess, Chad L. Myers, Curtis Huttenhower, Kai Li, and Olga Troyanskaya. Exploring the Functional Landscape of Gene Expression: Directed Search of Large Microarray Compendia. Bioinformatics 23(20):2692-2699; doi:10.1093/bioinformatics/btm403. October 2007.

13. Qin Lv, William Josephson, Zhe Wang, Moses Charikar, Kai Li. Multi-Probe LSH: Efficient Indexing for High-Dimensional Similarity Search. In Proceedings of the 33rd International Conference on Very Large Data Bases (VLDB). Vienna, Austria. September 2007.

14. William Josephson, Ruby Lee and Kai Li. ISA Support for Fingerprinting and Eraser Codes. In Proceedings of IEEE Application-Specific Systems, Architectures and Processors. August 2007.

15. Zhe Wang, William Josephson, Qin Lv, Moses Charikar, Kai Li. Filtering Image Spam with Near-Duplicate Detection. In Proceedings of the 4th Conference on Email and Anti-Spam (CEAS). Mountain View, CA, USA. August 2007.

16. Matthew Hibbs, Grant Wallace, Maitreya Dunham, Kai Li, and Olga Troyanskaya.  Viewing the Larger Context of Genomic Data through Horizontal Integration.  Proceedings of the 11th IEEE International Conference of Information Visualization, July 2007.

17. Grant Wallace and Kai Li. Virtually Shared Displays and User Input Devices. In Proceedings of the 2007 USENIX Annual Technical Conference. Pp 375-380. June 2007.

18. D.A. Batchelor, M. Beck, A. Becoulet, R.V. Budny, C.S. Chang, P.H. Diamond, J.Q. Dong, G.Y. Fu, A. Fukuyama, T.S. Hahm, D.E. Keyes, Y. Kishimoto, S. Klasky, L.L. Lao, K. Li, Z. Lin, B. Ludaescher, J. Manickam, N. Nakajima, T. Ozeki, N. Podhorszki, W.M. Tang, M.A. Vouk, R.E. Waltz, S.J. Wang, H. R. Wilson, X.Q. Xu, M. Yagi and F. Zonca. Simulation of Fusion Plasmas: Current Status and Future Direction. Plasma Science and Technology. 9:312-387, 2007.

19. Zhe Wang, Qin Lv, William Josephson, Wei Dong, Moses Charikar, Kai Li. Sizing Sketches: A Rank-Based Analysis for Similarity Search.  Proceedings of ACM SIGMETRICS 2007, San Diego, CA, USA. June 2007.

20. Kai Li, Matthew Hibbs, Grant Wallace Maitreya Dunham, Rachel Sealfon, and Olga Troyanskaya.  Scalable, Dynamic Analysis and Visualization for Genomic Datasets.  Proceedings of IPDPS Workshop on Next Generation Software.  March, 2007.

21. Lars A Bongo, Grant Wallace, Tore Larsen, Kai Li, Olga Troyanskaya. Systems Support for Remote Visualization of Genomics Applications over Wide Area Networks. Proceedings of the International Workshop on Distributed, High-Performance and Grid Computing in Computational Biology (GCCB), 2006. Also in Lecture Notes in Computer Science, Springer Berlin - Heidelberg, vol 4360, pp157-174. March 7, 2007,

22. Qin Lv, William Josephson, Zhe Wang, Moses Charikar, and Kai Li, Efficient Filtering with Sketches in the Ferret Toolkit, In Proceedings of the 8th ACM SIGMM International Workshop on Multimedia Information Retrieval, October 2006. 

23. Zhe Wang, Matthew Hoffman, Perry Cook and Kai Li.  VFerret: Content-Based Similarity Search Tool for Continuous Archived Video.  In Proceedings of ACM workshop on Continuous Archiving and Recording of Personal Experiences CARPE-06. October 2006.

24. Qin Lv, William Josephson, Zhe Wang, Moses Charikar, and Kai Li.  Ferret: A Toolkit for Content-Based Similarity Search.  In Proceedings of ACM SIGOS EuroSys Conference.  April 2006.

25. Han Chen, Kai Li and Bin Wei.  Memory Performance Optimizations For Real-Time Software HDTV Decoding.  Journal of VLSI Signal Processing.  41(2): 193-207.  September 2005.

26. Grant Wallace, Otto Anshus, Peng Bi, Han Chen, Yuqun Chen, Perry Cook, Adam Finkelstein, Thomas Funkhouser, Anoop Gupta, Matthew Hibbs, Kai Li, Zhiyan Liu, Rudrajit Samanta, Rahul Sukthankar, and Olga Troyanskaya.  Tools and Applications for Large-Scale Display Walls. IEEE Computer Graphics & Applications, Special Issue on Large Displays.  25(4):24-33, July/August 2005.

27. Nitin Garg, Sumeet Sobti, Junwen Lai, Fengzhou Zheng, Kai Li, Arvind Krishnamurthy, and Randolph Wang. Bridging the Digital Divide: Storage Media + Postal Network = Generic High-Bandwidth Communication. ACM Transactions on Storage (TOS). 1(2):246-275. May 2005.

28. Matthew Hibbs, Nathaniel C. Dirksen NC, Kai Li, and Olga G. Troyanskaya, Visualization Methods for Statistical Analysis of Microarray Clusters, BMC Bioinformatics, 6:115, May 2005.

29. Kai Li, Matthew Hibbs, Grant Wallace and Olga Troyanskaya. Dynamic Scalable Visualization for Collaborative Scientific Applications. Proceedings of The Next Generation Software Workshop. Denver, Colorado, April 2005.

30. Yuanyuan Zhou, Angelos Bilas, Suresh Jagannathan, Dimitrios Xinidis, Cezary Dubnicki and Kai Li. VI-attached Database Storage. IEEE Transactions on Parallel and Distributed Systems. 16(1): 35-50, January 2005.

31. Grant Wallace, Han Chen and Kai Li.  Automatic Alignment of Tiled Displays for a Desktop Environment.  Journal of Software. 15(12): 1776-1786.  December 2004.

32. Qin Lv, Moses Charikar and Kai Li.  Image Similarity Search with Compact Data Structures.  Proceedings of the ACM SIGIR 13th Conference on Information and Knowledge Management (CIKM).  Pages 208-217,  November 2004.

33. Wen Xu, Sanjeev Kumar, Kai Li. Fast Paths in Concurrent Programs. In Proceedings of ACM/IEEE International Conference on Parallel Architecture and Compilation Techniques (PACT), Nice, France, September 2004.

34. Yuanyuan Zhou, Zhifeng Chen and Kai Li. Second-Level Buffer Cache Management.  IEEE Transactions on Parallel and Distributed Systems.  (15(6):505-519.  June 2004.

35. Yuqun Chen, James Plank, and Kai Li. CLIP: A Checkpointing Tool for Message Passing Parallel Computers.  Scalable Input/Output: Achieving System Balance (Edited by Daniel Reed). MIT Press.  January 2004.

36. Yuanyuan Zhou, Limin Wang, Douglas W. Clark, and Kai Li.  Thread Scheduling for Out-of-Core Applications with a Memory Server.  Scalable Input/Output: Achieving System Balance (Edited by Daniel Reed).  MIT Press.  January 2004.

37. Yuanyuan Zhou, Liviu Iftode, and Kai Li.  A Scalability Study of Shared Virtual Memory Systems. Scalable Input/Output: Achieving System Balance (Edited by Daniel Reed).  MIT Press.  January 2004.

38. Peter F. Corbett, Jean-Pierre Prost, Chris Demetriou, Garth Gibson, Erik Riedel, Jim Zelenka, Yuqun Chen, Ed Felten, Kai Li, John Hartman, Larry Peterson, Brian Bershad, Alec Wolman and Ruth Aydt.  Proposal for a Common Parallel File System Programming Interface.  Scalable Input/Output: Achieving System Balance (Edited by Daniel Reed).  MIT Press.  January 2004.

39. Grant Wallace, Han Chen, and Kai Li. DeskAlign: Automatically Aligning a Tiled Windows Desktop.  IEEE International Workshop on Projector-Camera Systems (PROCAMS), October  2003.

40. Zhifeng Chen, Yuanyuan Zhou and Kai Li. Eviction-based Placement for Storage Caches. In Proceedings of USENIX Technical Conference, June 2003.

41. Grant Wallace, Han Chen, and Kai Li..  Color Gamut Matching for Tiled Display Walls. Immersive Projection Technology Workshop (IPT2003), May 2003.

42. Sanjeev Kumar, Kai Li. Using Model Checking to Debug Device Firmware. In Proceedings of USENIX Operating Systems Design and Implementation (OSDI), 2002.

43. Han Chen, Rahul Sukthankar, Grant Wallace and Kai Li.  Scalable Alignment of Large-Format Multi-Projector Displays Using Camera Homography Trees.  In Proceedings of IEEE Visualization (Vis2002), October 2002.

44. Han Chen, Kai Li, and Bin Wei.  Memory Performance Optimizations for Real-Time Software HDTV Decoding.  IEEE International Conference on Multimedia and Expo (CME2002), August 2002.

45. Qin Lv, Pei Cao, Edith Cohen, Kai Li, and Scott Shenker, Search and Replication in Unstructured Peer-to-Peer Networks.  Proceedings of the ACM 16th International Conference on Supercomputing, pages 84-95, June 2002.

46. Sanjeev Kumar, Kai Li. Dynamic Memory Management for Programmable Devices. International Symposium of Memory Management (ISMM), pages 139-149. June 2002.

47. Yuanyuan Zhou, Suresh Jagannathan, Angelos Bilas ,Cezary Dubnicki, James F Philbin, Kai Li.  Experience with VI Communication for Database Storage. In Proceedings of the 29th ACM International Symposium of Computer Architecture.  May 2002.

48. Han Chen, Kai Li, and Bin Wei. A Parallel Ultra-High Resolution MPEG-2 Video Decoder for PC Cluster Based Tiled Display System. In Proceedings of International Parallel and Distributed Processing Symposium (IPDPS2002), April 2002

49. Zhiyan Liu, Adam Finkelstein and Kai Li. Improving progressive view-dependent isosurface propagation. Computers and Graphics, 26 (2): 209-218.  Special Issue on Visualization on Very Large Datasets.  April 2002.

50. Han Chen, Grant Wallace, Anoop Gupta, and Kai Li, Tom Funkhouser, Perry Cook, Experiences with Scalability of Display Walls. In Proceedings of the 7th Annual Immersive Projection Technology Symposium (IPT), March 2002.

51. Sanjeev Kumar, and Kai Li. Performance Impact of Using ESP to Implement VMMC Firmware. Workshop on Novel Uses of System Area Networks (SAN-1), February 2002.

52. Rudrajit Samanta, Thomas Funkhouser, and Kai Li.  Parallel Rendering with K-Way Replication.  IEEE Symposium on Parallel and Large-Data Visualization and Graphics, October, 2001.

53. Han Chen, Yuqun Chen, Adam Finkelstein, Thomas Funkhouser, Kai Li, Zhiyan Liu, Rudrajit Samanta, and Grant Wallace. Data Distribution Strategies for High-Resolution Displays. Computers & Graphics, Special Issue on Mixed Realities - Beyond Conventions, 25(5):811-818.  October 2001. 

54. Sanjeev Kumar, Yitzhak Mandelbaum, Xiang Yu, Kai Li. ESP: A language for programmable devices. Proceedings of ACM SIGPLAN Programming Language Design and Implementation (PLDI).  June 2001.

55. Yuanyuan Zhou, James F. Philbin, and Kai Li. The Multi-Queue Replacement Algorithm for Second Level Buffer Caches. In Proceedings of USENIX Technical Conference, June 2001.

56. Yuqun Chen, Han Chen, Douglas W. Clark, Zhiyan Liu, Grant Wallace, and Kai Li.  Software Environments for Cluster-based Display Systems (2001).  The First IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2001),  Brisbane, Australia, 15-18 May 2001.

57. Zhiyan Liu, Adam Finkelstein, and Kai Li. Progressive View-Dependent Isosurface Propagation. IEEE TCVG Symposium on Visualization (VisSym 2001). Ascona, Switzerland. May 28 - May 30, 2001.
58. Xiang Yu, Ben Gum, Yuqun Chen, Randy Wang, Kai Li, Arvind Krishnamurthy, and Thomas Anderson, Trading Capacity For Performance In A Disk Array.  The 4th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2000), Paradise Point Resort, San Diego, California , October 23-25, 2000.
59. Yuqun Chen, Douglas W. Clark, Adam Finkelstein, Timothy Housel, and Kai Li, Automatic Alignment Of High-Resolution Multi-Projector Displays Using An Un-Calibrated Camera, IEEE Visualization 2000, Salt Lake City, Utah, October 8-13, 2000.
60. Rudrajit Samanta, Thomas Funkhouser, Kai Li, and Jaswinder Pal Singh, Hybrid Sort-First and Sort-Last Parallel Rendering with a Cluster of PCs. In Proceedings of SIGGRAPH/Eurographics Workshop on Graphics Hardware, August, 2000.
61. Kai Li, Han Chen, Yuqun Chen, Douglas W. Clark, Perry Cook, Stefanos Damianakis, Georg Essl, Adam Finkelstein, Thomas Funkhouser, Timothy Housel, Allison Klein, Zhiyan Liu, Emil Praun, Rudrajit Samanta, Ben Shedd, Jaswinder Pal Singh, George Tzanetakis, and Jiannan Zheng,  Building and Using a Scalable Display Wall System, IEEE Computer Graphics and Applications, 20(4): 29-37, July  2000.
62. Thomas Funkhouser and Kai Li, Large Format Displays.  IEEE Computer Graphics and Applications, 20(4): 20-21, July 2000.
63. Rudrajit Samanta, Thomas Funkhouser, Kai Li,  and Jaswinder Pal Singh, Sort-First Parallel Rendering with a Cluster of PCs, Technical Sketch in SIGGRAPH 2000, July, 2000.
64. Rudro Samanta, Jiannan Zheng, Thomas Funkhouser, Kai Li, and Jaswinder Pal Singh.  Load Balancing for Multi-Projector Rendering Systems, In Proceedings of  SIGGRAPH/Eurographics Workshop on Graphics Hardware, August, 1999.
65. Yuqun Chen, Stefanos N. Damianakis, Sanjeev Kumar, Xiang Yu, and Kai Li.  Porting a User-level Communication Architecture to NT: Experience and Performance (1999).  In Proceedings of 3rd Usenix Windows NT Symposium, Seattle, Washington, July 12-15, 1999.
66. Liviu Iftode, Matthias Blumrich, Cezary Dubnicki, David L. Oppenheimer,  Jaswinder Pal Singh, and Kai Li.  Shared Virtual Memory with Automatic Update Support.  In Proceedings of the International Conference on Supercomputing, Rhodes, Greece, June 1999.
67. Yuanyuan Zhou, Peter Chen, and Kai Li.  Fast Cluster Failover Using Virtual Memory-Mapped Communication.  Proceedings of the International Conference on  Supercomputing, Rhodes, Greece, June 1999.
68. James S. Plank, Yuqun Chen, Kai Li, Micah Beck and Gerry Kingsley.  Memory Exclusion: Optimizing the Performance of Checkpointing Systems (1999). Software -- Practice and Experience, Vol. 29, No. 2, pp. 125-142, 1999.
69. Y. Zhou, L. Wang and K. Li, Thread Scheduling for Out-of-Core Applications with Memory Server on Multicomputers.  Proceedings of the 6th Workshop on Input/Output in Parallel and Distributed Systems     (IOPADS ), May 1999.
70. Larry Peterson, Scott Karlin and Kai Li, OS Support for General Purpose Routers.  ACM SIGOPS HotOS Workshop. March 1999.
71. James S. Plank, Kai Li and Michael A. Puening, Diskless Checkpointing. IEEE Transactions on Parallel and Distributed Systems, 9(10): 972-986, October, 1998.
72. Yuqun Chen, Czarek Dubnicki, Stefanos Damianakis, Angelos Bilas, and Kai Li. UTLB: A Mechanism for Translations on Network Interface. In Proceedings of ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS-VIII), San Jose, California, October 1998, pages 193-204.
73. Matthias A. Blumrich, Kai Li, Richard D. Alpert, Cezary Dubnicki, Edward W. Felten, Jonathan Sandberg. Retrospective: Virtual Memory-Mapped Network Interface for the SHRIMP Multicomputer. In ACM 25 Years of the International Symposia on Computer Architecture, Selected Papers.  Edited by Gurindar Sohi, 1998.  Pages 92-94.
74. Matthias Blumrich, Richard Alpert, Yuqun Chen, Douglas Clark, Stefanos Damianakis, Cezary Dubnicki, Edward Felten, Liviu Iftode, Kai Li, Margaret Martonosi, and Richard Shillner. Design Choices in the SHRIMP System: An Empirical Study. In Proceedings of the ACM/IEEE 25th International Symposium on Computer Architecture, Spain, June 1998, pages 330-341.
75. Bin Wei, Douglas Clark, Edward Felten, Kai Li, and Gordon Stoll. Performance Issues of a Distributed Frame Buffer on a Multicomputer. In Proceedings of the 1998 ACM Eurographics/SIGGRAPH Workshop on Graphics Hardware, Lisbon, Portugal, Pages 87-96, August 1998.
76. Cezary Dubnicki, Angelos Bilas, Yuqun Chen, Stefanos Damianakis and Kai Li. Shrimp Project Update: Myrinet Communication. IEEE MICRO, 18(1): 50-52. January 1998.
77. Minwen Ji, Edward Felten, and Kai Li. Performance Measurements for Multithreaded Programs. In  Proceedings of ACM SIGMETRICS / Perfomance '98: Joint International Conference on Measurement and Modeling of Computer Systems. Pages 161-170. August 1998.
78. Cezary Dubnicki, Angelos Bilas, Yuqun Chen, Stefanos Damianakis and Kai Li. VMMC-2: Efficient Support for Reliable, Connnection-Oriented Communication. IEEE Hot Interconnects V. August 1997.
79. Yuqun Chen, James S. Plank, and Kai Li. CLIP: A Checkpointing Tool for Message-Passing Parallel Programs. In Proceedings of SC97: High Performance Networking & Computing, San Jose, California, November 1997.
80. Yuanyuan Zhou, Liviu Iftode, Jaswinder Pal Singh, Kai Li, Brian R. Toonen, Ioannis Schoinas, Mark D. Hill, and David A. Wood.  Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation.  In Proceedings of 6th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,  Pages 193-205, June 1997.
81. Cezary Dubnicki, Angelos Bilas, Kai Li and James Philbin. Design and Implementation of Virtual Memory-Mapped Communication on Myrinet. In Proceedings of the IEEE 11th International Parallel Processing Symposium.  Pages 388-396, April 1997.
82. Pei Cao, Edward W. Felten, Anna R. Karlin, and Kai Li. Implementation and Performance of Integrated Application-Controlled  File Caching, Prefetching and Disk Scheduling. ACM Transactions on Computer Systems. 14(4):311-343. Nov 1996.
83. Fred Douglis, Frans Kaashoek, Kai Li, Brian Marsh and Joseph Tauber. Storage Alternatives for Mobile Computers.  Mobile Computing, Kluwer Academic Publishers, 1996.
84. Yuanyuan Zhou, Liviu Iftode and Kai Li. Performance Evaluation of Two Home-Based Lazy Release Consistency Protocols for Shared Virtual Memory Systems. In Proceedings of the ACM SIGOPS/USENIX 2nd Symposium on Operating System Design and Implemenation (OSDI), Pages 75-88, October 1996.
85. Tracy Kimbrel, Andrew Tomkins, R. Hugo Patterson, Brian Bershad, Pei Cao, Edward W. Felten, Garth A. Gibson, Anna R. Karlin, and Kai Li. A Trace-driven Comparison of Algorithms for Parallel Prefetching and Caching. In Proceedings of the ACM SIGOPS/USENIX 2nd Symposium on Operating System Design and Implemenation (OSDI), Pages 19-34. October 1996.
86. James Philbin, Jan Edler, Otto J. Anshus, Craig Douglas, and Kai Li. Thread Scheduling for Cache Locality.  In Proceedings of the 7th ACM Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, October 1996. Pages 60-73.
87. Kai Li. Network of PCs as High-Performance Servers: Requirements for A Communication Mechanism. In Proceedings of the IEEE 3nd International Conference on Massively Parallel Processing using Optical Interconnections (Invited paper). Pages 225-230. October 1996.
88. Richard Alpert, Cezary Dubnicki, Edward Felten and Kai Li. Design and Implementation of NX Message Passing Using Shrimp Virtual Memory-Mapped Communication. In Proceedings of the International Conference on Parallel Processing.  Pages 111-119. August 1996.
89. Liviu Iftode, Jaswinder Pal Singh and Kai Li. Scope Consistency: a Bridge between Release Consistency and Entry Consistency.  In Proceedings of the 8th Annual ACM Symposium on Parallel Algorithms and Architectures. Pages 277-287. June 1996.
90. Liviu Iftode, Jaswinder Pal Singh and Kai Li. Understanding Application Performance on Shared Virtual Memory. In Proceedings of the 23rd Annual International Symposium on Computer Architecture. Pages 122-133. May 1996.
91. Edward Felten, Richard D. Alpert, Angelos Bilas, Matthias A. Blumrich, Douglas W. Clark, Stefanos Damianakis, Cezary Dubnicki, Liviu Iftode, and Kai Li. Early Experience with Message-Passing on the SHRIMP Multicomputer. In Proceedings of the 23rd Annual International Symposium on Computer Architecture. Pages 296-307. May 1996.
92. Cezary Dubnicki, Liviu Iftode, Edward W. Felten and Kai Li. Software Support for Virtual Memory-Mapped Communication. In Proceedings of the IEEE 10th International Parallel Processing Symposium.  Pages 372-381. April 1996.
93. Matthias Blumrich, Cezary Dubnick, Edward Felten and Kai Li. Protected, User-Level DMA for the SHRIMP Network Interface.  In IEEE 2nd International Symposium on High-Performance Computer Architecture.  Feburuary 1996.  Pages 154--165.
94. Liviu Iftode, Cezary Dubnick, Edward Felten and Kai Li. Improving Release-Consistent Shared Virtual Memory using Automatic Update. In IEEE 2nd International Symposium on High-Performance Computer Architecture. Feburuary 1996.  Pages 14--25.
95. Bin Wei, Gordon Stoll, Douglas Clark, Edward Felten, Kai Li and Patrick Hanrahan. Synchronization for a Multi-Port Frame Buffer on a Mesh-Connected Multicomputer. In IEEE Parallel Rendering Symposium '95. Pages 81-88. October 1995.
96. Karin Petersen and Kai Li. Multiprocessor Cache Coherence Based on Virtual Memory Support. Journal of Parallel and Distributed Computing, 29(2):158-178,  September 1995.
97. Pei Cao, Edward W. Felten, Anna Karlin and Kai Li. A study of Integrated Prefetching and Caching Strategies. In Proceedings of the ACM SIGMETRICS.  Pages 188-197. 1995. (Best paper award).
98. Gordon Stoll, Bin Wei, Douglas Clark, Edward Felten, Kai Li, and Patrick Hanrahan.  Evaluating Multi-Port Frame Buffer Designs for a Mesh-Connected Multicomputer.  In Proceedings of the 22nd Annual International Symposium on Computer Architecture. May 1995. Pages 96--105.
99. James S. Plank, Micah Beck, Gerry Kingsley, Kai Li. Libckpt: Transparent Checkpointing under Unix. In  Proceedings of the 1995 Winter USENIX Technical Conference. New Orleans, LA, January 1995. Pages 213--223.
100. Matthias Blumrich, Cezary Dubnicki, Edward Felten, Kai Li and Malena Mesarina. Virtual-Memory-Mapped Network Interfaces. IEEE MICRO, 15(1):21--28. Feb 1995.
101. Pei Cao, Edward W. Felten and Kai Li. Implementation and Performance of Application-Controlled File Caching. In Proceedings of the ACM SIGOPS/USENIX 1st Symposium on Operating Systems Design and Implementation (OSDI). Pages 165--178. November 1994.
102. Fred Douglis, Ramon Caceres, Frans Kaashoek, Kai Li, Brian Marsh, and Joshua A. Tauber.  Storage Alternatives for Mobile Computers. In Proceedings of the ACM SIGOPS/USENIX 1st Symposium on Operating Systems Design and Implementation (OSDI).  November 1994. Pages 25--38.
103. James Plank and Kai Li.  Performance Results of ICKP - A Consistent Checkpointer on the iPSC/860.  IEEE Parallel and Distributed Technologies. 2(2):~62--67. Summer 1994.
104. Kai Li, Jeffrey Naughton and James Plank. Low-Latency Concurrent Checkpoint for Parallel Programs. IEEE Transactions on Parallel and Distributed Computing, 5(8):~874--879. 1994.
105. James S. Plank and Kai Li. Faster Checkpointing with {$N+1$} Parity. In Proceedings of  IEEE 24th International Symposium on Fault-Tolerant Computing. Pages 288--297. Austin, TX, June 1994.
106. Pei Cao, Edward Felten and Kai Li. Application-Controlled File Caching Policies.  In Proceedings of the 1994 Summer USENIX Technical Conference.  Pages 171--182. June 1994.
107. James S. Plank and Kai Li. Performance Results of {\em Ickp} --- A Consistent Checkpointer on the iPSC/860.  In Proceedings of Scalable High Performance Computing Conference. Pages 686--693. Knoxville, TN, May, 1994.
108. Cezary Dubnicki, Kai Li and Malena Mesarina. Network Interface Support for User-Level Buffer Management. Parallel Computer Routing and Communication.  Lecture Notes in Computer Science (LCS 853), Edited by K. Bolding and L. Snyder. Springer-Verlag,  April 1994.
109. Matth Blumrich, Kai Li, Richard Alpert, Cezary Dubnicki, Edward Felten, and Jonathan Sandberg. Virtual Memory Mapped Network Interface for the Shrimp Multicomputer. In ACM/IEEE Proceedings of the 21st Annual International Symposium on Computer Architecture. Pages 142--153. April 1994. Selected as one of the 43 most influential papers of 25 years of ISCA, 1998.
110. Karin Petersen and Kai Li. An Evaluation of Multiprocessor Cache Coherence Based on Virtual Memory Support.  In Proceedings of the IEEE 8th International Parallel Processing Symposium. pages 158-164. April 1994.
111. Ramon Caceres, Fred Douglis, Kai Li and Brian Marsh. Operating Systems Implications of Solid State Mobile Computers. In Proceedings of the Fourth Workshop on Workstation Operating Systems (WWOS-IV).  Pages 21--27. October 1993.
112. Karin Petersen and Kai Li. Cache Coherence for Shared Memory Multiprocessors Based on Virtual Memory Support. In Proceedings of the IEEE 7th International Parallel Processing Symposium. April 1993.
113. E. Barszcz, D. Black, D. Culler, H. Gordon, S. Groom, D. Kopetzky, R. Lee, K. Li, L. Lane, E. Lazowska, R. Light, J. Mukerji, E. Upchurch, and M. Wan. Operating Systems (chapter 7). System Software and Tools for High Performance Computing Environments. Edited by Paul Messina and Thomas Sterling, Society for Industrial and Applied Mathematics. Pages 75--92. 1993.
114. Songnian Zhou, Michael Stumm, Kai Li and David Wortman. Heterogeneous Distributed Shared Memory: An Experimental Study. IEEE Transactions on Parallel and Distributed Computing, 3(5):~540--554, 1992.  (Also appeared in Multiprocessor Performance Measurement and Evaluation, edited by Laxmi N. Bhuyan and Xiaodong Zhang. IEEE Computer Society, 1994).
115. Liviu Iftode, Kai Li and Karin Petersen. Memory Servers for Multicomputers. In Proceedings of the IEEE Spring CompCon'93.  Pages 539--547. February 1993.
116. Anne Rogers and Kai Li. Software Support for Speculative Load. In Proceedings of the ACM 5th International Conference on Architectural Support for Programming Languages and Operating Systems. Pages 38--50.  1992.
117. Kai Li. Scalability Issues of Shared Virtual Memory on Multicomputers. Scalable Shared Memory Multiprocessors, Edited by Michel Dubois and Shreekant Thakkar, Kluwer Academic Publishers. 1992.
118. Kai Li, Jeffrey Naughton and James Plank. An Efficient Checkpointing Method for Multicomputers with Wormhole Routing. International Journal of Parallel Programming. 20(3):~159--180, 1991.
119. Anna Karlin, Kai Li, Mark Manasse, and Susan Owicki.  Empirical Studies of Competitive Spinning on A Shared-Memory Multiprocessor. In Proceedings of the 12th ACM Symposium on Operating Systems Principles.   October 1991.
120. Kai Li, Jeffrey Naughton and James Plank. Checkpointing Multicomputer Applications. In Proceedings of the IEEE 10th Sumposium on Reliable Distributed Systems.  Pisa, Italy.  September 1991.
121. Kai Li and Karin Petersen.  Evaluation of Extended Memory Systems. In Proceedings of the ACM/IEEE 18th Annual International Symposium on Computer Architecture. Pages 84--95. June 1991.
122. Andrew Appel and Kai Li. Virtual Memory Primitives for User Programs. In Proceedings of the ACM 4th International Conference on  Architectural Support for Programming Languages  and Operating Systems. pages 96--107, April 1991.
123. Kai Li, Jeffrey Naughton and James Plank.  Real-time, Concurrent Checkpoint for Parallel Programs.  In Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Pages 79--88, 1990.
124. Kai Li and Richard Schaefer. Shared Virtual Memory for a Hypercube Multiproccessor.  In Proceedings of the 4th Conference on Hypercube Concurrent Computers and Applications, March 1989.
125. Kai Li and Richard Schaefer. A Hypercube Shared Virtual Memory System.  In Proceedings of the 1989 International Parallel Processing Conferenence, Vol. I Architecture, pages I-125--I132,  August 1989.
126. M. Greenstreet, K. Li and J. Staunstrup. Synchronized Transitions on Multiprocessors.  In Proceedings of the 22rd Hawaii International Conference on System Sciences. Pages 789--797, January 1989.
127. Kai Li and Paul Hudak. Memory Coherence in Shared Virtual Memory Systems. ACM Transactions on Computer Systems, 7(4):321--359, November 1989.
128. Kai Li and Jeffrey Naughton. Multiprocessor Main Memory Transaction Processing.  In Proceedings of IEEE International Symposium on Databases in Parallel and Distributed Systems.  Pages 177--187, December 1988.
129. Kai Li.  IVY: A Prototype Shared Virtual Memory System for Parallel Computing.  In Proceedings of the 1988 International Conference on Parallel Computing. Vol. II Software.  Pages 94--101. August 1988.
130. Andrew Appel, John Ellis and Kai Li. Real-time Concurrent Collection on Stock Multiprocessors.  In Proceedings of ACM SIGPLAN '88 Conference on Programming Language Design and Implementation. Pages 11--20. June 1988.  Selected as one of the 50 most influential papers of 20 years of PLDI, 2004.
131. Kai Li and Paul Hudak. Memory Coherence in Shared Virtual Memory Systems. In Proceedings of the 5th ACM Conference on Principles of Distributed Computing.   Pages~229--239.  August 1986.
132. Kai Li and Paul Hudak. A New List Compaction Method. Software Practice and Experience, 16(2):145--163, February 1986.