20 papers:
SAC-2015-RrushiFNHCP #protocol #specification- By-design vulnerabilities in the ANSI C12.22 protocol specification (JLR, HF, RN, CH, KC, AP), pp. 2231–2236.
CC-2014-FranzHKSV #c #compilation #named- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
IFM-2012-RochaBCN #bound #comprehension #debugging #model checking #programming #using- Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples (HR, RSB, LCC, ADN), pp. 128–142.
SEFM-2011-MorseCNF #bound #ltl #model checking- Context-Bounded Model Checking of LTL Properties for ANSI-C Software (JM, LCC, DN, BF), pp. 302–317.
CAV-2011-JoseM #fault #locality #named #source code- Bug-Assist: Assisting Fault Localization in ANSI-C Programs (MJ, RM), pp. 504–509.
ASE-2009-CordeiroFM #bound #embedded #model checking #smt- SMT-Based Bounded Model Checking for Embedded ANSI-C Software (LCC, BF, JMS), pp. 137–148.
- ASE-2009-KroeningSTTW #named #source code
- Loopfrog: A Static Analyzer for ANSI-C Programs (DK, NS, ST, AT, CMW), pp. 668–670.
PLDI-2009-Oiwa #compilation #implementation- Implementation of the memory-safe full ANSI-C compiler (YO), pp. 259–269.
ECSA-2008-FankamJBA #approach #architecture #database #ontology #semantics- Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach (CF, SJ, LB, YAA), pp. 318–321.
TACAS-2005-ClarkeKSY #abstraction #named #satisfiability- SATABS: SAT-Based Predicate Abstraction for ANSI-C (EMC, DK, NS, KY), pp. 570–574.
- TACAS-2004-ClarkeKL #source code
- A Tool for Checking ANSI-C Programs (EMC, DK, FL), pp. 168–176.
LDTA-2002-GondowK #c #slicing #towards #using #xml- Towards ANSI C Program Slicing using XML (KG, HK), pp. 30–49.
ICSM-1999-JohnstoneSW #assembly #compilation #experience- Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C (AJ, ES, TW), pp. 316–325.
- CC-1999-BoekholdKCC #c #programmable
- A Programmable ANSI C Transformation Engine (MB, IK, HC, AGMC), pp. 292–295.
- ASE-1998-TemplerJ #automation #c #configuration management
- A Configurable Automatic Instrumentation Tool for ANSI C (KT, CLJ), p. 249–?.
SIGMOD-1995-BerensonBGMOO #sql- A Critique of ANSI SQL Isolation Levels (HB, PAB, JG, JM, EJO, PEO), pp. 1–10.
POPL-1995-Proebsting #c #interpreter #optimisation- Optimizing an ANSI C Interpreter with Superoperators (TAP), pp. 322–332.
VLDB-1980-Brodie80a #approach #database #relational #standard- Standardization and the Relational Approach to Databases: An ANSI Task Group Status Report (MLB), pp. 326–327.
- VLDB-1978-Manola #database #framework #on the
- On Relating the CODASYL Database Languages and the ANSI/SPARC Framework (FM), p. 132.
- VLDB-1977-KlugT #framework #multi
- Multiple View Support within the ANSI/SPARC Framework (ACK, DT), pp. 477–488.
