Differences

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

Link to this comparison view

Both sides previous revision Previous revision
vv-lab:start [2015/02/25 16:34]
egm [News]
vv-lab:start [2015/07/20 18: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.''​ * '''​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.''​
vv-lab/start.txt ยท Last modified: 2015/07/20 18:04 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