DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

Source URL: www.react.uni-saarland.de

• Automated theorem proving
• Concolic testing
• Software testing
• Equations
• Z3
• Solver
• Equation solving
• Mathematics
• Abstraction
• Software engineering

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

Source URL: www.cs.purdue.edu

• Finite automata
• Abstract algebra
• Algebra
• Finite-state transducer
• Mathematics
• Theoretical computer science
• Finite-state machine
• Semigroup action
• Kazhdan's property
• Tree transducer

Overview Abstraction The Rest

Source URL: www.cs.purdue.edu

• Concurrent computing
• Scheduling
• Computer architecture
• System software
• Preemption
• Thread
• Cooperative multitasking
• Preempt
• Synchronization
• Computing

Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University,

Source URL: eprint.iacr.org

• Cryptography
• Artificial intelligence
• Human-based computation
• Computing
• Cryptocurrencies
• CAPTCHA
• Computer security
• Computer vision
• Proof-of-work system
• Hashcash
• Challengeresponse authentication
• Zero-knowledge proof

LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University

Source URL: lampwww.epfl.ch

• Computing
• Software engineering
• Computer programming
• Parser generators
• Compiling tools
• Functional programming
• Parser combinator
• Parsing
• Lex
• Scala
• Apache HTTP Server

Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria

Source URL: www.cs.purdue.edu

• Boolean algebra
• Forcing
• Theoretical computer science
• Mathematics
• Complete Boolean algebra
• Order theory
• Assertion
• Mathematical logic

Overview Representation Synchronization Synthesis

Source URL: www.cs.purdue.edu

Qlose: Program Repair with Quantitative Objectives? Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison

Source URL: www.cs.purdue.edu

• Mathematics
• Computer programming
• Software engineering
• Source code
• Syntax
• Dependency grammar
• NC
• Term
• For loop
• Kazhdan's property

Motivation Groundwork Distance-Tracking Automata

Source URL: www.cs.purdue.edu

• Formal languages
• Finite automata
• Combinatorics
• Combinatorics on words
• Mathematics
• Discrete mathematics
• Mealy machine
• Alphabet
• String
• Finite-state transducer
• Tree transducer

From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Mathematics
• Logic in computer science
• Proof theory
• Programming language semantics
• Metalogic
• Model theory
• Symbol
• Net
• Constructible universe
• Sequent
• Permutation