This list of selected publications is sometimes old. A full list of recent publications may be found at my Google Scholar Profile.

 
When LLM Decompilers Recompile More and Preserve Less. Chang Liu, Edward Raff, and Kristopher Micinski. arXiv preprint arXiv:2609.05370, September 2026. [ bib | http ]
 
Terascale Query Processing in the Browser: Rethinking GPU Acceleration. Jiaxin Lu, Landon Dyken, Yihao Sun, Kristopher Micinski, Thomas Gilray, and Sidharth Kumar. arXiv preprint arXiv:2607.17571, July 2026. [ bib | http ]
 
Assemblage-DeepHistory: A Cross-Build Binary Dataset with Temporal Coverage. Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, and Kristopher Micinski. arXiv preprint arXiv:2605.21615, May 2026. [ bib | http ]
 
Optimizing I/O Performance of Parallel Iterated Relational Algebra Applications. Ramlah Ilyas, Sidharth Kumar, Thomas Gilray, Kristopher Micinski, and Suren Byna. In Proceedings of the 6th Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems (CHEOPS '26), pages 50--58, Edinburgh, Scotland, UK, April 2026. Association for Computing Machinery. [ bib | DOI | http ]
 
Scaling Worst-Case Optimal Datalog to GPUs. Yihao Sun, Kunting Qi, Thomas Gilray, Sidharth Kumar, and Kristopher Micinski. arXiv preprint arXiv:2604.20073, April 2026. [ bib | http ]
 
Superset Decompilation. Chang Liu, Yihao Sun, Thomas Gilray, and Kristopher Micinski. arXiv preprint arXiv:2603.28002, March 2026. [ bib | http ]
 
Multi-Node Multi-GPU Datalog. Ahmedur Rahman Shovon, Yihao Sun, Kristopher Micinski, Thomas Gilray, and Sidharth Kumar. In Proceedings of the 39th ACM International Conference on Supercomputing (ICS '25), pages 822--836, Salt Lake City, UT, USA, June 2025. Association for Computing Machinery. (Acceptance rate: 23.4%). [ bib | DOI | http ]
 
Datalog with First-Class Facts. Thomas Gilray, Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, and Kristopher Micinski. Proceedings of the VLDB Endowment (VLDB '25), 18(3):651--665, 2025. [ bib | DOI | http ]
 
Optimizing Datalog for the GPU. Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Sidharth Kumar, and Kristopher Micinski. In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1 (ASPLOS '25), pages 762--776, Rotterdam, Netherlands, March 2025. Association for Computing Machinery. (Acceptance rate: 20.5%, 105 out of 510). [ bib | DOI | http ]
 
Column-Oriented Datalog on the GPU. Yihao Sun, Sidharth Kumar, Thomas Gilray, and Kristopher Micinski. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI '25), pages 15177--15185, Philadelphia, PA, USA, February 2025. AAAI Press. (Acceptance rate: 23.4%). [ bib | DOI | http ]
 
Is Function Similarity Over-Engineered? Building a Benchmark. Rebecca Saul, Chang Liu, Noah Fleischmann, Richard Zak, Kristopher Micinski, Edward Raff, and James Holt. In Advances in Neural Information Processing Systems 37 (NeurIPS '24), Datasets and Benchmarks Track, Vancouver, Canada, December 2024. [ bib ]
 
Assemblage: Automatic Binary Dataset Construction for Machine Learning. Chang Liu, Rebecca Saul, Yihao Sun, Edward Raff, Maya Fuchs, Townsend Southard Pantano, James Holt, and Kristopher Micinski. In Advances in Neural Information Processing Systems 37 (NeurIPS '24), Datasets and Benchmarks Track, Vancouver, Canada, December 2024. [ bib ]
 
Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program. Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis, and Kristopher Micinski. In Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 '24), Dallas, TX, USA, October 2024. CEUR Workshop Proceedings. [ bib ]
 
Bring Your Own Data Structures to Datalog. Arash Sahebolamri, Langston Barrett, Scott Moore, and Kristopher Micinski. Proceedings of the ACM on Programming Languages (PACMPL), 7(OOPSLA2 '23), October 2023. (Acceptance rate: 36%. Distinguished Paper Award at OOPSLA '23). [ bib | DOI | http ]
 
Communication-Avoiding Recursive Aggregation. Yihao Sun, Thomas Gilray, Sidharth Kumar, and Kristopher Micinski. In 2023 IEEE International Conference on Cluster Computing (IEEE Cluster '23), pages 197--208, Santa Fe, NM, USA, October 2023. IEEE. (Acceptance rate: 24%). [ bib | DOI | http ]
 
Towards Iterative Relational Algebra on the GPU. Ahmedur Rahman Shovon, Thomas Gilray, Kristopher Micinski, and Sidharth Kumar. In 2023 USENIX Annual Technical Conference (USENIX ATC '23), pages 1009--1016, Boston, MA, USA, July 2023. USENIX Association. (Acceptance rate: 18%). [ bib | http ]
 
Optimizing the Bruck Algorithm for Non-Uniform All-to-All Communication. Ke Fan, Thomas Gilray, Valerio Pascucci, Xuan Huang, Kristopher Micinski, and Sidharth Kumar. In Proceedings of the 31st International Symposium on High-Performance Parallel and Distributed Computing (HPDC '22), pages 172--184, Minneapolis, MN, USA, June 2022. Association for Computing Machinery. (Acceptance rate: 19%). [ bib | DOI | http ]
 
Seamless Deductive Inference via Macros. Arash Sahebolamri, Thomas Gilray, and Kristopher Micinski. In Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction (CC '22), pages 77--88, Seoul, South Korea, April 2022. Association for Computing Machinery. (Acceptance rate: 32%). [ bib | DOI | http ]
 
Compiling Data-Parallel Datalog. Thomas Gilray, Sidharth Kumar, and Kristopher Micinski. In Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction (CC '21), pages 23--35, Virtual, Republic of Korea, March 2021. Association for Computing Machinery. (Acceptance rate: 37%). [ bib | DOI | http ]
 
Exploring MPI Collective I/O and File-per-process I/O for Checkpointing a Logical Inference Task. Ke Fan, Kristopher Micinski, Thomas Gilray, and Sidharth Kumar. In 2021 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW '21), pages 965--972. IEEE, June 2021. [ bib | DOI | http ]
 
Declarative Demand-Driven Reverse Engineering. Yihao Sun, Jeffrey Ching, and Kristopher Micinski. In Workshop on Binary Analysis Research (BAR '21) at NDSS 2021, February 2021. (Acceptance rate: 60%). [ bib | .pdf ]
 
Abstracting Faceted Execution. Kristopher Micinski, David Darais, and Thomas Gilray. In 2020 IEEE 33rd Computer Security Foundations Symposium (CSF '20), pages 184--198. IEEE, June 2020. (Acceptance rate: 25%). [ bib | DOI | http ]
 
An Observational Investigation of Reverse Engineers' Processes. Daniel Votipka, Seth M. Rabin, Kristopher Micinski, Jeffrey S. Foster, and Michelle M. Mazurek. In Proceedings of the 29th USENIX Security Symposium (USENIX Security '20), pages 1875--1892. USENIX Association, August 2020. (Acceptance rate: 16.1%). [ bib | http ]
 
Symbolic Path Tracing to Find Android Permission-Use Triggers. Kristopher Micinski, Thomas Gilray, Daniel Votipka, Jeffrey S. Foster, and Michelle L. Mazurek. In Workshop on Binary Analysis Research (BAR '19) at NDSS 2019, February 2019. [ bib | .pdf ]
 
User Comfort with Android Background Resource Accesses in Different Contexts. Daniel Votipka, Seth M. Rabin, Kristopher Micinski, Thomas Gilray, Michelle L. Mazurek, and Jeffrey S. Foster. In Fourteenth Symposium on Usable Privacy and Security (SOUPS '18), pages 235--250, Baltimore, MD, USA, August 2018. USENIX Association. [ bib | http ]
 
Racets: Faceted Execution in Racket. Kristopher K. Micinski, Zhanpeng Wang, and Thomas Gilray. In Scheme and Functional Programming Workshop at ICFP 2018 (Scheme '18), September 2018. [ bib | http ]
 
User Interactions and Permission Use on Android. Kristopher Micinski, Daniel Votipka, Rock Stevens, Nikolaos Kofinas, Jeffrey S. Foster, and Michelle L. Mazurek. In Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems (CHI '17), pages 362--373, Denver, CO, USA, May 2017. Association for Computing Machinery. [ bib | DOI | http ]
 
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. Kristopher Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, and Michael R. Clarkson. In European Symposium on Research in Computer Security (ESORICS '15), volume 9327 of Lecture Notes in Computer Science, pages 520--538, Vienna, Austria, September 2015. Springer. [ bib | .pdf ]
 
Temporal Logics for Hyperproperties. Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher Micinski, Markus N. Rabe, and César Sánchez. In Martín Abadi and Steve Kremer, editors, Principles of Security and Trust (POST '14), volume 8414 of Lecture Notes in Computer Science, pages 265--284. Springer Berlin Heidelberg, 2014. [ bib | .pdf ]
 
An Empirical Study of Location Truncation on Android. Kristopher Micinski, Philip Phelps, and Jeffrey S. Foster. In Mobile Security Technologies (MoST '13), San Francisco, CA, USA, May 2013. [ bib | .pdf ]
 
Distributed Cooperative Caching in Social Wireless Networks. Mahmoud Taghizadeh, Kristopher Micinski, Subir Biswas, Charles Ofria, and Eric Torng. IEEE Transactions on Mobile Computing, 12(6):1037--1053, 2013. [ bib | DOI | http ]
 
Dr. Android and Mr. Hide: Fine-grained Permissions in Android Applications. Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, and Todd Millstein. In ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM '12), pages 3--14, Raleigh, NC, USA, October 2012. Association for Computing Machinery. [ bib | .pdf ]