This page contains news regarding the Verification and Validation Laboratory at Brigham Young University. Currently the news relates mostly to maintenance and the appearance of new content. It should expand to more research and important events as the wiki content stabilizes.

Recent News

  • 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.
  • 15-Apr-2013: NSF Award to Research a Static and Dynamic Verification Framework for Parallel Programming
    The lab just received a funded NSF award to research ways to test and verify Habanero Java programs. As a result, I have 4 years stipends available for interested undergraduate, M.S., and Ph.D. students to begin working on the project. Please contact me directly if you would like to become involved in the work. I have started gathering resources here.

Older News

  • 19-Mar-2012: Apply to my GSoC 2012 Project
    The Java Pathfinder Team has been accepted to participate in Google Summer of Code 2012 (GSoC 2012). I would encourage interested students to apply to my project on Concurrent Trace Visualization or any other project of interest that is sponsored by the Java Pathfinder Team. GSoC 2012 includes a stipend for working on a project and an opportunity to travel to the GSoC 2012 summit. — egm
  • 18-Jan-2012: Winter 2012 Meeting Schedule Posted
    I have posted the Winter 2012 Lab Meeting Schedule on the wiki. Please update the schedule with the paper you are presenting on your assigned dates at early as possible. The schedule is found in the Joining the lab side menu item. — egm
  • 18-Nov-2011: 4M Available for Download on GitHub
    The complete framework for our modeling system of the MCAPI API is located on Github. We also have a separate framework for translating MCAPI executions traces into SMT problems. — egm
  • 31-Mar-2011 Google Summer Of Code JPF Project
    Java Pathfinder has again been accepted to the Google Summer of Code for 2011. Please consider applying to the GSoC JPF Project!
  • 22-Nov-2010 PPoPP 2011 Poster
    We have a poster and short papers appearing in PPoPP 2011 on our MCAPI work. The paper presents way to model MCAPI executions as SMT problems to determine if an alternate concurrent execution exists to violate user defined error conditions. — egm
  • 31-Mar-2010 Google Summer of Code JPF Project
    Java PathFinder has been selected to participate in the 2010 version of the Google Summer of Code. Please review the projects and apply. — egm
  • 10-Feb-2010 Paper accepted in the NEIR track of ICSE 2010
    Paper by Neha Rungta and Eric Mercer on incremental target directed partial order reduction using backward slicing has been accepted for publication in the New Ideas and Emerging Results Track at ICSE 2010
  • 19-Jul-2009 Concurrency Tool Comparison
    Here is a direct link the the Concurrency Tool Comparison page for PADTAD 2009 which can also be accessed through the vv-lab menu on the left under research projects. — egm
vv-lab/news.txt · Last modified: 2015/02/18 23:17 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