1![DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop](https://www.pdfsearch.io/img/e67d94bcac41ab3ad563c39760dc01f9.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
2![Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in](https://www.pdfsearch.io/img/19b405999637aad38098d8a80db1cfa8.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
3![Overview Abstraction The Rest Overview Abstraction The Rest](https://www.pdfsearch.io/img/bb70b861d40f4951dbaf2f04212eeb2c.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
4![Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University,](https://www.pdfsearch.io/img/f4de88dbf7bf15c6084cd211e8ef69f1.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2016-08-24 14:55:21
|
---|
5![LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University](https://www.pdfsearch.io/img/e3ff3c96ddaafd20a41a7d59436a9071.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2017-01-20 09:52:58
|
---|
6![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
|
---|
7![Overview Representation Synchronization Synthesis Overview Representation Synchronization Synthesis](https://www.pdfsearch.io/img/4f3ebfcad0560c9ea6f1a38ec11798eb.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
8![Qlose: Program Repair with Quantitative Objectives? Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison Qlose: Program Repair with Quantitative Objectives? Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison](https://www.pdfsearch.io/img/8a6509074d130a464e609333521e2440.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
9![Motivation Groundwork Distance-Tracking Automata Motivation Groundwork Distance-Tracking Automata](https://www.pdfsearch.io/img/9af721e9f5a7ad2f8d2a54be1828210f.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
10![From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4 From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4](https://www.pdfsearch.io/img/a9c1b4bbca4cf2e00ae62ff1c29adfe6.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|