Software Open Access

Replication package for "TacTok: Semantics-aware proof synthesis"

Emily First; Yuriy Brun; Arjun Guha


JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>A VirtualBox VM with the results (and scripts to process the results) found in the OOPSLA 2020&nbsp;paper&nbsp;&quot;TacTok: Semantics-Aware Proof Synthesis&quot;. The VM also has the code for running the TacTok tool with pre-trained models.</p>\n\n<p>Attached is a&nbsp;compressed file with the training examples, `processed.tar.gz`. Note that the VM does not support training models.</p>\n\n<p>This image has been tested with VirtualBox&nbsp;Version 6.1.12. It requires 3GB RAM. The actual size of the vdi is 24.26GB,&nbsp;and is configured to&nbsp;dynamically allocate&nbsp;storage up to&nbsp;70GB.</p>\n\n<p>The username is `oopsla` and the password is&nbsp;`oopsla`.</p>\n\n<p>For processing the results, follow the directions in `/home/oopsla/Documents/evaluation/results_commands.md`.</p>\n\n<p>For running TacTok, follow the directions in `/home/oopsla/Documents/run_tactok_commands.md`.</p>\n\n<p>Source code can be found at https://github.com/LASER-UMASS/TacTok</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "University of Massachusetts Amherst", 
      "@type": "Person", 
      "name": "Emily First"
    }, 
    {
      "affiliation": "University of Massachusetts Amherst", 
      "@type": "Person", 
      "name": "Yuriy Brun"
    }, 
    {
      "affiliation": "University of Massachusetts Amherst", 
      "@type": "Person", 
      "name": "Arjun Guha"
    }
  ], 
  "url": "https://zenodo.org/record/4088897", 
  "datePublished": "2020-10-15", 
  "version": "1.0.0", 
  "keywords": [
    "Formal software verification"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4088897", 
  "@id": "https://doi.org/10.5281/zenodo.4088897", 
  "@type": "SoftwareSourceCode", 
  "name": "Replication package for \"TacTok: Semantics-aware proof synthesis\""
}
196
117
views
downloads
All versions This version
Views 196196
Downloads 117117
Data volume 1.5 TB1.5 TB
Unique views 173173
Unique downloads 3838

Share

Cite as