Kristopher Micinski

Kristopher Micinski is an Assistant Professor at Syracuse University in the Department of Electrical Engineering and Computer Science. His research focuses on Programming Languages, Security, and Systems, particularly in static analysis and logic programming.

• PhD Students: Arash Sahebolamri (graduated May 2023), Yihao Sun (since 2020), Chang Liu (since 2023), Neda Abdolrahimi (since 2023)
• Email: kkmicins@syr.edu

Research interests include high-performance implementations of declarative languages (e.g., Datalog and Scheme), formal methods for program security, and systems-level innovations for scaling static analyses. He has contributed to conferences like OOPSLA, CC, and Scheme with work on optimizing Datalog engines and extending logic programming paradigms.

Recent publications explore topics such as

• Scaling control-flow analyses using Datalog extensions (OOPSLA 2023)
• Macro-based compilation for performance gains in lattice-oriented Datalog (CC 2022)
• Data-parallel Datalog execution (CC 2021)
• Symbolic execution and SAT solvers in program analysis (e.g., projects involving Chaff, EXE, and CDCL)

He teaches undergraduate and graduate courses in programming languages, including CIS352 (Programming Languages) and CIS700 (Formal Methods and Symbolic AI). Current projects include NSF-funded research on declarative analytics and DARPA V-SPELLS for verified software security.