BibSLEIGH — c tag

C Programming
Wikidata

Q15777

C (programming language)
Wikipedia

Си (язык программирования)

Tag #c

324 papers:

POPL-2020-BartheBGHLPT #compilation #verification: Formal verification of a constant-time preserving C compiler (GB, SB, BG, RH, VL, DP, AT), p. 30.
EDM-2019-TaniguchiSK #fault #process #programming: Investigating Error Resolution Processes in C Programming Exercise Courses (YT, AS, SK).
FM-2019-BeringerA #abstraction #composition #source code #verification: Abstraction and Subsumption in Modular Verification of C Programs (LB, AWA), pp. 573–590.
OOPSLA-2019-WangCMH #data type #source code: Certifying graph-manipulating C programs via localizations within data structures (SW, QC, AM, AH), p. 30.
PLDI-2019-KapusIIRC #refactoring #string #summary #testing: Computing summaries of string loops in C for better testing and refactoring (TK, OIS, SI, NR, CC), pp. 874–888.
PLDI-2019-PowersTB0 #c++ #memory management #named: Mesh: compacting memory management for C/C++ applications (BP, DT, EDB, AM0), pp. 333–346.
POPL-2019-MemarianGDKRWS #pointer #semantics: Exploring C semantics and pointer provenance (KM, VBFG, BD, SK, AR, RNMW, PS), p. 32.
ASE-2019-LiuSTWY #encryption #source code #verification: Verifying Arithmetic in Cryptographic C Programs (JL, XS, MHT, BYW, BYY), pp. 552–564.
GPCE-2019-KramerW #nondeterminism #parallel #programming: Parallel nondeterministic programming as a language extension to C (short paper) (LK, EVW), pp. 20–26.
ASPLOS-2019-DavisWRNMBCCFGJ #named #pointer #runtime: CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment (BD, RNMW, AR, PGN, SWM, JB, DC, JC, NWF, KG, AJ, BL, ATM, JEM, AM, ETN, RMN, MR, PS, SDS, JW), pp. 379–393.
ESOP-2019-FruminGK #automation #nondeterminism #reasoning: Semi-automated Reasoning About Non-determinism in C Expressions (DF, LG, RK), pp. 60–87.
FASE-2019-QianZWO #modelling #named #source code #verification: KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs (JQ, MZ0, YW, KO0), pp. 299–305.
CAV-2019-LauGMPS #concurrent #named #semantics: Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C (SL, VBFG, KM, JPP, PS), pp. 387–397.
ICPC-2018-GaoMSSZMMDDZC #c++ #debugging #detection #named: CoBOT: static C/C++ bug detection in the presence of incomplete code (QG, SM, SS, YS, GZ, LM, XM, FD, XD, SZ, XC), pp. 385–388.
FM-2018-BergerKAWR #case study #experience #verification: Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain (PB, JPK, EÁ, MTBW, TR), pp. 312–328.
PLDI-2018-DuckY #c++ #detection #effectiveness #fault #memory management #named #using: EffectiveSan: type and memory error detection using dynamically typed C/C++ (GJD, RHCY), pp. 181–195.
POPL-2018-Kokologiannakis #c++ #concurrent #effectiveness #model checking: Effective stateless model checking for C/C++ concurrency (MK, OL, KS, VV), p. 32.
POPL-2018-MeloRAP #semantics #source code: Inference of static semantics for incomplete C programs (LTCM, RGR, MRdA, FMQP), p. 28.
SAS-2018-BagnaraBH #analysis #development #embedded #standard: The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software (RB, AB, PMH), pp. 5–23.
SAS-2018-JournaultMO #composition #source code #static analysis #string: Modular Static Analysis of String Manipulations in C Programs (MJ, AM, AO), pp. 243–262.
ASE-2018-GadelhaMMC0N #model checking: ESBMC 5.0: an industrial-strength C model checker (MYRG, FRM, JM, LCC, BF0, DAN), pp. 888–891.
ASE-2018-HaririS #mutation testing #named #representation #source code #testing #tool support: SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation (FH, AS), pp. 860–863.
ASE-2018-ScalabrinoGNGLG #generative #named #search-based #testing: OCELOT: a search-based test-data generation tool for C (SS, GG, DDN, MG, ADL, HCG, RO), pp. 868–871.
ESEC-FSE-2018-LeeHO #fault #memory management #named #static analysis: MemFix: static analysis-based repair of memory deallocation errors for C (JL, SH, HO), pp. 95–106.
ICSE-2018-KimCK #precise #source code #testing #using: Precise concolic unit testing of C programs using extended units and symbolic alarm filtering (YK, YC, MK), pp. 315–326.
ASPLOS-2018-RiggerSMGM #debugging #execution #fault #source code: Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model (MR, RS, RM, MG, HM), pp. 377–391.
TAP-2018-BlatterKGPP #relational #self #verification: Static and Dynamic Verification of Relational Properties on Self-composed C Code (LB, NK, PLG, VP, GP), pp. 44–62.
TAP-2018-VorobyovKS #case study #detection #experience #runtime #security #using #verification: Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report (KV, NK, JS), pp. 139–156.
SCAM-2017-SzalayPK #c++ #clustering #source code #towards: Towards Better Symbol Resolution for C/C++ Programs: A Cluster-Based Solution (RS, ZP, DK), pp. 101–110.
ECMFA-2017-KlugeSGSM #embedded #generative #modelling #named #network: cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks (RK, MS, DG, AS, MM), pp. 109–125.
LOPSTR-2017-AlbertiS #analysis #generative #specification #tool support: Context Generation from Formal Specifications for C Analysis Tools (MA, JS), pp. 93–111.
SAS-2017-GurfinkelN #c++ #memory management #source code #verification: A Context-Sensitive Memory Model for Verification of C/C++ Programs (AG, JAN), pp. 148–168.
ASE-2017-RupprechtC0BLB #c++ #data type #identification #named: DSIbin: identifying dynamic data structures in C/C++ binaries (TR, XC0, DHW0, JHB, GL, HB), pp. 331–341.
ESEC-FSE-2017-TianR #automation #debugging #fault: Automatically diagnosing and repairing error handling bugs in C (YT, BR), pp. 752–762.
ASPLOS-2017-ChisnallDGBJWMM #java #security: CHERI JNI: Sinking the Java Security Model into the C (DC, BD, KG, DB, AJ, JW, ATM, JEM, RMN, SDS, MR, SWM, PGN, BL, RNMW), pp. 569–583.
TAP-2017-BaranyS #analysis #data flow #hybrid: Hybrid Information Flow Analysis for Real-World C Code (GB, JS), pp. 23–40.
VMCAI-2017-AbalBW #abstraction #debugging #effectiveness #source code: Effective Bug Finding in C Programs with Shape and Effect Abstractions (IA, CB, AW), pp. 34–54.
SCAM-2016-BlanchardKLL #composition #named #parallel #plugin #source code #verification: Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs (AB, NK, ML, FL), pp. 67–72.
SCAM-2016-LossingGI #compilation #concept #dependence #graph #text-to-text: Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers (NL, PG, FI), pp. 167–176.
FM-2016-Mukherjee0GKM #equivalence #float: Equivalence Checking of a Floating-Point Unit Against a High-Level C Model (RM, SJ0, AG, DK, TM), pp. 551–558.
ICFP-2016-BlazyLP #memory management: An abstract memory functor for verified C static analyzers (SB, VL, DP), pp. 325–337.
MoDELS-2016-Blache #bound #development #embedded #modelling #safety #using: Handling index-out-of-bounds in safety-critical embedded C code using model-based development (GB), pp. 143–149.
PLDI-2016-CostanzoSG #assembly #data flow #security #source code #verification: End-to-end verification of information-flow security for C and assembly programs (DC, ZS, RG), pp. 648–664.
SAS-2016-BalatsourasS #analysis #c++ #points-to: Structure-Sensitive Points-To Analysis for C and C++ (GB, YS), pp. 84–104.
ASE-2016-KangRJ #api #automation #fault #named #specification: APEx: automated inference of error specifications for C APIs (YJK, BR, SJ), pp. 472–482.
ASE-2016-MaasNL #array #library: Array length inference for C library bindings (AJM, HN, BL), pp. 461–471.
FSE-2016-YoshidaTPGU #c++ #fine-grained #generative #incremental #named #source code #testing: FSX: a tool for fine-grained incremental unit test generation for C/C++ programs (HY, ST, MRP, IG, TU), pp. 1052–1056.
ICSE-2016-SpinellisLK #case study #evolution #operating system #programming: The evolution of C programming practices: a study of the Unix operating system 1973-2015 (DS, PL, MK), pp. 748–759.
SLE-2016-LuoA #configuration management #modelling #named #programming #semantics #state machine: BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment (ZL, JMA), pp. 105–117.
CGO-2016-ChakrabortyV #c++ #concurrent #optimisation #source code #validation: Validating optimizations of concurrent C/C++ programs (SC, VV), pp. 216–226.
ICST-2016-TokumotoYSH #analysis #higher-order #mutation testing #named #virtual machine: MuVM: Higher Order Mutation Analysis Virtual Machine for C (ST, HY, KS, SH), pp. 320–329.
ITiCSE-2015-ParreiraPC #named #student: PCRS-C: Helping Students Learn C (DMP, AP, MC), p. 347.
SEFM-2015-RochaBC #bound #generative #memory management #model checking #source code #testing #using: Memory Management Test-Case Generation of C Programs Using Bounded Model Checking (HR, RSB, LCC), pp. 251–267.
SEFM-2015-RockaiSB #c++ #model checking: Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
CEFP-2015-Grelck #compilation #perspective: Single Assignment C (SAC) - The Compilation Technology Perspective (CG), pp. 207–282.
ICFP-2015-RompfA #compilation #functional #sql: Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.
ECOOP-2015-MedeirosKRNG #preprocessor: The Love/Hate Relationship with the C Preprocessor: An Interview Study (FM, CK, MR, SN, RG), pp. 495–518.
OOPSLA-2015-VoelterDKE #case study #embedded #using: Using C language extensions for developing embedded software: a case study (MV, AvD, BK, SE), pp. 655–674.
PADL-2015-TamaritVCM #haskell #implementation #program transformation #rule-based #source code: A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.
PLDI-2015-HathhornER: Defining the undefinedness of C (CH, CE, GR), pp. 336–345.
PLDI-2015-KangHMGZV #memory management: A formal C memory model supporting integer-pointer casts (JK, CKH, WM, DG, SZ, VV), pp. 326–335.
POPL-2015-Agten0P #composition #verification: Sound Modular Verification of C Code Executing in an Unverified Context (PA, BJ, FP), pp. 581–594.
POPL-2015-JourdanLBLP: A Formally-Verified C Static Analyzer (JHJ, VL, SB, XL, DP), pp. 247–259.
ESEC-FSE-2015-NagappanRKTMMH #empirical #git #goto #repository: An empirical study of goto in C code from GitHub repositories (MN, RR, YK, ÉT, SM, AM, AEH), pp. 404–414.
ICSE-v1-2015-GaoXMZYZXM #source code: Safe Memory-Leak Fixing for C Programs (QG, YX, YM, LZ, WY, ZZ, BX, HM), pp. 459–470.
ICSE-v2-2015-Schwartz-Narbonne #named #source code: VERMEER: A Tool for Tracing and Explaining Faulty C Programs (DSN, CO, MS, TW), pp. 737–740.
SAC-2015-BispoRC #generative #matlab: C and OpenCL generation from MATLAB (JB, LR, JMPC), pp. 1315–1320.
SAC-2015-JakobssonKS #hybrid #memory management #monitoring #performance: Fast as a shadow, expressive as a tree: hybrid memory monitoring for C (AJ, NK, JS), pp. 1765–1772.
SAC-2015-MilewiczVTQP #runtime #source code: Runtime checking C programs (RM, RV, JT, DQ, PP), pp. 2107–2114.
ASPLOS-2015-ChisnallRWWVMRD #architecture #automaton: Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine (DC, CR, RNMW, JW, MV, SWM, MR, BD, PGN), pp. 117–130.
TACAS-2015-GurfinkelKN #contest #framework #named #source code #verification: SeaHorn: A Framework for Verifying C Programs (Competition Contribution) (AG, TK, JAN), pp. 447–450.
TACAS-2015-Nguyen0TP #bound #contest #lazy evaluation #source code: Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches — (Competition Contribution) (TLN, BF, SLT, GP), pp. 461–463.
TACAS-2015-StroderAFHG #contest #memory management #named #safety #source code #termination: AProVE: Termination and Memory Safety of C Programs — (Competition Contribution) (TS, CA, FF, JH, JG), pp. 417–419.
CSMR-WCRE-2014-QuanteTS #case study #towards: Towards recovering and exploiting domain knowledge from C code: A case study on automotive software (JQ, MT, JS), pp. 383–386.
ICSME-2014-SahaLKP #debugging #effectiveness #information retrieval #locality #on the #source code: On the Effectiveness of Information Retrieval Based Bug Localization for C Programs (RKS, JL, SK, DEP), pp. 161–170.
SCAM-2014-HutchinsBS #analysis #c++ #concurrent #safety #thread: C/C++ Thread Safety Analysis (DH, AB, DS), pp. 41–46.
SCAM-2014-PetiotBJKS #generative #source code #testing: Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
SCAM-2014-YoshidaH #semiparsing #source code #syntax: A Pattern Search Method for Unpreprocessed C Programs Based on Tokenized Syntax Trees (AY, YH), pp. 295–304.
ICEIS-v2-2014-DingTZ #automation #c++ #source code: Automatic Removal of Buffer Overflow Vulnerabilities in C/C++ Programs (SD, HBKT, HZ), pp. 49–59.
OOPSLA-2014-ZhangXZYS #alias #analysis #performance: Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.
PLDI-2014-Carbonneaux0RS #bound #source code #verification: End-to-end verification of stack-space bounds for C programs (QC, JH, TR, ZS), p. 30.
PLDI-2014-GreenawayLAK #verification: Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.
PLDI-2014-PekQM #data type #logic #proving #using: Natural proofs for data structure manipulation in C using separation logic (EP, XQ, PM), p. 46.
POPL-2014-Krebbers #axiom #nondeterminism #semantics #sequence: An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
ASE-2014-MolotnikovVR #automation #verification: Automated domain-specific C verification with mbeddr (ZM, MV, DR), pp. 539–550.
FSE-2014-OverbeyBH #metaprogramming #refactoring: A foundation for refactoring C with macros (JLO, FB, MH), pp. 75–85.
CC-2014-FranzHKSV #compilation #named: CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
DAC-2014-SampathRR #validation: Translation Validation for Stateflow to C (PS, ACR, SR), p. 6.
ESOP-2014-BeringerSDA #compilation: Verified Compilation for Shared-Memory C (LB, GS, RD, AWA), pp. 107–127.
TACAS-2014-InversoT0TP #contest #lazy evaluation #named: Lazy-CSeq: A Lazy Sequentialization Tool for C — (Competition Contribution) (OI, ET, BF, SLT, GP), pp. 398–401.
TACAS-2014-KroeningT #bound #contest #model checking #named: CBMC — C Bounded Model Checker — (Competition Contribution) (DK, MT), pp. 389–391.
TACAS-2014-TomascoI0TP #contest #memory management #named #source code: MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings — (Competition Contribution) (ET, OI, BF, SLT, GP), pp. 402–404.
CAV-2014-InversoT0TP #bound #concurrent #lazy evaluation #model checking #multi #source code #thread: Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization (OI, ET, BF, SLT, GP), pp. 585–602.
ICST-2014-DelamaroDDLO #evaluation: Experimental Evaluation of SDL and One-Op Mutation for C (MED, LD, VHSD, NL, JO), pp. 203–212.
ISSTA-2014-XuZXW #named #source code: Canalyze: a static bug-finding tool for C programs (ZX, JZ, ZX, JW), pp. 425–428.
ITiCSE-2013-EganM #fault #runtime: Reducing novice C programmers’ frustration through improved runtime error checking (MHE, CM), p. 322.
WCRE-2013-ChenSB #detection #memory management: Who allocated my memory? Detecting custom memory allocators in C binaries (XC, AS, HB), pp. 22–31.
WCRE-2013-ChenSB13a #detection #memory management #named: MemBrush: A practical tool to detect custom memory allocators in C binaries (XC, AS, HB), pp. 477–478.
WCRE-2013-HallerSB #c++ #data type #detection #named: MemPick: High-level data structure detection in C/C++ binaries (IH, AS, HB), pp. 32–41.
OOPSLA-2013-NorrisD #c++ #concurrent #data type #named: CDSchecker: checking concurrent data structures written with C/C++ atomics (BN, BD), pp. 131–150.
POPL-2013-BattyDG #abstraction #c++ #concurrent #library: Library abstraction for C/C++ concurrency (MB, MD, AG), pp. 235–248.
SAS-2013-BlazyLMP #abstract interpretation #analysis #verification: Formal Verification of a C Value Analysis Based on Abstract Interpretation (SB, VL, AM, DP), pp. 324–344.
ASE-2013-0002IP #concurrent #named #preprocessor #tool support #verification: CSeq: A concurrency pre-processor for sequential C verification tools (BF, OI, GP), pp. 710–713.
ASE-2013-KusanoW #c++ #concurrent #generative #named #parallel #thread: CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.
ESEC-FSE-2013-NavabpourJWBMBF #named #runtime #source code #verification: RiTHM: a tool for enabling time-triggered runtime verification for C programs (SN, YJ, CWWW, SB, RM, BB, SF), pp. 603–606.
ICSE-2013-CokerH #integer #program transformation: Program transformations to fix C integers (ZC, MH), pp. 792–801.
ICSE-2013-GargIBMG #c++ #execution #generative #testing #using: Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
ICSE-2013-PastoreMG #c++ #debugging #named #problem: RADAR: a tool for debugging regression problems in C/C++ software (FP, LM, AG), pp. 1335–1338.
SAC-2013-DelahayeKS #dynamic analysis #source code #specification: Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
ISMM-2013-RavitchL #library #memory management: Analyzing memory ownership patterns in C libraries (TR, BL), pp. 97–108.
LCTES-2013-Beemster #manycore: The role of C in the dark ages of multi-core (MB), pp. 89–90.
TACAS-2013-0002IP #contest #named: CSeq: A Sequentialization Tool for C — (Competition Contribution) (BF, OI, GP), pp. 616–618.
TACAS-2013-FalkeMS #bound #contest #model checking #named #source code #using: LLBMC: Improved Bounded Model Checking of C Programs Using LLVM — (Competition Contribution) (SF, FM, CS), pp. 623–626.
TACAS-2013-FedyukovichSS #incremental #named: eVolCheck: Incremental Upgrade Checker for C (GF, OS, NS), pp. 292–307.
CAV-2013-BarnatBHHKLRSW #c++ #model checking #parallel #source code #thread: DiVinE 3.0 — An Explicit-State Model Checker for Multithreaded C & C++ Programs (JB, LB, VH, JH, JK, ML, PR, VS, JW), pp. 863–868.
CAV-2013-KroeningLW #approximate #detection #performance #source code: Under-Approximating Loops in C Programs for Fast Counterexample Detection (DK, ML, GW), pp. 381–396.
SCAM-2012-LazarescuL #analysis #dependence #parallel #source code: Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs (MTL, LL), pp. 126–131.
WCRE-2012-TrudelFN #automation #eiffel: Automatic C to O-O Translation with C2Eiffel (MT, CAF, MN), pp. 501–502.
WCRE-2012-TrudelFNMO: C to O-O Translation: Beyond the Easy Stuff (MT, CAF, MN, BM, MO), pp. 19–28.
OOPSLA-2012-HaydenSDHF #named #performance: Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.
PLDI-2012-GazzilloG #named #parsing #preprocessor: SuperC: parsing all of C by taming the preprocessor (PG, RG), pp. 323–334.
PLDI-2012-RegehrCCEEY #compilation #debugging #reduction #testing: Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
PLDI-2012-SarkarMOBSMAW #c++: Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
POPL-2012-BattyMOSS #c++ #compilation #concurrent: Clarifying and compiling C/C++ concurrency: from C++11 to POWER (MB, KM, SO, SS, PS), pp. 509–520.
POPL-2012-EllisonR #execution #semantics: An executable formal semantics of C with applications (CE, GR), pp. 533–544.
ICSE-2012-DietzLRA #c++ #comprehension #integer: Understanding integer overflow in C/C++ (WD, PL, JR, VSA), pp. 760–770.
TACAS-2012-BaslerDKKTW #contest #named #source code #verification: satabs: A Bit-Precise Verifier for C Programs — (Competition Contribution) (GB, AFD, AK, DK, MT, TW), pp. 552–555.
CAV-2012-Moskal #bound #infinity #verification: From C to Infinity and Back: Unbounded Auto-active Verification with VCC (MM), p. 6.
CAV-2012-RondonBKJ #named #verification: CSolve: Verifying C with Liquid Types (PMR, AB, MK, RJ), pp. 744–750.
ICST-2012-DanH12a #mutation testing #named #semantics #testing #tool support: SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
VMCAI-2012-MorseVMM #message passing #modelling #source code: Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.
SIGITE-2011-Federici #implementation #programming language: A minimal, extensible, drag-and-drop implementation of the C programming language (SF), pp. 191–196.
SCAM-2011-Mehlich #memory management #named #validation: CheckPointer — A C Memory Access Validator (MM), pp. 165–172.
RTA-2011-FalkeKS #analysis #compilation #source code #termination #using: Termination Analysis of C Programs Using Compiler Intermediate Languages (SF, DK, CS), pp. 41–50.
CEFP-2011-Grelck #performance: Single Assignment C (SAC) High Productivity Meets High Performance (CG), pp. 207–278.
PLDI-2011-YangCER #compilation #comprehension #debugging: Finding and understanding bugs in C compilers (XY, YC, EE, JR), pp. 283–294.
ICSE-2011-BhattacharyaN #c++ #case study #development #maintenance #programming language: Assessing programming language impact on development and maintenance: a study on c and c++ (PB, IN), pp. 171–180.
SAC-2011-LimJLW #education #visualisation: Style Avatar: a visualization system for teaching C coding style (JSL, JHJ, YJL, GW), pp. 1210–1211.
SAC-2011-Mammar #approach #detection #overview: An overview of a proof-based approach to detecting C vulnerabilities (AM), pp. 1343–1344.
DATE-2011-TraulsenAH #compilation: Compiling SyncCharts to Synchronous C (CT, TA, RvH), pp. 563–566.
ESOP-2011-Mine #embedded #fault #parallel #runtime #source code #static analysis: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
ICTSS-2011-MammarCJMO #detection #source code #testing #using: Using Testing Techniques for Vulnerability Detection in C Programs (AM, ARC, WJ, WM, EMdO), pp. 80–96.
TAP-2011-ChebaroKGJ #analysis #debugging #generative #slicing #testing: The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.
SCAM-2010-SimpsonB #memory management #named #runtime #safety: MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime (MSS, RB), pp. 199–208.
WCRE-2010-ChenWZZHNQCG #decompiler #readability: A Refined Decompiler to Generate C Code with High Readability (GC, ZW, RZ, KZ, SH, KN, ZQ, KC, HG), pp. 150–154.
IFM-2010-AutexierL #impact analysis #source code #verification: Adding Change Impact Analysis to the Formal Verification of C Programs (SA, CL), pp. 59–73.
POPL-2010-MartinHCAC #c++ #concurrent #policy #source code: Dynamically checking ownership policies in concurrent c/c++ programs (JPM, MH, MC, PA, MC), pp. 457–470.
ISMM-2010-NagarakatteZMZ #compilation #named #safety: CETS: compiler enforced temporal safety for C (SN, JZ, MMKM, SZ), pp. 31–40.
TAP-2010-ChebaroKGJ #debugging #generative #static analysis #testing: Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.
VMCAI-2010-KreikerSV #analysis #low level: Shape Analysis of Low-Level C with Overlapping Structures (JK, HS, VV), pp. 214–230.
ICPC-J-2008-VidacsBG09 #c++ #preprocessor #slicing: Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
SCAM-2009-CanetCM #analysis #source code: A Value Analysis for C Programs (GC, PC, BM), pp. 123–124.
FM-2009-LuthW #source code #specification #verification: Certifiable Specification and Verification of C Programs (CL, DW), pp. 419–434.
HCI-NIMT-2009-TamadaOU #education: Robot Helps Teachers for Education of the C Language Beginners (HT, AO, HU), pp. 377–384.
VISSOFT-2009-TeleaHER #c++ #case study #comparative #dependence #scalability #visualisation: Extraction and visualization of call dependencies for large C/C++ code bases: A comparative study (ACT, HH, OE, DR), pp. 81–88.
OOPSLA-2009-BergerYLN #c++ #named #parallel #programming #thread: Grace: safe multithreaded programming for C/C++ (EDB, TY, TL, GN), pp. 81–96.
PLDI-2009-NagarakatteZMZ #bound #memory management #named #safety: SoftBound: highly compatible and complete spatial memory safety for c (SN, JZ, MMKM, SZ), pp. 245–258.
ASE-2009-SaebjoernsenJQS #metaprogramming #preprocessor #validation: Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.
CC-2009-Padioleau #c++ #parsing #preprocessor: Parsing C/C++ Code without Pre-processing (YP), pp. 109–125.
CGO-2009-DuanFWZY #c++ #concurrent #consistency #detection #source code: Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs (YD, XF, LW, CZ, PCY), pp. 25–34.
DATE-2009-HaastregtK #automation #hardware #network #process #streaming #synthesis: Automated synthesis of streaming C applications to process networks in hardware (SvH, BK), pp. 890–893.
ISMM-2009-RafkindWRF #garbage collection #precise: Precise garbage collection for C (JR, AW, JR, MF), pp. 39–48.
CAV-2009-RyabtsevS #validation: Translation Validation: From Simulink to C (MR, OS), pp. 696–701.
ICST-2009-Gotlieb #constraints #framework #named #source code #testing: Euclide: A Constraint-Based Testing Framework for Critical C Programs (AG), pp. 151–160.
CSMR-2008-Bruntink #exception #legacy #re-engineering: Reengineering Idiomatic Exception Handling in Legacy C Code (MB), pp. 133–142.
ICPC-2008-VidacsJBG #c++ #preprocessor #slicing: Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
SCAM-2008-Cifuentes #debugging #named #scalability: Parfait — A Scalable Bug Checker for C Code (CC), pp. 263–264.
SCAM-2008-GondowKI #analysis #approach #automation #behaviour #named #preprocessor: TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor’s Behaviors (KG, HK, TI), pp. 35–44.
WCRE-2008-DolgovaC #automation #re-engineering #source code: Automatic Type Reconstruction in Disassembled C Programs (KD, AC), pp. 202–206.
SOFTVIS-2008-SundararamanB #c++ #interactive #java #named #runtime #visualisation: HDPV: interactive, faithful, in-vivo runtime state visualization for C/C++ and Java (JS, GB), pp. 47–56.
OOPSLA-2008-NiWABBCGKNOPSTT #c++ #design #implementation #transaction: Design and implementation of transactional constructs for C/C++ (YN, AW, ARAT, MB, SB, JC, RG, SK, RN, JO, SP, BS, AT, XT), pp. 195–212.
PLDI-2008-AndersonGEB #named #parallel #thread: SharC: checking data sharing strategies for multithreaded C (ZRA, DG, RE, EAB), pp. 149–158.
POPL-2008-ZhengR #alias #analysis: Demand-driven alias analysis for C (XZ, RR), pp. 197–208.
ASPLOS-2008-DeviettiBMZ #architecture #bound #named #programming language #safety: Hardbound: architectural support for spatial safety of the C programming language (JD, CB, MMKM, SZ), pp. 103–114.
CC-2008-NitaG #automation #multi: Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts (MN, DG), pp. 85–99.
DATE-2008-LindgrenEAN #embedded #realtime: TinyTimber, Reactive Objects in C for Real-Time Embedded Systems (PL, JE, SA, JN), pp. 1382–1385.
TestCom-FATES-2008-Havelund #runtime #source code #verification: Runtime Verification of C Programs (KH), pp. 7–22.
ICSM-2007-SuttonM #how #preprocessor: How We Manage Portability and Configuration with the C Preprocessor (AS, JIM), pp. 275–284.
SEFM-2007-CrockerC #automation #reasoning #source code #using #verification: Verification of C Programs Using Automated Reasoning (DC, JC), pp. 7–14.
IFL-2007-Feeley #compilation: Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler (MF), pp. 237–253.
ILC-2007-HiraishiYY #experience #implementation: Experience with SC: transformation-based implementation of various extensions to C (TH, MY, TY), p. 20.
OOPSLA-2007-TanM #analysis #java #named: Ilea: inter-language analysis across java and c (GT, GM), pp. 39–56.
SIGAda-2007-CarlisleB #ada #network: Timing neural networks in C and ada (MCC, LCBI), pp. 71–74.
LDTA-J-2005-WaddingtonY #c++ #program transformation: High-fidelity C/C++ code transformation (DGW, BY), pp. 64–78.
CADE-2007-MurkLH #named #source code #verification: KeY-C: A Tool for Verification of C Programs (OM, DL, RH), pp. 385–390.
CAV-2007-BrummayerB #named #satisfiability: C32SAT: Checking C Expressions (RB, AB), pp. 294–297.
ITiCSE-2006-MatzkoD #education: Teaching CS1 with graphics and C (SM, TAD), pp. 168–172.
ICSM-2006-NeginhalK #comprehension #graph #reduction: Event Views and Graph Reductions for Understanding System Level C Code (SN, SK), pp. 279–288.
ICSM-2006-YaoMKB #automation #metaprogramming #program transformation #source code: C Macro Handling in Automated Source Code Transformation Systems (BY, WM, SK, RB), pp. 68–69.
SCAM-2006-JacobsL #metaprogramming #semantics: SMART C: A Semantic Macro Replacement Translator for C (MJ, ECL), pp. 95–106.
SCAM-2006-WykKBJSR #compilation #composition #framework #java #tool support: Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C (EVW, LK, DB, EJ, AS, PR), p. 161.
FM-2006-BlazyDL #compilation #verification: Formal Verification of a C Compiler Front-End (SB, ZD, XL), pp. 460–475.
PLDI-2006-NeamtiuHSO: Practical dynamic software updating for C (IN, MWH, GS, MO), pp. 72–83.
SAS-2006-AllamigeonGH #embedded #source code #static analysis #string: Static Analysis of String Manipulations in Critical Embedded C Programs (XA, WG, CH), pp. 35–51.
ICSE-2006-DhurjatiA #array #bound: Backwards-compatible array bounds checking for C with very low overhead (DD, VSA), pp. 162–171.
ICSE-2006-JiangS #correctness #named #source code #type system #validation: Osprey: a practical type system for validating dimensional unit correctness of C programs (LJ, ZS), pp. 262–271.
DAC-2006-BrierM #architecture #c++ #modelling #using #verification: Use of C/C++ models for architecture exploration and verification of DSPs (DB, RSM), pp. 79–84.
LCTES-2006-Mine #analysis #embedded #pointer #source code: Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics (AM), pp. 54–63.
TACAS-2006-ChakiCKRT #concurrent #message passing #recursion #source code #verification: Verifying Concurrent Message-Passing C Programs with Recursive Calls (SC, EMC, NK, TWR, TT), pp. 334–349.
CAV-2006-GriesmayerBC #source code: Repair of Boolean Programs with an Application to C (AG, RB, BC), pp. 358–371.
CAV-2006-SethiB #deduction #named: cascade: C Assertion Checker and Deductive Engine (NS, CB), pp. 166–169.
ICSM-2005-GarridoJ #multi: Analyzing Multiple Configurations of a C Program (AG, REJ), pp. 379–388.
SEFM-2005-HubertM #algorithm #case study #source code #verification: A case study of C source code verification: the Schorr-Waite algorithm (TH, CM), pp. 190–199.
SAS-2005-JungKSY #analysis #statistics: Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis (YJ, JK, JS, KY), pp. 203–217.
SIGAda-2005-Mark #ada #c++: Data sharing between ada and C/C++ (MM), pp. 93–102.
ESEC-FSE-2005-McCloskeyB #approach #named #refactoring: ASTEC: a new approach to refactoring C (BM, EAB), pp. 21–30.
ESEC-FSE-2005-SenMA #named #testing: CUTE: a concolic unit testing engine for C (KS, DM, GA), pp. 263–272.
ICSE-2005-AvotsDLL #analysis #pointer #security: Improving software security with a C pointer analysis (DA, MD, VBL, MSL), pp. 332–341.
LDTA-2005-WaddingtonY #c++ #program transformation: High-Fidelity C/C++ Code Transformation (DGW, BY), pp. 35–56.
CC-2005-SadeSS #memory management #optimisation #parallel #thread #using: Optimizing C Multithreaded Memory Management Using Thread-Local Storage (YS, SS, RS), pp. 137–155.
DATE-2005-CengHLAMB #compilation #modelling #semantics: C Compiler Retargeting Based on Instruction Semantics Models (JC, MH, RL, GA, HM, GB), pp. 1150–1155.
DATE-2005-GuoBNV #generative: Optimized Generation of Data-Path from C Codes for FPGAs (ZG, BB, WAN, KAV), pp. 112–117.
DATE-2005-TakachBB #design #hardware: C Based Hardware Design for Wireless Applications (AT, BB, TB), pp. 124–129.
PPoPP-2005-CoarfaDMCEMYC #evaluation #fortran #parallel: An evaluation of global address space languages: co-array fortran and unified parallel C (CC, YD, JMMC, FC, TAEG, AM, YY, DGCM), pp. 36–47.
PPoPP-2005-LiHDH #automation #multi #source code #thread: Automatic multithreading and multiprocessing of C programs for IXP (LL, BH, JD, LH), pp. 132–141.
FASE-2005-Dayani-FardYMA #architecture #c++ #legacy: Improving the Build Architecture of Legacy C/C++ Software Systems (HDF, YY, JM, PA), pp. 96–110.
TACAS-2005-KellerSBS #debugging #model checking #named #source code: FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs (CWK, DS, SB, SAS), pp. 563–569.
VMCAI-2005-Goubault-LarrecqP #analysis #encryption #protocol: Cryptographic Protocol Analysis on Real C Code (JGL, FP), pp. 363–379.
ITiCSE-WGR-2004-CanningMRR #using: Reading types in C using the right left walk method (JC, WM, AR, DR), pp. 52–54.
CSMR-2004-VidacsBF #c++ #preprocessor: Columbus Schema for C/C++ Preprocessing (LV, ÁB, RF), pp. 75–84.
PASTE-2004-PearceKH #analysis #performance #pointer: Efficient field-sensitive pointer analysis for C (DJP, PHJK, CH), pp. 37–42.
ICFP-2004-RamseyJ #compilation #framework: The C — compiler infrastructure (NR, SLPJ), p. 1.
AdaEurope-2004-AmeyW #ada #uml: High Integrity Ada in a UML and C World (PA, NW), pp. 225–236.
PADL-2004-MoralesCH #compilation #prolog #using: Improved Compilation of Prolog to C Using Moded Types and Determinism Information (JFM, MC, MVH), pp. 86–103.
PLDI-2004-VenetB #array #bound #embedded #performance #precise #scalability #source code: Precise and efficient static array bound checking for large embedded C programs (AV, GPB), pp. 231–242.
ASE-2004-WilliamsMM #generative #on the fly #testing: On-the-Fly Generation of K-Path Tests for C Functions (NW, BM, PM), pp. 290–293.
FSE-2004-XuDS #memory management #performance #safety #source code: An efficient and backwards-compatible transformation to ensure memory safety of C programs (WX, DCD, RS), pp. 117–126.
DAC-2004-NakamuraHKYY #c++ #communication #hardware #performance #using: A fast hardware/software co-verification method for system-on-a-chip by using a C/C++ simulator and FPGA emulator with shared register communication (YN, KH, IK, KY, TY), pp. 299–304.
DATE-v2-2004-HohenauerSKWKLAMBS #compilation #generative #modelling: A Methodology and Tool Suite for C Compiler Generation from ADL Processor Models (MH, HS, KK, OW, TK, RL, GA, HM, GB, HvS), pp. 1276–1283.
VMCAI-2004-XiaH #source code: Certifying Temporal Properties for Compiled C Programs (SX, JH), pp. 161–174.
CSMR-2003-Latendresse #c++ #evaluation #performance #preprocessor #symbolic computation #using: Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value (ML), p. 170–?.
WCRE-2003-DahnM #program transformation #source code #using: Using Program Transformation to Secure C Programs Against Buffer Overflows (CD, SM), pp. 323–333.
FME-2003-BertBPRV #adaptation #embedded #source code #specification: Adaptable Translator of B Specifications to Embedded C Programs (DB, SB, MLP, AR, LV), pp. 94–113.
PLDI-2003-DorRS #detection #named #towards: CSSV: towards a realistic tool for statically detecting all buffer overflows in C (ND, MR, SS), pp. 155–167.
PLDI-2003-HeineL #c++ #detection #memory management: A practical flow-sensitive and context-sensitive C and C++ memory leak detector (DLH, MSL), pp. 168–181.
ASE-2003-GarridoJ #compilation #refactoring: Refactoring C with Conditional Compilation (AG, REJ), pp. 323–326.
ESEC-FSE-2003-LivshitsL #context-sensitive grammar #debugging #detection #pointer #source code: Tracking pointers with path and context sensitivity for bug detection in C programs (VBL, MSL), pp. 317–326.
ESEC-FSE-2003-YongH #pointer #source code: Protecting C programs from attacks via invalid pointer dereferences (SHY, SH), pp. 307–316.
ICSE-2003-ChakiCGJV #component #composition #verification: Modular Verification of Software Components in C (SC, EMC, AG, SJ, HV), pp. 385–395.
DAC-2003-ClarkeKY #behaviour #bound #consistency #model checking #source code #using: Behavioral consistency of C and verilog programs using bounded model checking (EMC, DK, KY), pp. 368–371.
DATE-2003-CardosoW #source code: From C Programs to the Configure-Execute Model (JMPC, MW), pp. 10576–10581.
CSMR-2002-MartinM #case study #experience #java #migration: C to Java Migration Experiences (JM, HAM), pp. 143–153.
ASIA-PEPM-2002-Heintze #alias #analysis: Aliasing analysis for a million lines of C (NH), pp. 47–49.
LDTA-2002-GondowK #slicing #towards #using #xml: Towards ANSI C Program Slicing using XML (KG, HK), pp. 30–49.
CC-2002-HendersonS #compilation: Compiling Mercury to High-Level C Code (FH, ZS), pp. 197–212.
CC-2002-NeculaMRW #analysis #named #source code #tool support: CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (GCN, SM, SPR, WW), pp. 213–228.
CAV-2002-DamsHH: Abstracting C with abC (DD, WH, GJH), pp. 515–520.
CSMR-2001-BeszedesGSCG #maintenance #scalability #slicing #source code: Dynamic Slicing Method for Maintenance of Large C Programs (ÁB, TG, ZMS, JC, TG), pp. 105–113.
CSMR-2001-MartinM #java #migration: Strategies for Migration from C to Java (JM, HAM), pp. 200–209.
WCRE-2001-FerencSHKG #c++ #standard #towards: Towards a Standard Schema for C/C++ (RF, SES, RCH, RK, TG), pp. 49–58.
ECOOP-2001-HaradaYP #named: CCC: User-Defined Object Structure in C (YH, KY, RP), pp. 118–129.
PLDI-2001-BallMMR #abstraction #automation #source code: Automatic Predicate Abstraction of C Programs (TB, RM, TDM, SKR), pp. 203–213.
PLDI-2001-GhiyaLS #ambiguity #analysis #memory management #on the #points-to #source code: On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs (RG, DML, DCS), pp. 47–58.
PLDI-2001-HeintzeT01a #alias #analysis #using: Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second (NH, OT), pp. 254–263.
SAS-2001-DorRS #analysis #integer #source code #string: Cleanness Checking of String Manipulations in C Programs via Integer Analysis (ND, MR, SS), pp. 194–212.
LCTES-OM-2001-WagnerL #compilation #design #industrial #network: C Compiler Design for an Industrial Network Processor (JW, RL), pp. 155–164.
TACAS-2001-BallPR #abstraction #model checking #source code: Boolean and Cartesian Abstraction for Model Checking C Programs (TB, AP, SKR), pp. 268–283.
ICSM-2000-HuMDL #analysis #c++ #compilation #execution #symbolic computation #using: C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.
PADL-2000-DiazC #compilation #prolog: GNU Prolog: Beyond Compiling Prolog to C (DD, PC), pp. 81–92.
SAS-2000-FosterFA #analysis #points-to #polymorphism: Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C (JSF, MF, AA), pp. 175–198.
DATE-2000-SemeriaSM #behaviour #memory management #pointer #synthesis: Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C (LS, KS, GDM), pp. 312–319.
ESOP-2000-ElgaardMS #debugging #source code: Compile-Time Debugging of C Programs Working on Trees (JE, AM, MIS), pp. 119–134.
CSMR-1999-TaschwerRM #generative: Generating Objects from C Code — Features of the CORET Tool-Set (MT, DRR, RM), pp. 91–101.
ICSM-1999-BurdM #cobol #using: Evaluating the Use of Dominance Trees for C and COBOL (EB, MM), pp. 401–410.
ICSM-1999-FantaR #c++ #legacy: Restructuring Legacy C Code into C++ (RF, VR), pp. 77–85.
ICSM-1999-Ward #assembly #migration #using: Assembler to C Migration Using the FermaT Transformation System (MPW), pp. 67–76.
PASTE-1999-ChandraR #physics #type checking: Physical Type Checking for C (SC, TWR), pp. 66–75.
IFL-1999-Chakravarty #haskell: C -> HASKELL, or Yet Another Interfacing Tool (MMTC), pp. 131–148.
SIGAda-1999-Doran #ada #low level: Interfacing low-level C device drivers with Ada 95 (SD), pp. 133–143.
ESEC-FSE-1999-SiffCBKR: Coping with Type Casts in C (MS, SC, TB, KK, TWR), pp. 180–198.
ICSE-1999-Ducasse #automation #debugging #named: Coca: An automated Debugger for C (MD), pp. 504–513.
CC-1999-BoekholdKCC #programmable: A Programmable ANSI C Transformation Engine (MB, IK, HC, AGMC), pp. 292–295.
CC-1999-CilioC #fixpoint #float: Floating Point to Fixed Point Conversion of C Code (AGMC, HC), pp. 229–243.
DATE-1999-Arnout #design: C for System Level Design (GA), pp. 384–386.
DATE-1999-GhoshKL #c++ #hardware #synthesis: Hardware Synthesis from C/C++ (AG, JK, SYL), pp. 387–389.
DATE-1999-Micheli #c++ #hardware #modelling #synthesis: Hardware Synthesis from C/C++ Models (GDM), pp. 382–383.
DATE-1999-NebelM #ada #java #question #specification: Java, VHDL-AMS, ADA or C for System Level Specifications? (WN, EM), p. 720.
ESOP-1999-Norrish: Deterministic Expressions in C (MN), pp. 147–161.
WCRE-1998-Balmas #roadmap: Outlining C Loops: Preliminary Results and Trends (FB), pp. 115–124.
PLDI-1998-ZhuH #communication #optimisation #parallel #source code: Communication Optimizations for Parallel C Programs (YZ, LJH), pp. 199–211.
ASE-1998-TemplerJ #automation #configuration management: A Configurable Automatic Instrumentation Tool for ANSI C (KT, CLJ), p. 249–?.
CC-1998-GhiyaHZ #detection #parallel #recursion #source code: Detecting Parallelism in C Programs with Recursive Darta Structures (RG, LJH, YZ), pp. 159–173.
TOOLS-ASIA-1997-ExtonW #c++: From C to C++ (CE, DW), p. 420.
AdaEurope-1997-BakerO #ada #implementation #interface #lessons learnt: Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation (TPB, DIO), pp. 13–22.
PEPM-1997-GrantMPCE #runtime: Annotation-Directed Run-Time Specialization in C (BG, MM, MP, CC, SJE), pp. 163–178.
PLDI-1997-CooperL #source code: Register Promotion in C Programs (KDC, JL), pp. 308–319.
ICSE-1997-YurRLS #analysis #incremental: Incremental Analysis of Side Effects for C Software System (JSY, BGR, WL, PS), pp. 422–432.
ICSM-1996-GannodC #reverse engineering #source code #using: Using Informal and Formal Techniques for the Reverse Engineering of C Programs (GCG, BHCC), pp. 265–274.
WCRE-1996-GannodC #reverse engineering #source code #using: Using Informal and Formal Techniques for the Reverse Engineering of C Programs (GCG, BHCC), pp. 249–258.
SEKE-1996-CanforaLM #ide #re-engineering #reuse: An Integrated Environment for Reuse Reengineering C Code (GC, ADL, MM), pp. 214–221.
POPL-1996-ConselN #approach #runtime: A General Approach for Run-Time Specialization and its Application to C (CC, FN), pp. 145–156.
POPL-1996-GhiyaH #analysis #graph #pointer: Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C (RG, LJH), pp. 1–15.
FSE-1996-SiffR #c++ #reuse: Program Generalization for Software Reuse: From C to C++ (MS, TWR), pp. 135–146.
CC-1996-VerbruggeCH #case study #constant: Generalized Constant Propagation: A Study in C (CV, PC, LJH), pp. 74–90.
DAC-1996-Smith: VHDL & Verilog Compared & Contrasted — Plus Modeled Example Written in VHDL, Verilog and C (DJS), pp. 771–776.
HPDC-1996-Cooperman #interface #named #parallel: TOP-C: A Task-Oriented Parallel C Interface (GC), pp. 141–150.
PDP-1996-Mollar #parallel: A Small Parallel C Simulator (MM), pp. 123–129.
ESOP-1996-SmithV #polymorphism #towards #type system: Towards an ML-Style Polymorphic Type System for C (GS, DMV), pp. 341–355.
FPLE-1995-Davison #education: Teaching C after Miranda (AD), pp. 35–50.
PLDI-1995-WilsonL #analysis #performance #pointer #source code: Efficient Context-Sensitive Pointer Analysis for C Programs (RPW, MSL), p. 1–?.
POPL-1995-Proebsting #interpreter #optimisation: Optimizing an ANSI C Interpreter with Superoperators (TAP), pp. 322–332.
ICLP-1995-CodognetD #compilation #named #prolog: WAMCC: Compiling Prolog to C (PC, DD), pp. 317–331.
ICSM-1994-KinlochM #comprehension #graph #representation #source code #using: Understanding C Programs Using the Combined C Graph Representation (DAK, MM), pp. 172–180.
CC-1994-JustianiH #array #compilation #dependence #optimisation #testing: Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.
PDP-1994-GarciaOA #named: SCCocc2: A C To 0ccam2 Translator And Parallelizer (RG, AO, SA), pp. 350–357.
CSM-1993-CanforaCMT #case study #data type #source code: Extracting Abstract Data Types from C Programs: A Case Study (GC, AC, MM, CJT), pp. 200–209.
CSM-1993-LinosADHLT #comprehension #named #re-engineering #source code: CARE: An Environment for Understanding and Re-Engineering C Programs (PKL, PA, LD, YH, PL, PT), pp. 130–139.
PEPM-1993-Andersen #analysis #pointer: Binding-Time Analysis and the Taming of C Pointers (LOA), pp. 47–58.
CSL-1993-GurevichH #programming language #semantics: ERRATA to “The Semantics of the C Programming Language” (YG, JKH), pp. 334–336.
LFP-1992-RoseM: Integrating the Scheme and C Languages (JRR, HM), pp. 247–259.
PEPM-1992-Andersen #self: Self-applicable C Program Specialization (LOA), pp. 54–61.
PLDI-1992-GranlundK #branch #compilation #using: Eliminating Branches using a Superoptimizer and the GNU C Compiler (TG, RK), pp. 341–352.
CC-1992-Andersen #automation #compilation #generative #partial evaluation: Partial Evaluation of C and Automatic Compiler Generation (LOA), pp. 251–257.
CSL-1992-GurevichH #programming language #semantics: The Semantics of the C Programming Language (YG, JKH), pp. 274–308.
ISLP-1991-StrooperH #prolog #testing: Prolog Testing of C Modules (PAS, DH), pp. 596–608.
TAV-1991-HorgnaL #data flow: Data Flow Coverage and the C Language (JRH, SL), pp. 87–97.
TAV-1991-PandeL #interprocedural #source code: Interprocedural Def-Use Associations in C Programs (HDP, WL), pp. 139–153.
PLDI-1989-HwuC #compilation #source code: Inline Function Expansion for Compiling C Programs (WmWH, PPC), pp. 246–257.
PLDI-1988-AllenJ #compilation #parallel: Compiling C for Vectorization, Parallelization, and Inline Expansion (RA, SJ), pp. 241–249.
PLDI-1987-DavidsonG #interpreter #named #programming language: Cint: a RISC interpreter for the C programming language (JWD, JVG), pp. 189–198.
ESEC-1987-RaitherO #named #testing: TRICS: A Testing Tool for C (BR, LJO), pp. 254–262.
ASPLOS-1987-DitzelM #design #programming language #trade-off: Design Tradeoffs to Support the C Programming Language in the CRISP Microprocessor (DRD, HRM), pp. 158–163.
DAC-1986-Beckett #modelling #network: MOS circuit models in Network C (WSB), pp. 171–178.
ASPLOS-1982-DitzelM #for free #stack: Register Allocation for Free: The C Machine Stack Cache (DRD, HRM), pp. 48–56.