Username:
michael.ernst@gmail.com
Starred developers:
None
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | annotation-tools | Tools for Type Annotations in Java |
| Owner | bibtex2web | Format BibTeX bibliographies for the World Wide Web |
| Owner | checker-framework | Pluggable types for Java |
| Owner | daikon | Dynamic detection of likely invariants |
| Owner | ductilej | A Java compiler plugin that turns Java into a mostly dynamically typed language. |
| Owner | eclat-test | Eclat automated testing |
| Owner | fjalar | A dynamic analysis framework for C and C++ programs |
| Owner | galar | A Daikon front end for x86 binaries |
| Owner | google-summer-of-code-2010-plse-at-uw | A project for Google Summer of Code students working on PLSE at UW. |
| Owner | guierrordetector | Automatically detecting GUI errors |
| Owner | html2texi | Convert HTML documents to Texinfo |
| Owner | immutability-in-aliasing | Immutability in the presence of Aliasing in OO Languages |
| Owner | javarifier | Reference Immutability Inference Tool for Javari |
| Owner | jsr308-langtools | Compiler that supports Java's Type Annotations (JSR 308) |
| Owner | notnoop-thesis | My MEng Thesis |
| Owner | ownership-immutability | Ownership and Immutability in Generic Java (OIGJ) |
| Owner | plume-bib | BibTeX bibliographies |
| Owner | plume-lib | A library of useful abstractions for programming |
| Owner | quick-fix-scout | Quick Fix Scout: Speculative Analysis on Eclipse Quick Fixes |
| Owner | randoop | Random test generation |
| Owner | uwisdom | Collection of useful facts |
| Owner | valgrind-3 | Variant of Valgrind 3 used by the Daikon project |
| Owner | wiki-testing | Test wiki |
| Committer | checker-framework-inference | Inference of pluggable types for Java |
| Committer | crashma | Crashed Method Analysys |
| Committer | crystalvc | Proactive Conflict Detector for Distributed Version Control |
| Committer | failuredoc | Automated Documentation Inference to Explain Failed Tests |
| Committer | haloop | An modified version of Hadoop to support efficient iterative data processing on large commodity clusters |
| Committer | i-test | Detecting and Repairing Dependent Unit Tests |
| Committer | sketchtest | SketchTest: A Framework and Tool Support for Sketching Unit Tests |
| Committer | synoptic | Studying Logged Behavior with Inferred Models |
| Committer | tarantulaj | The Java Implementation of the Tarantula Approach |
| Committer | tpalus | Palus: A hybrid automated unit test generation tool for Java programs |