Using SyGuS to Synthesize Reactive Motion Plans
Chasins, Sarah, Newcomb, Julie L.
Published in Electronic proceedings in theoretical computer science (22.11.2016)
Published in Electronic proceedings in theoretical computer science (22.11.2016)
Get full text
Journal Article
Verifying and improving Halide’s term rewriting system with program synthesis
Newcomb, Julie L., Adams, Andrew, Johnson, Steven, Bodik, Rastislav, Kamil, Shoaib
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
SMaSH: a benchmarking toolkit for human genome variant calling
Talwalkar, Ameet, Liptrap, Jesse, Newcomb, Julie, Hartl, Christopher, Terhorst, Jonathan, Curtis, Kristal, Bresler, Ma'ayan, Song, Yun S, Jordan, Michael I, Patterson, David
Published in Bioinformatics (Oxford, England) (01.10.2014)
Published in Bioinformatics (Oxford, England) (01.10.2014)
Get full text
Journal Article
SM a SH: a benchmarking toolkit for human genome variant calling
Talwalkar, Ameet, Liptrap, Jesse, Newcomb, Julie, Hartl, Christopher, Terhorst, Jonathan, Curtis, Kristal, Bresler, Ma’ayan, Song, Yun S., Jordan, Michael I., Patterson, David
Published in Bioinformatics (Oxford, England) (01.10.2014)
Published in Bioinformatics (Oxford, England) (01.10.2014)
Get full text
Journal Article
SMaSH: A Benchmarking Toolkit for Human Genome Variant Calling
Talwalkar, Ameet, Liptrap, Jesse, Newcomb, Julie, Hartl, Christopher, Terhorst, Jonathan, Curtis, Kristal, Bresler, Ma'ayan, Song, Yun S, Jordan, Michael I, Patterson, David
Year of Publication 31.10.2013
Year of Publication 31.10.2013
Get full text
Journal Article