Kristopher Micinski's repositories
program-analysis
Program analysis grad seminar at SU (2019)
formal-methods-notes
Notes for CIS700, Fall 2020: Formal Methods in Computer Security
kmicinski.github.io
Kris' personal website..
cis352-s21
Course website / materials for CIS352, Spring 2021, at Syracuse
cis352-s20
CIS352 at SU Spring 2020
micinski-website
Kristopher Micinski's personal (research oriented) website.
modern-deduction
The Modern Deduction Blog
agda-examples
Examples (mostly PL) in Agda
analysis-semantics-examples
Program analysis and semantics examples
bar2022
BAR 2022 Public Website
cis352-f22
CIS352 (Principles of Programming Languages) at Syracuse University -- Fall 2022
cis352-f23
CIS352 at Syracuse University--Fall 2023
cis352-s23
CIS352--Spring 2023
cis352-s24
CIS352 at Syracuse University--Spring 2024
cis400-s21
CIS400--Introduction to Compiler Construction. Syracuse U, Fall 2021. Davis Silverman (TA) and Kris Micinski (instructor), based on CMSC430 by Thomas Gilray.
cis700-f22
Language-Based Security -- CIS700 Fall 2022 @ Syracuse U
cis700-f23
Modern Symbolic AI and Automated Reasoning
CompCert
The CompCert formally-verified C compiler
Eagleatp
Eagle ATP (circa 2007)
ifarith-compiler
A tiny (Racket-based) compiler for IfArith to x86: a tiny language of decision trees
index-selection
Project 1 in CIS700 Fall 2020
just-the-docs
A modern, high customizable, responsive Jekyll theme for documention with built-in search.
kmicinski-notes
research progress
qualifier-answers
Answers to SU qualifier exams in Coq / in text.
su-pl-quals
Answers to PL questions (in Coq) from previous qualifiers at Syracuse (CIS700 Fall20)
timetravelling-defninterp
Time-travelling definitional interpreters