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