Quantcast
Channel: CSAIL Work Products
Browsing all 11 articles
Browse latest View live

Staged Program Repair in SPR (Supplementary Material)

Staged Program Repair in SPR (Supplementary Material) Long, Fan; Rinard, Martin We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair...

View Article



An Analysis of Patch Plausibility and Correctness for Generate-And-Validate...

An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material) Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin We analyze reported...

View Article

Supplementary materials for "ProppLearner: Deeply Annotating a Corpus of...

Supplementary materials for "ProppLearner: Deeply Annotating a Corpus of Russian Folktales to Enable the Machine Learning of a Russian Formalist Theory" Finlayson, Mark Alan This archive contains the...

View Article

Data and Code for "Automatic Identification of Narrative Diegesis and Point...

Data and Code for "Automatic Identification of Narrative Diegesis and Point of View" Eisenberg, Joshua D.; Finlayson, Mark A. This archive contains the code and data for the workshop article "Automatic...

View Article

Data and Code for "A New Approach to Animacy Detection"

Data and Code for "A New Approach to Animacy Detection" Labiba, Jahan,; Geeticka, Chauhan,; A., Finlayson, Mark This archive contains the code and data for the workshop article "A New Approach to...

View Article


An Analysis of Patch Plausibility and Correctness for Generate-And-Validate...

An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material) Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin We analyze reported...

View Article

Supplementary materials for "ProppLearner: Deeply Annotating a Corpus of...

Supplementary materials for "ProppLearner: Deeply Annotating a Corpus of Russian Folktales to Enable the Machine Learning of a Russian Formalist Theory" Finlayson, Mark Alan This archive contains the...

View Article

Data and Code for "Automatic Identification of Narrative Diegesis and Point...

Data and Code for "Automatic Identification of Narrative Diegesis and Point of View" Eisenberg, Joshua D.; Finlayson, Mark A. This archive contains the code and data for the workshop article "Automatic...

View Article


Data and Code for "A New Approach to Animacy Detection"

Data and Code for "A New Approach to Animacy Detection" Labiba, Jahan,; Geeticka, Chauhan,; A., Finlayson, Mark This archive contains the code and data for the workshop article "A New Approach to...

View Article


Multi-modal and Inertial sensor Solutions for Navigation-type Factor Graphs

Multi-modal and Inertial sensor Solutions for Navigation-type Factor Graphs Fourie, Dehann This thesis presents a sum-product inference algorithm for platform navigation called Multi-modal iSAM...

View Article

Belief Programming Implementation

Belief Programming Implementation Atkinson, Eric

View Article
Browsing all 11 articles
Browse latest View live




Latest Images