Kristopher K. Micinski

According to our database, Kristopher K. Micinski authored at least 25 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CoRR, 2024

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

Proceedings of the Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), 2024

2023

Bring Your Own Data Structures to Datalog.

Arash Sahebolamri, Langston Barrett, Scott Moore, Kristopher K. Micinski

Proc. ACM Program. Lang., October, 2023

GDlog: A GPU-Accelerated Deductive Engine.

Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar

CoRR, 2023

Towards Iterative Relational Algebra on the GPU.

Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

Communication-Avoiding Recursive Aggregation.

Yihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski

Proceedings of the IEEE International Conference on Cluster Computing, 2023

2022

Higher-Order, Data-Parallel Structured Deduction.

Thomas Gilray, Arash Sahebolamri, Sidharth Kumar, Kristopher K. Micinski

CoRR, 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

Proceedings of the HPDC '22: The 31st International Symposium on High-Performance Parallel and Distributed Computing, Minneapolis, MN, USA, 27 June 2022, 2022

Seamless deductive inference via macros.

Arash Sahebolamri, Thomas Gilray, Kristopher K. Micinski

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

So You Want to Analyze Scheme Programs With Datalog?

Davis Ross Silverman, Yihao Sun, Kristopher K. Micinski, Thomas Gilray

CoRR, 2021

Declarative Demand-Driven Reverse Engineering.

Yihao Sun, Jeffrey Ching, Kristopher K. Micinski

CoRR, 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

Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2021

Compiling data-parallel Datalog.

Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020

An Observational Investigation of Reverse Engineers' Processes.

Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek

Proceedings of the 29th USENIX Security Symposium, 2020

Abstracting Faceted Execution.

Kristopher K. Micinski, David Darais, Thomas Gilray

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

An Observational Investigation of Reverse Engineers' Process and Mental Models.

Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek

Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2018

Racets: Faceted Execution in Racket.

Kristopher K. Micinski, Zhanpeng Wang, Thomas Gilray

CoRR, 2018

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

Proceedings of the Fourteenth Symposium on Usable Privacy and Security, 2018

2017

Interaction-based Security for Mobile Apps.

Kristopher K. Micinski

PhD thesis, 2017

User Interactions and Permission Use on Android.

Kristopher K. Micinski, Daniel Votipka, Rock Stevens, Nikolaos Kofinas, Michelle L. Mazurek, Jeffrey S. Foster

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2015

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.

Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson

Proceedings of the Computer Security - ESORICS 2015, 2015

2014

Temporal Logics for Hyperproperties.

Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2013

Distributed Cooperative Caching in Social Wireless Networks.

Mahmoud Taghizadeh, Kristopher K. Micinski, Subir Biswas, Charles Ofria, Eric Torng

IEEE Trans. Mob. Comput., 2013

A Temporal Logic of Security.

Masoud Koleini, Michael R. Clarkson, Kristopher K. Micinski

CoRR, 2013

2012

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

Proceedings of the SPSM'12, 2012