Listings Owned by Mohsen Vakilian

Primary tabs


Maintainer

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...

Languages, Tools, Programming Languages

Last Updated on Thursday, August 23, 2018 - 15:04 by Mohsen Vakilian

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...

Tools, Code Management

Last Updated on Thursday, August 23, 2018 - 15:04 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, Code Management, Source Code Analyzer, Application Development Frameworks, J2EE Development Platform

Last Updated on Thursday, August 23, 2018 - 15:04 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 Thursday, August 23, 2018 - 15:04 by Mohsen Vakilian