Satisfiability Modulo Theories Competition (SMT-COMP) 2014: Rules and Procedures David R. Cok GrammaTech, Inc. Ithaca, NY (USA)

Source URL: smtcomp.sourceforge.net

• Theoretical computer science
• Computing
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Benchmark
• Solver
• Standard Performance Evaluation Corporation
• Computer performance

The SMT-LIBv2 Language and Tools: A Tutorial David R. Cok GrammaTech, Inc. VersionNovember 23, 2013

Source URL: smtlib.github.io

• Theoretical computer science
• Software engineering
• Constraint programming
• Computing
• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Solver
• SMT
• Constraint satisfaction problem

PRODUCT DATA SHEET CODESONAR FOR BINARIES Intel and ARM Processors

Source URL: www.grammatech.com

Cindy Rubio González University of California, Davis Department of Computer Science 3039 Kemper Hall, Davis, CAE-mail:

Source URL: web.cs.ucdavis.edu

• Association for Computing Machinery
• Programming Language Design and Implementation
• Computer science
• Computing
• SIGPLAN
• GrammaTech
• Computer programmers
• Susan B. Horwitz
• Astre

REPORT DOCUMENTATION PAGE

Source URL: samate.nist.gov

• Software testing
• Address space layout randomization
• Computer network security
• Binary hardening
• Code injection
• SQL injection
• Heap
• Vulnerability
• GrammaTech
• Computer security

Securely Taking on New Executable Software of Uncertain Provenance (STONESOUP) Neutralizing Exploitable Vulnerabilities in Software Program Manager: Mr. W. Konrad Vesey; E-mail: How can we benefit

Source URL: samate.nist.gov

• Software testing
• Computer network security
• Hacking
• Vulnerability
• GrammaTech
• Computer security

Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair Eric Schulte GrammaTech, Inc.

Source URL: www.cs.unm.edu

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

Grammatech, Meet Basil (or “Geeks, Know Thine Selves”) Jonathan Riehl Grammatech, Inc. July 29th, 2005

Source URL: people.cs.uchicago.edu

Finite Differencing of Logical Formulas for Static Analysis THOMAS REPS University of Wisconsin and GrammaTech, Inc. MOOLY SAGIV Tel Aviv University

Source URL: research.cs.wisc.edu