Statistical Deobfuscation of Android Applications Benjamin Bichsel Veselin Raychev

Source URL: files.sri.inf.ethz.ch

• Computing
• Obfuscation
• ProGuard
• Smartphones
• Android
• Graphical model
• JAR

PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich

Source URL: files.sri.inf.ethz.ch

• Async/await
• Control flow
• Stan
• Symposium on Principles of Programming Languages
• Phog
• Machine learning
• Futures and promises
• PL
• Probability and statistics
• Computing
• Software engineering

NOTICE Dear Valued Customer We regret to inform you that, with effect from 17 February 2017, HSBC Sri Lanka has ceased providing FCY Demand Drafts (DD) in currencies listed below. If you wish to send payments in these

Source URL: www.hsbc.lk

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: csl.sri.com

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev

Source URL: files.sri.inf.ethz.ch

• Computing
• Software engineering
• Machine translation
• Linguistics
• Compiler construction
• Computational linguistics
• Applied linguistics
• Statistical natural language processing
• Statistical machine translation
• Parsing
• Translation
• Syntax

Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Artificial neural networks
• Computational neuroscience
• Machine learning
• Artificial intelligence
• Applied mathematics
• Computational linguistics
• Natural language processing
• Speech recognition
• Convolutional neural network
• Language model
• Long short-term memory
• Neural network

A Tale Of Two Solvers: Eager and Lazy Approaches to Bit-vectors? Liana Hadarean1 , Kshitij Bansal1 , Dejan Jovanovi´c3 , Clark Barrett1 , and Cesare Tinelli2 1 2

Source URL: csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• Conflict-driven clause learning
• Solver

PSI: Exact Symbolic Inference for Probabilistic Programs Timon Gehr1 , Sasa Misailovic1,2 , and Martin Vechev1 1 2

Source URL: files.sri.inf.ethz.ch

• Mathematical analysis
• Probability theory
• Statistical theory
• Graphical models
• Normal distribution
• Infinitely divisible probability distributions
• Bayesian statistics
• Bayesian network
• Substitution
• Variational Bayesian methods
• Exponential family
• Dirac delta function

Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Mathematical logic
• Mathematics
• Boolean algebra
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Propositional calculus
• Model checking

SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination by Dejan Jovanovi´c

Source URL: csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Formal methods
• Logic in computer science
• Computability theory
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Solver
• Entscheidungsproblem
• Decidability