No photo of Kristopher Micinski

View Scopus Profile

Kristopher Micinski

Calculated based on number of publications stored in Pure and citations from Scopus
20122023

Research activity per year

  • 14 Conference contribution
  • 2 Article

Search results

  • 2023

    Bring Your Own Data Structures to Datalog

    Sahebolamri, A., Barrett, L., Moore, S. & Micinski, K., Oct 16 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, p. 1198-1223 26 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    3 Scopus citations

  • Communication-Avoiding Recursive Aggregation

    Sun, Y., Kumar, S., Gilray, T. & Micinski, K., 2023, Proceedings - 2023 IEEE International Conference on Cluster Computing, CLUSTER 2023. Institute of Electrical and Electronics Engineers Inc., p. 197-208 12 p. (Proceedings - IEEE International Conference on Cluster Computing, ICCC).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    1 Scopus citations

  • Towards Iterative Relational Algebra on the GPU

    Shovon, A. R., Gilray, T., Micinski, K. & Kumar, S., 2023, Proceedings of the 2023 USENIX Annual Technical Conference, ATC 2023. USENIX Association, p. 1009-1016 8 p. (Proceedings of the 2023 USENIX Annual Technical Conference, ATC 2023).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    1 Scopus citations
  • 2022

    Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication

    Fan, K., Gilray, T., Pascucci, V., Huang, X., Micinski, K. & Kumar, S., Jun 27 2022, HPDC 2022 - Proceedings of the 31st International Symposium on High-Performance Parallel and Distributed Computing. Association for Computing Machinery, Inc, p. 172-184 13 p. (HPDC 2022 - Proceedings of the 31st International Symposium on High-Performance Parallel and Distributed Computing).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    9 Scopus citations

  • Seamless Deductive Inference via Macros

    Sahebolamri, A., Gilray, T. & Micinski, K., Sep 19 2022, CC 2022 - Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction. Egger, B. & Smith, A. (eds.). Association for Computing Machinery, Inc, p. 77-88 12 p. (CC 2022 - Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    8 Scopus citations
  • 2021

    Compiling data-parallel Datalog

    Gilray, T., Kumar, S. & Micinski, K., Mar 2 2021, CC 2021 - Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction. Smith, A., Smith, A., Demange, D. & Gupta, R. (eds.). Association for Computing Machinery, Inc, p. 23-35 13 p. (CC 2021 - Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    4 Scopus citations

  • Exploring MPI Collective I/O and File-per-process I/O for Checkpointing a Logical Inference Task

    Fan, K., Micinski, K., Gilray, T. & Kumar, S., Jun 2021, 2021 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2021 - In conjunction with IEEE IPDPS 2021. Institute of Electrical and Electronics Engineers Inc., p. 965-972 8 p. 9460577. (2021 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2021 - In conjunction with IEEE IPDPS 2021).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    3 Scopus citations
  • 2020

    Abstracting Faceted Execution

    Micinski, K., Darais, D. & Gilray, T., Jun 2020, Proceedings - 2020 IEEE 33rd Computer Security Foundations Symposium, CSF 2020. IEEE Computer Society, p. 184-198 15 p. 9155136. (Proceedings - IEEE Computer Security Foundations Symposium; vol. 2020-June).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    2 Scopus citations

  • An observational investigation of reverse engineers' processes

    Votipka, D., Rabin, S. M., Micinski, K., Foster, J. S. & Mazurek, M. M., 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, p. 1875-1892 18 p. (Proceedings of the 29th USENIX Security Symposium).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    45 Scopus citations
  • 2019

    An observational investigation of reverse engineers' processes and mental models

    Votipka, D., Rabin, S., Micinski, K., Foster, J. S. & Mazurek, M. L., May 2 2019, CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 3313040. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    Open Access
    8 Scopus citations

  • User comfort with android background resource accesses in different contexts

    Votipka, D., Rabin, S. M., Micinski, K., Gilray, T., Mazurek, M. M. & Foster, J. S., 2019, Proceedings of the 14th Symposium on Usable Privacy and Security, SOUPS 2018. USENIX Association, p. 235-250 16 p. (Proceedings of the 14th Symposium on Usable Privacy and Security, SOUPS 2018).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    8 Scopus citations
  • 2017

    User interactions and permission use on android

    Micinski, K., Votipka, D., Stevens, R., Kofinas, N., Mazurek, M. L. & Foster, J. S., May 2 2017, CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. Association for Computing Machinery, p. 362-373 12 p. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2017-May).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    Open Access
    32 Scopus citations
  • 2015

    Checking interaction-based declassification policies for android using symbolic execution

    Micinski, K., Fetter-Degges, J., Jeon, J., Foster, J. S. & Clarkson, M. R., 2015, Computer Security – ESORICS 2015 - 20th European Symposium on Research in Computer Security, Proceedings. Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Springer Verlag, p. 520-538 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9327).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    Open Access
    10 Scopus citations
  • 2014

    Temporal logics for hyperproperties

    Clarkson, M. R., Finkbeiner, B., Koleini, M., Micinski, K. K., Rabe, M. N. & Sánchez, C., 2014, Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 265-284 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8414 LNCS).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    Open Access
    196 Scopus citations
  • 2013

    Distributed cooperative caching in social wireless networks

    Taghizadeh, M., Micinski, K., Biswas, S., Ofria, C. & Torng, E., 2013, In: IEEE Transactions on Mobile Computing. 12, 6, p. 1037-1053 17 p., 6175019.

    Research output: Contribution to journal › Article › peer-review

    96 Scopus citations
  • 2012

    Dr. android and Mr. hide: Fine-grained permissions in android applications

    Jeon, J., Micinski, K. K., Vaughan, J. A., Fogel, A., Reddy, N., Foster, J. S. & Millstein, T., 2012, SPSM'12 - Proceedings of the Workshop on Security and Privacy in Smartphones and Mobile Devices. p. 3-14 12 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapter in Book/Entry/Poem › Conference contribution

    168 Scopus citations