Kristopher Micinski
Scholar

Kristopher Micinski

Google Scholar ID: HpJLJWUAAAAJ
Syracuse University
Programming LanguagesStatic AnalysisAutomated ReasoningReverse Engineering
Citations & Impact
All-time
Citations
760
 
H-index
11
 
i10-index
14
 
Publications
20
 
Co-authors
36
list available
Publications
2 items
Resume (English only)
Academic Achievements
  • Published in top-tier venues including CC '22, OOPSLA '23, ASPLOS '25, AAAI '25, VLDB '25, and ICS '25
  • Principal investigator on multiple sponsored projects:
  • — NSF PPoSS Large: $1,000,037 over 5 years
  • — NSF PPoSS Planning: $83,761 for 1 year
  • — DARPA V-SPELLS: $400k over 4 years
  • — Assemblage (US Lab for Physical Sciences): $698k
  • Advised PhD students including Arash Sahebolamri (PhD graduated May 2023), Yihao Sun (since 2020), Chang Liu (since 2023), and Neda Abdolrahimi (since 2023)