Joseph Kiniry's Projects
Experimentation with software contracts in OpenBSD.
The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations.
FreeBoogie is a Java implementation of the "World's Best Program Verification System."
Experiments with GitKraken.
SmallEiffel and SmartEiffel Ports to AmigaDE/Elate
Locus site for Public Review of Several RISC-V ISA Formal Specs
This is the Java frontend which parses Java 1.5 bytecode and Java 1.4 source code. It is used as the compiler foundation of several tools including ESC/Java2 and RCC.
KindFTP is meant to be a complete implementation of the FTP protocol, as specified in RFC959.
The website of the KindSoftware research group.
Automatically exported from code.google.com/p/me-thesis-antlr
Disassembles the Danish NemID using Krakatau, decrypts strings and renames methods and classes, before assembling it all again.
OBJ3-2.10 - OBJ3 and TRIM compiler update to compile under GCL 2.6.12
Repository for DTU course "Programming in Objective-C".
Propi is a prototype tool for working with semantic properties, written in Java.
RCC: Race Condition Checker for Java
General repository for research artifacts.
Rexastor is a tool for automatic generation of Extended Abstract Syntax Trees (XASTs) in Java. Unlike many other code generators, Rexastor preserves type safety and code reuse across similar AST.
The RISC-V software tools list, as seen on riscv.org
SATConfig is a tool for performing configurations of given in a Conjunctive Normal Form using a SAT solver.
Simplify is a automated solver for unsorted first-order logic over the AUFLIA theory.
Automatically exported from code.google.com/p/straightener
Automatically exported from code.google.com/p/tevs
Automatically exported from code.google.com/p/tevs.gui
Archive of past teaching resources from University College Dublin.