**This is an old revision of the document!**

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.


  • 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
vv-lab/start.1424301263.txt.gz · Last modified: 2015/02/18 16:14 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0