Datalog with First-class Facts with Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, and Kristopher Micinski. International Conference on Very Large Data Bases. (VLDB) Sep 2025. (pdf)Multi-Node Mutli-GPU Datalog with Ahmedur Rahman Shovon, Yihao Sun, Sidharth Kumar, and Kristopher Micinski. International Conference on Supercomputing. (ICS) Jun 2025. (pdf)Optimizing Datalog for the GPU with Yihao Sun, Ahmedur Rahman Shovon, Sidharth Kumar, and Kristopher Micinski. International Conference on Architectural Support for Programming Languages and Operating Systems. (ASPLOS—12.7% acceptance) Mar 2025. (pdf)Column-Oriented Datalog on the GPU with Yihao Sun, Sidharth Kumar, and Kristopher Micinski. AAAI Conference on Artificial Intelligence. (AAAI—23.4% acceptance) Feb 2025. (pdf)Analysis of MPI Communication Time for Distribution of Repartitioned Data with John-Paul Robinson, Ke Fan, Sidharth Kumar, and Steve Petruzza. Practice and Experience in Advanced Research Computing. (PEARC) Jul 2024. (pdf)Configurable Algorithms for All-to-all Collectives with Ke Fan, Steve Petruzza, and Sidharth Kumar. ISC High Performance. (ISC—29% acceptance) May 2024. (pdf)Communication-Avoiding Recursive Aggregation with Yihao Sun, Sidharth Kumar, and Kristopher Micinski. IEEE International Conference on Cluster Computing. (CLUSTER) Nov 2023. (pdf)Towards Iterative Relational Algebra on the GPU with Ahmedur Rahman Shovon, Kristopher Micinski, and Sidharth Kumar. USENIX ATC. (USENIX ATC) Jul 2023. (pdf)A Visual Guide to MPI All-to-all with Nick Netterville, Ke Fan, and Sidharth Kumar. Workshop on Education for High Performance Computing. (EduHiPC) Dec 2022. (pdf)Accelerating Datalog Applications with cuDF with Ahmedur Rahman Shovon, Landon Richard Dyken, Oded Green, and Sidharth Kumar. Workshop on Irregular Applications: Architectures and Algorithms. (IA3) Nov 2022. (pdf)Optimizing the Bruck Algorithm for Non-uniform All-to-all Communication with Ke Fan, Valerio Pascucci, Xuan Huang, Kristopher Micinski, and Sidharth Kumar. International ACM Symposium on High-Performance Parallel and Distributed Computing. (HPDC—19% acceptance) Jun 2022. (pdf)Seamless Deductive Inference Via Macros with Arash Sahebolamri, and Kristopher Micinski. International Conference on Compiler Construction. (CC) Apr 2022. (pdf)Load-balancing Parallel I/O of Compressed Hierarchical Layouts with Ke Fan, Duong Hoang, Steve Petruzza, Valerio Pascucci, and Sidharth Kumar. International Conference on High Performance Computing, Data, and Analytics. (HiPC) Dec 2021. (pdf)Exploring MPI Collective I/O and File-per-process I/O for Checkpointing a Logical Inference Task with Ke Fan, Kristopher Micinski, and Sidharth Kumar. Workshop on High Performance Storage. (HPS) May 2021. (pdf)Compiling Data-parallel Datalog with Sidharth Kumar, and Kristopher Micinski. International Conference on Compiler Construction. (CC) Mar 2021. (pdf)Load-balancing Parallel Relational Algebra with Sidharth Kumar. ISC High Performance. (ISC—31% acceptance) Jun 2020. Won ISC Hans Meuer Best Paper award. (pdf)Abstracting Faceted Execution with Kristopher Micinski, and David Darais. IEEE Computer Security Foundations Symposium. (CSF) Jun 2020. (pdf)Distributed Relational Algebra at Scale with Sidharth Kumar. International Conference on High Performance Computing, Data, and Analytics. (HiPC—23% acceptance) Dec 2019. Won HiPC Best Paper award. (pdf)Size-Change Termination as a Contract with Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn. Programming Language Design and Implementation. (PLDI—27% acceptance) Jun 2019. Invited to the Journal of Functional Programming. (pdf)Symbolic Path Tracing to Find Android Permission-Use Triggers with Kristopher Micinski, Daniel Votipka, Jeffrey S. Foster, and Michelle L. Mazurek. Workshop on Binary Analysis Research. (BAR) Jan 2019. (pdf)Racets: Faceted Execution in Racket with Kristopher Micinski, and Zhanpeng Wang. Scheme Workshop. (SW) Sep 2018. (pdf)Soft Contract Verification for Higher-order Stateful Programs with Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn. Symposium on Principles of Programming Languages. (POPL—23% acceptance) Jan 2018. (pdf)Abstract Allocation as a Unified Approach to Polyvariance in Control-flow Analyses with Michael D. Adams, and Matthew Might. Journal of Functional Programming. (JFP) 2018. Invited to the Journal of Functional Programming. (pdf)(conference version)User Comfort with Android Background Resource Accesses in Different Contexts with Daniel Votipka, Seth M. Rabin, Kristopher Micinski, Michelle L. Mazurek, and Jeffrey S. Foster. Symposium on Usable Privacy and Security. (SOUPS—21% acceptance) 2018. (pdf)Toward Parallel CFA with Datalog, MPI, and CUDA with Sidharth Kumar. Scheme Workshop. (SW) Sep 2017. (pdf)Allocation Characterizes Polyvariance with Michael D. Adams, and Matthew Might. International Conference on Functional Programming. (ICFP—31% acceptance) Sep 2016. (pdf)(invited journal version)Pushdown Control-Flow Analysis for Free with Steven Lyde, Michael D. Adams, Matthew Might, and David Van Horn. Symposium on Principles of Programming Languages. (POPL—23% acceptance) Jan 2016. (pdf)Introspective Polyvariance for Control-Flow Analyses. University of Utah. (U of U) 2016. (pdf)Dynamic Sparse-Matrix Allocation on GPUs with James King, Robert M. Kirby, and Matthew Might. ISC High Performance. (ISC) 2016. Won PRACE ISC best paper award. (pdf)(extended version)A Linear Encoding of Pushdown Control-Flow Analysis with Steven Lyde, and Matthew Might. Scheme Workshop. (SW) Nov 2014. Concrete and Abstract Interpretation: Better Together with Maria Jenkins, Leif Andersen, and Matthew Might. Scheme Workshop. (SW) Nov 2014. Partitioning 0-CFA for the GPU with Matthew Might. Workshop on Functional and Constraint Logic Programming. (WFLP) Aug 2014. (pdf)A Unified Approach to Polyvariance in Abstract Interpretations with Matthew Might. Scheme Workshop. (SW) Nov 2013. Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation with Shuying Liang, Andrew W. Keep, Matthew Might, David Van Horn, Steven Lyde, and Petey Aldous. ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices. (SPSM) Nov 2013. A Survey of Polyvariance in Abstract Interpretations with Matthew Might. Symposium on Trends in Functional Programming. (TFP) May 2013. Won TFP best student paper award. (pdf)