Main Page

From Uv-wiki

Welcome to the Utah Verification Group Wiki

Contents 1 Group Members 1.1 Current 1.2 Past 2 Projects 2.1 Current 2.2 Past 3 Miscellaneous 3.1 Book Reading 3.2 Weekly Meetings 3.3 Cluster 3.4 Jumpshot-4 3.5 MPI Examples 3.6 RuleBase 3.7 SixthSense 3.8 MCAPI 3.9 SAL

Group Members

Current

• Professor Ganesh Gopalakrishnan

• Professor Robert M. Kirby

• Yu Yang

• Xiaofang Chen

• Guodong Li

• Sarvani Vakkalanka

• Subodh Sharma

• Anh Vo

• Michael Delisi

• Geof Sawaya

• Ben Meakin

• Jason Williams

• Alan Humphrey

Past

• Robert Palmer

Projects

This section lists all our current as well as past projects. Many projects might spawn other small projects (which sometimes turn out to be not so small). Those small projects may or may not appear on this page.

Current

• ISP An Insitu Model Checker for MPI Programs

• MPV - Multi-Processor Verification

• MCAPI

Past

Miscellaneous

This section lists other things related to our group's research but not quite fit in other sections

Book Reading

Click here to go to our book reading section

Weekly Meetings

Click here to go to our weekly meeting section

Cluster

Click here for information about our Raven cluster

Jumpshot-4

Here is an overview and example of using Jumpshot-4 for visualizing MPI programs

MPI Examples

Collection of MPI examples can be found at Tests

RuleBase

This is a 'mini-tutorial' on using the hardware verification tool RuleBase

SixthSense

This is a 'mini-tutorial' on using the hardware verification tool SixthSense

MCAPI

Observations and findings regarding MCAPI specification.

SAL

A tutorial on using SAL tool from SRI.