Kristopher K. Micinski

39 papers A* 5A 3B 2C 1Journal 17Unranked 10
YearRankTypeTitle / Venue / Authors
2026 — conf
Optimizing I/O Performance of Parallel Iterated Relational Algebra Applications.
CHEOPS@EuroSys
Ramlah Ilyas, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski, Suren Byna
2026 J jnl
Superset Decompilation.
CoRR
Chang Liu, Yihao Sun, Thomas Gilray, Kristopher K. Micinski
2025 A* conf
Column-Oriented Datalog on the GPU.
AAAI
Yihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski
2025 J jnl
Column-Oriented Datalog on the GPU.
CoRR
Yihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski
2025 A conf
Multi-Node Multi-GPU Datalog.
ICS
Ahmedur Rahman Shovon, Yihao Sun, Kristopher K. Micinski, Thomas Gilray, Sidharth Kumar
2025 — conf
Optimizing Datalog for the GPU.
ASPLOS (1)
Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski
2024 A* conf
Assemblage: Automatic Binary Dataset Construction for Machine Learning.
NeurIPS
Chang Liu, Rebecca Saul, Yihao Sun, Edward Raff, Maya Fuchs, Townsend Southard Pantano, James Holt, Kristopher K. Micinski
2024 J jnl
Assemblage: Automatic Binary Dataset Construction for Machine Learning.
CoRR
Chang Liu, Rebecca Saul, Yihao Sun, Edward Raff, Maya Fuchs, Townsend Southard Pantano, James Holt, Kristopher K. Micinski
2024 J jnl
Datalog with First-Class Facts.
CoRR
Thomas Gilray, Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, Kristopher K. Micinski
2024 J jnl
Datalog with First-Class Facts.
Proc. VLDB Endow.
Thomas Gilray, Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, Kristopher K. Micinski
2024 — conf
Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program.
Datalog
Bruno Rucy Carneiro Alves de Lima, Kalmer Apinis, Merlin Kramer, Kristopher K. Micinski
2024 A* conf
Is Function Similarity Over-Engineered? Building a Benchmark.
NeurIPS
Rebecca Saul, Chang Liu, Noah Fleischmann, Richard Zak, Kristopher K. Micinski, Edward Raff, James Holt
2024 J jnl
Is Function Similarity Over-Engineered? Building a Benchmark.
CoRR
Rebecca Saul, Chang Liu, Noah Fleischmann, Richard Zak, Kristopher K. Micinski, Edward Raff, James Holt
2023 J jnl
Bring Your Own Data Structures to Datalog.
Proc. ACM Program. Lang.
Arash Sahebolamri, Langston Barrett, Scott Moore, Kristopher K. Micinski
2023 C conf
Communication-Avoiding Recursive Aggregation.
CLUSTER
Yihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. Micinski
2023 J jnl
GDlog: A GPU-Accelerated Deductive Engine.
CoRR
Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar
2023 — conf
Towards Iterative Relational Algebra on the GPU.
USENIX ATC
Ahmedur Rahman Shovon, Thomas Gilray, Kristopher K. Micinski, Sidharth Kumar
2022 J jnl
Higher-Order, Data-Parallel Structured Deduction.
CoRR
Thomas Gilray, Arash Sahebolamri, Sidharth Kumar, Kristopher K. Micinski
2022 A conf
Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication.
HPDC
Ke Fan, Thomas Gilray, Valerio Pascucci, Xuan Huang, Kristopher K. Micinski, Sidharth Kumar
2022 B conf
Seamless deductive inference via macros.
CC
Arash Sahebolamri, Thomas Gilray, Kristopher K. Micinski
2021 B conf
Compiling data-parallel Datalog.
CC
Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski
2021 J jnl
Declarative Demand-Driven Reverse Engineering.
CoRR
Yihao Sun, Jeffrey Ching, Kristopher K. Micinski
2021 — conf
Exploring MPI Collective I/O and File-per-process I/O for Checkpointing a Logical Inference Task.
IPDPS Workshops
Ke Fan, Kristopher K. Micinski, Thomas Gilray, Sidharth Kumar
2021 J jnl
So You Want to Analyze Scheme Programs With Datalog?
CoRR
Davis Ross Silverman, Yihao Sun, Kristopher K. Micinski, Thomas Gilray
2020 A conf
Abstracting Faceted Execution.
CSF
Kristopher K. Micinski, David Darais, Thomas Gilray
2020 A* conf
An Observational Investigation of Reverse Engineers' Processes.
USENIX Security Symposium
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek
2019 — conf
An Observational Investigation of Reverse Engineers' Process and Mental Models.
CHI Extended Abstracts
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek
2019 J jnl
An Observational Investigation of Reverse Engineers' Processes.
CoRR
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek
2018 J jnl
Racets: Faceted Execution in Racket.
CoRR
Kristopher K. Micinski, Zhanpeng Wang, Thomas Gilray
2018 — conf
User Comfort with Android Background Resource Accesses in Different Contexts.
SOUPS @ USENIX Security Symposium
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Thomas Gilray, Michelle L. Mazurek, Jeffrey S. Foster
2017 — —
Interaction-based Security for Mobile Apps.
Kristopher K. Micinski
2017 A* conf
User Interactions and Permission Use on Android.
CHI
Kristopher K. Micinski, Daniel Votipka, Rock Stevens, Nikolaos Kofinas, Michelle L. Mazurek, Jeffrey S. Foster
2015 — conf
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.
ESORICS (2)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
2015 J jnl
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.
CoRR
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
2014 — conf
Temporal Logics for Hyperproperties.
POST
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
2014 J jnl
Temporal Logics for Hyperproperties.
CoRR
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
2013 J jnl
A Temporal Logic of Security.
CoRR
Masoud Koleini, Michael R. Clarkson, Kristopher K. Micinski
2013 J jnl
Distributed Cooperative Caching in Social Wireless Networks.
IEEE Trans. Mob. Comput.
Mahmoud Taghizadeh, Kristopher K. Micinski, Subir Biswas, Charles Ofria, Eric Torng
2012 — conf
Dr. Android and Mr. Hide: fine-grained permissions in android applications.
SPSM@CCS
Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein