Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
vv-lab:start [2015/02/18 23:14]
egm [News]
vv-lab:start [2015/02/25 16:34]
egm [News]
Line 4: Line 4:
  
 == News == == News ==
-* '''​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.''​
 * '''​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.''​
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