kmicinski/micinski-website kmicinski/micinski-website

  • Stars
    star
    1
  • Language
    HTML
  • Created almost 9 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kmicinski/micinski-website
github

kmicinski

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Kristopher Micinski's personal (research oriented) website.

More Repositories

1

program-analysis

Program analysis grad seminar at SU (2019)
HTML
57
star
2

cmsc330examples

Examples from the class CMSC 330 during Summer 2015
OCaml
47
star
3

example-ocaml-merlin

An example of a simple project in OCaml that uses Merlin
OCaml
36
star
4

security-courses

A list of security courses at colleges and universities
10
star
5

program-analysis-examples

Notes for CIS 700 (Fall '19) at Syracuse U.
Racket
10
star
6

htltl2mc

Model checker for HyperLTL2
OCaml
5
star
7

formal-methods-notes

Notes for CIS700, Fall 2020: Formal Methods in Computer Security
5
star
8

kmicinski.github.io

Kris' personal website..
HTML
3
star
9

gimme-indexes

Implements Automatic Index Selection for sets of Datalog queries
Racket
2
star
10

blog-stuff

Code from my blog
Racket
2
star
11

redexer

The Redexer binary instrumentation system for Android
2
star
12

cmsc245examples

Examples from CMSC245
C++
2
star
13

functional_compiling_slides

Slides for compiling functional programs
OCaml
2
star
14

teaching-state-machines

A JavaScript app that offers a way to teach and animate state machines interactively
JavaScript
2
star
15

msulogo

MSU Turtle Graphics using logo
Java
2
star
16

compbio

Computational biology project for CMSC 702
Julia
2
star
17

cis352-s21

Course website / materials for CIS352, Spring 2021, at Syracuse
SCSS
2
star
18

cs107-notes

Notes from CS107
Python
2
star
19

cs107-p3

Graph coloring and colorability project for 107
Python
2
star
20

simpleturtlegraphics

Simple turtle graphics library for java
Java
2
star
21

GalSat

The GalSat genetic algorithm based SAT solver
C++
2
star
22

cs107-p8

CS107 AI Adventure
Python
1
star
23

cis352-s22

SCSS
1
star
24

cs107-p6

Project 6 in CS107: Linked lists and HaverQuest Intro
Python
1
star
25

cis352-s20

CIS352 at SU Spring 2020
CSS
1
star
26

cs245-examples

C++
1
star
27

aam-based-ai

Papers on AAM-based abstract interpretation
1
star
28

terrible-web-app

An obviously-insecure web app for us to exploit
Python
1
star
29

file-server

File server assignment (and key maybe?) for CMSC 311
C
1
star
30

ui-for-security

Papers on building and evaluating UIs for Security
1
star
31

program-analysis-p1

Homework 1 for CIS 700
Racket
1
star
32

program-analysis-p0

Project 0 for program analysis (CIS 700) at SU, Fall 2019
Racket
1
star
33

tinylangs

tiny languages in racket
Racket
1
star
34

bigstep

Big step semantics example repo
Racket
1
star
35

modern-deduction

The Modern Deduction Blog
HTML
1
star
36

irongiant

A toolkit for static analysis of Android applications in Racket
1
star
37

cmsc245

CMSC 245 @ Haverford, Fall 2017. By Kris Micinski & David Wonnacott
Racket
1
star