1![Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W](https://www.pdfsearch.io/img/e94ab3f84280d8f9c721f40624edbf3b.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
2![Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria](https://www.pdfsearch.io/img/dff1e04cc746ca01dff1c0951956f87c.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
3![The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin](https://www.pdfsearch.io/img/9b249e40f023970a1a04cd88fb167811.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-02 12:35:21
|
---|
4![Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When](https://www.pdfsearch.io/img/9d90c4070b7dddd402bd2cd176f9d10e.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
5![A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas](https://www.pdfsearch.io/img/e7ce247cfaa4154e04d07aaebe07c965.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:44
|
---|
6![SENSITIVE INFORMATION POLICY (TEXAS) PRIVACY POLICIES Collective Medical Technologies, Inc. Objective This Sensitive Information Policy (“Policy”) applies to all Services provided by Collective Medical Techno SENSITIVE INFORMATION POLICY (TEXAS) PRIVACY POLICIES Collective Medical Technologies, Inc. Objective This Sensitive Information Policy (“Policy”) applies to all Services provided by Collective Medical Techno](https://www.pdfsearch.io/img/d96f990ca8fcf84eff2f8839e1be2c9c.jpg) | Add to Reading ListSource URL: www.collectivemedicaltech.comLanguage: English - Date: 2018-03-20 02:32:15
|
---|
7![A Class of Greedy Algorithms And Its Relation to Greedoids Srinivas Nedunuri Dept. of Computer S
ien
es University of Texas at Austin A Class of Greedy Algorithms And Its Relation to Greedoids Srinivas Nedunuri Dept. of Computer S
ien
es University of Texas at Austin](https://www.pdfsearch.io/img/261057e4744f61cde9b8826cd16b7db9.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2014-10-03 20:56:47
|
---|
8![Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig](https://www.pdfsearch.io/img/5b07b69e3019426a34a7f60e2b22e7c9.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
9![Graphical Inference for Infovis Hadley Wickham, Dianne Cook, Heike Hofmann, and Andreas Buja Fig. 1. One of these plots doesn’t belong. These six plots show choropleth maps of cancer deaths in Texas, where darker color Graphical Inference for Infovis Hadley Wickham, Dianne Cook, Heike Hofmann, and Andreas Buja Fig. 1. One of these plots doesn’t belong. These six plots show choropleth maps of cancer deaths in Texas, where darker color](https://www.pdfsearch.io/img/fb04c7c4b770dcb04d2acf2b855b377c.jpg) | Add to Reading ListSource URL: vita.had.co.nzLanguage: English - Date: 2016-07-21 16:13:20
|
---|
10![Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin](https://www.pdfsearch.io/img/2b2cf7761ff23adddeb5de22df151af0.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2014-10-03 20:52:55
|
---|