pohmann

Pinned Repositories

csi-cc
an instrumenting compiler for lightweight program tracing
Language:C++5 4 03
260testing
This is only a test
Language:C++00
automatark
Benchmark problems for different models of automata, transducers, and related logics
Language:Java00
BasicJavaMath
Part of a demo for CSCI 330. A Java library that supports some basic math operations.
Language:Java00
CIDatabaseExercise
An exercise for continuous integration with databases! This one will require us to get some initial understanding of Mocks!
Language:Java00
csi-cc
an instrumenting compiler for lightweight program tracing
Language:C++2 2 01
csi-grissom
an analysis framework for control-flow queries over incomplete failure reports
Language:Python6 3 03
CSIclipse
A plugin for presenting CSI instrumentation and analysis data in the Eclipse IDE
Language:Java30
pldi-2017-artifact
Artifact for PLDI 2017 paper "Control-Flow Recovery from Partial Failure Reports"
Language:Python21
symbolicautomata
Library for symbolic automata and symbolic visibly pushdown automata
Language:Java00

pohmann's Repositories

pohmann/csi-grissom
an analysis framework for control-flow queries over incomplete failure reports
Language:Python6 3 03
pohmann/CSIclipse
A plugin for presenting CSI instrumentation and analysis data in the Eclipse IDE
Language:Java30
pohmann/csi-cc
an instrumenting compiler for lightweight program tracing
Language:C++2 2 01
pohmann/pldi-2017-artifact
Artifact for PLDI 2017 paper "Control-Flow Recovery from Partial Failure Reports"
Language:Python21
pohmann/260testing
This is only a test
Language:C++00
pohmann/automatark
Benchmark problems for different models of automata, transducers, and related logics
Language:Java00
pohmann/BasicJavaMath
Part of a demo for CSCI 330. A Java library that supports some basic math operations.
Language:Java00
pohmann/CIDatabaseExercise
An exercise for continuous integration with databases! This one will require us to get some initial understanding of Mocks!
Language:Java00
pohmann/symbolicautomata
Library for symbolic automata and symbolic visibly pushdown automata
Language:Java00
pohmann/CIExercise
An exercise for setting up continuous integration testing
Language:Java
pohmann/CMC
The Choose-My-College system
Language:Java1
pohmann/CS230-Regression1
The Git repository for the regression testing take-home.
Language:Java1
pohmann/CS230-TakeHome1
The Git repository for the first CS 230 "take-home assignment"
Language:Java4
pohmann/CSCI260-HW1
This repository goes along with Homework 1 for Xavier's CSCI 260 class.
Language:C
pohmann/CSCI330-demo
A respository to demo advanced Git features in CSCI 330
Language:Java7
pohmann/GitAndDebugging
An early exercise to learn about basic Git commands, connecting with the Eclipse editor, and our database library
Language:Java
pohmann/moderncv
moderncv -- a modern curriculum vitae class
Language:TeX
pohmann/Murphy
language-agnostic tool that helps developers discover and isolate run-time failures in their programs by simulating difficult-to-reproduce but completely-legitimate interactions between the application and the kernel
Language:C++
pohmann/PetersFirstRepo
The greatest repo in the history of git
pohmann/StadiaWireless
Stadia Wireless enables you to use your stadia controller wirelessly. Not just with stadia, but with any game.
pohmann/test506
This is a only a test
Language:C
pohmann/WALi-OpenNWA
Home for the WALi weighted automaton library and OpenNWA nested-word automaton library
Language:C++
pohmann/xv6-public
xv6 OS