Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
vv-lab:start [2015/02/18 12:45]
egm created
vv-lab:start [2015/07/20 12:04] (current)
egm
Line 4: Line 4:
  
 == News == == 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 [http://​ase2015.unl.edu/#​tab-main ASE 2015 New Ideas]. Check out [http://​jpf.byu.edu/​jpf-hj 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 [http://​www.aamas2015.com/​en/​ AAMAS 2015] on modeling workload in human-machine teaming and the other in [http://​nasaformalmethods.org NFM 2015] on deadlock detection in MPI programs. The [[Publications|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 [http://​faculty.cs.byu.edu/​~egm/​phd-advert.txt details] and consider contacting me.''​ * '''​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 [http://​faculty.cs.byu.edu/​~egm/​phd-advert.txt 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.''​ * '''​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.''​ * '''​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 [http://​babelfish.arc.nasa.gov/​trac/​jpf Java Pathfinder Team] has been accepted to participate in [http://​www.google-melange.com/​gsoc/​homepage/​google/​gsoc2013 Google Summer of Code 2013] (GSoC 2013). I would encourage interested students to [http://​www.google-melange.com/​gsoc/​homepage/​google/​gsoc2013 apply] to my project on [https://​sites.google.com/​site/​jpfgsoc2013/#​habanero Habanero Java] with more details [[Habanero Java Verification | here]]. GSoC 2013 includes a stipend for working on a project and an opportunity to travel to the GSoC 2013 summit. --- egm''​ * '''​17-Apr-2013''':​ '''​Apply to my GSoC 2013 Project'''​\\ ''​The [http://​babelfish.arc.nasa.gov/​trac/​jpf Java Pathfinder Team] has been accepted to participate in [http://​www.google-melange.com/​gsoc/​homepage/​google/​gsoc2013 Google Summer of Code 2013] (GSoC 2013). I would encourage interested students to [http://​www.google-melange.com/​gsoc/​homepage/​google/​gsoc2013 apply] to my project on [https://​sites.google.com/​site/​jpfgsoc2013/#​habanero Habanero Java] with more details [[Habanero Java Verification | here]]. GSoC 2013 includes a stipend for working on a project and an opportunity to travel to the GSoC 2013 summit. --- egm''​
-*'''​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 [https://​cs.byu.edu/​email/​1903/​field_contact contact] me directly if you would like to become involved in the work. I have started gathering resources [[Habanero Java Verification | here]].''​ 
 * [[News | Older news]] * [[News | Older news]]
vv-lab/start.1424288701.txt.gz ยท Last modified: 2015/02/18 12:45 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