Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨

Source URL: seahorn.github.io

• Mathematics
• Infinite loop
• Recursion
• Function
• Computability theory
• Computing

Interpolants in Nonlinear Theories over the Reals Sicun Gao and Damien Zufferey? MIT Revised on June 17, 2016.

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• NP-complete problems
• Interpolation
• Craig interpolation
• Boolean satisfiability problem
• Interval arithmetic
• Local consistency

Revive: Rebalancing Off-Blockchain Payment Networks

Source URL: acmccs.github.io

• Cryptocurrencies
• Blockchains
• Economy
• Bitcoin
• Computing
• Money
• Alternative currencies
• Ethereum
• Lightning Network
• Smart contract
• RootStock
• Rebalancing investments

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

Luna Andre Ornish, Vinay Gupta, Aella, Dr. Aeron Buchanan Draft 1 · 24 October 2017 Abstract Online dating has emerged as one of the most extensive and still-growing online industries, but user experience remains poor d

Source URL: lunalabs.github.io

• Software
• Computing
• Online dating services
• Social software
• Instant messaging clients
• Geosocial networking
• IAC
• Online chat
• Bumble
• OkCupid
• Tinder
• Messages

Program Analyses for Understanding the Behavior and Performance of Traditional and Mobile Object-Oriented Software Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in

Source URL: dacongy.github.io

• Computing
• Software engineering
• Software review
• Program analysis
• Software testing
• Object-oriented programming languages
• Static program analysis
• Java
• Android
• Software quality
• Computer programming
• Memory leak

Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli

Source URL: mebsout.github.io

• Mathematical logic
• Mathematics
• Theoretical computer science
• Temporal logic
• Logic in computer science
• Model theory
• Formal methods
• Linear temporal logic
• Satisfiability modulo theories
• First-order logic
• Propositional calculus
• IP

Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: seahorn.github.io

• Mathematics
• Abstract algebra
• Mathematical analysis
• Graph
• Graph theory
• Partial derivative
• Valuation
• Representation
• Voltage graph
• operator

Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Source URL: pxtp.github.io

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Dependently typed programming
• Formal methods
• Logical framework
• Proof theory
• First-order logic
• Lambda calculus
• Calculus of constructions

f´ evrier 2013 Journ´ ees Francophones des Langages Applicatifs

Source URL: mebsout.github.io