Kristopher K. Micinski

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 19

Top Venues

CoRR

SOUPS @ USENIX Security Symposium

IPDPS Workshops

University of Maryland, College Park, MD, USA (PHD)

Education History

University of Maryland, College Park, MD, USA

PHD

Publications

Chang Liu, Rebecca Saul, Yihao Sun, Edward Raff, Maya Fuchs, Townsend Southard Pantano, James Holt, Kristopher K. Micinski
Assemblage: Automatic Binary Dataset Construction for Machine Learning. CoRR (2024)
Yihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski
Communication-Avoiding Recursive Aggregation. CLUSTER (2023)
Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar
Towards Iterative Relational Algebra on the GPU. USENIX Annual Technical Conference (2023)
Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar
GDlog: A GPU-Accelerated Deductive Engine. CoRR (2023)
Arash Sahebolamri, Langston Barrett, Scott Moore, Kristopher K. Micinski
Bring Your Own Data Structures to Datalog. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Ke Fan, Thomas Gilray, Valerio Pascucci, Xuan Huang, Kristopher K. Micinski, Sidharth Kumar
Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication. HPDC (2022)
Thomas Gilray, Arash Sahebolamri, Sidharth Kumar, Kristopher K. Micinski
Higher-Order, Data-Parallel Structured Deduction. CoRR (2022)
Arash Sahebolamri, Thomas Gilray, Kristopher K. Micinski
Seamless deductive inference via macros. CC (2022)
Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski
Compiling data-parallel Datalog. CC (2021)
Davis Ross Silverman, Yihao Sun, Kristopher K. Micinski, Thomas Gilray
So You Want to Analyze Scheme Programs With Datalog? CoRR (2021)
Yihao Sun, Jeffrey Ching, Kristopher K. Micinski
Declarative Demand-Driven Reverse Engineering. CoRR (2021)
Ke Fan, Kristopher K. Micinski, Thomas Gilray, Sidharth Kumar
Exploring MPI Collective I/O and File-per-process I/O for Checkpointing a Logical Inference Task. IPDPS Workshops (2021)
Kristopher K. Micinski, David Darais, Thomas Gilray
Abstracting Faceted Execution. CSF (2020)
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek
An Observational Investigation of Reverse Engineers' Processes. USENIX Security Symposium (2020)
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek
An Observational Investigation of Reverse Engineers' Processes. CoRR (2019)
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek
An Observational Investigation of Reverse Engineers' Process and Mental Models. CHI Extended Abstracts (2019)
Kristopher K. Micinski, Zhanpeng Wang, Thomas Gilray
Racets: Faceted Execution in Racket. CoRR (2018)
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Thomas Gilray, Michelle L. Mazurek, Jeffrey S. Foster
User Comfort with Android Background Resource Accesses in Different Contexts. SOUPS @ USENIX Security Symposium (2018)
Kristopher K. Micinski, Daniel Votipka, Rock Stevens, Nikolaos Kofinas, Michelle L. Mazurek, Jeffrey S. Foster
User Interactions and Permission Use on Android. CHI (2017)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. CoRR (2015)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. ESORICS (2) (2015)
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. POST (2014)
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. CoRR (2014)
Masoud Koleini, Michael R. Clarkson, Kristopher K. Micinski
A Temporal Logic of Security. CoRR (2013)
Mahmoud Taghizadeh, Kristopher K. Micinski, Subir Biswas, Charles Ofria, Eric Torng
Distributed Cooperative Caching in Social Wireless Networks. IEEE Trans. Mob. Comput. 12 (6) (2013)
Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein
Dr. Android and Mr. Hide: fine-grained permissions in android applications. SPSM@CCS (2012)

Kristopher K. Micinski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kristopher K. Micinski