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 Tuesday, April 24, 2018 - 14:41 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...

Programming Languages, Languages, Tools

Last Updated on Tuesday, April 24, 2018 - 14:41 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...

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

Last Updated on Tuesday, April 24, 2018 - 14:41 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 Management, Application Development Frameworks

Last Updated on Tuesday, April 24, 2018 - 14:41 by Mohsen Vakilian