BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
C
Google C
WikibooksEnglish C Programming
Wikidata Q15777
WikipediaEnglish C (programming language)
WikipediaRussian Си (язык программирования)

Tag #c

324 papers:

POPLPOPL-2020-BartheBGHLPT #compilation #verification
Formal verification of a constant-time preserving C compiler (GB, SB, BG, RH, VL, DP, AT), p. 30.
EDMEDM-2019-TaniguchiSK #fault #process #programming
Investigating Error Resolution Processes in C Programming Exercise Courses (YT, AS, SK).
FMFM-2019-BeringerA #abstraction #composition #source code #verification
Abstraction and Subsumption in Modular Verification of C Programs (LB, AWA), pp. 573–590.
OOPSLAOOPSLA-2019-WangCMH #data type #source code
Certifying graph-manipulating C programs via localizations within data structures (SW, QC, AM, AH), p. 30.
PLDIPLDI-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.
PLDIPLDI-2019-PowersTB0 #c++ #memory management #named
Mesh: compacting memory management for C/C++ applications (BP, DT, EDB, AM0), pp. 333–346.
POPLPOPL-2019-MemarianGDKRWS #pointer #semantics
Exploring C semantics and pointer provenance (KM, VBFG, BD, SK, AR, RNMW, PS), p. 32.
ASEASE-2019-LiuSTWY #encryption #source code #verification
Verifying Arithmetic in Cryptographic C Programs (JL, XS, MHT, BYW, BYY), pp. 552–564.
GPCEGPCE-2019-KramerW #nondeterminism #parallel #programming
Parallel nondeterministic programming as a language extension to C (short paper) (LK, EVW), pp. 20–26.
ASPLOSASPLOS-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.
ESOPESOP-2019-FruminGK #automation #nondeterminism #reasoning
Semi-automated Reasoning About Non-determinism in C Expressions (DF, LG, RK), pp. 60–87.
FASEFASE-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.
CAVCAV-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.
ICPCICPC-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.
FMFM-2018-BergerKAWR #case study #experience #verification
Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain (PB, JPK, , MTBW, TR), pp. 312–328.
PLDIPLDI-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.
POPLPOPL-2018-Kokologiannakis #c++ #concurrent #effectiveness #model checking
Effective stateless model checking for C/C++ concurrency (MK, OL, KS, VV), p. 32.
POPLPOPL-2018-MeloRAP #semantics #source code
Inference of static semantics for incomplete C programs (LTCM, RGR, MRdA, FMQP), p. 28.
SASSAS-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.
SASSAS-2018-JournaultMO #composition #source code #static analysis #string
Modular Static Analysis of String Manipulations in C Programs (MJ, AM, AO), pp. 243–262.
ASEASE-2018-GadelhaMMC0N #model checking
ESBMC 5.0: an industrial-strength C model checker (MYRG, FRM, JM, LCC, BF0, DAN), pp. 888–891.
ASEASE-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.
ASEASE-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-FSEESEC-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.
ASPLOSASPLOS-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.
TAPTAP-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.
TAPTAP-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.
SCAMSCAM-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.
ECMFAECMFA-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.
LOPSTRLOPSTR-2017-AlbertiS #analysis #generative #specification #tool support
Context Generation from Formal Specifications for C Analysis Tools (MA, JS), pp. 93–111.
SASSAS-2017-GurfinkelN #c++ #memory management #source code #verification
A Context-Sensitive Memory Model for Verification of C/C++ Programs (AG, JAN), pp. 148–168.
ASEASE-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-FSEESEC-FSE-2017-TianR #automation #debugging #fault
Automatically diagnosing and repairing error handling bugs in C (YT, BR), pp. 752–762.
ASPLOSASPLOS-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.
TAPTAP-2017-BaranyS #analysis #data flow #hybrid
Hybrid Information Flow Analysis for Real-World C Code (GB, JS), pp. 23–40.
VMCAIVMCAI-2017-AbalBW #abstraction #debugging #effectiveness #source code
Effective Bug Finding in C Programs with Shape and Effect Abstractions (IA, CB, AW), pp. 34–54.
SCAMSCAM-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.
SCAMSCAM-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.
FMFM-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.
MoDELSMoDELS-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.
PLDIPLDI-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.
SASSAS-2016-BalatsourasS #analysis #c++ #points-to
Structure-Sensitive Points-To Analysis for C and C++ (GB, YS), pp. 84–104.
ASEASE-2016-KangRJ #api #automation #fault #named #specification
APEx: automated inference of error specifications for C APIs (YJK, BR, SJ), pp. 472–482.
ASEASE-2016-MaasNL #array #library
Array length inference for C library bindings (AJM, HN, BL), pp. 461–471.
FSEFSE-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.
SLESLE-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.
CGOCGO-2016-ChakrabortyV #c++ #concurrent #optimisation #source code #validation
Validating optimizations of concurrent C/C++ programs (SC, VV), pp. 216–226.
ICSTICST-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.
ITiCSEITiCSE-2015-ParreiraPC #named #student
PCRS-C: Helping Students Learn C (DMP, AP, MC), p. 347.
SEFMSEFM-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.
SEFMSEFM-2015-RockaiSB #c++ #model checking
Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
CEFPCEFP-2015-Grelck #compilation #perspective
Single Assignment C (SAC) - The Compilation Technology Perspective (CG), pp. 207–282.
ICFPICFP-2015-RompfA #compilation #functional #sql
Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.
ECOOPECOOP-2015-MedeirosKRNG #preprocessor
The Love/Hate Relationship with the C Preprocessor: An Interview Study (FM, CK, MR, SN, RG), pp. 495–518.
OOPSLAOOPSLA-2015-VoelterDKE #case study #embedded #using
Using C language extensions for developing embedded software: a case study (MV, AvD, BK, SE), pp. 655–674.
PADLPADL-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.
PLDIPLDI-2015-HathhornER
Defining the undefinedness of C (CH, CE, GR), pp. 336–345.
PLDIPLDI-2015-KangHMGZV #memory management
A formal C memory model supporting integer-pointer casts (JK, CKH, WM, DG, SZ, VV), pp. 326–335.
POPLPOPL-2015-Agten0P #composition #verification
Sound Modular Verification of C Code Executing in an Unverified Context (PA, BJ, FP), pp. 581–594.
POPLPOPL-2015-JourdanLBLP
A Formally-Verified C Static Analyzer (JHJ, VL, SB, XL, DP), pp. 247–259.
ESEC-FSEESEC-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.
ICSEICSE-v1-2015-GaoXMZYZXM #source code
Safe Memory-Leak Fixing for C Programs (QG, YX, YM, LZ, WY, ZZ, BX, HM), pp. 459–470.
ICSEICSE-v2-2015-Schwartz-Narbonne #named #source code
VERMEER: A Tool for Tracing and Explaining Faulty C Programs (DSN, CO, MS, TW), pp. 737–740.
SACSAC-2015-BispoRC #generative #matlab
C and OpenCL generation from MATLAB (JB, LR, JMPC), pp. 1315–1320.
SACSAC-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.
SACSAC-2015-MilewiczVTQP #runtime #source code
Runtime checking C programs (RM, RV, JT, DQ, PP), pp. 2107–2114.
ASPLOSASPLOS-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.
TACASTACAS-2015-GurfinkelKN #contest #framework #named #source code #verification
SeaHorn: A Framework for Verifying C Programs (Competition Contribution) (AG, TK, JAN), pp. 447–450.
TACASTACAS-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.
TACASTACAS-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.
SANERCSMR-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.
ICSMEICSME-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.
SCAMSCAM-2014-HutchinsBS #analysis #c++ #concurrent #safety #thread
C/C++ Thread Safety Analysis (DH, AB, DS), pp. 41–46.
SCAMSCAM-2014-PetiotBJKS #generative #source code #testing
Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
SCAMSCAM-2014-YoshidaH #semiparsing #source code #syntax
A Pattern Search Method for Unpreprocessed C Programs Based on Tokenized Syntax Trees (AY, YH), pp. 295–304.
ICEISICEIS-v2-2014-DingTZ #automation #c++ #source code
Automatic Removal of Buffer Overflow Vulnerabilities in C/C++ Programs (SD, HBKT, HZ), pp. 49–59.
OOPSLAOOPSLA-2014-ZhangXZYS #alias #analysis #performance
Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.
PLDIPLDI-2014-Carbonneaux0RS #bound #source code #verification
End-to-end verification of stack-space bounds for C programs (QC, JH, TR, ZS), p. 30.
PLDIPLDI-2014-GreenawayLAK #verification
Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.
PLDIPLDI-2014-PekQM #data type #logic #proving #using
Natural proofs for data structure manipulation in C using separation logic (EP, XQ, PM), p. 46.
POPLPOPL-2014-Krebbers #axiom #nondeterminism #semantics #sequence
An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
ASEASE-2014-MolotnikovVR #automation #verification
Automated domain-specific C verification with mbeddr (ZM, MV, DR), pp. 539–550.
FSEFSE-2014-OverbeyBH #metaprogramming #refactoring
A foundation for refactoring C with macros (JLO, FB, MH), pp. 75–85.
CCCC-2014-FranzHKSV #compilation #named
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
DACDAC-2014-SampathRR #validation
Translation Validation for Stateflow to C (PS, ACR, SR), p. 6.
ESOPESOP-2014-BeringerSDA #compilation
Verified Compilation for Shared-Memory C (LB, GS, RD, AWA), pp. 107–127.
TACASTACAS-2014-InversoT0TP #contest #lazy evaluation #named
Lazy-CSeq: A Lazy Sequentialization Tool for C — (Competition Contribution) (OI, ET, BF, SLT, GP), pp. 398–401.
TACASTACAS-2014-KroeningT #bound #contest #model checking #named
CBMC — C Bounded Model Checker — (Competition Contribution) (DK, MT), pp. 389–391.
TACASTACAS-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.
CAVCAV-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.
ICSTICST-2014-DelamaroDDLO #evaluation
Experimental Evaluation of SDL and One-Op Mutation for C (MED, LD, VHSD, NL, JO), pp. 203–212.
ISSTAISSTA-2014-XuZXW #named #source code
Canalyze: a static bug-finding tool for C programs (ZX, JZ, ZX, JW), pp. 425–428.
ITiCSEITiCSE-2013-EganM #fault #runtime
Reducing novice C programmers’ frustration through improved runtime error checking (MHE, CM), p. 322.
WCREWCRE-2013-ChenSB #detection #memory management
Who allocated my memory? Detecting custom memory allocators in C binaries (XC, AS, HB), pp. 22–31.
WCREWCRE-2013-ChenSB13a #detection #memory management #named
MemBrush: A practical tool to detect custom memory allocators in C binaries (XC, AS, HB), pp. 477–478.
WCREWCRE-2013-HallerSB #c++ #data type #detection #named
MemPick: High-level data structure detection in C/C++ binaries (IH, AS, HB), pp. 32–41.
OOPSLAOOPSLA-2013-NorrisD #c++ #concurrent #data type #named
CDSchecker: checking concurrent data structures written with C/C++ atomics (BN, BD), pp. 131–150.
POPLPOPL-2013-BattyDG #abstraction #c++ #concurrent #library
Library abstraction for C/C++ concurrency (MB, MD, AG), pp. 235–248.
SASSAS-2013-BlazyLMP #abstract interpretation #analysis #verification
Formal Verification of a C Value Analysis Based on Abstract Interpretation (SB, VL, AM, DP), pp. 324–344.
ASEASE-2013-0002IP #concurrent #named #preprocessor #tool support #verification
CSeq: A concurrency pre-processor for sequential C verification tools (BF, OI, GP), pp. 710–713.
ASEASE-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-FSEESEC-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.
ICSEICSE-2013-CokerH #integer #program transformation
Program transformations to fix C integers (ZC, MH), pp. 792–801.
ICSEICSE-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.
ICSEICSE-2013-PastoreMG #c++ #debugging #named #problem
RADAR: a tool for debugging regression problems in C/C++ software (FP, LM, AG), pp. 1335–1338.
SACSAC-2013-DelahayeKS #dynamic analysis #source code #specification
Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
ISMMISMM-2013-RavitchL #library #memory management
Analyzing memory ownership patterns in C libraries (TR, BL), pp. 97–108.
LCTESLCTES-2013-Beemster #manycore
The role of C in the dark ages of multi-core (MB), pp. 89–90.
TACASTACAS-2013-0002IP #contest #named
CSeq: A Sequentialization Tool for C — (Competition Contribution) (BF, OI, GP), pp. 616–618.
TACASTACAS-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.
TACASTACAS-2013-FedyukovichSS #incremental #named
eVolCheck: Incremental Upgrade Checker for C (GF, OS, NS), pp. 292–307.
CAVCAV-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.
CAVCAV-2013-KroeningLW #approximate #detection #performance #source code
Under-Approximating Loops in C Programs for Fast Counterexample Detection (DK, ML, GW), pp. 381–396.
SCAMSCAM-2012-LazarescuL #analysis #dependence #parallel #source code
Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs (MTL, LL), pp. 126–131.
WCREWCRE-2012-TrudelFN #automation #eiffel
Automatic C to O-O Translation with C2Eiffel (MT, CAF, MN), pp. 501–502.
WCREWCRE-2012-TrudelFNMO
C to O-O Translation: Beyond the Easy Stuff (MT, CAF, MN, BM, MO), pp. 19–28.
OOPSLAOOPSLA-2012-HaydenSDHF #named #performance
Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.
PLDIPLDI-2012-GazzilloG #named #parsing #preprocessor
SuperC: parsing all of C by taming the preprocessor (PG, RG), pp. 323–334.
PLDIPLDI-2012-RegehrCCEEY #compilation #debugging #reduction #testing
Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
PLDIPLDI-2012-SarkarMOBSMAW #c++
Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
POPLPOPL-2012-BattyMOSS #c++ #compilation #concurrent
Clarifying and compiling C/C++ concurrency: from C++11 to POWER (MB, KM, SO, SS, PS), pp. 509–520.
POPLPOPL-2012-EllisonR #execution #semantics
An executable formal semantics of C with applications (CE, GR), pp. 533–544.
ICSEICSE-2012-DietzLRA #c++ #comprehension #integer
Understanding integer overflow in C/C++ (WD, PL, JR, VSA), pp. 760–770.
TACASTACAS-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.
CAVCAV-2012-Moskal #bound #infinity #verification
From C to Infinity and Back: Unbounded Auto-active Verification with VCC (MM), p. 6.
CAVCAV-2012-RondonBKJ #named #verification
CSolve: Verifying C with Liquid Types (PMR, AB, MK, RJ), pp. 744–750.
ICSTICST-2012-DanH12a #mutation testing #named #semantics #testing #tool support
SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
VMCAIVMCAI-2012-MorseVMM #message passing #modelling #source code
Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.
SIGITESIGITE-2011-Federici #implementation #programming language
A minimal, extensible, drag-and-drop implementation of the C programming language (SF), pp. 191–196.
SCAMSCAM-2011-Mehlich #memory management #named #validation
CheckPointer — A C Memory Access Validator (MM), pp. 165–172.
RTARTA-2011-FalkeKS #analysis #compilation #source code #termination #using
Termination Analysis of C Programs Using Compiler Intermediate Languages (SF, DK, CS), pp. 41–50.
CEFPCEFP-2011-Grelck #performance
Single Assignment C (SAC) High Productivity Meets High Performance (CG), pp. 207–278.
PLDIPLDI-2011-YangCER #compilation #comprehension #debugging
Finding and understanding bugs in C compilers (XY, YC, EE, JR), pp. 283–294.
ICSEICSE-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.
SACSAC-2011-LimJLW #education #visualisation
Style Avatar: a visualization system for teaching C coding style (JSL, JHJ, YJL, GW), pp. 1210–1211.
SACSAC-2011-Mammar #approach #detection #overview
An overview of a proof-based approach to detecting C vulnerabilities (AM), pp. 1343–1344.
DATEDATE-2011-TraulsenAH #compilation
Compiling SyncCharts to Synchronous C (CT, TA, RvH), pp. 563–566.
ESOPESOP-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.
ICTSSICTSS-2011-MammarCJMO #detection #source code #testing #using
Using Testing Techniques for Vulnerability Detection in C Programs (AM, ARC, WJ, WM, EMdO), pp. 80–96.
TAPTAP-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.
SCAMSCAM-2010-SimpsonB #memory management #named #runtime #safety
MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime (MSS, RB), pp. 199–208.
WCREWCRE-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.
IFMIFM-2010-AutexierL #impact analysis #source code #verification
Adding Change Impact Analysis to the Formal Verification of C Programs (SA, CL), pp. 59–73.
POPLPOPL-2010-MartinHCAC #c++ #concurrent #policy #source code
Dynamically checking ownership policies in concurrent c/c++ programs (JPM, MH, MC, PA, MC), pp. 457–470.
ISMMISMM-2010-NagarakatteZMZ #compilation #named #safety
CETS: compiler enforced temporal safety for C (SN, JZ, MMKM, SZ), pp. 31–40.
TAPTAP-2010-ChebaroKGJ #debugging #generative #static analysis #testing
Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.
VMCAIVMCAI-2010-KreikerSV #analysis #low level
Shape Analysis of Low-Level C with Overlapping Structures (JK, HS, VV), pp. 214–230.
ICPCICPC-J-2008-VidacsBG09 #c++ #preprocessor #slicing
Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
SCAMSCAM-2009-CanetCM #analysis #source code
A Value Analysis for C Programs (GC, PC, BM), pp. 123–124.
FMFM-2009-LuthW #source code #specification #verification
Certifiable Specification and Verification of C Programs (CL, DW), pp. 419–434.
HCIHCI-NIMT-2009-TamadaOU #education
Robot Helps Teachers for Education of the C Language Beginners (HT, AO, HU), pp. 377–384.
VISSOFTVISSOFT-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.
OOPSLAOOPSLA-2009-BergerYLN #c++ #named #parallel #programming #thread
Grace: safe multithreaded programming for C/C++ (EDB, TY, TL, GN), pp. 81–96.
PLDIPLDI-2009-NagarakatteZMZ #bound #memory management #named #safety
SoftBound: highly compatible and complete spatial memory safety for c (SN, JZ, MMKM, SZ), pp. 245–258.
ASEASE-2009-SaebjoernsenJQS #metaprogramming #preprocessor #validation
Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.
CCCC-2009-Padioleau #c++ #parsing #preprocessor
Parsing C/C++ Code without Pre-processing (YP), pp. 109–125.
CGOCGO-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.
DATEDATE-2009-HaastregtK #automation #hardware #network #process #streaming #synthesis
Automated synthesis of streaming C applications to process networks in hardware (SvH, BK), pp. 890–893.
ISMMISMM-2009-RafkindWRF #garbage collection #precise
Precise garbage collection for C (JR, AW, JR, MF), pp. 39–48.
CAVCAV-2009-RyabtsevS #validation
Translation Validation: From Simulink to C (MR, OS), pp. 696–701.
ICSTICST-2009-Gotlieb #constraints #framework #named #source code #testing
Euclide: A Constraint-Based Testing Framework for Critical C Programs (AG), pp. 151–160.
CSMRCSMR-2008-Bruntink #exception #legacy #re-engineering
Reengineering Idiomatic Exception Handling in Legacy C Code (MB), pp. 133–142.
ICPCICPC-2008-VidacsJBG #c++ #preprocessor #slicing
Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
SCAMSCAM-2008-Cifuentes #debugging #named #scalability
Parfait — A Scalable Bug Checker for C Code (CC), pp. 263–264.
SCAMSCAM-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.
WCREWCRE-2008-DolgovaC #automation #re-engineering #source code
Automatic Type Reconstruction in Disassembled C Programs (KD, AC), pp. 202–206.
SOFTVISSOFTVIS-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.
OOPSLAOOPSLA-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.
PLDIPLDI-2008-AndersonGEB #named #parallel #thread
SharC: checking data sharing strategies for multithreaded C (ZRA, DG, RE, EAB), pp. 149–158.
POPLPOPL-2008-ZhengR #alias #analysis
Demand-driven alias analysis for C (XZ, RR), pp. 197–208.
ASPLOSASPLOS-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.
CCCC-2008-NitaG #automation #multi
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts (MN, DG), pp. 85–99.
DATEDATE-2008-LindgrenEAN #embedded #realtime
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems (PL, JE, SA, JN), pp. 1382–1385.
FATESTestCom-FATES-2008-Havelund #runtime #source code #verification
Runtime Verification of C Programs (KH), pp. 7–22.
ICSMEICSM-2007-SuttonM #how #preprocessor
How We Manage Portability and Configuration with the C Preprocessor (AS, JIM), pp. 275–284.
SEFMSEFM-2007-CrockerC #automation #reasoning #source code #using #verification
Verification of C Programs Using Automated Reasoning (DC, JC), pp. 7–14.
IFLIFL-2007-Feeley #compilation
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler (MF), pp. 237–253.
LISPILC-2007-HiraishiYY #experience #implementation
Experience with SC: transformation-based implementation of various extensions to C (TH, MY, TY), p. 20.
OOPSLAOOPSLA-2007-TanM #analysis #java #named
Ilea: inter-language analysis across java and c (GT, GM), pp. 39–56.
AdaSIGAda-2007-CarlisleB #ada #network
Timing neural networks in C and ada (MCC, LCBI), pp. 71–74.
LDTALDTA-J-2005-WaddingtonY #c++ #program transformation
High-fidelity C/C++ code transformation (DGW, BY), pp. 64–78.
CADECADE-2007-MurkLH #named #source code #verification
KeY-C: A Tool for Verification of C Programs (OM, DL, RH), pp. 385–390.
CAVCAV-2007-BrummayerB #named #satisfiability
C32SAT: Checking C Expressions (RB, AB), pp. 294–297.
ITiCSEITiCSE-2006-MatzkoD #education
Teaching CS1 with graphics and C (SM, TAD), pp. 168–172.
ICSMEICSM-2006-NeginhalK #comprehension #graph #reduction
Event Views and Graph Reductions for Understanding System Level C Code (SN, SK), pp. 279–288.
ICSMEICSM-2006-YaoMKB #automation #metaprogramming #program transformation #source code
C Macro Handling in Automated Source Code Transformation Systems (BY, WM, SK, RB), pp. 68–69.
SCAMSCAM-2006-JacobsL #metaprogramming #semantics
SMART C: A Semantic Macro Replacement Translator for C (MJ, ECL), pp. 95–106.
SCAMSCAM-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.
FMFM-2006-BlazyDL #compilation #verification
Formal Verification of a C Compiler Front-End (SB, ZD, XL), pp. 460–475.
PLDIPLDI-2006-NeamtiuHSO
Practical dynamic software updating for C (IN, MWH, GS, MO), pp. 72–83.
SASSAS-2006-AllamigeonGH #embedded #source code #static analysis #string
Static Analysis of String Manipulations in Critical Embedded C Programs (XA, WG, CH), pp. 35–51.
ICSEICSE-2006-DhurjatiA #array #bound
Backwards-compatible array bounds checking for C with very low overhead (DD, VSA), pp. 162–171.
ICSEICSE-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.
DACDAC-2006-BrierM #architecture #c++ #modelling #using #verification
Use of C/C++ models for architecture exploration and verification of DSPs (DB, RSM), pp. 79–84.
LCTESLCTES-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.
TACASTACAS-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.
CAVCAV-2006-GriesmayerBC #source code
Repair of Boolean Programs with an Application to C (AG, RB, BC), pp. 358–371.
CAVCAV-2006-SethiB #deduction #named
cascade: C Assertion Checker and Deductive Engine (NS, CB), pp. 166–169.
ICSMEICSM-2005-GarridoJ #multi
Analyzing Multiple Configurations of a C Program (AG, REJ), pp. 379–388.
SEFMSEFM-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.
SASSAS-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.
AdaSIGAda-2005-Mark #ada #c++
Data sharing between ada and C/C++ (MM), pp. 93–102.
ESEC-FSEESEC-FSE-2005-McCloskeyB #approach #named #refactoring
ASTEC: a new approach to refactoring C (BM, EAB), pp. 21–30.
ESEC-FSEESEC-FSE-2005-SenMA #named #testing
CUTE: a concolic unit testing engine for C (KS, DM, GA), pp. 263–272.
ICSEICSE-2005-AvotsDLL #analysis #pointer #security
Improving software security with a C pointer analysis (DA, MD, VBL, MSL), pp. 332–341.
LDTALDTA-2005-WaddingtonY #c++ #program transformation
High-Fidelity C/C++ Code Transformation (DGW, BY), pp. 35–56.
CCCC-2005-SadeSS #memory management #optimisation #parallel #thread #using
Optimizing C Multithreaded Memory Management Using Thread-Local Storage (YS, SS, RS), pp. 137–155.
DATEDATE-2005-CengHLAMB #compilation #modelling #semantics
C Compiler Retargeting Based on Instruction Semantics Models (JC, MH, RL, GA, HM, GB), pp. 1150–1155.
DATEDATE-2005-GuoBNV #generative
Optimized Generation of Data-Path from C Codes for FPGAs (ZG, BB, WAN, KAV), pp. 112–117.
DATEDATE-2005-TakachBB #design #hardware
C Based Hardware Design for Wireless Applications (AT, BB, TB), pp. 124–129.
PPoPPPPoPP-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.
PPoPPPPoPP-2005-LiHDH #automation #multi #source code #thread
Automatic multithreading and multiprocessing of C programs for IXP (LL, BH, JD, LH), pp. 132–141.
FASEFASE-2005-Dayani-FardYMA #architecture #c++ #legacy
Improving the Build Architecture of Legacy C/C++ Software Systems (HDF, YY, JM, PA), pp. 96–110.
TACASTACAS-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.
VMCAIVMCAI-2005-Goubault-LarrecqP #analysis #encryption #protocol
Cryptographic Protocol Analysis on Real C Code (JGL, FP), pp. 363–379.
ITiCSEITiCSE-WGR-2004-CanningMRR #using
Reading types in C using the right left walk method (JC, WM, AR, DR), pp. 52–54.
CSMRCSMR-2004-VidacsBF #c++ #preprocessor
Columbus Schema for C/C++ Preprocessing (LV, ÁB, RF), pp. 75–84.
PASTEPASTE-2004-PearceKH #analysis #performance #pointer
Efficient field-sensitive pointer analysis for C (DJP, PHJK, CH), pp. 37–42.
ICFPICFP-2004-RamseyJ #compilation #framework
The C — compiler infrastructure (NR, SLPJ), p. 1.
AdaEuropeAdaEurope-2004-AmeyW #ada #uml
High Integrity Ada in a UML and C World (PA, NW), pp. 225–236.
PADLPADL-2004-MoralesCH #compilation #prolog #using
Improved Compilation of Prolog to C Using Moded Types and Determinism Information (JFM, MC, MVH), pp. 86–103.
PLDIPLDI-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.
ASEASE-2004-WilliamsMM #generative #on the fly #testing
On-the-Fly Generation of K-Path Tests for C Functions (NW, BM, PM), pp. 290–293.
FSEFSE-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.
DACDAC-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.
DATEDATE-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.
VMCAIVMCAI-2004-XiaH #source code
Certifying Temporal Properties for Compiled C Programs (SX, JH), pp. 161–174.
CSMRCSMR-2003-Latendresse #c++ #evaluation #performance #preprocessor #symbolic computation #using
Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value (ML), p. 170–?.
WCREWCRE-2003-DahnM #program transformation #source code #using
Using Program Transformation to Secure C Programs Against Buffer Overflows (CD, SM), pp. 323–333.
FMFME-2003-BertBPRV #adaptation #embedded #source code #specification
Adaptable Translator of B Specifications to Embedded C Programs (DB, SB, MLP, AR, LV), pp. 94–113.
PLDIPLDI-2003-DorRS #detection #named #towards
CSSV: towards a realistic tool for statically detecting all buffer overflows in C (ND, MR, SS), pp. 155–167.
PLDIPLDI-2003-HeineL #c++ #detection #memory management
A practical flow-sensitive and context-sensitive C and C++ memory leak detector (DLH, MSL), pp. 168–181.
ASEASE-2003-GarridoJ #compilation #refactoring
Refactoring C with Conditional Compilation (AG, REJ), pp. 323–326.
ESEC-FSEESEC-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-FSEESEC-FSE-2003-YongH #pointer #source code
Protecting C programs from attacks via invalid pointer dereferences (SHY, SH), pp. 307–316.
ICSEICSE-2003-ChakiCGJV #component #composition #verification
Modular Verification of Software Components in C (SC, EMC, AG, SJ, HV), pp. 385–395.
DACDAC-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.
DATEDATE-2003-CardosoW #source code
From C Programs to the Configure-Execute Model (JMPC, MW), pp. 10576–10581.
CSMRCSMR-2002-MartinM #case study #experience #java #migration
C to Java Migration Experiences (JM, HAM), pp. 143–153.
PEPMASIA-PEPM-2002-Heintze #alias #analysis
Aliasing analysis for a million lines of C (NH), pp. 47–49.
LDTALDTA-2002-GondowK #slicing #towards #using #xml
Towards ANSI C Program Slicing using XML (KG, HK), pp. 30–49.
CCCC-2002-HendersonS #compilation
Compiling Mercury to High-Level C Code (FH, ZS), pp. 197–212.
CCCC-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.
CAVCAV-2002-DamsHH
Abstracting C with abC (DD, WH, GJH), pp. 515–520.
CSMRCSMR-2001-BeszedesGSCG #maintenance #scalability #slicing #source code
Dynamic Slicing Method for Maintenance of Large C Programs (ÁB, TG, ZMS, JC, TG), pp. 105–113.
CSMRCSMR-2001-MartinM #java #migration
Strategies for Migration from C to Java (JM, HAM), pp. 200–209.
WCREWCRE-2001-FerencSHKG #c++ #standard #towards
Towards a Standard Schema for C/C++ (RF, SES, RCH, RK, TG), pp. 49–58.
ECOOPECOOP-2001-HaradaYP #named
CCC: User-Defined Object Structure in C (YH, KY, RP), pp. 118–129.
PLDIPLDI-2001-BallMMR #abstraction #automation #source code
Automatic Predicate Abstraction of C Programs (TB, RM, TDM, SKR), pp. 203–213.
PLDIPLDI-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.
PLDIPLDI-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.
SASSAS-2001-DorRS #analysis #integer #source code #string
Cleanness Checking of String Manipulations in C Programs via Integer Analysis (ND, MR, SS), pp. 194–212.
LCTESLCTES-OM-2001-WagnerL #compilation #design #industrial #network
C Compiler Design for an Industrial Network Processor (JW, RL), pp. 155–164.
TACASTACAS-2001-BallPR #abstraction #model checking #source code
Boolean and Cartesian Abstraction for Model Checking C Programs (TB, AP, SKR), pp. 268–283.
ICSMEICSM-2000-HuMDL #analysis #c++ #compilation #execution #symbolic computation #using
C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.
PADLPADL-2000-DiazC #compilation #prolog
GNU Prolog: Beyond Compiling Prolog to C (DD, PC), pp. 81–92.
SASSAS-2000-FosterFA #analysis #points-to #polymorphism
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C (JSF, MF, AA), pp. 175–198.
DATEDATE-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.
ESOPESOP-2000-ElgaardMS #debugging #source code
Compile-Time Debugging of C Programs Working on Trees (JE, AM, MIS), pp. 119–134.
CSMRCSMR-1999-TaschwerRM #generative
Generating Objects from C Code — Features of the CORET Tool-Set (MT, DRR, RM), pp. 91–101.
ICSMEICSM-1999-BurdM #cobol #using
Evaluating the Use of Dominance Trees for C and COBOL (EB, MM), pp. 401–410.
ICSMEICSM-1999-FantaR #c++ #legacy
Restructuring Legacy C Code into C++ (RF, VR), pp. 77–85.
ICSMEICSM-1999-Ward #assembly #migration #using
Assembler to C Migration Using the FermaT Transformation System (MPW), pp. 67–76.
PASTEPASTE-1999-ChandraR #physics #type checking
Physical Type Checking for C (SC, TWR), pp. 66–75.
IFLIFL-1999-Chakravarty #haskell
C -> HASKELL, or Yet Another Interfacing Tool (MMTC), pp. 131–148.
AdaSIGAda-1999-Doran #ada #low level
Interfacing low-level C device drivers with Ada 95 (SD), pp. 133–143.
ESECESEC-FSE-1999-SiffCBKR
Coping with Type Casts in C (MS, SC, TB, KK, TWR), pp. 180–198.
ICSEICSE-1999-Ducasse #automation #debugging #named
Coca: An automated Debugger for C (MD), pp. 504–513.
CCCC-1999-BoekholdKCC #programmable
A Programmable ANSI C Transformation Engine (MB, IK, HC, AGMC), pp. 292–295.
CCCC-1999-CilioC #fixpoint #float
Floating Point to Fixed Point Conversion of C Code (AGMC, HC), pp. 229–243.
DATEDATE-1999-Arnout #design
C for System Level Design (GA), pp. 384–386.
DATEDATE-1999-GhoshKL #c++ #hardware #synthesis
Hardware Synthesis from C/C++ (AG, JK, SYL), pp. 387–389.
DATEDATE-1999-Micheli #c++ #hardware #modelling #synthesis
Hardware Synthesis from C/C++ Models (GDM), pp. 382–383.
DATEDATE-1999-NebelM #ada #java #question #specification
Java, VHDL-AMS, ADA or C for System Level Specifications? (WN, EM), p. 720.
ESOPESOP-1999-Norrish
Deterministic Expressions in C (MN), pp. 147–161.
WCREWCRE-1998-Balmas #roadmap
Outlining C Loops: Preliminary Results and Trends (FB), pp. 115–124.
PLDIPLDI-1998-ZhuH #communication #optimisation #parallel #source code
Communication Optimizations for Parallel C Programs (YZ, LJH), pp. 199–211.
ASEASE-1998-TemplerJ #automation #configuration management
A Configurable Automatic Instrumentation Tool for ANSI C (KT, CLJ), p. 249–?.
CCCC-1998-GhiyaHZ #detection #parallel #recursion #source code
Detecting Parallelism in C Programs with Recursive Darta Structures (RG, LJH, YZ), pp. 159–173.
TOOLSTOOLS-ASIA-1997-ExtonW #c++
From C to C++ (CE, DW), p. 420.
AdaEuropeAdaEurope-1997-BakerO #ada #implementation #interface #lessons learnt
Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation (TPB, DIO), pp. 13–22.
PEPMPEPM-1997-GrantMPCE #runtime
Annotation-Directed Run-Time Specialization in C (BG, MM, MP, CC, SJE), pp. 163–178.
PLDIPLDI-1997-CooperL #source code
Register Promotion in C Programs (KDC, JL), pp. 308–319.
ICSEICSE-1997-YurRLS #analysis #incremental
Incremental Analysis of Side Effects for C Software System (JSY, BGR, WL, PS), pp. 422–432.
ICSMEICSM-1996-GannodC #reverse engineering #source code #using
Using Informal and Formal Techniques for the Reverse Engineering of C Programs (GCG, BHCC), pp. 265–274.
WCREWCRE-1996-GannodC #reverse engineering #source code #using
Using Informal and Formal Techniques for the Reverse Engineering of C Programs (GCG, BHCC), pp. 249–258.
SEKESEKE-1996-CanforaLM #ide #re-engineering #reuse
An Integrated Environment for Reuse Reengineering C Code (GC, ADL, MM), pp. 214–221.
POPLPOPL-1996-ConselN #approach #runtime
A General Approach for Run-Time Specialization and its Application to C (CC, FN), pp. 145–156.
POPLPOPL-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.
FSEFSE-1996-SiffR #c++ #reuse
Program Generalization for Software Reuse: From C to C++ (MS, TWR), pp. 135–146.
CCCC-1996-VerbruggeCH #case study #constant
Generalized Constant Propagation: A Study in C (CV, PC, LJH), pp. 74–90.
DACDAC-1996-Smith
VHDL & Verilog Compared & Contrasted — Plus Modeled Example Written in VHDL, Verilog and C (DJS), pp. 771–776.
HPDCHPDC-1996-Cooperman #interface #named #parallel
TOP-C: A Task-Oriented Parallel C Interface (GC), pp. 141–150.
PDPPDP-1996-Mollar #parallel
A Small Parallel C Simulator (MM), pp. 123–129.
ESOPESOP-1996-SmithV #polymorphism #towards #type system
Towards an ML-Style Polymorphic Type System for C (GS, DMV), pp. 341–355.
TFPIEFPLE-1995-Davison #education
Teaching C after Miranda (AD), pp. 35–50.
PLDIPLDI-1995-WilsonL #analysis #performance #pointer #source code
Efficient Context-Sensitive Pointer Analysis for C Programs (RPW, MSL), p. 1–?.
POPLPOPL-1995-Proebsting #interpreter #optimisation
Optimizing an ANSI C Interpreter with Superoperators (TAP), pp. 322–332.
ICLPICLP-1995-CodognetD #compilation #named #prolog
WAMCC: Compiling Prolog to C (PC, DD), pp. 317–331.
ICSMEICSM-1994-KinlochM #comprehension #graph #representation #source code #using
Understanding C Programs Using the Combined C Graph Representation (DAK, MM), pp. 172–180.
CCCC-1994-JustianiH #array #compilation #dependence #optimisation #testing
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.
PDPPDP-1994-GarciaOA #named
SCCocc2: A C To 0ccam2 Translator And Parallelizer (RG, AO, SA), pp. 350–357.
ICSMECSM-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.
ICSMECSM-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.
PEPMPEPM-1993-Andersen #analysis #pointer
Binding-Time Analysis and the Taming of C Pointers (LOA), pp. 47–58.
CSLCSL-1993-GurevichH #programming language #semantics
ERRATA to “The Semantics of the C Programming Language” (YG, JKH), pp. 334–336.
LISPLFP-1992-RoseM
Integrating the Scheme and C Languages (JRR, HM), pp. 247–259.
PEPMPEPM-1992-Andersen #self
Self-applicable C Program Specialization (LOA), pp. 54–61.
PLDIPLDI-1992-GranlundK #branch #compilation #using
Eliminating Branches using a Superoptimizer and the GNU C Compiler (TG, RK), pp. 341–352.
CCCC-1992-Andersen #automation #compilation #generative #partial evaluation
Partial Evaluation of C and Automatic Compiler Generation (LOA), pp. 251–257.
CSLCSL-1992-GurevichH #programming language #semantics
The Semantics of the C Programming Language (YG, JKH), pp. 274–308.
ICLPISLP-1991-StrooperH #prolog #testing
Prolog Testing of C Modules (PAS, DH), pp. 596–608.
ISSTATAV-1991-HorgnaL #data flow
Data Flow Coverage and the C Language (JRH, SL), pp. 87–97.
ISSTATAV-1991-PandeL #interprocedural #source code
Interprocedural Def-Use Associations in C Programs (HDP, WL), pp. 139–153.
PLDIPLDI-1989-HwuC #compilation #source code
Inline Function Expansion for Compiling C Programs (WmWH, PPC), pp. 246–257.
PLDIPLDI-1988-AllenJ #compilation #parallel
Compiling C for Vectorization, Parallelization, and Inline Expansion (RA, SJ), pp. 241–249.
PLDIPLDI-1987-DavidsonG #interpreter #named #programming language
Cint: a RISC interpreter for the C programming language (JWD, JVG), pp. 189–198.
ESECESEC-1987-RaitherO #named #testing
TRICS: A Testing Tool for C (BR, LJO), pp. 254–262.
ASPLOSASPLOS-1987-DitzelM #design #programming language #trade-off
Design Tradeoffs to Support the C Programming Language in the CRISP Microprocessor (DRD, HRM), pp. 158–163.
DACDAC-1986-Beckett #modelling #network
MOS circuit models in Network C (WSB), pp. 171–178.
ASPLOSASPLOS-1982-DitzelM #for free #stack
Register Allocation for Free: The C Machine Stack Cache (DRD, HRM), pp. 48–56.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.