31![Statistical Deobfuscation of Android Applications Benjamin Bichsel Veselin Raychev Statistical Deobfuscation of Android Applications Benjamin Bichsel Veselin Raychev](https://www.pdfsearch.io/img/f1dc186affad90100d823e3572f37451.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:55:59
|
---|
32![PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich](https://www.pdfsearch.io/img/5071ada7881d1019c1c690897bd48189.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:57:47
|
---|
33![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 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](https://www.pdfsearch.io/img/fb15c7f5c5734823f0e5d3a49f2bd169.jpg) | Add to Reading ListSource URL: www.hsbc.lk- Date: 2017-02-19 22:40:15
|
---|
34![Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2](https://www.pdfsearch.io/img/5aa93f1425c466a05454d93634e27b69.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2015-09-28 14:39:27
|
---|
35![Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev](https://www.pdfsearch.io/img/e7a3cfe3d244815943dae176a9f9cbdc.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:00
|
---|
36![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 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](https://www.pdfsearch.io/img/7b819175ef2738fcb60bdc39f999f2d1.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:55:59
|
---|
37![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 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](https://www.pdfsearch.io/img/bf0519b1d9aca3bc8829a248fdc28e32.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 13:33:30
|
---|
38![PSI: Exact Symbolic Inference for Probabilistic Programs Timon Gehr1 , Sasa Misailovic1,2 , and Martin Vechev1 1 2 PSI: Exact Symbolic Inference for Probabilistic Programs Timon Gehr1 , Sasa Misailovic1,2 , and Martin Vechev1 1 2](https://www.pdfsearch.io/img/057edd1e04c86243a9f87c87627f0eae.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:02
|
---|
39![Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA](https://www.pdfsearch.io/img/6bbdd28df67461d59cbd8eb5538b2756.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-08-25 09:00:40
|
---|
40![SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination by Dejan Jovanovi´c SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination by Dejan Jovanovi´c](https://www.pdfsearch.io/img/5403d605578a697f432e461605bf942b.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-28 01:48:55
|
---|