Kristopher K. Micinski

Most-cited papers

Temporal Logics for Hyperproperties
Michael R. Clarkson, B. Finkbeiner, M. Koleini, Kristopher K. Micinski +2 more
2013The post340 citations Open access
Semantic Scholar
Dr. Android and Mr. Hide: fine-grained permissions in android applications
Jinseong Jeon, Kristopher K. Micinski, J. Vaughan, Ari Fogel +3 more
2012Security and Privacy in Smartphones and Mobile Devices284 citations
Semantic Scholar
Fixed Points
Kristopher K. Micinski
2018AMS/MAA Textbooks191 citations
Semantic Scholar
An Observational Investigation of Reverse Engineers' Processes
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, J. Foster +1 more
2019USENIX Security Symposium123 citations
Semantic Scholar
Distributed Cooperative Caching in Social Wireless Networks
Mahmoud Taghizadeh, Kristopher K. Micinski, S. Biswas, C. Ofria +1 more
2013IEEE Transactions on Mobile Computing109 citations
Semantic Scholar
SymDroid: Symbolic Execution for Dalvik Bytecode
Jinseong Jeon, Kristopher K. Micinski, J. Foster
201263 citations
Semantic Scholar
Dr. Android and Mr. Hide: Fine-grained security policies on unmodified Android
Jinseong Jeon, Kristopher K. Micinski, J. Vaughan, N. Reddy +3 more
201156 citations
Semantic Scholar
User Interactions and Permission Use on Android
Kristopher K. Micinski, Daniel Votipka, Rock Stevens, Nikolaos Kofinas +2 more
2017International Conference on Human Factors in Computing Systems54 citations Open access
Semantic Scholar
An Observational Investigation of Reverse Engineers' Process and Mental Models
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, J. Foster +1 more
2019CHI Extended Abstracts44 citations Open access
Semantic Scholar
An Empirical Study of Location Truncation on Android
Kristopher K. Micinski, Philip Phelps, J. Foster
201340 citations
Semantic Scholar
Assemblage: Automatic Binary Dataset Construction for Machine Learning
Chang Liu, Rebecca Saul, Yi-Hao Sun, Edward Raff +4 more
2024Neural Information Processing Systems27 citations
Semantic Scholar
Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication
Ke Fan, Thomas Gilray, Valerio Pascucci, Xuan Huang +2 more
2022IEEE International Symposium on High-Performance Parallel Distributed Computing24 citations
Semantic Scholar
Bring Your Own Data Structures to Datalog
Arash Sahebolamri, Langston Barrett, Scott Moore, Kristopher K. Micinski
2023Proc. ACM Program. Lang.20 citations Open access
Semantic Scholar
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, J. Foster +1 more
2015European Symposium on Research in Computer Security20 citations Open access
Semantic Scholar
Seamless deductive inference via macros
Arash Sahebolamri, Thomas Gilray, Kristopher K. Micinski
2022International Conference on Compiler Construction18 citations
Semantic Scholar
User Comfort with Android Background Resource Accesses in Different Contexts
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Thomas Gilray +2 more
2018SOUPS @ USENIX Security Symposium18 citations
Semantic Scholar
Compiling data-parallel Datalog
Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski
2021International Conference on Compiler Construction14 citations
Semantic Scholar
Is Function Similarity Over-Engineered? Building a Benchmark
Rebecca Saul, Chang Liu, Noah Fleischmann, Richard Zak +3 more
2024Neural Information Processing Systems11 citations
Semantic Scholar
Towards Iterative Relational Algebra on the GPU
Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar
2023USENIX Annual Technical Conference11 citations
Semantic Scholar
Optimizing Datalog for the GPU
Yi-Hao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Sidharth Kumar +1 more
2023International Conference on Architectural Support for Programming Languages and Operating Systems7 citations Open access
Semantic Scholar
Column-Oriented Datalog on the GPU
Yi-Hao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski
2025AAAI Conference on Artificial Intelligence6 citations
Semantic Scholar
Abstracting Faceted Execution
Kristopher K. Micinski, David Darais, Thomas Gilray
2020IEEE Computer Security Foundations Symposium6 citations
Semantic Scholar
Datalog with First-Class Facts
Thomas Gilray, Arash Sahebolamri, Yi-Hao Sun, Sowmith Kunapaneni +2 more
2024Proceedings of the VLDB Endowment5 citations Open access
Semantic Scholar
Multi-Node Multi-GPU Datalog
Ahmedur Rahman Shovon, Yi-Hao Sun, Kristopher K. Micinski, Thomas Gilray +1 more
2025International Conference on Supercomputing4 citations Open access
Semantic Scholar
Exploring MPI Collective I/O and File-per-process I/O for Checkpointing a Logical Inference Task
Ke Fan, Kristopher K. Micinski, Thomas Gilray, Sidharth Kumar
2021IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum4 citations
Semantic Scholar
Racets: Faceted Execution in Racket
Kristopher K. Micinski, Zhanpeng Wang, Thomas Gilray
2018EasyChair Preprints4 citations Open access
Semantic Scholar
When LLM Decompilers Recompile More and Preserve Less
Chang Liu, Edward Raff, Kristopher K. Micinski
20263 citations
Semantic Scholar
Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program
Bruno Vicente Alves de Lima, Kalmer Apinis, Merlin Kramer, Kristopher K. Micinski
2024Datalog3 citations
Semantic Scholar
Communication-Avoiding Recursive Aggregation
Yi-Hao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski
2023IEEE International Conference on Cluster Computing3 citations
Semantic Scholar
Scaling Worst-Case Optimal Datalog to GPUs
Yi-Hao Sun, Kun-Ting Qi, Thomas Gilray, Sidharth Kumar +1 more
2026arXiv.org2 citations
Semantic Scholar
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff +2 more
2026arXiv.org2 citations
Semantic Scholar
Superset Decompilation
Chang Liu, Yi-Hao Sun, Thomas Gilray, Kristopher K. Micinski
2026arXiv.org2 citations
Semantic Scholar
GDlog: A GPU-Accelerated Deductive Engine
Yi-Hao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski +1 more
2023arXiv.org2 citations
Semantic Scholar
Declarative Demand-Driven Reverse Engineering
Yi-Hao Sun, J. Ching, Kristopher K. Micinski
2021Proceedings 2021 Workshop on Binary Analysis Research1 citations Open access
Semantic Scholar
Abstracting Faceted Execution Static Analysis of Dynamic Information-Flow Control for Higher-Order Languages
Kristopher K. Micinski, David Darais, Thomas Gilray
20181 citations
Semantic Scholar
Abstracting Faceted Execution 1 : 3 Next
Kristopher K. Micinski, David Darais, Thomas Gilray
20181 citations
Semantic Scholar
Interaction-based Security for Mobile Apps
Kristopher K. Micinski
20171 citations
Semantic Scholar
A Temporal Logic of Security
M. Koleini, Michael R. Clarkson, Kristopher K. Micinski
2013arXiv.org1 citations
Semantic Scholar
Optimizing I/O Performance of Parallel Iterated Relational Algebra Applications
Ramlah Ilyas, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski +1 more
2026CHEOPS@EuroSys0 citations Open access
Semantic Scholar
Terascale Query Processing in the Browser: Rethinking GPU Acceleration
Jia-Xin Lu, Landon Dyken, Yi-Hao Sun, Kristopher K. Micinski +2 more
2026arXiv.org0 citations
Semantic Scholar
Distributed Datalog at Scale with Worst-Case Optimal Joins
Kun-Ting Qi, Yi-Hao Sun, Kristopher K. Micinski, Thomas Gilray +1 more
20260 citations
Semantic Scholar
Terascale Query Processing in the Browser: Making GPU Acceleration More Accessible
Jia-Xin Lu, Landon Dyken, Yi-Hao Sun, Kristopher K. Micinski +2 more
2026IEEE International Conference on Cluster Computing0 citations
Semantic Scholar
Higher-Order, Data-Parallel Structured Deduction
Thomas Gilray, Arash Sahebolamri, Sidharth Kumar, Kristopher K. Micinski
2022arXiv.org0 citations Open access
Semantic Scholar
So You Want to Analyze Scheme Programs With Datalog?
Davis Ross Silverman, Yi-Hao Sun, Kristopher K. Micinski, Thomas Gilray
2021arXiv.org0 citations
Semantic Scholar
Symbolic Path Tracing to Find Android Permission-Use Triggers
Kristopher K. Micinski, Thomas Gilray, Daniel Votipka, Michelle L. Mazurek +1 more
2019Proceedings 2019 Workshop on Binary Analysis Research0 citations Open access
Semantic Scholar
The Ergonomics of Faceted Execution
Ian Fisher, Kristopher K. Micinski
20190 citations
Semantic Scholar
Information Flow Control on the Web with Racets
Matthew Soulanille, Kristopher K. Micinski
20180 citations
Semantic Scholar
1 of 5 RESEARCH STATEMENT
Page, Kristopher K. Micinski
20160 citations
Semantic Scholar
EasyChair Preprint No 502 Racets : Faceted Execution in Racket
Kristopher K. Micinski, Thomas Gilray
0 citations
Semantic Scholar