Software

turning research into
open opportunities

Research Software

  • avmf: Extensible framework for the search-based alternating variable method
  • commitcanvas: Prediction of commit labels for version control messages
  • expose: Doubling experiments to infer actual-worst-case time complexity
  • kanonizo: Effective automated regression test suite prioritization for JUnit
  • major: Easy and scalable mutation testing for the Java programming language
  • mrstudyr: Retrospectively study effectiveness of mutation testing techniques
  • redecheck: Automated checking of responsively designed web pages
  • schemaanalyst: Data generation and mutation analysis for database schemas
  • tada: Automated order-of-growth analysis for Python functions
  • viser: Automated visual verification of responsive layout failure reports

Research Resources

Research Papers

Technical Presentations

Replication Packages

Educational Software

  • dockagator: Docker container and infrastructure for GatorGrader
  • gatorgrader: Automated assessment for source code and writing
  • gatorgrouper: Group formation tool for team-based courses
  • gatorgradle: Gradle plugin for efficient use of GatorGrader
  • seed: Analyzer and displayer of responses to the SEED survey

Teaching Materials

  • cs102F2020: Course content for Computer Science 102 Fall 2020
  • cs302F2020: Course content for Computer Science 302 Fall 2020
  • cs100S2020: Course content for Computer Science 100 Spring 2020
  • cs203S2020: Course content for Computer Science 203 Spring 2020
  • cs100F2019: Course content for Computer Science 100 Fall 2019
  • cs101F2019: Course content for Computer Science 101 Fall 2019
  • cs203S2019: Course content for Computer Science 203 Spring 2019
  • cs302S2019: Course content for Computer Science 302 Spring 2019
  • cs481S2019: Course content for Computer Science 481 Spring 2019
  • cs100F2018: Course content for Computer Science 100 Fall 2018
  • cs101F2018: Course content for Computer Science 101 Fall 2018
  • cs103S2018: Course content for Computer Science 103 Spring 2018
  • cs112S2018: Course content for Computer Science 112 Spring 2018
  • cs111F2017: Course content for Computer Science 111 Fall 2017
  • cs280F2017: Course content for Computer Science 280 Fall 2017
  • cs600F2017: Course content for Computer Science 600 Fall 2017
  • cs111S2017: Course content for Computer Science 111 Spring 2017
  • fs102S2017: Course content for First-Year/Sophomore 102 Spring 2017
  • cs111F2016: Course content for Computer Science 111 Fall 2016
  • cs112F2016: Course content for Computer Science 112 Fall 2016
  • cs111S2016: Course content for Computer Science 111 Spring 2016
  • cs441S2016: Course content for Computer Science 441 Spring 2016
  • cs111F2015: Course content for Computer Science 111 Fall 2015
  • cs280F2015: Course content for Computer Science 280 Fall 2015

Software Configurations

  • dotfiles: Configuration files for my development environment
  • tmuxinators: Configuration files for the terminal multiplexor
  • vim-vitamin-onec: Dark color scheme for Vim and Neovim

Defect Reports

Legacy Software

  • gelations: Test suite prioritization with order-based genetic algorithms
  • modificare: Reproducible experimentation with regression testing techniques
  • proteja: Easy-to-use techniques for test suite reduction and prioritization
  • raise: Comprehensive test suite execution and management
Please support my work!

View the source.