vv-lab:start

Verification and Validation Laboratory

Welcome to the Verification and Validation Laboratory Wiki. The Wiki is a great resource, and we invite you, the community, to help develop the site so it can better serve your needs and the needs of other researchers. Most everything you need learn about our lab is found in the vv-lab menu on the left of the page. We welcome your interest in our work.

News

20-Jul-2015: jpf-hj Accepted to ASE 2015 New Ideas Category
Our work with model checking Habanero Java programs with JPF has been accepted for publication in ASE 2015 New Ideas. Check out jpf-hj for the paper and tool.
18-Feb-2015: AAMAS paper and NFM paper
Two papers were accepted these last few weeks. One in AAMAS 2015 on modeling workload in human-machine teaming and the other in NFM 2015 on deadlock detection in MPI programs. The publications section has been updated with full citations.
10-Dec-2014: Funded Ph.D Position Available
I am looking to fund Ph.D. students working on the verification of task parallel programs (deadlock and data-race). Please review the details and consider contacting me.
21-Aug-2013: Accepted ASE Submission on MPI Verification
Our paper that details how to use SMT solvers to prove MCAPI executions correct has been accepted to ASE 2013 in Palo Alto CA. Congratulations to Yu.
18-Jun-2013: Funded Research Positions Available
I have funding for research positions in two different projects: Modeling Operator Workload and Verifying Habanero Java with the Java Pathfinder Model Checker. Please contact Eric Mercer directly if you are interested.
17-Apr-2013: Apply to my GSoC 2013 Project
The Java Pathfinder Team has been accepted to participate in Google Summer of Code 2013 (GSoC 2013). I would encourage interested students to apply to my project on Habanero Java with more details here. GSoC 2013 includes a stipend for working on a project and an opportunity to travel to the GSoC 2013 summit. — egm
Older news