SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Source URL: seahorn.github.io

• Mathematics
• Symbol
• 120-cell
• Craig interpolation
• Computability theory
• Fiber bundles
• Differential topology

BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Functions and mappings
• Function
• Graph of a function
• Abstraction
• Structure

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

XXXX Authentication Challenges in a Global Environment Stephanos Matsumoto, Carnegie Mellon University/ETH Zurich Raphael M. Reischuk, ETH Zurich Pawel Szalachowski, ETH Zurich Tiffany Hyun-Jin Kim, HRL Laboratories

Source URL: www.netsec.ethz.ch

• Cryptography
• Public-key cryptography
• Key management
• Transport Layer Security
• Internet Standards
• Public key infrastructure
• Domain Name System Security Extensions
• Public key certificate
• Certificate authority
• X.509
• DNS root zone
• Man-in-the-middle attack

UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Compilers
• LLVM
• Carnegie Mellon University
• Unidentified flying object
• Mellon
• Carnegie
• Arie
• Software

DIPHONE COLLECTION AND SYNTHESIS
Kevin A. Lenzo , Alan W Black International Software Research Institute, Language Technologies Institute, Carnegie Mellon University,

Source URL: www.cs.cmu.edu

Bin He, Professor and Head Department of Biomedical Engineering, Carnegie Mellon University Ph.D., 1988, Tokyo Institute of Technology; Postdoc, Harvard University - M.I.T. Professor Bin He’s research is centered aroun

Source URL: www.bme.cmu.edu

Challenges and Solutions for Automated Repair of C Code Will Klieber Software Engineering Institute Carnegie Mellon University

Source URL: s3.amazonaws.com

Life-Cycle Fertility and Human Capital Accumulation TSBWP 2004-E16 George-Levi Gayle Tepper School of Business, Carnegie Mellon University Robert A. Miller

Source URL: www.comlabgames.com

Ultraproducts and Large Cardinals: The Early History Dana S. Scott University Professor Emeritus Carnegie Mellon University

Source URL: logic.harvard.edu