Changes between Version 127 and Version 128 of WikiStart
- Timestamp:
- 09/26/18 10:00:50 (8 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v127 v128 28 28 * [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 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.30 * [https://vsl.cis.udel.edu/pubs/civl_verifythis_2016.html CIVL Solutions to VerifyThis 2016 Challenges], Stephen F. Siegel, !VerifyThis'16. 31 31 * [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 32 32 * [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.
