A New List Compaction Method. - Kai Li 001; Paul Hudak (Softw. Pract. Exp., 1986)

Multiprocessor Main Memory Transaction Processing. - Kai Li 001; Jeffrey F. Naughton (DPDS, 1988)

IVY: A Shared Virtual Memory System for Parallel Computing. - Kai Li 001 (ICPP (2), 1988)

Real-Time Concurrent Collection on Stock Multiprocessors. - Andrew W. Appel; John R. Ellis; Kai Li 001 (PLDI, 1988)

A Hypercube Shared Virtual Memory System. - Kai Li 001; Richard Schaefer (ICPP (1), 1989)

Memory Coherence in Shared Virtual Memory Systems. - Kai Li 001; Paul Hudak (ACM Trans. Comput. Syst., 1989)

Real-Time, Concurrent Checkpoint for Parallel Programs. - Kai Li 001; Jeffrey F. Naughton; James S. Plank (PPoPP, 1990)

Virtual Memory Primitives for User Programs. - Andrew W. Appel; Kai Li 001 (ASPLOS, 1991)

Evaluation of Memory System Extensions. - Kai Li 001; Karin Petersen (ISCA, 1991)

Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor. - Anna R. Karlin; Kai Li 001; Mark S. Manasse; Susan S. Owicki (SOSP, 1991)

Checkpointing Multicomputer Applications. - Kai Li 001; Jeffrey F. Naughton; James S. Plank (SRDS, 1991)

An efficient checkpointing method for multicomputers with wormhole routing. - Kai Li 001; Jeffrey F. Naughton; James S. Plank (Int. J. Parallel Program., 1991)

Software Support for Speculative Loads. - Anne Rogers; Kai Li 001 (ASPLOS, 1992)

Heterogeneous Distributed Shared Memory. - Songnian Zhou; Michael Stumm; Kai Li 001; David B. Wortman (IEEE Trans. Parallel Distributed Syst., 1992)

Operating System Implications of Solid-State Mobile Computers. - Ramón Cáceres; Fred Douglis; Kai Li 001; Brian Marsh (Workshop on Workstation Operating Systems, 1993)

Cache Coherence for Shared Memory Multiprocessors Based on Virtual Memory Support. - Karin Petersen; Kai Li 001 (IPPS, 1993)

Faster Checkpointing with N+1 Parity. - James S. Plank; Kai Li 001 (FTCS, 1994)

Two virtual memory mapped network interface designs. - Matthias A. Blumrich; Douglas W. Clark; Cezary Dubnicki; Edward W. Felten; Kai Li 001; Malena R. Mesarina (Hot Interconnects, 1994)

An Evaluation of Multiprocessor Cache Coherence Based on Virtual Memory Support. - Karin Petersen; Kai Li 001 (IPPS, 1994)

Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. - Matthias A. Blumrich; Kai Li 001; Richard Alpert; Cezary Dubnicki; Edward W. Felten; Jonathan Sandberg (ISCA, 1994)

Storage Alternatives for Mobile Computers. - Fred Douglis; Ramón Cáceres; M. Frans Kaashoek; P. Krishnan; Kai Li 001; Brian Marsh; Joshua A. Tauber (Mobidata, 1994)

Implementation and Performance of Application-Controlled File Caching. - Pei Cao; Edward W. Felten; Kai Li 001 (OSDI, 1994)

Storage Alternatives for Mobile Computers. - Fred Douglis; Ramón Cáceres; M. Frans Kaashoek; Kai Li 001; Brian Marsh; Joshua A. Tauber (OSDI, 1994)

Network Interface Support for User-Level Buffer Management. - Cezary Dubnicki; Kai Li 001; Malena R. Mesarina (PCRCW, 1994)

Application-Controlled File Caching Policies. - Pei Cao; Edward W. Felten; Kai Li 001 (USENIX Summer, 1994)

ickp: a consistent checkpointer for multicomputers. - James S. Plank; Kai Li 001 (IEEE Parallel Distributed Technol. Syst. Appl., 1994)

Low-Latency, Concurrent Checkpointing for Parallel Programs. - Kai Li 001; Jeffrey F. Naughton; James S. Plank (IEEE Trans. Parallel Distributed Syst., 1994)

Evaluating Multi-Port Frame Buffer Designs for a Mesh-Connected Multicomputer. - Gordon Stoll; Bin Wei 003; Douglas W. Clark; Edward W. Felten; Kai Li 001; Pat Hanrahan (ISCA, 1995)

Synchronization for a multi-port frame buffer on a mesh-connected multicomputer. - Bin Wei 003; Gordon Stoll; Douglas W. Clark; Edward W. Felten; Kai Li 001; Patrick M. Hanrahan (PRS, 1995)

A Study of Integrated Prefetching and Caching Strategies. - Pei Cao; Edward W. Felten; Anna R. Karlin; Kai Li 001 (SIGMETRICS, 1995)

Libckpt: Transparent Checkpointing under UNIX. - James S. Plank; Micah Beck; Gerry Kingsley; Kai Li 001 (USENIX, 1995)

Multiprocessor Cache Coherence Based on Virtual Memory Support. - Karin Petersen; Kai Li 001 (J. Parallel Distributed Comput., 1995)

Virtual-Memory-Mapped Network Interfaces. - Matthias A. Blumrich; Cezary Dubnicki; Edward W. Felten; Kai Li 001; Malena R. Mesarina (IEEE Micro, 1995)

Thread Scheduling for Cache Locality. - James Philbin; Jan Edler; Otto J. Anshus; Craig C. Douglas; Kai Li 001 (ASPLOS, 1996)

Protected, User-Level DMA for the SHRIMP Network Interface. - Matthias A. Blumrich; Cezary Dubnicki; Edward W. Felten; Kai Li 001 (HPCA, 1996)

Improving Release-Consistent Shared Virtual Memory Using Automatic Update. - Liviu Iftode; Cezary Dubnicki; Edward W. Felten; Kai Li 001 (HPCA, 1996)

Design and Implementation of NX Message Passing Using Shrimp Virtual Memory Mapped Communication. - Richard Alpert; Cezary Dubnicki; Edward W. Felten; Kai Li 001 (ICPP, Vol. 1, 1996)

Software Support for Virtual Memory-Mapped Communication. - Cezary Dubnicki; Liviu Iftode; Edward W. Felten; Kai Li 001 (IPPS, 1996)

Early Experience with Message-Passing on the SHRIMP Multicomputer. - Edward W. Felten; Richard Alpert; Angelos Bilas; Matthias A. Blumrich; Douglas W. Clark; Stefanos N. Damianakis; Cezary Dubnicki; Liviu Iftode; Kai Li 001 (ISCA, 1996)

Understanding Application Performance on Shared Virtual Memory Systems. - Liviu Iftode; Jaswinder Pal Singh; Kai Li 001 (ISCA, 1996)

A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching. - Tracy Kimbrel; Andrew Tomkins; R. Hugo Patterson; Brian N. Bershad; Pei Cao; Edward W. Felten; Garth A. Gibson; Anna R. Karlin; Kai Li 001 (OSDI, 1996)

Performance Evaluation of Two Home-Based Lazy Release Consistency Protocols for Shared Virtual Memory Systems. - Yuanyuan Zhou 001; Liviu Iftode; Kai Li 001 (OSDI, 1996)

Integrating Parallel Prefetching and Caching. - Tracy Kimbrel; Pei Cao; Edward W. Felten; Anna R. Karlin; Kai Li 001 (SIGMETRICS, 1996)

Applications, Storage Hierarchy, and Integration. - Kai Li 001 (ACM Comput. Surv., 1996)

Implementation and Performance of Integrated Application-Controlled File Caching, Prefetching, and Disk Scheduling. - Pei Cao; Edward W. Felten; Anna R. Karlin; Kai Li 001 (ACM Trans. Comput. Syst., 1996)

Design and Implementation of Virtual Memory-Mapped Communication on Myrinet. - Cezary Dubnicki; Angelos Bilas; Kai Li 001 (IPPS, 1997)

Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation. - Yuanyuan Zhou 001; Liviu Iftode; Jaswinder Pal Singh; Kai Li 001; Brian R. Toonen; Ioannis Schoinas; Mark D. Hill; David A. Wood 001 (PPoPP, 1997)

CLIP: A Checkpointing Tool for Message Passing Parallel Programs. - Yuqun Chen; Kai Li 001; James S. Plank (SC, 1997)

UTLB: A Mechanism for Address Translation on Network Interfaces. - Yuqun Chen; Angelos Bilas; Stefanos N. Damianakis; Cezary Dubnicki; Kai Li 001 (ASPLOS, 1998)

Performance Issues of a Distributed Frame Buffer on a Multicomputer. - Bin Wei 003; Douglas W. Clark; Edward W. Felten; Kai Li 001 (Workshop on Graphics Hardware, 1998)

Design Choices in the SHRIMP System: An Empirical Study. - Matthias A. Blumrich; Richard Alpert; Yuqun Chen; Douglas W. Clark; Stefanos N. Damianakis; Cezary Dubnicki; Edward W. Felten; Liviu Iftode; Kai Li 001; Margaret Martonosi; Robert A. Shillner (ISCA, 1998)

Retrospective: Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. - Matthias A. Blumrich; Kai Li 001; Richard Alpert; Cezary Dubnicki; Edward W. Felten; Jonathan Sandberg (25 Years ISCA: Retrospectives and Reprints, 1998)

Performance Measurements for Multithreaded Programs. - Minwen Ji; Edward W. Felten; Kai Li 001 (SIGMETRICS, 1998)

Myrinet communication. - Cezary Dubnicki; Angelos Bilas; Yuqun Chen; Stefanos N. Damianakis; Kai Li 001 (IEEE Micro, 1998)

Scope Consistency: A Bridge between Release Consistency and Entry Consistency. - Liviu Iftode; Jaswinder Pal Singh; Kai Li 001 (Theory Comput. Syst., 1998)

Diskless Checkpointing. - James S. Plank; Kai Li 001; Michael A. Puening (IEEE Trans. Parallel Distributed Syst., 1998)

Load Balancing for Multi-Projector Rendering Systems. - Rudrajit Samanta; Jiannan Zheng; Thomas A. Funkhouser; Kai Li 001; Jaswinder Pal Singh (Workshop on Graphics Hardware, 1999)

OS Support for General-Purpose Routers. - Larry L. Peterson; Scott Karlin; Kai Li 001 (Workshop on Hot Topics in Operating Systems, 1999)

Shared virtual memory with automatic update support. - Liviu Iftode; Matthias A. Blumrich; Cezary Dubnicki; David L. Oppenheimer; Jaswinder Pal Singh; Kai Li 001 (International Conference on Supercomputing, 1999)

Fast cluster failover using virtual memory-mapped communication. - Yuanyuan Zhou 001; Peter M. Chen; Kai Li 001 (International Conference on Supercomputing, 1999)

Thread Scheduling for Out-of-core Applications with Memory Server on Multicomputers. - Yuanyuan Zhou 001; Limin Wang 010; Douglas W. Clark; Kai Li 001 (IOPADS, 1999)

Memory Exclusion: Optimizing the Performance of Checkpointing Systems. - James S. Plank; Yuqun Chen; Kai Li 001; Micah Beck; Gerry Kingsley (Softw. Pract. Exp., 1999)

Hybrid Sort-First and Sort-Last Parallel Rendering with a Cluster of PCs. - Rudrajit Samanta; Thomas A. Funkhouser; Kai Li 001; Jaswinder Pal Singh (Workshop on Graphics Hardware, 2000)

Trading Capacity for Performance in a Disk Array. - Xiang Yu; Benjamin Gum; Yuqun Chen; Randolph Y. Wang; Kai Li 001; Arvind Krishnamurthy; Thomas E. Anderson (OSDI, 2000)

Next-generation visualization displays: the research challenges of building tiled displays (panel session). - James P. Ahrens; Kai Li 001; Daniel A. Reed (IEEE Visualization, 2000)

Automatic alignment of high-resolution multi-projector display using an un-calibrated camera. - Yuqun Chen; Douglas W. Clark; Adam Finkelstein; Timothy C. Housel; Kai Li 001 (IEEE Visualization, 2000)

Guest Editors' Introduction: Large-Format Displays. - Thomas A. Funkhouser; Kai Li 001 (IEEE Computer Graphics and Applications, 2000)

Building and Using A Scalable Display Wall System. - Kai Li 001; Han Chen; Yuqun Chen; Douglas W. Clark; Perry R. Cook; Stefanos N. Damianakis; Georg Essl; Adam Finkelstein; Thomas A. Funkhouser; Timothy C. Housel; Allison W. Klein; Zhiyan Liu; et al. (IEEE Computer Graphics and Applications, 2000)

Software Environments For Cluster-Based Display Systems. - Han Chen; Douglas W. Clark; Zhiyan Liu; Grant Wallace; Kai Li 001; Yuqun Chen (CCGRID, 2001)

ESP: A Language for Programmable Devices. - Sanjeev Kumar; Yitzhak Mandelbaum; Xiang Yu; Kai Li 001 (PLDI, 2001)

Parallel rendering with k-way replication. - Rudrajit Samanta; Thomas A. Funkhouser; Kai Li 001 (IEEE Symposium on Parallel and Large-Data Visualization and Graphics, 2001)

The Multi-Queue Replacement Algorithm for Second Level Buffer Caches. - Yuanyuan Zhou 001; James Philbin; Kai Li 001 (USENIX ATC, General Track, 2001)

Progressive View-Dependent Isosurface Propagation. - Zhiyan Liu; Adam Finkelstein; Kai Li 001 (VisSym, 2001)

Data distribution strategies for high-resolution displays. - Han Chen; Yuqun Chen; Adam Finkelstein; Thomas A. Funkhouser; Kai Li 001; Zhiyan Liu; Rudrajit Samanta; Grant Wallace (Comput. Graph., 2001)

Search and replication in unstructured peer-to-peer networks. - Qin Lv; Pei Cao; Edith Cohen; Kai Li 001; Scott Shenker (ICS, 2002)

A Parallel Ultra-High Resolution MPEG-2 Video Decoder for PC Cluster Based Tiled Display Systems. - Han Chen; Kai Li 001; Bin Wei 003 (IPDPS, 2002)

Experiences with VI Communication for Database Storage. - Yuanyuan Zhou 001; Kai Li 001; Angelos Bilas; Suresh Jagannathan; Cezary Dubnicki; James Philbin (ISCA, 2002)

Dynamic memory management for programmable devices. - Sanjeev Kumar; Kai Li 001 (MSP/ISMM, 2002)

Using Model Checking to Debug Device Firmware. - Sanjeev Kumar; Kai Li 001 (OSDI, 2002)

Scalable Alignment of Large-Format Multi-Projector Displays Using Camera Homography Trees. - Han Chen; Rahul Sukthankar; Grant Wallace; Kai Li 001 (IEEE Visualization, 2002)

Improving progressive view-dependent isosurface propagation. - Zhiyan Liu; Adam Finkelstein; Kai Li 001 (Comput. Graph., 2002)

Color Gamut Matching for Tiled DisplayWalls. - Grant Wallace; Han Chen; Kai Li 001 (IPT/EGVE, 2003)

Eviction-based Cache Placement for Storage Caches. - Zhifeng Chen; Yuanyuan Zhou 001; Kai Li 001 (USENIX ATC, General Track, 2003)

Remote View-dependent Isosurface Visualization. - Zhiyan Liu; Kai Li 001 (VG, 2003)

Fast Paths in Concurrent Programs. - Wen Xu; Sanjeev Kumar; Kai Li 001 (IEEE PACT, 2004)

Image similarity search with compact data structures. - Qin Lv; Moses Charikar; Kai Li 001 (CIKM, 2004)

Second-Level Buffer Cache Management. - Yuanyuan Zhou 001; Zhifeng Chen; Kai Li 001 (IEEE Trans. Parallel Distributed Syst., 2004)

Dynamic Scalable Visualization for Collaborative Scientific Applications. - Kai Li 001; Matthew A. Hibbs; Grant Wallace; Olga G. Troyanskaya (IPDPS, 2005)

Visualization methods for statistical analysis of microarray clusters. - Matthew A. Hibbs; Nathaniel C. Dirksen; Kai Li 001; Olga G. Troyanskaya (BMC Bioinform., 2005)

Tools and Applications for Large-Scale Display Walls. - Grant Wallace; Otto J. Anshus; Peng Bi; Han Chen; Yuqun Chen; Douglas W. Clark; Perry R. Cook; Adam Finkelstein; Thomas A. Funkhouser; Anoop Gupta; Matthew A. Hibbs; Kai Li 001; et al. (IEEE Computer Graphics and Applications, 2005)

Bridging the digital divide: storage media + postal network = generic high-bandwidth communication. - Nitin Garg; Sumeet Sobti; Junwen Lai; Fengzhou Zheng; Kai Li 001; Randolph Y. Wang; Arvind Krishnamurthy (ACM Trans. Storage, 2005)

VI-Attached Database Storage. - Yuanyuan Zhou 001; Angelos Bilas; Suresh Jagannathan; Dimitrios Xinidis; Cezary Dubnicki; Kai Li 001 (IEEE Trans. Parallel Distributed Syst., 2005)

Memory Performance Optimizations For Real-Time Software HDTV Decoding. - Han Chen; Kai Li 001; Bin Wei 003 (J. VLSI Signal Process., 2005)

Ferret: a toolkit for content-based similarity search of feature-rich data. - Qin Lv; William Josephson; Zhe Wang; Moses Charikar; Kai Li 001 (EuroSys, 2006)

Systems Support for Remote Visualization of Genomics Applications over Wide Area Networks. - Lars Ailo Bongo; Grant Wallace; Tore Larsen; Kai Li 001; Olga G. Troyanskaya (GCCB, 2006)

Efficient filtering with sketches in the ferret toolkit. - Qin Lv; William Josephson; Zhe Wang; Moses Charikar; Kai Li 001 (Multimedia Information Retrieval, 2006)

ISA Support for Fingerprinting and Erasure Codes. - William Josephson; Ruby B. Lee; Kai Li 001 (ASAP, 2007)

Filtering Image Spam with Near-Duplicate Detection. - Zhe Wang; William K. Josephson; Qin Lv; Moses Charikar; Kai Li 001 (CEAS, 2007)

Scalable, Dynamic Analysis and Visualization for Genomic Datasets. - Grant Wallace; Matthew A. Hibbs; Maitreya J. Dunham; Rachel S. G. Sealfon; Olga G. Troyanskaya; Kai Li 001 (IPDPS, 2007)

Viewing the Larger Context of Genomic Data through Horizontal Integration. - Matthew A. Hibbs; Grant Wallace; Maitreya J. Dunham; Kai Li 001; Olga G. Troyanskaya (IV, 2007)

Sizing sketches: a rank-based analysis for similarity search. - Zhe Wang; Wei Dong 003; William Josephson; Qin Lv; Moses Charikar; Kai Li 001 (SIGMETRICS, 2007)

Virtually Shared Displays and User Input Devices. - Grant Wallace; Kai Li 001 (USENIX ATC, 2007)

Multi-Probe LSH: Efficient Indexing for High-Dimensional Similarity Search . - Qin Lv; William Josephson; Zhe Wang; Moses Charikar; Kai Li 001 (VLDB, 2007)

Exploring the functional landscape of gene expression: directed search of large microarray compendia. - Matthew A. Hibbs; David C. Hess; Chad L. Myers; Curtis Huttenhower; Kai Li 001; Olga G. Troyanskaya (Bioinform., 2007)

The PARSEC benchmark suite: characterization and architectural implications. - Christian Bienia; Sanjeev Kumar; Jaswinder Pal Singh; Kai Li 001 (PACT, 2008)

Modeling LSH for performance tuning. - Wei Dong 003; Zhe Wang; William Josephson; Moses Charikar; Kai Li 001 (CIKM, 2008)

Towards Scalable Dataset Construction: An Active Learning Approach. - Brendan Collins; Jia Deng 001; Kai Li 001; Li Fei-Fei 001 (ECCV (1), 2008)

Avoiding the Disk Bottleneck in the Data Domain Deduplication File System. - Benjamin Zhu; Kai Li 001; R. Hugo Patterson (FAST, 2008)

MC2: Multiple Clients on a Multilevel Cache. - Gala Yadgar; Michael Factor; Kai Li 001; Assaf Schuster (ICDCS, 2008)

PARSEC vs. SPLASH-2: A quantitative comparison of two multithreaded benchmark suites on Chip-Multiprocessors. - Christian Bienia; Sanjeev Kumar; Kai Li 001 (IISWC, 2008)

Efficiently matching sets of features with random histograms. - Wei Dong 003; Zhe Wang; Moses Charikar; Kai Li 001 (ACM Multimedia, 2008)

Asymmetric distance estimation with sketches for similarity search in high-dimensional spaces. - Wei Dong 003; Moses Charikar; Kai Li 001 (SIGIR, 2008)

Tech-note: Device-free interaction spaces. - Daniel Stødle; Olga G. Troyanskaya; Kai Li 001; Otto J. Anshus (3DUI, 2009)

ImageNet: A large-scale hierarchical image database. - Jia Deng 001; Wei Dong 003; Richard Socher; Li-Jia Li 001; Kai Li 001; Li Fei-Fei 001 (CVPR, 2009)

Directing Experimental Biology: A Case Study in Mitochondrial Biogenesis. - Matthew A. Hibbs; Chad L. Myers; Curtis Huttenhower; David C. Hess; Kai Li 001; Amy A. Caudy; Olga G. Troyanskaya (PLoS Comput. Biol., 2009)

Scaling of the PARSEC benchmark inputs. - Christian Bienia; Kai Li 001 (PACT, 2010)

What Does Classifying More Than 10, 000 Image Categories Tell Us? - Jia Deng 001; Alexander C. Berg; Kai Li 001; Li Fei-Fei 001 (ECCV (5), 2010)

Fidelity and scaling of the PARSEC benchmark inputs. - Christian Bienia; Kai Li 001 (IISWC, 2010)

Characteristics of Workloads Using the Pipeline Programming Model. - Christian Bienia; Kai Li 001 (ISCA Workshops, 2010)

DFS: A file system for virtualized flash storage. - William K. Josephson; Lars Ailo Bongo; Kai Li 001; David Flynn (ACM Trans. Storage, 2010)

Tradeoffs in Scalable Data Routing for Deduplication Clusters. - Wei Dong 003; Fred Douglis; Kai Li 001; R. Hugo Patterson; Sazzala Reddy; Philip Shilane (FAST, 2011)

Efficient k-nearest neighbor graph construction for generic similarity measures. - Wei Dong 003; Moses Charikar; Kai Li 001 (WWW, 2011)

Management of Multilevel, Multiclient Cache Hierarchies with Application Hints. - Gala Yadgar; Michael Factor; Kai Li 001; Assaf Schuster (ACM Trans. Comput. Syst., 2011)

High-confidence near-duplicate image detection. - Wei Dong 003; Zhe Wang; Moses Charikar; Kai Li 001 (ICMR, 2012)

Author retrospective for search and replication in unstructured peer-to-peer networks. - Qin Lv; Pei Cao; Edith Cohen; Kai Li 001; Scott Shenker (ICS 25th Anniversary, 2014)

RIPQ: Advanced Photo Caching on Flash for Facebook. - Linpeng Tang; Qi Huang; Wyatt Lloyd; Sanjeev Kumar; Kai Li 001 (FAST, 2015)

Full correlation matrix analysis of fMRI data on Intel® Xeon Phi™ coprocessors. - Yida Wang 003; Michael J. Anderson; Jonathan D. Cohen 003; Alexander Heinecke; Kai Li 001; Nadathur Satish; Narayanan Sundaram; Nicholas B. Turk-Browne; Theodore L. Willke (SC, 2015)

Real-time full correlation matrix analysis of fMRI data. - Yida Wang 003; Bryn Keller; Mihai Capota; Michael J. Anderson; Narayanan Sundaram; Jonathan D. Cohen 003; Kai Li 001; Nicholas B. Turk-Browne; Theodore L. Willke (IEEE BigData, 2016)

Disruptive Research and Innovation. - Kai Li 001 (IPDPS, 2016)

Erasing Belady's Limitations: In Search of Flash Cache Offline Optimality. - Yue Cheng 001; Fred Douglis; Philip Shilane; Grant Wallace; Peter Desnoyers; Kai Li 001 (USENIX ATC, 2016)

PARSEC3.0: A Multicore Benchmark Suite with Network Stacks and SPLASH-2X. - Xusheng Zhan; Yungang Bao; Christian Bienia; Kai Li 001 (SIGARCH Comput. Archit. News, 2016)

Intelligent Probing for Locality Sensitive Hashing: Multi-Probe LSH and Beyond. - Qin Lv; William Josephson; Zhe Wang; Moses Charikar; Kai Li 001 (Proc. VLDB Endow., 2017)

Optimizing N-dimensional, winograd-based convolution for manycore CPUs. - Zhen Jia 001; Aleksandar Zlateski; Frédo Durand; Kai Li 001 (PPoPP, 2018)

Scheduling Computation Graphs of Deep Learning Models on Manycore CPUs. - Linpeng Tang; Yida Wang 003; Theodore L. Willke; Kai Li 001 (CoRR, 2018)

FFT Convolutions are Faster than Winograd on Modern CPUs, Here is Why. - Aleksandar Zlateski; Zhen Jia 001; Kai Li 001; Frédo Durand (CoRR, 2018)

PZnet: Efficient 3D ConvNet Inference on Manycore CPUs. - Sergiy Popovych; Davit Buniatyan; Aleksandar Zlateski; Kai Li 001; H. Sebastian Seung (CVC (1), 2019)

Compressed Sensing MRI Reconstruction on Intel HARPv2. - Yushan Su; Michael Anderson; Jonathan I. Tamir; Michael Lustig; Kai Li 001 (FCCM, 2019)

The anatomy of efficient FFT and winograd convolutions on modern CPUs. - Aleksandar Zlateski; Zhen Jia 001; Kai Li 001; Frédo Durand (ICS, 2019)

Patient-Specific Effects of Medication Using Latent Force Models with Gaussian Processes. - Li-Fang Cheng; Bianca Dumitrascu; Michael Minyi Zhang; Corey Chivers; Michael Draugelis; Kai Li 001; Barbara E. Engelhardt (AISTATS, 2020)

TextHide: Tackling Data Privacy for Language Understanding Tasks. - Yangsibo Huang; Zhao Song 002; Danqi Chen 001; Kai Li 001; Sanjeev Arora (EMNLP (Findings), 2020)

InstaHide: Instance-hiding Schemes for Private Distributed Learning. - Yangsibo Huang; Zhao Song 002; Kai Li 001; Sanjeev Arora (ICML, 2020)

Privacy-preserving Learning via Deep Net Pruning. - Yangsibo Huang; Yushan Su; Sachin Ravi; Zhao Song 002; Sanjeev Arora; Kai Li 001 (CoRR, 2020)

MixCon: Adjusting the Separability of Data Representations for Harder Data Recovery. - Xiaoxiao Li; Yangsibo Huang; Binghui Peng; Zhao Song 002; Kai Li 001 (CoRR, 2020)

Sparse multi-output Gaussian processes for online medical time series prediction. - Li-Fang Cheng; Bianca Dumitrascu; Gregory Darnell; Corey Chivers; Michael Draugelis; Kai Li 001; Barbara E. Engelhardt (BMC Medical Informatics Decis. Mak., 2020)

EMA: Auditing Data Removal from Trained Models. - Yangsibo Huang; Xiaoxiao Li; Kai Li 001 (MICCAI (5), 2021)

Evaluating Gradient Inversion Attacks and Defenses in Federated Learning. - Yangsibo Huang; Samyak Gupta; Zhao Song 002; Kai Li 001; Sanjeev Arora (NeurIPS, 2021)

Recovering Private Text in Federated Learning of Language Models. - Samyak Gupta; Yangsibo Huang; Zexuan Zhong; Tianyu Gao 001; Kai Li 001; Danqi Chen 001 (NeurIPS, 2022)

Catalytic activity in vitro of the human protein kinase ASK1 mutants: Experimental and molecular simulation study. - Yayu Xie; Pei Cao; Yuan Qin; Xiru Wu; Bingyao Huang; Kai Li 001; Yonghong Liu (Comput. Biol. Chem., 2022)

RT-Cloud: A cloud-based software framework to simplify and standardize real-time fMRI. - Grant Wallace; Stephen Polcyn; Paula P. Brooks; Anne C. Mennen; Ke Zhao; Paul S. Scotti; Sebastian Michelmann; Kai Li 001; Nicholas B. Turk-Browne; Jonathan D. Cohen 003; Kenneth A. Norman (NeuroImage, 2022)

Privacy Implications of Retrieval-Based Language Models. - Yangsibo Huang; Samyak Gupta; Zexuan Zhong; Kai Li 001; Danqi Chen 001 (EMNLP, 2023)

A Dataset Auditing Method for Collaboratively Trained Machine Learning Models. - Yangsibo Huang; Chun-Yin Huang; Xiaoxiao Li; Kai Li 001 (IEEE Trans. Medical Imaging, 2023)

Retrospective: Avoiding the Disk Bottleneck in the Data Domain Deduplication File System. - Kai Li 001 (FUN, 2024)

Catastrophic Jailbreak of Open-source LLMs via Exploiting Generation. - Yangsibo Huang; Samyak Gupta; Mengzhou Xia; Kai Li 001; Danqi Chen 001 (ICLR, 2024)

Evaluating Copyright Takedown Methods for Language Models. - Boyi Wei; Weijia Shi; Yangsibo Huang; Noah A. Smith; Chiyuan Zhang; Luke Zettlemoyer; Kai Li 001; Peter Henderson 002 (NeurIPS, 2024)

Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving. - Yinwei Dai; Rui Pan 003; Anand P. Iyer; Kai Li 001; Ravi Netravali (SOSP, 2024)

SORRY-Bench: Systematically Evaluating Large Language Model Safety Refusal Behaviors. - Tinghao Xie; Xiangyu Qi; Yi Zeng 005; Yangsibo Huang; Udari Madhushani Sehwag; Kaixuan Huang; Luxi He; Boyi Wei; Dacheng Li; Ying Sheng 007; Ruoxi Jia 001; Bo Li 026; et al. (CoRR, 2024)

SORRY-Bench: Systematically Evaluating Large Language Model Safety Refusal. - Tinghao Xie; Xiangyu Qi; Yi Zeng 005; Yangsibo Huang; Udari Madhushani Sehwag; Kaixuan Huang; Luxi He; Boyi Wei; Dacheng Li; Ying Sheng 007; Ruoxi Jia 001; Bo Li 026; et al. (ICLR, 2025)