BibSLEIGH — c++ tag

C++
(sea plus plus)

C++

Tag #c++

303 papers:

ASPLOS-2020-MaasAIJMR #memory management: Learning-based Memory Allocation for C++ Server Workloads (MM, DGA, MI, MMJ, KSM, CR), pp. 541–556.
CC-2020-Lopez-Gomez0AVN: Relaxing the one definition rule in interpreted C++ (JLG, JF0, DdRA, VV, AN, JDG), pp. 212–222.
SCAM-2019-BradleyG #case study #exception #open source: A Study on the Effects of Exception Usage in Open-Source C++ Systems (KB, MG), pp. 1–11.
SEFM-2019-StillB #detection #parallel #source code: Local Nontermination Detection for Parallel C++ Programs (VS, JB), pp. 373–390.
PLDI-2019-PowersTB0 #c #memory management #named: Mesh: compacting memory management for C/C++ applications (BP, DT, EDB, AM0), pp. 333–346.
ASE-2019-MaYLYZ #fault #named #pointer #source code #static analysis: SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs (XM, JY, YL, JY0, JZ), pp. 1122–1125.
ESEC-FSE-2019-LangP #case study #framework #model checking: Model checking a C++ software framework: a case study (JL, ISWBP), pp. 1026–1036.
ICSE-2019-Eyolfson0 #developer #empirical #how: How C++ developers use immutability declarations: an empirical study (JE, PL0), pp. 362–372.
CC-2019-RenwickSF #embedded #exception #low cost: Low-cost deterministic C++ exceptions for embedded systems (JR, TS, BF), pp. 76–86.
ICST-2019-FuMG #testing: Resurgence of Regression Test Selection for C++ (BF, SM, MG), pp. 323–334.
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.
MoDELS-2018-KusmenkoRSW #compilation #component #embedded #modelling #multi: Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc (EK, BR, SS, MvW), pp. 447–457.
PLDI-2018-ChongSW #memory management #semantics #transaction: The semantics of transactions and weak memory in x86, Power, ARM, and C++ (NC, TS0, JW), pp. 211–225.
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.
ASE-2018-MonteiroGCF #bound #framework #model checking #platform #source code: Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract) (FRM, MAPG, LCC, EBdLF), p. 954.
ICSE-2018-HeadSMK #api #documentation #trade-off: When not to comment: questions and tradeoffs with API documentation for C++ projects (AH, CS, ERMH, AK), pp. 643–653.
ICTSS-2018-BonfantiGM #modelling #state machine #validation: Validation of Transformation from Abstract State Machine Models to C++ Code (SB, AG, AM), pp. 17–32.
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.
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.
MoDELS-2016-TuchschererWT #automation #collaboration #modelling: Modern C++ as a modeling language for automated driving and human-robot collaboration (DT, AW, FT), pp. 136–142.
ECOOP-2016-EyolfsonL #empirical: C++ const and Immutability: An Empirical Study of Writes-Through-const (JE, PL0), p. 25.
SAS-2016-BalatsourasS #analysis #c #points-to: Structure-Sensitive Points-To Analysis for C and C++ (GB, YS), pp. 84–104.
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-UesbeckSHPD #empirical #experience: An empirical study on the impact of C++ lambdas and programmer experience (PMU, AS, SH, JP, PD), pp. 760–771.
CGO-2016-ChakrabortyV #c #concurrent #optimisation #source code #validation: Validating optimizations of concurrent C/C++ programs (SC, VV), pp. 216–226.
ICSME-2015-AbidDCM #automation #generative #natural language #summary #using: Using stereotypes in the automatic generation of natural language summaries for C++ methods (NJA, ND, MLC, JIM), pp. 561–565.
SCAM-2015-BonifacioCRKC #exception #using: The use of C++ exception handling constructs: A comprehensive study (RB, FC, GNR, UK, RC), pp. 21–30.
SCAM-2015-HuckBU: Checking C++ codes for compatibility with operator overloading (AH, CB, JU), pp. 91–100.
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-Cukic #functional #programming: Functional Reactive Programming in C++ (IC), pp. 42–74.
CEFP-2015-Grimm #functional #programming: Programming in a Functional Style in C++ (RG), pp. 111–136.
CEFP-2015-Porkolab #functional #programming: Immutables in C++: Language Foundation for Functional Programming (ZP), pp. 75–110.
SEKE-2015-WuCZX #developer #empirical #how #library: How do developers use C++ libraries? An empirical study (DW, LC, YZ, BX), pp. 260–265.
ASE-2015-Narasimhan #eclipse #plugin: Clone Merge — An Eclipse Plugin to Abstract Near-Clone C++ Methods (KN), pp. 819–823.
CGO-2015-StepanovS #detection #memory management #named #performance: MemorySanitizer: fast detector of uninitialized memory use in C++ (ES, KS), pp. 46–55.
SAT-2015-CorziliusKJSA #named #open source #parallel #smt: SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (FC, GK, SJ, SS, EÁ), pp. 360–368.
SCAM-2014-HutchinsBS #analysis #c #concurrent #safety #thread: C/C++ Thread Safety Analysis (DH, AB, DS), pp. 41–46.
SCAM-2014-KosowerLR #documentation #framework #named: Flowgen: Flowchart-Based Documentation Framework for C++ (DAK, JJLV, SAR), pp. 59–64.
ICEIS-v2-2014-DingTZ #automation #c #source code: Automatic Removal of Buffer Overflow Vulnerabilities in C/C++ Programs (SD, HBKT, HZ), pp. 49–59.
SEKE-2014-WuCZX #empirical #library: An empirical study on the adoption of C++ templates: Library templates versus user defined templates (DW, LC, YZ, BX), pp. 144–149.
HILT-2014-Crocker #question: Can C++ be made as safe as SPARK? (DC), pp. 5–12.
PEPM-2014-0008E #detection #fault: Early detection of type errors in C++ templates (SC, ME), pp. 133–144.
CGO-2014-BarikKMLSHNA #performance: Efficient Mapping of Irregular C++ Applications to Integrated GPUs (RB, RK, DM, BTL, TS, CH, YN, ARAT), p. 33.
CSMR-2013-DuclosDGA #automation #named #testing: ACRE: An Automated Aspect Creator for Testing C++ Applications (ED, SLD, YGG, BA), pp. 121–130.
WCRE-2013-HallerSB #c #data type #detection #named: MemPick: High-level data structure detection in C/C++ binaries (IH, AS, HB), pp. 32–41.
CEFP-2013-PorkolabSS #domain-specific language #metaprogramming: DSL in C++ Template Metaprogram (ZP, ÁS, IS), pp. 76–114.
OOPSLA-2013-DeLozierENOMZ #set #type safety: Ironclad C++: a library-augmented type-safe subset of c++ (CD, RAE, SN, PMO, MMKM, SZ), pp. 287–304.
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.
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.
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.
GPCE-2013-SolodkyyRS #pattern matching: Open pattern matching for C++ (YS, GDR, BS), pp. 33–42.
DAC-2013-BombieriLFC #synthesis: A method to abstract RTL IP blocks into C++ code and enable high-level synthesis (NB, HYL, FF, LPC), p. 9.
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.
ICST-2013-HillTB #bound #named: GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software (EH, DJT, SB), pp. 134–143.
ICSM-2012-KumarSS #source code: Rejuvenating C++ programs through demacrofication (AK, AS, BS), pp. 98–107.
ICSM-2012-SuttonZ #library #testing: Testing C++ generic libraries (AS, MZ), pp. 36–45.
OOPSLA-2012-SolodkyyRS #performance: Open and efficient type switch for C++ (YS, GDR, BS), pp. 963–982.
TOOLS-EUROPE-2012-LangrTDD #runtime: Fake Run-Time Selection of Template Arguments in C++ (DL, PT, TD, JPD), pp. 140–154.
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-RamananandroRL #resource management #semantics: A mechanized semantics for C++ object construction and destruction, with applications to resource management (TR, GDR, XL), pp. 521–532.
ICSE-2012-DietzLRA #c #comprehension #integer: Understanding integer overflow in C/C++ (WD, PL, JR, VSA), pp. 760–770.
CC-2012-YangBMIGSSS #inheritance #program analysis: Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis (JY, GB, NM, FI, AG, NS, SS, NS), pp. 144–164.
PDP-2012-PellegriniPF #interface #lightweight: A Lightweight C++ Interface to MPI (SP, RP, TF), pp. 3–10.
ESOP-2012-Stroustrup: Foundations of C++ (BS), pp. 1–25.
ICSM-2011-MihaliczaPG #profiling: Type-preserving heap profiler for C++ (JM, ZP, AG), pp. 457–466.
WCRE-2011-FokinDCT #decompiler #named: SmartDec: Approaching C++ Decompilation (AF, ED, AC, KT), pp. 347–356.
ECOOP-2011-PrabhuMBIG #analysis #exception #interprocedural: Interprocedural Exception Analysis for C++ (PP, NM, GB, FI, AG), pp. 583–608.
POPL-2011-BattyOSSW #concurrent: Mathematizing C++ concurrency (MB, SO, SS, PS, TW), pp. 55–66.
POPL-2011-RamananandroRL #inheritance #layout #multi #verification: Formal verification of object layout for c++ multiple inheritance (TR, GDR, XL), pp. 67–80.
PPDP-2011-BlanchetteWBOS #concurrent: Nitpicking C++ concurrency (JCB, TW, MB, SO, SS), pp. 113–124.
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.
GPCE-J-2009-BaggeDH11 #axiom #testing: Testing with Axioms in C++ 2011 (AHB, VD, MH), pp. 239–270.
SLE-2011-SuttonS #concept #design #library: Design of Concept Libraries for C++ (AS, BS), pp. 97–118.
CAV-2011-LiGR #automation #execution #generative #named #source code #symbolic computation #testing: KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
CSMR-2010-FokinTC #decompiler #re-engineering #source code: Reconstruction of Class Hierarchies for Decompilation of C++ Programs (AF, KT, AC), pp. 240–243.
ICPC-2010-SuttonHM #identification #library: Identification of Idiom Usage in C++ Generic Libraries (AS, RH, JIM), pp. 160–169.
SCAM-2010-Borok-NagyMMPP #metaprogramming #visualisation: Visualization of C++ Template Metaprograms (ZBN, VM, JM, NP, ZP), pp. 167–176.
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.
SAC-OOPS-J-2008-JarviF10: C++ λ expressions and closures (JJ, JF), pp. 762–772.
SAC-2010-TangJ #concept #optimisation: Generic flow-sensitive optimizing transformations in C++ with concepts (XT, JJ), pp. 2111–2118.
GPCE-J-2007-GilL10 #query #sql: Simple and safe SQL queries with C++ templates (JYG, KL), pp. 573–595.
GPCE-J-2007-JarviMS10 #concept #programming: Programming with C++ concepts (JJ, MM, JNS), pp. 596–614.
GPCE-J-2007-PirkelbauerSS10 #design #evaluation #multi: Design and evaluation of C++ open multi-methods (PP, YS, BS), pp. 638–667.
SLE-2010-PirkelbauerDS #evolution: Support for the Evolution of C++ Generic Functions (PP, DD, BS), pp. 123–142.
DATE-2010-KlemmF #embedded #metaprogramming #using: Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.
ICPC-J-2008-VidacsBG09 #c #preprocessor #slicing: Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
ICSM-2009-SuttonHM: Abstracting the template instantiation relation in C++ (AS, RH, JIM), pp. 559–562.
CEFP-2009-Porkolab #functional #metaprogramming: Functional Programming with C++ Template Metaprograms (ZP), pp. 306–353.
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.
GTTSE-2009-SzugyiSPP #library #string: C++ Metastring Library and Its Applications (ZS, ÁS, NP, ZP), pp. 461–480.
GPCE-2009-BaggeDH #axiom #concept #testing: The axioms strike back: testing with concepts and axioms in C++ (AHB, VD, MH), pp. 15–24.
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.
CGO-2009-LiuR #named #performance #source code: Perflint: A Context Sensitive Performance Advisor for C++ Programs (LL, SR), pp. 265–274.
ISMM-2009-BoehmS #garbage collection #standard: Garbage collection in the next C++ standard (HJB, MS), pp. 30–38.
CSMR-2008-TeleaV #named #reverse engineering: SOLIDFX: An Integrated Reverse Engineering Environment for C++ (ACT, LV), pp. 320–322.
ICPC-2008-VidacsJBG #c #preprocessor #slicing: Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
ICSM-2008-SuttonM #automation #concept #identification: Automatically identifying C++0x concepts in function templates (AS, JIM), pp. 57–66.
SCAM-2008-WangH #empirical: An Empirical Study of Function Overloading in C++ (CW, DH), pp. 47–56.
GT-VMT-2008-AzabP #graph #source code #type checking: Type Checking C++ Template Instantiation by Graph Programs (KA, KHP).
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.
SOFTVIS-2008-TeleaV #interactive #reverse engineering #scalability: An interactive reverse engineering environment for large-scale C++ code (ACT, LV), pp. 67–76.
SEKE-2008-DuffyHM #comprehension #evolution #interface #library #protocol #reverse engineering #scalability: Reverse Engineering Interface Protocols for Comprehension of Large C++ Libraries during Code Evolution Tasks (EBD, JOH, BAM), pp. 303–308.
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-BoehmA #concurrent #memory management: Foundations of the C++ concurrency memory model (HJB, SVA), pp. 68–78.
SAC-2008-JarviF: λ functions for C++0x (JJ, JF), pp. 178–183.
SAC-2008-PirkelbauerPMS #concept #library #runtime #standard: Runtime concepts for the C₊₊ standard template library (PP, SP, MM, BS), pp. 171–177.
SAC-2008-RodriguesAP #evolution: A C++ environment for dynamic unanticipated software evolution (AR, HOdA, AP), pp. 815–819.
GPCE-2008-GottschlingL #compilation #concept #library #performance #reuse #robust #semantics #using: Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries (PG, AL), pp. 67–76.
DAC-2008-HaldarSPDG #modelling #verification: Construction of concrete verification models from C++ (MH, GS, SP, BD, AG), pp. 942–947.
VLDB-2007-GilL: Eliminating Impedance Mismatch in C++ (JYG, KL), pp. 1386–1389.
WCRE-J-2005-AkersBMEL07 #automation #case study #component #modelling #program transformation #re-engineering: Case study: Re-engineering C++ component models via automatic program transformation (RLA, IDB, MM, BJE, KRL), pp. 275–291.
WCRE-J-2005-SuttonM07 #modelling #uml: Recovering UML class models from C++: A detailed explanation (AS, JIM), pp. 212–229.
WCRE-2007-DuffyM #approach #automation #grammar recovery: An Automated Approach to Grammar Recovery for a Dialect of the C++ Language (EBD, BAM), pp. 11–20.
SEKE-2007-RodriguesAP #component #evolution #framework: A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution (AR, HOdA, AP), pp. 326–331.
ASE-2007-BlancGK #abstraction #verification: Verifying C++ with STL containers via predicate abstraction (NB, AG, DK), pp. 521–524.
GTTSE-2007-JuhaszSP #finite #implementation #library #state machine: Implementation of a Finite State Machine with Active Libraries in C++ (ZJ, ÁS, ZP), pp. 474–488.
SAC-2007-GregorJ: Variadic templates for C++ (DG, JJ), pp. 1101–1108.
LDTA-J-2005-WaddingtonY #c #program transformation: High-fidelity C/C++ code transformation (DGW, BY), pp. 64–78.
GPCE-2007-GilL #query #sql: Simple and safe SQL queries with c++ templates (JYG, KL), pp. 13–24.
GPCE-2007-JarviMS #adaptation #composition #concept #library #using: Library composition and adaptation using c++ concepts (JJ, MAM, JNS), pp. 73–82.
GPCE-2007-PirkelbauerSS #multi: Open multi-methods for c++ (PP, YS, BS), pp. 123–134.
PPoPP-2007-MuhlenfeldW #concurrent #detection #fault #multi #thread: Fault detection in multi-threaded c++ server applications (AM, FW), pp. 142–143.
ICSM-2006-HouH #semantics: Source-Level Linkage: Adding Semantic Information to C++ Fact-bases (DH, HJH), pp. 448–457.
SCAM-2006-FulopGF #design pattern #mining #tool support: Evaluating C++ Design Pattern Miner Tools (LJF, TG, RF), pp. 127–138.
WCRE-2006-KorshunovaPBM #diagrams #named #process #reverse engineering #sequence #source code #uml #xmi: CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (EK, MP, MvdB, MRM), pp. 297–298.
SOFTVIS-2006-Reichardt #2d: Two-dimensional C++ (JR), pp. 191–192.
ECOOP-2006-SiekT #analysis #semantics: A Semantic Analysis of C++ Templates (JGS, WT), pp. 304–327.
OOPSLA-2006-GregorJSSRL #concept #named #programming: Concepts: linguistic support for generic programming in C++ (DG, JJ, JGS, BS, GDR, AL), pp. 291–310.
OOPSLA-2006-WasserrabNST #inheritance #multi #semantics #type safety: An operational semantics and type safety prooffor multiple inheritance in C++ (DW, TN, GS, FT), pp. 345–362.
AdaEurope-2006-MirandaS #interface: Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ (JM, ES), pp. 179–190.
PLDI-2006-JarviGWLS #algorithm #challenge #programming: Algorithm specialization in generic programming: challenges of constrained generics in C++ (JJ, DG, JW, AL, JGS), pp. 272–282.
POPL-2006-ReisS #concept #specification: Specifying C++ concepts (GDR, BS), pp. 295–308.
ICSE-2006-WangSYHHM #distributed #legacy #re-engineering: Reengineering standalone C++ legacy systems into the J2EE partition distributed environment (XW, JS, XY, CH, ZH, SRM), pp. 525–533.
GPCE-2006-PorkolabMS #debugging #metaprogramming: Debugging C++ template metaprograms (ZP, JM, ÁS), pp. 255–264.
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.
ICSM-IT-2005-VittekBM #comprehension #java #plugin #refactoring: A collection of C, C++ and Java code understanding and refactoring plugins (MV, PB, PEM), pp. 61–64.
IWPC-2005-EnglishBCL #empirical #using: An Empirical Study of the Use of Friends in C++ Software (ME, JB, TC, KL), pp. 329–332.
WCRE-2005-AkersBMEL #automation #component #modelling #program transformation #re-engineering: Reengineering C++ Component Models via Automatic Program Transformation (RLA, IDB, MM, BJE, KRL), pp. 13–22.
WCRE-2005-SuttonM #modelling #reverse engineering #uml: Mappings for Accurately Reverse Engineering UML Class Models from C++ (AS, JIM), pp. 175–184.
SOFTVIS-2005-MalloyP #modelling #source code #uml #visualisation: Exploiting UML dynamic object modeling for the visualization of C++ programs (BAM, JFP), pp. 105–114.
SIGAda-2005-AusdenN #using: Using ASIS to generate C++ bindings (HA, KAN), pp. 23–30.
SIGAda-2005-Mark #ada #c: Data sharing between ada and C/C++ (MM), pp. 93–102.
GTTSE-2005-PorkolabZ #composition #metaprogramming #problem: A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming (ZP, IZ), pp. 459–470.
SAC-2005-DoxseeG #automation #specification #synthesis: Synthesis of C++ software for automated teller from CSPm specifications (SD, WBG), pp. 1565–1566.
SAC-2005-Heinlein: Virtual namespace functions: an alternative to virtual member functions in C++ and advice in AspectC++ (CH), pp. 1274–1281.
SAC-OOPS-J-2005-Heinlein: Global and Local Virtual Functions in C++ (CH), pp. 71–93.
GPCE-2005-YaoZC #aspect-oriented #framework #programming: AOP++: A Generic Aspect-Oriented Programming Framework in C++ (ZY, QZ, GC), pp. 94–108.
LDTA-2005-WaddingtonY #c #program transformation: High-Fidelity C/C++ Code Transformation (DGW, BY), pp. 35–56.
CC-2005-Padovani #compilation #using: Compilation of Generic Regular Path Expressions Using C++ Class Templates (LP), pp. 27–42.
FASE-2005-Dayani-FardYMA #architecture #c #legacy: Improving the Build Architecture of Legacy C/C++ Software Systems (HDF, YY, JM, PA), pp. 96–110.
A-MOST-2005-Sayre #automation #modelling #testing: Usage model-based automated testing of C++ templates (KS), pp. 13–17.
CSMR-2004-VidacsBF #c #preprocessor: Columbus Schema for C/C++ Preprocessing (LV, ÁB, RF), pp. 75–84.
IWPC-2004-KanellopoulosT #clustering #comprehension #data mining #mining #source code: Data Mining Source Code to Facilitate Program Comprehension: Experiments on Clustering Data Retrieved from C++ Programs (YK, CT), pp. 214–225.
SCAM-2004-HouHR #guidelines #programming #specification: Specifying the Law of Demeter and C++ Programming Guidelines with FCL (DH, HJH, PR), pp. 119–127.
WCRE-2004-GschwindPG #named: TUAnalyzer — Analyzing Templates in C++ Code (TG, MP, HG), pp. 48–57.
ICEIS-v1-2004-ZhouNB #implementation #performance #using: An Efficient B+-Tree Implementation in C++ Using the STL Style (JZ, BN, GB), pp. 163–168.
PEPM-2004-AkersBM #automation #component #program transformation #re-engineering: Invited application paper: re-engineering C++ components via automatic program transformation (RLA, IDB, MM), pp. 51–55.
SAC-2004-SurazhskyG #type safety: Type-safe covariance in C++ (VS, JYG), pp. 1496–1502.
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.
CSMR-2003-GibbsM #aspect-oriented #invariant #validation #weaving: Weaving Aspects into C++ Applications for Validation of Temporal Invariants (THG, BAM), pp. 249–258.
CSMR-2003-Latendresse #c #evaluation #performance #preprocessor #symbolic computation #using: Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value (ML), p. 170–?.
ICSM-2003-BalanyiF #design pattern #mining #source code: Mining Design Patterns from C++ Source Code (ZB, RF), pp. 305–314.
ICSM-2003-TonellaP #diagrams #interactive #reverse engineering: Reverse Engineering of the Interaction Diagrams from C++ Code (PT, AP), pp. 159–168.
IWPC-2003-CollardKM #lightweight #xml: An XML-Based Lightweight C++ Fact Extractor (MLC, HHK, JIM), pp. 134–143.
SCAM-2003-BaggeKHV #design #optimisation #source code: Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs (OSB, KTK, MH, EV), p. 65–?.
WCRE-2003-VinciguerraWKMV #decompiler #framework #java #tool support: An Experimentation Framework for Evaluating Disassembly and Decompilation Tools for C++ and Java (LV, LMW, NK, PM, RLV), pp. 14–23.
SEKE-2003-BelliniGNR #implementation #logic #realtime: TILCO Temporal Logic for Real-Time Systems Implementation in C++ (PB, AG, PN, DR), pp. 166–173.
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.
GPCE-2003-ZolyomiPK #metaprogramming #type system: An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming (IZ, ZP, TK), pp. 209–227.
PPoPP-2003-PoznianskyS #concurrent #detection #multi #on the fly #performance #source code: Efficient on-the-fly data race detection in multihreaded C++ programs (EP, AS), pp. 179–190.
CSMR-2002-FerencB: Data Exchange with the Columbus Schema for C++ (RF, ÁB), pp. 59–66.
ICSM-2002-FerencBTG #named #reverse engineering: Columbus — Reverse Engineering Tool and Schema for C++ (RF, ÁB, MT, TG), pp. 172–181.
ICSM-2002-TonellaP #analysis #diagrams: Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram (PT, AP), pp. 54–63.
IWPC-2002-SimHE #benchmark #metric #on the #using: On Using a Benchmark to Evaluate C++ Extractors (SES, RCH, SME), pp. 114–123.
OOPSLA-2002-SutterBB #low level #reuse: Sifting out the mud: low level C++ code reuse (BDS, BDB, KDB), pp. 275–291.
ASE-2002-GibbsMP #automation #invariant #validation: Automated Validation of Class Invariants in C++ Applications (THG, BAM, JFP), p. 205–?.
DATE-2002-PaskoVS #design: Techniques to Evolve a C++ Based System Design Language (RP, SV, PS), pp. 302–309.
ITiCSE-2001-Kumar #interactive #learning #pointer: Learning the interaction between pointers and scope in C++ (ANK), pp. 45–48.
ICSM-2001-TonellaP #diagrams #reverse engineering #uml: Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers (PT, AP), pp. 376–385.
WCRE-2001-DeanMH: Union Schemas as a Basis for a C++ Extractor (TRD, AJM, RCH), p. 59–?.
WCRE-2001-FerencSHKG #c #standard #towards: Towards a Standard Schema for C/C++ (RF, SES, RCH, RK, TG), pp. 49–58.
TOOLS-USA-2001-Guerreiro #contract #design: Simple Support for Design by Contract in C++ (PG), pp. 24–34.
ICSE-2001-HobatrM #debugging #using: Using OCL-Queries for Debugging C++ (CH, BAM), pp. 839–840.
SAC-2001-HobatrM #debugging #design #ocl: The design of an OCL query-based debugger for C++ (CH, BAM), pp. 658–662.
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.
ICFP-2000-McNamaraS #functional #programming: Functional programming in C++ (BM, YS), pp. 118–129.
TOOLS-EUROPE-2000-Guerreiro: Another Mediocre Assertion Mechanism for C++ (PG), pp. 226–237.
TOOLS-PACIFIC-2000-PowerM: Symbol Table Construction and Name Lookup in ISO C++ (JFP, BAM), pp. 57–69.
TOOLS-USA-2000-Kotula #reliability: Constructing Reliable C++ Classes [Abstract] (JK), pp. 501–504.
TOOLS-USA-2000-Langer00a #implementation #using: Using C++ Templates for Implementation of Patterns (AL), pp. 485–486.
GCSE-2000-SmaragdakisB #mixin #programming: Mixin-Based Programming in C++ (YS, DSB), pp. 163–177.
SAC-2000-DenehyJ #java #parallel #virtual machine: Parallel C++ for the Java Virtual Machine (TED, CHJ), pp. 843–848.
SAC-2000-PowerM #approach #modelling #problem #programming language: An Approach for Modeling the Name Lookup Problem in the C++ Programming Language (JFP, BAM), pp. 792–796.
DATE-2000-VerkestKS #design #using: System Level Design Using C++ (DV, JK, FS), pp. 74–81.
ICSM-1999-FantaR #c #legacy: Restructuring Legacy C Code into C++ (RF, VR), pp. 77–85.
IWPC-1999-CainM #lens #using #visualisation: Program Visualisation using C++ Lenses (JWC, RJM), pp. 20–26.
IWPC-1999-KnapenLDM #parsing: Parsing C++ Despite Missing Declarations (GK, BL, MD, EM), pp. 114–125.
TOOLS-EUROPE-1999-Coplien99a #design #implementation #multi #paradigm: Multiparadigm Design and Implementation in C++ (JC), p. 408.
TOOLS-EUROPE-1999-Lippman #performance: Efficiency in C++ (SBL), p. 414.
TOOLS-EUROPE-1999-MaleyS #contract #design: Emulating Design by Contract in C++ (DM, ITAS), pp. 66–75.
TOOLS-EUROPE-1999-SchaerfLC #algorithm #framework: LOCAL++: A C++ Framework for Local Search Algorithms (AS, ML, MC), pp. 152–161.
TOOLS-PACIFIC-1999-Caspersen #embedded #framework #implementation #modelling #realtime: A C++ Framework for Active Objects in Embedded Real-time Systems-Bridging the Gap Between Modeling and Implementation (MEC), pp. 52–65.
TOOLS-USA-1999-Joyner #comparison #eiffel #java: Java, Eiffel and C++: The Language Comparison (IJ), p. 441.
TOOLS-USA-1999-Langer #exception #programming: Programming with C++ Exceptions (AL), p. 439.
TOOLS-USA-1999-PloschP #analysis #contract #implementation #named: Contracts: From Analysis to C++ Implementation (RP, JP), pp. 248–257.
GCSE-1999-Jarvi: C++ Function Object Binders Made Easy (JJ), pp. 165–177.
PEPM-1999-Veldhuizen #partial evaluation: C++ Templates as Partial Evaluation (TLV), pp. 13–18.
SIGAda-1999-LortzT #abstract syntax tree #ada #distributed #realtime: The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program (HAL, TAT), pp. 181–182.
ICSE-1999-MalabarbaDS #java #named: MoHCA-Java: A Tool for C++ to Java Conversion Support (SM, PTD, AS), pp. 650–653.
ICSE-1999-SchaferZ #design pattern #java #uml: Round-Trip Engineering with Design Patterns, UML, Java and C++ (WS, AZ), pp. 683–684.
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.
CSMR-1998-FioravantiNP #assessment #process: A Tool for Process and Product Assessment of C++ Applications (FF, PN, SP), pp. 89–95.
ICFP-1998-Kiselyov98a #abstraction #functional: Functional Style in C++: Closures, Late Binding, and λ Abstractions (OK), p. 337.
TOOLS-ASIA-1998-Jarvi #recursion: Compile Time Recursive Objects in C++ (JJ), pp. 66–77.
TOOLS-ASIA-1998-YuanCXMY #analysis #database #information management #tool support: C++ Program Information Database for Analysis Tools (WY, XC, TX, HM, FY), pp. 173–180.
TOOLS-PACIFIC-1998-LowC #named #testing: CDFA: A Testing System for C++ (CKL, TYC), pp. 216–228.
TOOLS-USA-1998-DeBruine #design pattern: Mastering Software Patterns in C++ (TD), p. 403.
TOOLS-USA-1998-Joyner #comparison #eiffel #java #object-oriented: OO Language Comparison: Java, Eiffel and C++ (IJ), p. 405.
PLDI-1998-SweeneyT #case study: A Study of Dead Data Members in C++ Applications (PFS, FT), pp. 324–332.
FSE-1998-Karasick #architecture #incremental #programming: The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++ (MK), pp. 131–142.
ICSE-1998-ChuangKW #architecture: Non-Intrusive Object Introspection in C++: Architecture and Application (TRC, YSK, CMW), pp. 312–321.
SAC-1998-BuddrusS #java #named: Cappuccino — A C++ to Java translator (FB, JS), pp. 660–665.
PDP-1998-SobralP #parallel: ParC++: a simple extension of C++ to parallel systems (JLS, AJP), pp. 453–459.
ITiCSE-1997-HitzK #education: Teaching C++ on the WWW (MH, SK), pp. 11–13.
TOOLS-ASIA-1997-ChuangJKK #generative #named: ObjectStream: Generating Stream-Based Object I/O for C++ (TRC, CCJ, WMK, YSK), pp. 70–79.
TOOLS-ASIA-1997-Coplien97a #programming #using: Advanced C++ Programming Styles: Using C++ as a Higher-Level Language (JC), pp. 418–419.
TOOLS-ASIA-1997-ExtonW #c: From C to C++ (CE, DW), p. 420.
TOOLS-ASIA-1997-SheardH #case study #concept #education #experience #object-oriented #programming #student #using: Experiences with Teaching Object-Oriented Concepts to Introductory Programming Students Using C++ (JS, DH), pp. 310–319.
TOOLS-PACIFIC-1997-Coplien #programming: Advanced C++ Programming Styles and Idioms (JC), p. 352.
TOOLS-PACIFIC-1997-Schade #automation #generative #java: Automatic Generation of Bridging Code for Accessing C++ from Java (AS), pp. 165–180.
TOOLS-USA-1997-DingleH: New Coding Patterns for Object Management in C++ (AD, THH), pp. 38–47.
TOOLS-USA-1997-Jakubik #implementation: Callback Implementations in C++ (PJ), p. 377.
TOOLS-USA-1997-Winroth #interface #library #scripting language: A Scripting Language Interface to C++ Libraries (HW), pp. 247–259.
PLDI-1997-RamalingamS #algorithm: A Member Lookup Algorithm for C++ (GR, HS), pp. 18–30.
ASE-1997-WangPS #automation #inheritance #object-oriented #testing: An Automated Object-Oriented Testing for C++ Inheritance Hierarchy (CCW, WCP, TKS), pp. 315–316.
ESEC-FSE-1997-ChenGK #analysis #detection #reachability: A C++ Data Model Supporting Reachability Analysis and Dead Code Detection (YFC, ERG, EK), pp. 414–431.
ICSE-1997-BriandDM #metric: An Investigation into Coupling Measures for C++ (LCB, PTD, WLM), pp. 412–421.
ICSE-1997-TonellaAFM #analysis #morphism #pointer #polymorphism #slicing: Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing (PT, GA, RF, EM), pp. 433–443.
ICSM-1996-ChenTHPRW #ide #maintenance #named: Omega — an integrated environment for C++ program maintenance (XC, WTT, HH, MHP, SR, YW), p. 114–?.
WIA-1996-Watson: FIRE Lite: FAs and REs in C++ (BWW), pp. 167–188.
FME-1996-FrohlichL #specification: Combining VDM-SL Specifications with C++ Code (BF, PGL), pp. 179–194.
SEKE-1996-Franca #design #education #library #object-oriented #programming: The Design of a Class Library to Support Teaching of Object Oriented Programming with C++ (PBF), pp. 32–37.
ECOOP-1996-AignerH #source code: Eliminating Virtual Function Calls in C++ Programs (GA, UH), pp. 142–166.
ECOOP-1996-Hohenstein #database #relational: Bridging the Gap Between C++ and Relational Databases (UH), pp. 398–420.
OOPSLA-1996-BaconS #performance #static analysis: Fast Static Analysis of C++ Virtual Function Calls (DFB, PFS), pp. 324–341.
OOPSLA-1996-DriesenH: The Direct Cost of Virtual Function Calls in C++ (KD, UH), pp. 306–323.
OOPSLA-1996-TipCFR #slicing: Slicing Class Hierarchies in C++ (FT, JDC, JF, GR), pp. 179–197.
FSE-1996-SiffR #c #reuse: Program Generalization for Software Reuse: From C to C++ (MS, TWR), pp. 135–146.
SAC-1996-KuhnB #optimisation: An enabling optimization for C++ virtual functions (BMK, DB), pp. 420–428.
SAC-1996-LiK #case study #design #graph #implementation #object-oriented #reuse: An object-oriented design and implementation of reusable graph objects with C++: a case study (WNL, RK), pp. 510–514.
ICSM-1995-AntoniolFMT #migration #user interface #visual notation: Application and user interface migration from BASIC to Visual C++ (GA, RF, EM, PT), p. 76–?.
OOPSLA-1995-Chiba #protocol: A Metaobject Protocol for C++ (SC), pp. 285–299.
AdaEurope-1995-Heitz #ada #automation #code generation #reliability #reuse #using: Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets (MH), pp. 419–438.
OOPSLA-1994-Onodera #database #experience #information management #object-oriented #representation: Experience with Representing C++ Program Information in an Object-Oriented Database (TO), pp. 403–413.
TOOLS-EUROPE-1994-Goldberg #analysis #design #object-oriented: Object-Oriented Analysis and Design with C++ (MG), p. 531.
TOOLS-EUROPE-1994-KarakostasP #automation #hybrid #logic #specification: Automatic Transformation of Hybrid Object and Logic Specification to C++ Code (VK, LP), pp. 363–373.
TOOLS-EUROPE-1994-Rubio: C++: Attacks and Defenses (JAR), pp. 429–435.
TOOLS-EUROPE-1994-Wiener94a #comparison #eiffel: A Critical Comparison of C++ and Eiffel — A Clash of Cultures (RW), p. 541.
AdaEurope-1994-KayloeL #ada #architecture: Merging Ada 9X and C++ in a Graphics System Software Architecture (JRK, PKL), pp. 33–42.
POPL-1994-CalderG #source code: Reducing Indirect Function call Overhead in C++ Programs (BC, DG), pp. 397–408.
SAC-1994-LeeA: C++ style class support under FIG Forth (YML, DJA), pp. 341–345.
ECOOP-1993-AssenmacherBBHS #distributed #named #programming: PANDA — Supporting Distributed Programming in C++ (HA, TB, PB, VH, RS), pp. 361–383.
OOPSLA-1993-KaleK #concurrent #object-oriented: CHARM++: A Portable Concurrent Object Oriented System Based On C++ (LVK, SK), pp. 91–108.
TOOLS-EUROPE-1993-BergerS #compilation #database #relational #source code: A Compiler To Create Relational Database Schemes From Application Programs Written in C++ (EB, ES), pp. 75–86.
TOOLS-PACIFIC-1993-Wall: Introduction to C++ (PW), p. 332.
TOOLS-PACIFIC-1993-Wall93a: Advanced C++ (PW), p. 333.
TOOLS-USA-1993-Brandis #design #scalability #using: An O-O Case History: Large System Design Using C++ (CB), p. 534.
TOOLS-USA-1993-KoivistoR #named: Cerial: A Tool for XDR or ASN.1 BER Serialization of C++ Objects (JK, JR), pp. 109–122.
TOOLS-USA-1993-NebeshR #education #object-oriented: Teaching Object-Oriented Technology Through C++ to Professional Programmers (BAN, MR), pp. 627–636.
TOOLS-USA-1993-Polze #approach #communication: The Object Space Approach: Decoupled Communication in C++ (AP), pp. 195–204.
TOOLS-USA-1993-Putnam #case study #experience #programming: C++ vs Sather: Experiences in Experimental Programming (JP), pp. 265–277.
TOOLS-USA-1993-VideiraS #design #development #framework #using: Using C++ in the Development of an Electronic Design Framework (IV, HS), pp. 255–264.
AdaEurope-1993-Jorgensen #ada #comparison #object-oriented: A Comparison of the Object-Oriented Features of Ada 9X and C++ (JJI), pp. 125–141.
OOPSLA-1992-Walsh #development #fault #scalability: Preliminary Defect Data from the Iterative Development of a Large C++ Program (JFW), pp. 178–183.
TOOLS-EUROPE-1992-BuschmannKS #information management #runtime: A Runtime Type Information System for C++ (FB, KK, MS), pp. 265–274.
TOOLS-EUROPE-1992-Hucklesby: C++ (PH), p. 429.
TOOLS-EUROPE-1992-McCue: Intercepting Fecht and Store Operations in C++ (DLM), pp. 275–282.
TOOLS-PACIFIC-1992-DebrayH #simulation: Some Classes for Object-Based Simulation in C++ (TD, JBH), pp. 143–152.
TOOLS-PACIFIC-1992-Mowbray: A Tour of C++ (MM), p. 235.
TOOLS-USA-1992-PauwWJ #metadata: An Operational Metadata System for C++ (PAP, RW, AJ), pp. 215–223.
TOOLS-USA-1992-RajaramanL #metric #source code: Some Coupling Measures for C++ Programs (CR, MRL), pp. 225–234.
POPL-1992-Edelson: A Mark-and-Sweep Collector for C++ (DRE), pp. 51–58.
TRI-Ada-C-1992-Tang #ada #comparison: A Comparison of Ada and C++ (LST), pp. 338–349.
IWMM-1992-Edelson #garbage collection: Precompiling C++ for Garbage Collection (DRE), pp. 299–314.
IWMM-1992-Samples: GC-cooperative C++ (ADS), pp. 315–329.
ECOOP-1991-Snyder #modelling: Modeling the C++ Object Model, An Application of an Abstract Object Model (AS), pp. 1–20.
TOOLS-USA-1991-Grass #design #object-oriented: Design Archaeology For Object-Oriented Redesign in C++ (JEG), pp. 365–368.
TOOLS-USA-1991-Horstmann #design #library #standard: Design Considerations for a Standard C++ Container Class Library (CSH), pp. 327–338.
TOOLS-USA-1991-Lippman: An Introduction to C++ (SBL), pp. 435–436.
TOOLS-USA-1991-RosuelGD #concept #re-engineering: C++ Adequacy for Software Engineering Concepts (GR, JLG, AD), pp. 141–152.
OOPSLA-ECOOP-1990-BoochV #component #design: The Design of the C++ Booch Components (GB, MV), pp. 1–11.
ECOOP-1989-ShapiroGM #migration #persistent: Persistence and Migration for C++ Objects (MS, PG, LM), pp. 191–204.
OOPSLA-1989-Jerrell #automation #difference #using: Function Minimization and Automatic Differentiation Using C++ (MEJ), pp. 169–173.
ECOOP-1988-Sakkinen #on the: On the Darker Side of C++ (MS), pp. 162–176.
OOPSLA-1988-WeinandGM #framework #object-oriented: ET++ — An Object-Oriented Application Framework in C++ (AW, EG, RM), pp. 46–57.