Matthew Pettersson's repositories
InterviewReview
A minimal set of non-language specific review topics for coding interviews.
JavaReview
A review of the Java programming language, as well as, a set of programming (interview) questions and their Java implementations.
jquery-svg3dtagcloud-plugin
A very small and CSS-less jQuery plugin for drawing a 3D, interactive, SVG based and fully customizable sphere tag cloud from an array of html links.
mazesolving
A variety of algorithms to solve mazes from an input image
PythonReview
A review of the Python programming language, as well as, a set of programming (interview) questions and their python implementations.
reins-verifier-proof
Reins is a rewriting and inlining system that can be used to statically rewrite arbitrary binaries. The verifier that shows that a given binary is conformant has not been formally proven however. This project aims to formally prove the the Reins verifier.
reins-verifier-proof-v2
This is a continuation of a UTDallas(.edu) graduate project to prove aspects of the REINS algorithm (http://www.utdallas.edu/~hamlen/wartell12acsac.pdf) in Coq, and is an extension of the RockSalt project (http://sos.cse.lehigh.edu/gonative/index.html).
utd-cs6377-crypto-gdocs
This is a Google Chrome extension for creating AES encrypted Google Docs that was created as part of a Cryptography course at the University of Texas at Dallas