Purdue University - PDFSEARCH.IO - Document Search Engine

Purdue University
Results: 5254

#	Item
1	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Automated theorem proving Concolic testing Software testing Equations Z3 Solver Equation solving Mathematics Abstraction Software engineering
2	Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2016-08-24 14:55:21 Cryptography Artificial intelligence Human-based computation Computing Cryptocurrencies CAPTCHA Computer security Computer vision Proof-of-work system Hashcash Challengeresponse authentication Zero-knowledge proof
3	LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2017-01-20 09:52:58 Computing Software engineering Computer programming Parser generators Compiling tools Functional programming Parser combinator Parsing Lex Scala Apache HTTP Server
4	Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Boolean algebra Forcing Theoretical computer science Mathematics Complete Boolean algebra Order theory Assertion Mathematical logic
5	Qlose: Program Repair with Quantitative Objectives? Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematics Computer programming Software engineering Source code Syntax Dependency grammar NC Term For loop Kazhdan's property
6	Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematical logic Theoretical computer science Mathematics Formal methods Boolean algebra Temporal logic Edsger W. Dijkstra Predicate transformer semantics Model theory Hoare logic True quantified Boolean formula Linear temporal logic
7	An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson, Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Concurrency control Computing Edsger W. Dijkstra Concurrent computing Computer programming Concurrency Transaction processing Synchronization Lock Monitor Parallel computing Granularity
8	Roopsha Samanta Assistant Professor Department of Computer Science Purdue University Í Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-10-03 12:50:28 Theoretical computer science Computing Computer science Symposium on Principles of Programming Languages Electronic design automation Formal methods Logic in computer science Computer Aided Verification Helmut Veith High-level synthesis Formal verification Computer music
9	Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin. Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematics Formal languages Temporal logic Syntax Metalogic Logic Metaphilosophy Model theory Linear temporal logic Interpretation Computation tree logic Variable
10	Robustness Analysis of String Transducers? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2?? , and Swarat Chaudhuri3 1 University of Texas at Austin 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Levenshtein distance Linguistics Theoretical computer science Finite-state transducer Mathematics Nested stack automaton