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; Todd D. Millstein (SPSM@CCS, 2012)

A Temporal Logic of Security. - Masoud Koleini; Michael R. Clarkson; Kristopher K. Micinski (CoRR, 2013)

Distributed Cooperative Caching in Social Wireless Networks. - Mahmoud Taghizadeh; Kristopher K. Micinski; Subir Biswas; Charles Ofria; Eric Torng (IEEE Trans. Mob. Comput., 2013)

Temporal Logics for Hyperproperties. - Michael R. Clarkson; Bernd Finkbeiner; Masoud Koleini; Kristopher K. Micinski; Markus N. Rabe; César Sánchez 001 (POST, 2014)

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. - Kristopher K. Micinski; Jonathan Fetter-Degges; Jinseong Jeon; Jeffrey S. Foster; Michael R. Clarkson (ESORICS (2), 2015)

User Interactions and Permission Use on Android. - Kristopher K. Micinski; Daniel Votipka; Rock Stevens; Nikolaos Kofinas; Michelle L. Mazurek; Jeffrey S. Foster (CHI, 2017)

Interaction-based Security for Mobile Apps. - Kristopher K. Micinski (2017)

User Comfort with Android Background Resource Accesses in Different Contexts. - Daniel Votipka; Seth M. Rabin; Kristopher K. Micinski; Thomas Gilray; Michelle L. Mazurek; Jeffrey S. Foster (SOUPS @ USENIX Security Symposium, 2018)

Racets: Faceted Execution in Racket. - Kristopher K. Micinski; Zhanpeng Wang; Thomas Gilray (CoRR, 2018)

An Observational Investigation of Reverse Engineers' Process and Mental Models. - Daniel Votipka; Seth M. Rabin; Kristopher K. Micinski; Jeffrey S. Foster; Michelle L. Mazurek (CHI Extended Abstracts, 2019)

Abstracting Faceted Execution. - Kristopher K. Micinski; David Darais; Thomas Gilray (CSF, 2020)

An Observational Investigation of Reverse Engineers' Processes. - Daniel Votipka; Seth M. Rabin; Kristopher K. Micinski; Jeffrey S. Foster; Michelle L. Mazurek (USENIX Security Symposium, 2020)

Compiling data-parallel Datalog. - Thomas Gilray; Sidharth Kumar; Kristopher K. Micinski (CC, 2021)

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 (IPDPS Workshops, 2021)

Declarative Demand-Driven Reverse Engineering. - Yihao Sun; Jeffrey Ching; Kristopher K. Micinski (CoRR, 2021)

So You Want to Analyze Scheme Programs With Datalog? - Davis Ross Silverman; Yihao Sun; Kristopher K. Micinski; Thomas Gilray (CoRR, 2021)

Seamless deductive inference via macros. - Arash Sahebolamri; Thomas Gilray; Kristopher K. Micinski (CC, 2022)

Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication. - Ke Fan; Thomas Gilray; Valerio Pascucci; Xuan Huang; Kristopher K. Micinski; Sidharth Kumar (HPDC, 2022)

Higher-Order, Data-Parallel Structured Deduction. - Thomas Gilray; Arash Sahebolamri; Sidharth Kumar; Kristopher K. Micinski (CoRR, 2022)

Communication-Avoiding Recursive Aggregation. - Yihao Sun; Sidharth Kumar; Thomas Gilray; Kristopher K. Micinski (CLUSTER, 2023)

Towards Iterative Relational Algebra on the GPU. - Ahmedur Rahman Shovon; Thomas Gilray; Kristopher K. Micinski; Sidharth Kumar (USENIX ATC, 2023)

GDlog: A GPU-Accelerated Deductive Engine. - Yihao Sun; Ahmedur Rahman Shovon; Thomas Gilray; Kristopher K. Micinski; Sidharth Kumar (CoRR, 2023)

Bring Your Own Data Structures to Datalog. - Arash Sahebolamri; Langston Barrett; Scott Moore 001; Kristopher K. Micinski (Proc. ACM Program. Lang., 2023)

Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program. - Bruno Rucy Carneiro Alves de Lima; Kalmer Apinis; Merlin Kramer; Kristopher K. Micinski (Datalog, 2024)

Assemblage: Automatic Binary Dataset Construction for Machine Learning. - Chang Liu; Rebecca Saul; Yihao Sun; Edward Raff; Maya Fuchs; Townsend Southard Pantano; James Holt; Kristopher K. Micinski (NeurIPS, 2024)

Is Function Similarity Over-Engineered? Building a Benchmark. - Rebecca Saul; Chang Liu; Noah Fleischmann; Richard Zak; Kristopher K. Micinski; Edward Raff; James Holt (NeurIPS, 2024)

Datalog with First-Class Facts. - Thomas Gilray; Arash Sahebolamri; Yihao Sun; Sowmith Kunapaneni; Sidharth Kumar; Kristopher K. Micinski (Proc. VLDB Endow., 2024)

Column-Oriented Datalog on the GPU. - Yihao Sun; Sidharth Kumar; Thomas Gilray; Kristopher K. Micinski (AAAI, 2025)

Optimizing Datalog for the GPU. - Yihao Sun; Ahmedur Rahman Shovon; Thomas Gilray; Sidharth Kumar; Kristopher K. Micinski (ASPLOS (1), 2025)