Time-Bounded Analysis of RealTime Systems Sagar Chaki1, Arie Gurfinkel1, Ofer Strichman2, Soonho Kong1 1Software

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Software Engineering Institute
• Carnegie Mellon Silicon Valley
• Alan Turing
• Mathematics
• British people
• Pittsburgh

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

Source URL: rishabhmit.bitbucket.io

• Software engineering
• Computing
• Computer programming
• Programming languages
• Source code
• Syntax
• ALGOL 68
• Artificial neural network
• Exception handling
• Semantics
• For loop

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

Source URL: rishabhmit.bitbucket.io

• Information theory
• Mathematics
• K-means clustering
• Adjusted mutual information
• Hierarchical clustering
• Applied mathematics
• Algorithm
• Mutual information
• Machine learning
• Cognitive science
• Consensus clustering
• Cluster analysis

Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

Source URL: arieg.bitbucket.io

• 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

UFO: From Underapproximations to Overapproximations and Back! Arie Gurfinkel (SEI/CMU) with Aws Albarghouthi and

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Television
• Abstract interpretation
• Interpolation
• Mellon
• UFO
• Refinement
• Unidentified flying object
• Terminology

Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani

Source URL: rishabhmit.bitbucket.io

• Computer programming
• Computing
• Software engineering
• Formal languages
• Comparison of programming languages
• Regular expression
• Natural transformation
• Recursion
• Scheme
• String
• Lookup table
• Conditional

BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011

Source URL: arieg.bitbucket.io

• 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

Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani Microsoft Research, Redmond, USA

Source URL: rishabhmit.bitbucket.io

Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Software Engineering Institute
• Carnegie Mellon Silicon Valley
• Software engineering
• Mellon
• Pittsburgh

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• 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