Bitbucket - PDFSEARCH.IO - Document Search Engine

Bitbucket
Results: 212

#	Item
11	Time-Bounded Analysis of RealTime Systems Sagar Chaki1, Arie Gurfinkel1, Ofer Strichman2, Soonho Kong1 1Software Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Software Engineering Institute Carnegie Mellon Silicon Valley Alan Turing Mathematics British people Pittsburgh
12	Published as a conference paper at ICLRDYNAMIC N EURAL P ROGRAM E MBEDDINGS FOR P RO GRAM R EPAIR arXiv:1711.07163v3 [cs.AI] 25 Feb 2018 Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Software engineering Computing Computer programming Programming languages Source code Syntax ALGOL 68 Artificial neural network Exception handling Semantics For loop
13	Feature Engineering for Clustering Student Solutions Elena L. Glassman Rishabh Singh Robert C. Miller MIT CSAIL, 32 Vassar St. Cambridge, MA {elg,rishabhs,rcm}@mit.edu Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Information theory Mathematics K-means clustering Adjusted mutual information Hierarchical clustering Applied mathematics Algorithm Mutual information Machine learning Cognitive science Consensus clustering Cluster analysis
14	Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Theoretical computer science Formal methods Software engineering Logic in computer science Formal verification Satisfiability modulo theories Abstract interpretation Loop invariant Logic programming Model checking KeY Software verification
15	UFO: From Underapproximations to Overapproximations and Back! Arie Gurfinkel (SEI/CMU) with Aws Albarghouthi and Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Television Abstract interpretation Interpolation Mellon UFO Refinement Unidentified flying object Terminology
16	Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computer programming Computing Software engineering Formal languages Comparison of programming languages Regular expression Natural transformation Recursion Scheme String Lookup table Conditional
17	BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011 Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Systems science Carnegie Mellon University Systems engineering Systems theory Cyberwarfare Software Engineering Institute System of systems Carnegie Mellon Silicon Valley Software engineering Pittsburgh Science and technology in the United States
18	Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani Microsoft Research, Redmond, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57
19	Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1 Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Software Engineering Institute Carnegie Mellon Silicon Valley Software engineering Mellon Pittsburgh
20	Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Software engineering Theoretical computer science Formal methods Computing Computer science Computer security Model checking Verification Formal verification Carnegie Mellon University Proof-carrying code Software Engineering Institute

UPDATE