Listings Owned by Mohsen Vakilian

Primary tabs


Maintainer

Cascade

Cascade

Since version 8, Java supports type qualifiers. Type qualifiers augment an existing type system to check more software properties. This Eclipse plug-in provides an interactive tool for inserting ty...

Code Management, Tools

Last Updated on Monday, November 7, 2016 - 14:12 by Mohsen Vakilian

DPJizer

DPJizer

DPJ stands for Deterministic Parallel Java, and is available at http://dpj.cs.illinois.edu/. DPJizer is an Eclipse plug-in that helps programmers write DPJ programs. DPJizer is a refactoring tool t...

Tools, Languages, Programming Languages

Last Updated on Monday, November 7, 2016 - 14:12 by Mohsen Vakilian

Compositional Refactoring

Compositional Refactoring

This Eclipse bundle provides new Quick Assist actions to support refactorings in a compositional paradigm. In the compositional paradigm, the tool automates small, predictable steps of a refactorin...

Code Management, Source Code Analyzer, Editor, Application Development Frameworks, J2EE Development Platform

Last Updated on Monday, November 7, 2016 - 14:12 by Mohsen Vakilian

Keshmesh

Keshmesh

Keshmesh (http://keshmesh.cs.illinois.edu) is an interactive static analysis tool for detecting and fixing concurrency bug patterns in Java programs. Keshmesh looks for common bug patterns in concu...

Application Development Frameworks, Application Management

Last Updated on Monday, November 7, 2016 - 14:11 by Mohsen Vakilian