Changes between Version 126 and Version 127 of WikiStart


Ignore:
Timestamp:
09/26/18 10:00:10 (8 years ago)
Author:
wuwenhao
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v126 v127  
    2727* [https://vsl.cis.udel.edu/pubs/civl_sc_2015.html CIVL: The Concurrency Intermediate Verification Language], S.F. Siegel, M. Zheng, Z. Luo, T.K. Zirkel, A.V. Marianiello, J.G. Edenhofner, M.B. Dwyer and M.S. Rogers, SC'15.
    2828* [https://vsl.cis.udel.edu/pubs/civl_eurompi_2017.html  Verification of MPI programs using CIVL], Z. Luo, M. Zheng, and S.F. Siegel, EuroMPI'17.
    29 * [https://science.energy.gov/~/media/ascr/pdf/programdocuments/docs/2017/HPC_Correctness_Report.pdf DOE Report of the HPC Correctness Summit], G. Gopalakrishnan, P.D. Hovland, C. Iancu, S. Krishnamoorthy, I. Laguna, R.A. Lethin, K. Sen, S.F. Siegel and A. Solar-Lezama, DOE TechReport'17.
    30 * [https://vsl.cis.udel.edu/pubs/civl_verifythis_2016.html CIVL Solutions to VerifyThis 2016 Challenges], Stephen F. Siegel, VerifyThis'16.
     29* [https://science.energy.gov/~/media/ascr/pdf/programdocuments/docs/2017/HPC_Correctness_Report.pdf DOE Report of the HPC Correctness Summit], G. Gopalakrishnan, P.D. Hovland, C. Iancu, S. Krishnamoorthy, I. Laguna, R.A. Lethin, K. Sen, S.F. Siegel and A. Solar-Lezama, DOE !TechReport'17.
     30* [https://vsl.cis.udel.edu/pubs/civl_verifythis_2016.html CIVL Solutions to !VerifyThis 2016 Challenges], Stephen F. Siegel, VerifyThis'16.
    3131* [https://vsl.cis.udel.edu/pubs/civl_svcomp_2016.html CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs Competition Contribution], M. Zheng, J.G. Edenhofner, Z. Luo, M.J. Gerrard, M.S. Rogers, M.B. Dwyer, and S.F. Siegel, TACAS'16
    3232* [https://vsl.cis.udel.edu/pubs/civl_ase_2015.html CIVL: Formal Verification of Parallel Programs], M. Zheng, M.S. Rogers, Z. Luo, M.B. Dwyer, and S.F. Siegel, ASE'15.