![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/tar.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BIG-diffusion_spin_2004.tgz | 2015-05-22 11:27 | 218M | |
| CIVL-VMCAI17.tgz | 2016-10-22 17:51 | 205K | |
| FM16_Archive.tar | 2016-05-31 18:18 | 503K | |
| MPISpinUsersManual.pdf | 2015-05-22 11:27 | 225K | |
| Spin-M.tgz | 2015-05-22 11:27 | 314K | |
| TASSPoster.pdf | 2015-05-22 11:27 | 1.1M | |
| TASS_latest_Linux32.tgz | 2015-05-22 11:27 | 6.8M | |
| TASS_latest_Linux64.tgz | 2015-05-22 11:27 | 6.8M | |
| TASS_latest_OSX32.tgz | 2015-05-22 11:27 | 6.7M | |
| TASS_latest_OSX64.tgz | 2015-05-22 11:27 | 6.6M | |
| TASS_latest_source.tgz | 2015-05-22 11:27 | 1.0M | |
| TASSv1.0.1r1833_Linux32.tgz | 2015-05-22 11:27 | 5.3M | |
| TASSv1.0.1r1833_Linux64.tgz | 2015-05-22 11:27 | 5.2M | |
| TASSv1.0.1r1833_OSX32.tgz | 2015-05-22 11:27 | 5.2M | |
| TASSv1.0.1r1833_OSX64.tgz | 2015-05-22 11:27 | 5.1M | |
| TASSv1.0.1r1833_source.tgz | 2015-05-22 11:27 | 522K | |
| TASSv1.1r2390_Linux32.tgz | 2015-05-22 11:27 | 6.9M | |
| TASSv1.1r2390_Linux64.tgz | 2015-05-22 11:27 | 6.8M | |
| TASSv1.1r2390_OSX32.tgz | 2015-05-22 11:27 | 6.8M | |
| TASSv1.1r2390_OSX64.tgz | 2015-05-22 11:27 | 6.7M | |
| TASSv1.1r2390_source.tgz | 2015-05-22 11:27 | 971K | |
| accuracy_tr_2014.pdf | 2015-05-22 11:27 | 587K | |
| accuracy_tr_experiments_2014.tgz | 2015-05-22 11:27 | 8.6M | |
| action_tr_2020.pdf | 2020-06-30 14:07 | 1.4M | |
| analysismpi_tr_2003.pdf | 2015-05-22 11:27 | 329K | |
| assert_vmcai_2011.pdf | 2015-05-22 11:27 | 413K | |
| assert_vmcai_2011.tgz | 2015-05-22 11:27 | 13K | |
| benchmark.tar.gz | 2018-04-20 13:39 | 8.1M | |
| blobflow_pvmmpi_2008.pdf | 2015-05-22 11:27 | 309K | |
| blobflow_pvmmpi_2008.tgz | 2015-05-22 11:27 | 7.6K | |
| blobflow_tr_2007.pdf | 2015-05-22 11:27 | 739K | |
| blobflow_tr_2007.tgz | 2015-05-22 11:27 | 7.6K | |
| cav2010.pdf | 2015-05-22 11:27 | 239K | |
| chapel_nfm_2013.pdf | 2015-05-22 11:27 | 618K | |
| civl-eurompi17.tar | 2017-08-08 17:19 | 3.8M | |
| civl-isola18.tar | 2018-08-16 14:28 | 170K | |
| civl_ase15_demo.mov | 2015-07-24 16:58 | 71M | |
| civl_ase15_experiments.tgz | 2015-07-24 01:50 | 5.1M | |
| civl_ase15_vm.ova | 2015-07-23 22:13 | 2.3G | |
| civl_ase15_vm.tgz | 2015-07-24 10:25 | 666M | |
| civl_ase15_vm/ | 2015-07-24 10:30 | - | |
| civl_ase_2015.pdf | 2015-09-06 15:07 | 771K | |
| civl_eurompi17.pdf | 2017-10-12 12:44 | 640K | |
| civl_experiments_sc_2015.tgz | 2015-08-18 15:33 | 5.3M | |
| civl_sc_2015.pdf | 2015-08-18 15:33 | 476K | |
| civl_svcomp_2016.pdf | 2016-04-13 13:35 | 176K | |
| civl_tr_2014.pdf | 2015-05-22 11:27 | 404K | |
| civl_tr_experiments_2014.tgz | 2015-05-22 11:27 | 8.6M | |
| civl_verifythis_2016.pdf | 2018-08-31 10:53 | 527K | |
| correctness18.pdf | 2024-10-28 13:22 | 392K | |
| correctness18.tar | 2018-10-19 16:01 | 22K | |
| csc2023.pdf | 2024-10-28 12:54 | 1.3M | |
| cvt.pdf | 2015-05-22 11:27 | 372K | |
| cvt.tgz | 2015-05-22 11:27 | 107K | |
| diffusion.tar | 2015-05-22 11:27 | 59K | |
| diffusion_spin_2004.pdf | 2015-05-22 11:27 | 190K | |
| dissertation-main.pdf | 2015-05-22 11:27 | 830K | |
| examples-0.tgz | 2015-05-22 11:27 | 108K | |
| examples.tgz | 2015-05-22 11:27 | 4.4M | |
| experiments_cav15_42.tgz | 2015-05-22 11:27 | 4.4M | |
| famp_vmcai_2011.pdf | 2015-05-22 11:27 | 427K | |
| fault-tolerant_tr_2013.pdf | 2015-05-22 11:27 | 419K | |
| fevs.tgz | 2015-05-22 11:27 | 285K | |
| fevs_old.tgz | 2015-05-22 11:27 | 44K | |
| fevs_tr_2011.pdf | 2015-05-22 11:27 | 95K | |
| fsvhpc_sehpcs_2005.pdf | 2015-05-22 11:27 | 147K | |
| hochschild_tams_2006.pdf | 2015-05-22 11:27 | 267K | |
| inca_tr_2002.pdf | 2015-05-22 11:27 | 158K | |
| jan-differentiable-sas18.tar | 2018-04-17 14:19 | 765K | |
| latest_Linux64.tar.gz | 2015-05-22 11:27 | 4.4M | |
| latest_OSX32.tar.gz | 2015-05-22 11:27 | 4.3M | |
| latest_OSX64.tar.gz | 2015-05-22 11:27 | 4.3M | |
| loops-tr.pdf | 2015-05-22 11:27 | 463K | |
| loops_tr_2011.pdf | 2015-05-22 11:27 | 476K | |
| loops_tr_2011.tgz | 2015-05-22 11:27 | 12K | |
| loops_tr_aug_2011.pdf | 2015-05-22 11:27 | 437K | |
| loops_vmcai_2012.pdf | 2015-05-22 11:27 | 456K | |
| ltspor_2018.pdf | 2018-04-04 05:43 | 466K | |
| madre-0.3.tgz | 2015-05-22 11:27 | 118K | |
| madre-0.4.tgz | 2015-05-22 11:27 | 251K | |
| madreManual.pdf | 2015-05-22 11:27 | 136K | |
| madre_ijhpca_2010.pdf | 2015-05-22 11:27 | 229K | |
| madre_pvmmpi_2008.pdf | 2015-05-22 11:27 | 169K | |
| madre_tr_2009.pdf | 2015-05-22 11:27 | 218K | |
| medra_pvmmpi_2009.pdf | 2015-05-22 11:27 | 256K | |
| moc_tr_2008.pdf | 2015-05-22 11:27 | 171K | |
| modelingmpi_tr_2004.pdf | 2015-05-22 11:27 | 506K | |
| mpi-spin.tgz | 2015-05-22 11:27 | 333K | |
| mpi2civl_report.pdf | 2017-05-29 22:09 | 678K | |
| mpi_contract_docker_image.tar.gz | 2024-04-03 01:58 | 375M | |
| mpi_contracts.pdf | 2024-10-28 11:47 | 708K | |
| mpi_ppopp_2005.pdf | 2015-05-22 11:27 | 290K | |
| mpi_ppopp_2005.tgz | 2015-05-22 11:27 | 2.5K | |
| mpispin_pvmmpi_2006.pdf | 2015-05-22 11:27 | 91K | |
| mpispin_vmcai_2007.pdf | 2015-05-22 11:27 | 216K | |
| mpispin_vmcai_2007.tgz | 2015-05-22 11:27 | 216K | |
| mpispintut_pvmmpi_2007.pdf | 2015-05-22 11:27 | 77K | |
| mpispintut_slides_1.pdf | 2015-05-22 11:27 | 802K | |
| mpispintut_slides_2.pdf | 2015-05-22 11:27 | 360K | |
| mpispintut_slides_3.pdf | 2015-05-22 11:27 | 368K | |
| mpispintut_slides_4.pdf | 2015-05-22 11:27 | 667K | |
| nbsynch_pvmmpi_2007.pdf | 2015-05-22 11:27 | 151K | |
| noise_tolerance_experiments.tgz | 2015-05-22 11:27 | 86K | |
| onthefly-extended.pdf | 2019-06-03 09:04 | 807K | |
| pap340s2aux.zip | 2015-08-11 19:58 | 6.0M | |
| por_tr_2011.pdf | 2015-05-22 11:27 | 86K | |
| poster_ppopp_2011.pdf | 2015-05-22 11:27 | 1.1M | |
| resilient_experiments.tgz | 2015-05-22 11:27 | 86K | |
| resilient_experimentsOLD.tgz | 2015-05-22 11:27 | 89K | |
| sc4drf.pdf | 2024-10-28 13:11 | 649K | |
| sc22_vm/ | 2022-04-14 15:31 | - | |
| scientific-verification.pdf | 2024-10-28 13:17 | 422K | |
| siegel-cv.pdf | 2018-09-03 15:22 | 169K | |
| spin-translation.tar.gz | 2018-04-19 13:16 | 224K | |
| submission-19.ova | 2018-04-26 14:52 | 2.5G | |
| suite.pdf | 2015-05-22 11:27 | 107K | |
| symbolic_issta_2006.pdf | 2015-05-22 11:27 | 189K | |
| symbolic_issta_2006.tgz | 2015-05-22 11:27 | 88K | |
| symbolic_tosem_2008.pdf | 2015-05-22 11:27 | 304K | |
| symbolic_tosem_2008.tgz | 2015-05-22 11:27 | 88K | |
| tass_0.9_r1334.tar.gz | 2015-05-22 11:27 | 358K | |
| tass_ppopp_2011.pdf | 2015-05-22 11:27 | 183K | |
| tass_tr.pdf | 2015-05-22 11:27 | 140K | |
| tass_tr_2010.pdf | 2015-05-22 11:27 | 371K | |
| tass_tr_2011.pdf | 2015-05-22 11:27 | 344K | |
| tass_tr_2011.tgz | 2015-05-22 11:27 | 78K | |
| tmc-repo.tgz | 2015-05-22 11:27 | 327K | |
| transparent_tr_2007.pdf | 2015-05-22 11:27 | 259K | |
| transparent_tr_2007.tgz | 2015-05-22 11:27 | 690K | |
| transparent_tr_2011.pdf | 2015-05-22 11:27 | 283K | |
| verification_dagstuhl_2008.pdf | 2015-05-22 11:27 | 94K | |
| verifythis2017.pdf | 2024-10-28 13:29 | 311K | |
| verifythis2023.pdf | 2024-10-28 12:52 | 251K | |
| wildcard_vmcai_2005.pdf | 2015-05-22 11:27 | 279K | |
| wildcard_vmcai_2005.tgz | 2015-05-22 11:27 | 1.0M | |
| ziqing_dissertation.pdf | 2019-11-07 12:03 | 965K | |
| zirkelDissertation.pdf | 2015-05-22 11:27 | 859K | |