Stem trace$ (all stems)

579 papers:

QoSA-2015-HofigZS #automation #dependence #using

Automated Failure Propagation using Inner Port Dependency Traces (KH, MZ, KS), pp. 123–128.

CASE-2015-WareS #synthesis #using

Synthesis time optimal accepting traces using language projection and pruning (SW, RS), pp. 1363–1368.

CASE-2015-WatteyneAV #lessons learnt #scalability

Lessons learned from large-scale dense IEEE802.15.4 connectivity traces (TW, CA, XV), pp. 145–150.

DATE-2015-BanciuOW #information management #reliability

Reliable information extraction for single trace attacks (VB, EO, CW), pp. 133–138.

DATE-2015-DaneseGP #automation #behaviour #execution #modelling

Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.

DATE-2015-GorevUD #fault #parallel #simulation

Fault simulation with parallel exact critical path tracing in multiple core environment (MG, RU, SD), pp. 1180–1185.

DATE-2015-LiuDNL #hardware #named #realtime

FastTree: a hardware KD-tree construction acceleration engine for real-time ray tracing (XL, YD, YN, ZL), pp. 1595–1598.

DATE-2015-TchagouTMVSQ #multi #testing

Reducing trace size in multimedia applications endurance tests (SVET, AT, JFM, BV, MS, RQ), pp. 984–985.

DATE-2015-ZhuM #linear #machine learning #optimisation #programming #using

Optimizing dynamic trace signal selection using machine learning and linear programming (CSZ, SM), pp. 1289–1292.

ITiCSE-2015-Kumar #problem #semantics

Solving Code-tracing Problems and its Effect on Code-writing Skills Pertaining to Program Semantics (ANK), pp. 314–319.

FoSSaCS-2015-KlinR #algebra #logic #semantics

Coalgebraic Trace Semantics via Forgetful Logics (BK, JR), pp. 151–166.

TACAS-2015-CassezMPS #composition #contest #named #refinement

Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.

ICPC-2015-FittkauFHW #comprehension #visualisation

Comparing trace visualizations for program comprehension through controlled experiments (FF, SF, WH, JW), pp. 266–276.

SANER-2015-AlawnehHH #analysis #metamodelling #performance #towards

Towards a common metamodel for traces of high performance computing systems to enable software analysis tasks (LA, AHL, JH), pp. 111–120.

SANER-2015-CaiS15a #analysis #dependence #fine-grained #named

TRACERJD: Generic trace-based dynamic dependence analysis with fine-grained logging (HC, RAS), pp. 489–493.

SANER-2015-NayrollesHTL #approach #debugging #model checking #named #using

JCHARMING: A bug reproduction approach using crash traces and directed model checking (MN, AHL, ST, AL), pp. 101–110.

SANER-2015-RoehmNB #automation #interactive

Automated extraction of failure reproduction steps from user interaction traces (TR, SN, BB), pp. 121–130.

SANER-2015-SassoML #detection #problem

Misery loves company: CrowdStacking traces to aid problem detection (TDS, AM, ML), pp. 131–140.

SCAM-2015-YuSF #named

LeakTracer: Tracing leaks along the way (HY, XS, WF), pp. 181–190.

LATA-2015-JanickiKKM #order #subclass

Order Structures for Subclasses of Generalised Traces (RJ, JK, MK, LM), pp. 689–700.

FM-2015-DuLT #independence #ltl #monitoring #policy #runtime

Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (XD, YL, AT), pp. 231–247.

FM-2015-KroeningLW #automaton #bound #model checking #proving #safety

Proving Safety with Trace Automata and Bounded Model Checking (DK, ML, GW), pp. 325–341.

ICFP-2015-BaumanBHKPST #functional #jit #named

Pycket: a tracing JIT for a functional language (SB, CFB, RH, VK, TP, JGS, STH), pp. 22–34.

CHI-2015-MarlowDF #design #online #process #quality

Exploring the Role of Activity Trace Design on Evaluations of Online Worker Quality (JM, LAD, JLF), pp. 1617–1620.

CHI-2015-ZezschwitzLJH

Easy to Draw, but Hard to Trace?: On the Observability of Grid-based (Un)lock Patterns (EvZ, ADL, PJ, HH), pp. 2339–2342.

CAiSE-2015-Francescomarino #using #workflow

Completing Workflow Traces Using Action Languages (CDF, CG, ST, IVS), pp. 314–330.

CAiSE-2015-SunB #approach #clustering #novel #top-down

A Novel Top-Down Approach for Clustering Traces (YS, BB), pp. 331–345.

ICEIS-v1-2015-ShamsuzzohaEAH #case study #network

Tracking and Tracing of Global Supply Chain Network — Case Study from a Finnish Company (AS, ME, RAT, PTH), pp. 46–53.

BX-2015-HidakaBTM #analysis #approach #bidirectional #graph transformation

Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations (SH, MB, QMT, KM), pp. 51–65.

ECMFA-2015-BousseMCB #approach #generative #metamodelling

A Generative Approach to Define Rich Domain-Specific Trace Metamodels (EB, TM, BC, BB), pp. 45–61.

ECMFA-2015-OgunyomiRK #incremental #model-to-text

Property Access Traces for Source Incremental Model-to-Text Transformation (BO, LMR, DSK), pp. 187–202.

OOPSLA-2015-MarrD #partial evaluation #self

Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters (SM, SD), pp. 821–839.

POPL-2015-GuptaHRST #concurrent #representation #set

Succinct Representation of Concurrent Trace Sets (AG, TAH, AR, RS, TT), pp. 433–444.

SAC-2015-VorobyovKS #monitoring #specification

A concise specification language for trace monitoring (KV, PK, PS), pp. 1637–1640.

ESEC-FSE-2015-KevicWSSSF #developer #interactive

Tracing software developers’ eyes and interactions for change tasks (KK, BMW, TRS, BS, DCS, TF), pp. 202–213.

ESEC-FSE-2015-RajagopalanH #concurrent #detection #named

RDIT: race detection from incomplete traces (AKR, JH), pp. 914–917.

ICSE-v2-2015-Cornu #debugging #named #null #using

Casper: Using Ghosts to Debug Null Deferences with Dynamic Causality Traces (BC), pp. 790–791.

ICSE-v2-2015-Schwartz-Narbonne #c #named #source code

VERMEER: A Tool for Tracing and Explaining Faulty C Programs (DSN, CO, MS, TW), pp. 737–740.

ICSE-v2-2015-TheisenHMMW #approximate #stack

Approximating Attack Surfaces with Stack Traces (CT, KH, PM, BM, LAW), pp. 199–208.

ASPLOS-2015-LiuHMHTS #memory management #named

GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation (CL, AH, MM, MWH, MT, ES), pp. 87–101.

HPDC-2015-XiaoCHZ #cpu #gpu #monte carlo

Monte Carlo Based Ray Tracing in CPU-GPU Heterogeneous Systems and Applications in Radiation Therapy (KX, DZC, XSH, BZ), pp. 247–258.

SOSP-2015-MaceRF #distributed #monitoring

Pivot tracing: dynamic causal monitoring for distributed systems (JM, RR, RF), pp. 378–393.

ASE-2014-BurgDMDGH #consistency #nondeterminism #process

Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.

ASE-2014-CaiS #dependence #impact analysis #named #precise #using

Diver: precise dynamic impact analysis using dependence-based trace pruning (HC, RAS), pp. 343–348.

ASE-2014-RanganathVG #comparison #testing #using

Compatibility testing using patterns-based trace comparison (VPR, PV, PG), pp. 469–478.

DAC-2014-AgostaBPS #approach #embedded #encryption #execution #multi

A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.

DATE-2014-LagraaTP #data mining #mining #scalability #simulation #using

Scalability bottlenecks discovery in MPSoC platforms using data mining on simulation traces (SL, AT, FP), pp. 1–6.

ITiCSE-2014-StrieweG14a #runtime #using

Code reading exercises using run time traces (MS, MG), p. 346.

FASE-2014-BersaniBGKP #smt

SMT-Based Checking of SOLOIST over Sparse Traces (MMB, DB, CG, SK, PSP), pp. 276–290.

TACAS-2014-Cheval #algorithm #equivalence #named #proving

APTE: An Algorithm for Proving Trace Equivalence (VC), pp. 587–592.

CSMR-WCRE-2014-AlawnehHML #approach #communication #effectiveness

A contextual approach for effective recovery of inter-process communication patterns from HPC traces (LA, AHL, SSM, YL), pp. 274–282.

ICSME-2014-MorenoTMS #debugging #locality #on the #stack

On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization (LM, JJT, AM, WS), pp. 151–160.

ICSME-2014-WongXZHZM #analysis #fault #locality #segmentation

Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis (CPW, YX, HZ, DH, LZ, HM), pp. 181–190.

MSR-2014-AkerblomSTW #python #source code

Tracing dynamic features in python programs (BÅ, JS, MT, TW), pp. 292–295.

ICALP-v1-2014-WimmerWZ #complexity #matrix #query

Optimal Query Complexity for Estimating the Trace of a Matrix (KW, YW, PZ), pp. 1051–1062.

ICALP-v2-2014-Chaturvedi #towards

Toward a Structure Theory of Regular Infinitary Trace Languages (NC), pp. 134–145.

SEFM-2014-BianculliGK #logic #metric #pipes and filters #using

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce (DB, CG, SK), pp. 144–158.

DUXU-TMT-2014-LaamanenSH #design #process

Tracing Design Work through Contextual Activity Sampling (TKL, PSH, KH), pp. 142–152.

ICEIS-v2-2014-ShumskyRW #calculus #execution #process

Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.

ICPR-2014-AzizWH #graph #kernel #using

Graph Characterization Using Wave Kernel Trace (FA, RCW, ERH), pp. 3822–3827.

ICPR-2014-BaiHRE #complexity #graph

Directed Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs (LB, ERH, PR, FE), pp. 3874–3879.

KMIS-2014-WangABN #recommendation #semantics #towards

Towards a Recommender System from Semantic Traces for Decision Aid (NW, MHA, JPAB, EN), pp. 274–279.

SEKE-2014-DaubalDDA #concept

Tracing Domain Data Concepts in Layered Applications (MD, ND, DBD, HUA), pp. 292–297.

ICMT-2014-GuanaS #analysis

ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments (VG, ES), pp. 146–153.

ICMT-2014-InostrozaSE #program transformation #string

Tracing Program Transformations with String Origins (PI, TvdS, SE), pp. 154–169.

ECOOP-2014-NittaKT #framework #identification

Identifying Mandatory Code for Framework Use via a Single Application Trace (NN, IK, YT), pp. 593–617.

POPL-2014-DissegnaLR #abstract interpretation #compilation

Tracing compilation by abstract interpretation (SD, FL, FR), pp. 47–60.

RE-2014-PruskiLAOARC #named #natural language #query #towards

TiQi: Towards natural language trace queries (PP, SL, RA, GO, SA, AR, JCH), pp. 123–132.

SAC-2014-PatrignaniC #low level #semantics

Fully abstract trace semantics for low-level isolation mechanisms (MP, DC), pp. 1562–1569.

FSE-2014-KrkaBM #automation #invariant #mining #specification

Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.

FSE-2014-LiYP0H #finite #infinity #ltl #named #satisfiability

Aalta: an LTL satisfiability checker over Infinite/Finite traces (JL, YY, GP, LZ, JH), pp. 731–734.

ASPLOS-2014-YuHZX #execution #performance

Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.

PPoPP-2014-IsaacsGBBSH #execution #identification #logic #parallel

Extracting logical structure and identifying stragglers in parallel execution traces (KEI, TG, AB, PTB, MS, BH), pp. 397–398.

PPoPP-2014-SamakR #concurrent #detection

Trace driven dynamic deadlock detection and reproduction (MS, MKR), pp. 29–42.

VMCAI-2014-WangH #concurrent #reachability

Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability (CW, KH), pp. 376–394.

QoSA-2013-BerardinelliLM #analysis #execution #non-functional

Combining fUML and profiles for non-functional analysis based on model execution traces (LB, PL, TM), pp. 79–88.

QoSA-2013-DuSHGV #generative #modelling #sequence

Generating service models by trace subsequence substitution (MD, JGS, CMH, JG, SV), pp. 123–132.

ASE-2013-DietrichCS #effectiveness #learning #query #requirements #retrieval

Learning effective query transformations for enhanced requirements trace retrieval (TD, JCH, YS), pp. 586–591.

ASE-2013-KwonZX #execution #framework #independence #named

PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.

ASE-2013-SaadaHNS #model transformation #multi #optimisation #using

Recovering model transformation traces using multi-objective optimization (HS, MH, CN, HAS), pp. 688–693.

DATE-2013-LagraaTP #concurrent #data access #data mining #identification #memory management #mining #simulation

Data mining MPSoC simulation traces to identify concurrent memory access patterns (SL, AT, FP), pp. 755–760.

DATE-2013-LiD #approach #debugging #hybrid #performance

A hybrid approach for fast and accurate trace signal selection for post-silicon debug (ML, AD), pp. 485–490.

SIGMOD-2013-LiuTZSLKM #comparison #multi #named #process #semantics

CTrace: semantic comparison of multi-granularity process traces (QL, KT, XZ, GS, XL, CK, RM), pp. 1121–1124.

ITiCSE-2013-Kumar #case study #problem

A study of the influence of code-tracing problems on code-writing skills (ANK), pp. 183–188.

ESOP-2013-AlpuenteBFS #analysis #logic #specification

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne (MA, DB, FF, JS), pp. 121–124.

ICPC-2013-TrumperDT #comparison #execution #multi #visual notation

Multiscale visual comparison of execution traces (JT, JD, ACT), pp. 53–62.

ICSM-2013-DitMVP #component #library #maintenance #research #using

Supporting and Accelerating Reproducible Research in Software Maintenance Using TraceLab Component Library (BD, EM, MLV, DP), pp. 330–339.

SCAM-2013-Baca

Tracing with a minimal number of probes (DB), pp. 74–83.

WCRE-2013-ClearyGVSSP #analysis #interactive #memory management #multi

Reconstructing program memory state from multi-gigabyte instruction traces to support interactive analysis (BC, PG, EV, MADS, MS, FP), pp. 42–51.

WCRE-2013-NayrollesMV #detection #execution #mining

Improving SOA antipatterns detection in Service Based Systems by mining execution traces (MN, NM, PV), pp. 321–330.

PLDI-2013-LifflanderKK

Steal Tree: low-overhead tracing of work stealing schedulers (JL, SK, LVK), pp. 507–518.

CHI-2013-AndersenGP #education #framework

A trace-based framework for analyzing and synthesizing educational progressions (EA, SG, ZP), pp. 773–782.

CHI-2013-RosnerIKK #design

Designing with traces (DKR, MI, DK, KK), pp. 1649–1658.

CSCW-2013-MarlowD #developer #process

Activity traces and signals in software developer recruitment and hiring (JM, LD), pp. 145–156.

CSCW-2013-MarlowDH #git #online #process

Impression formation in online peer production: activity traces and personal profiles in github (JM, LD, JDH), pp. 117–128.

DUXU-CXC-2013-Sun #approach #experience #locality #social #social media #user interface

Tracing Technology Diffusion of Social Media with Culturally Localized User Experience Approach (HS), pp. 115–120.

VISSOFT-2013-FittkauWWH #approach #scalability #visualisation

Live trace visualization for comprehending large software landscapes: The ExplorViz approach (FF, JW, CW, WH), pp. 1–4.

VISSOFT-2013-WallerWFDH #3d #concurrent #monitoring #named #visualisation

Synchrovis: 3D visualization of monitoring traces in the city metaphor for analyzing concurrency (JW, CW, FF, PD, WH), pp. 1–4.

ICEIS-v1-2013-BevacquaCFGP #abstraction #adaptation #approach #predict #process

A Data-adaptive Trace Abstraction Approach to the Prediction of Business Process Performances (AB, MC, FF, MG, LP), pp. 56–65.

ECIR-2013-YatesG #detection #named #social #social media

ADRTrace: Detecting Expected and Unexpected Adverse Drug Reactions from User Reviews on Social Media Sites (AY, NG), pp. 816–819.

KDD-2013-AbrahaoCKP #complexity #network

Trace complexity of network inference (BDA, FC, RK, AP), pp. 491–499.

KDD-2013-KengneFTIRWS #execution #multi #scalability #sequence

Efficiently rewriting large multimedia application execution traces with few event sequences (CKK, LCF, AT, NI, MCR, TW, MS), pp. 1348–1356.

KEOD-2013-NogueiraG #multi #nondeterminism #programming #set

Supply Chain Tracing of Multiple Products under Uncertainty and Incomplete Information — An Application of Answer Set Programming (MLN, NPG), pp. 399–406.

RE-2013-SultanovH #learning #requirements

Application of reinforcement learning to requirements engineering: requirements tracing (HS, JHH), pp. 52–61.

REFSQ-2013-DelaterP #development #perspective #requirements #research #source code

Analyzing the Tracing of Requirements and Source Code during Software Development — A Research Preview (AD, BP), pp. 308–314.

SAC-PL-J-2012-HaublWM13 #java

Context-sensitive trace inlining for Java (CH, CW, HM), pp. 123–141.

ESEC-FSE-2013-LoharAZC #composition #data-driven

Improving trace accuracy through data-driven configuration and composition of tracing features (SL, SA, AZ, JCH), pp. 378–388.

ESEC-FSE-2013-SahaDP #distributed

Distributed program tracing (DS, PD, GP), pp. 180–190.

ICSE-2013-KhooFH #debugging #named

Expositor: scriptable time-travel debugging with first-class traces (YPK, JSF, MH), pp. 352–361.

ICSE-2013-NiuMCB #comprehension #information management #requirements

Departures from optimality: understanding human analyst’s information foraging in assisted requirements tracing (NN, AM, ZC, GB), pp. 572–581.

ISMM-2013-RicciGM #garbage collection #precise

Elephant tracks: portable production of complete and precise gc traces (NPR, SZG, JEBM), pp. 109–118.

LCTES-2013-MorenoFH #analysis #debugging #embedded

Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis (CM, SF, MAH), pp. 77–88.

SOSP-2013-WeissHAA #game studies #named #parallel #thread

ROOT: replaying multithreaded traces with resource-oriented ordering (ZW, TH, ACAD, RHAD), pp. 373–387.

CADE-2013-BeckertB #logic #semantics

Dynamic Logic with Trace Semantics (BB, DB), pp. 315–329.

ASE-2012-GhabiE #automation #validation

Code patterns for automatically validating requirements-to-code traces (AG, AE), pp. 200–209.

DAC-2012-YuanLX #configuration management #debugging #named

X-tracer: a reconfigurable X-tolerant trace compressor for silicon debug (FY, XL, QX), pp. 555–560.

DATE-2012-GaoWHZL #clustering #concurrent #debugging #manycore

A clustering-based scheme for concurrent trace in debugging NoC-based multicore systems (JG, JW, YH, LZ, XL), pp. 27–32.

ESOP-2012-FajstrupGHMR #performance #reduction

Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.

FASE-2012-MauczkaHSSBG #automation #classification #commit #maintenance #taxonomy #validation

Tracing Your Maintenance Work — A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages (AM, MH, CS, WS, MB, TG), pp. 301–315.

FoSSaCS-2012-BernardoNL #nondeterminism #probability #process #testing

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.

CSMR-2012-AlsallakhBGM #debugging #eclipse #java #visual notation

Visual Tracing for the Eclipse Java Debugger (BA, PB, AG, SM), pp. 545–548.

CSMR-2012-MurtazaSHC #comparison #identification #kernel #on the

On the Comparison of User Space and Kernel Space Traces in Identification of Software Anomalies (SSM, AS, AHL, MC), pp. 127–136.

ICPC-2012-AlawnehH #communication #identification

Identifying computational phases from inter-process communication traces of HPC applications (LA, AHL), pp. 133–142.

ICPC-2012-DitMP #feature model

A TraceLab-based solution for creating, conducting, and sharing feature location experiments (BD, EM, DP), pp. 203–208.

ICPC-2012-Mahmoud #automation #effectiveness #process #towards

Toward an effective automated tracing process (AM), pp. 269–272.

ICSM-2012-BavotaCLFOP #eclipse #named #traceability

TraceME: Traceability Management in Eclipse (GB, LC, ADL, SF, RO, AP), pp. 642–645.

SCAM-2012-LazarescuL #analysis #c #dependence #parallel #source code

Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs (MTL, LL), pp. 126–131.

WCRE-2012-AljamaanL #towards

Towards Tracing at the Model Level (HIA, TCL), pp. 495–498.

WCRE-2012-AngiusW #automation #named #open source #traceability

OpenTrace: An Open Source Workbench for Automatic Software Traceability Link Recovery (EA, RW), pp. 507–508.

WCRE-2012-ClearySCSP #analysis #assembly #named

ATLANTIS — Assembly Trace Analysis Environment (BC, MADS, LC, MS, FP), pp. 505–506.

WCRE-2012-MediniAGPT #approach #execution #named

SCAN: An Approach to Label and Relate Execution Trace Segments (SM, GA, YGG, MDP, PT), pp. 135–144.

WCRE-2012-NodaKA #abstraction #execution

Execution Trace Abstraction Based on Meta Patterns Usage (KN, TK, KA), pp. 167–176.

PLDI-2012-HolewinskiRRFPRS #analysis

Dynamic trace-based analysis of vectorization potential of applications (JH, RR, MR, NF, LNP, AR, PS), pp. 371–382.

FLOPS-2012-Hamana #category theory #haskell

Correct Looping Arrows from Cyclic Terms — Traced Categorical Interpretation in Haskell (MH), pp. 136–150.

FM-2012-AlpuenteBFR #named #slicing

Julienne: A Trace Slicer for Conditional Rewrite Theories (MA, DB, FF, DR), pp. 28–32.

CSCW-2012-SosikZC #how

See friendship, sort of: how conversation and digital traces might support reflection on friendships (VSS, XZ, DC), pp. 1145–1154.

ICEIS-v3-2012-WangWZLW #detection #modelling #process

Detecting Infeasible Traces in Process Models (ZW, LW, XZ, YL, JW), pp. 212–217.

CIKM-2012-BodenGS #clustering #evolution #graph

Tracing clusters in evolving graphs with node attributes (BB, SG, TS), pp. 2331–2334.

ICPR-2012-BaiHHR #clustering #complexity #graph #using

Graph clustering using graph entropy complexity traces (LB, ERH, LH, PR), pp. 2881–2884.

KDD-2012-LiuBEWFZ #comparison #mining #scalability

Mining large-scale, sparse GPS traces for map inference: comparison of approaches (XL, JB, JE, YW, GF, YZ), pp. 669–677.

KEOD-2012-NogueiraG #programming #set #using

Recall-driven Product Tracing and Supply Chain Tracking using Answer Set Programming (MLN, NPG), pp. 125–133.

KEOD-2012-VegettiRGHL #development #framework #named #ontology #process

ONTOTracED: A Framework to Capture and Trace Ontology Development Processes (MV, MLR, SG, GPH, HPL), pp. 419–422.

KMIS-2012-LiAB #collaboration #experience #reuse

Facilitating Experience Sharing in Groups — Collaborative Trace Reuse and Exploitation (QL, MHA, JPAB), pp. 21–30.

SEKE-2012-VicenteDMM #comprehension #execution #kernel #operating system

Improving Program Comprehension in Operating System Kernels with Execution Trace Information (EV, GD, RM, MdAM), pp. 174–179.

ICMT-2012-AmstelBS #model transformation #traceability #visualisation

Traceability Visualization in Model Transformations with TraceVis (MvA, MvdB, AS), pp. 152–159.

MoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation

Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.

MoDELS-2012-GrammelKV #development #generative #modelling

Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.

MoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation

Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.

MoDELS-2012-GrammelKV #development #generative #modelling

Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.

OOPSLA-2012-GuBSS #debugging #reuse

Reusing debugging knowledge via trace-based bug search (ZG, ETB, DS, ZS), pp. 927–942.

OOPSLA-2012-InoueHWN #adaptation #compilation #java #jit #multi

Adaptive multi-level compilation in a trace-based Java JIT compiler (HI, HH, PW, TN), pp. 179–194.

RE-2012-Cleland-HuangMMA #recommendation #traceability

Breaking the big-bang practice of traceability: Pushing timely trace recommendations to project stakeholders (JCH, PM, MM, SA), pp. 231–240.

RE-2012-NiuM #clustering #generative #requirements #revisited

Enhancing candidate link generation for requirements tracing: The cluster hypothesis revisited (NN, AM), pp. 81–90.

REFSQ-2012-Cleland-HuangHHLM #assurance #query #requirements #safety

Trace Queries for Safety Requirements in High Assurance Systems (JCH, MPEH, JHH, RRL, PM), pp. 179–193.

SAC-2012-HaublWM #evaluation #heuristic #java

Evaluation of trace inlining heuristics for Java (CH, CW, HM), pp. 1871–1876.

SAC-2012-ShinC #comparative #evaluation #feedback #requirements #retrieval

A comparative evaluation of two user feedback techniques for requirements trace retrieval (YS, JCH), pp. 1069–1074.

ICSE-2012-HanDGZX #debugging #in the large #mining #performance #stack

Performance debugging in the large via mining millions of stack traces (SH, YD, SG, DZ, TX), pp. 145–155.

ICSE-2012-KeenanCLCSMGPMHDMHH #named #research #traceability

TraceLab: An experimental workbench for equipping researchers to innovate, synthesize, and comparatively evaluate traceability solutions (EK, AC, GL, JCH, YS, EM, MG, DP, JIM, JHH, AD, DM, SH, DH), pp. 1375–1378.

SPLC-2012-MohalikRMKN

Tracing SPLs precisely and efficiently (SM, SR, JVM, SNK, GKN), pp. 186–195.

HPCA-2012-BalakrishnanS #behaviour #named #probability #using

WEST: Cloning data cache behavior using Stochastic Traces (GB, YS), pp. 387–398.

HPDC-2012-IlscheSCKJKIRNP #middleware

Enabling event tracing at leadership-class scale through I/O forwarding middleware (TI, JS, JC, DK, TJ, AK, KI, RBR, WEN, SP), pp. 49–60.

CAV-2012-KahlonW #concurrent #source code

Lock Removal for Concurrent Trace Programs (VK, CW), pp. 227–242.

CAV-2012-PaulaHN #debugging #named #nondeterminism

nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.

ISSTA-2012-CoughlinCDS #source code #what

Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say (DC, BYEC, AD, JGS), pp. 276–286.

TAP-2012-SulzmannZ #analysis #finite #linear #logic

Constructive Finite Trace Analysis with Linear Temporal Logic (MS, AZ), pp. 132–148.

WICSA-2011-BuchgeherW #architecture #automation #implementation

Automatic Tracing of Decisions to Architecture and Implementation (GB, RW), pp. 46–55.

ASE-2011-GhabiE #validation

Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation (AG, AE), pp. 416–419.

ASE-2011-ZiftciK #precise #requirements #testing

Tracing requirements to tests with high precision and recall (CZ, IK), pp. 472–475.

DAC-2011-PaulaNNOH #named

TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead (FMdP, AN, ZN, AO, AJH), pp. 411–416.

DATE-2011-LiuX #debugging #multi #on the

On multiplexed signal tracing for post-silicon debug (XL, QX), pp. 685–690.

SIGMOD-2011-MeliouGNS #fault

Tracing data errors with view-conditioned causality (AM, WG, SN, DS), pp. 505–516.

VLDB-2011-ParkIW #named #pipes and filters #workflow

RAMP: A System for Capturing and Tracing Provenance in MapReduce Workflows (HP, RI, JW), pp. 1351–1354.

ITiCSE-2011-StrieweG11a #automation #programming #runtime #using

Using run time traces in automated programming tutoring (MS, MG), pp. 303–307.

FoSSaCS-2011-GabbayC #set #strict

Freshness and Name-Restriction in Sets of Traces with Names (MJG, VC), pp. 365–380.

FoSSaCS-2011-StahlV #guidelines

A Trace-Based View on Operating Guidelines (CS, WV), pp. 411–425.

CSMR-2011-AlawnehH #abstraction #communication #pattern matching #pattern recognition #recognition

Pattern Recognition Techniques Applied to the Abstraction of Traces of Inter-Process Communication (LA, AHL), pp. 211–220.

CSMR-2011-SilvaPAM #execution #on the

On the Use of Execution Trace Alignment for Driving Perfective Changes (LLS, KRP, SdA, MdAM), pp. 221–230.

ICPC-2011-AlawnehH #named #performance #scalability

MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems (LA, AHL), pp. 181–184.

ICPC-2011-Ali #analysis #automation #named #retrieval #trust

Trustrace: Improving Automated Trace Retrieval through Resource Trust Analysis (NA), pp. 230–233.

ICPC-2011-Medini #automation #concept #execution #mining #scalability

Scalable Automatic Concept Mining from Execution Traces (SM), pp. 238–241.

ICPC-2011-PirzadehSHM #concept #execution

The Concept of Stratified Sampling of Execution Traces (HP, SS, AHL, AM), pp. 225–226.

ICSM-2011-PirzadehHS #analysis #execution #mining

Exploiting text mining techniques in the analysis of execution traces (HP, AHL, MS), pp. 223–232.

PASTE-2011-Detten #behaviour #detection #execution #generative #symbolic computation #towards

Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.

WCRE-2011-AntunesNV #network #protocol #reverse engineering

Reverse Engineering of Protocols from Network Traces (JA, NFN, PV), pp. 169–178.

WCRE-2011-CheathamR

Function Insight: Highlighting Suspicious Sections in Binary Run Traces (MC, JR), pp. 433–434.

WCRE-2011-MyersS #execution #using

Focusing on Execution Traces Using Diver (DM, MADS), pp. 439–440.

WCRE-2011-QusefBOLB #named #slicing

SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter (AQ, GB, RO, ADL, DB), pp. 443–444.

PEPM-2011-BolzCFLPR #jit #partial evaluation

Allocation removal by partial evaluation in a tracing JIT (CFB, AC, MF, ML, SP, AR), pp. 43–52.

PLDI-2011-BohmKKFT #compilation #parallel #using

Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator (IB, TJKEvK, SCK, BF, NPT), pp. 74–85.

SAS-2011-HuangZ #concurrent #debugging #performance #source code

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs (JH, CZ), pp. 163–179.

FM-2011-BarringerH #analysis #domain-specific language #named #scala

TraceContract: A Scala DSL for Trace Analysis (HB, KH), pp. 57–72.

IFL-2011-ChangBCF #lazy evaluation #sequence #stack

From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.

IFL-2011-Schilling #challenge #compilation #haskell

Challenges for a Trace-Based Just-In-Time Compiler for Haskell (TS), pp. 51–68.

CAiSE-2011-MateT #architecture #framework #metamodelling #modelling #requirements #traceability

A Trace Metamodel Proposal Based on the Model Driven Architecture Framework for the Traceability of User Requirements in Data Warehouses (AM, JT), pp. 123–137.

BX-2011-Hu #bidirectional

Trace-based Bidirectionalization (ZH), p. 49.

ECMFA-2011-CombemaleGR #domain-specific language #semantics

A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (BC, LG, VR), pp. 35–51.

ECOOP-2011-PothierT #debugging #query #scalability

Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging (GP, ÉT), pp. 558–582.

OOPSLA-2011-WuHIN #java #performance #scalability

Reducing trace selection footprint for large-scale Java applications without performance loss (PW, HH, HI, TN), pp. 789–804.

POPL-2011-GuoP #compilation

The essence of compiling with traces (SyG, JP), pp. 563–574.

RE-2011-DekhtyarDHHCK #analysis #on the #performance #requirements #statistics

On human analyst performance in assisted requirements tracing: Statistical analysis (AD, OD, JH, JHH, DC, WKK), pp. 111–120.

SAC-2011-JinL #performance

Efficient traitor tracing for clone attack in content protection (HJ, JBL), pp. 1544–1549.

SAC-2011-WangZG #classification #identification #network

Traffic classification beyond application level: identifying content types from network traces (YW, ZZ, LG), pp. 540–541.

GTTSE-2011-PfeifferW #component #interface

Tengi Interfaces for Tracing between Heterogeneous Components (RHP, AW), pp. 431–447.

ICSE-2011-CuddebackDHHK #process #requirements #towards

Towards overcoming human analyst fallibility in the requirements tracing process (DC, AD, JHH, JH, WKK), pp. 860–863.

ICSE-2011-Mirakhorli #approach #architecture #requirements

Tracing architecturally significant requirements: a decision-centric approach (MM), pp. 1126–1127.

ICSE-2011-MirakhorliC #architecture #assurance

Tracing architectural concerns in high assurance systems (MM, JCH), pp. 908–911.

ICSE-2011-Sultanov #documentation #proximity #requirements

Requirements tracing: discovering related documents through artificial pheromones and term proximity (HS), pp. 1173–1175.

ASPLOS-2011-HayashizakiWISN #performance

Improving the performance of trace-based systems by false loop filtering (HH, PW, HI, MJS, TN), pp. 405–418.

CC-2011-SolGPB #compilation #testing

Dynamic Elimination of Overflow Tests in a Trace Compiler (RS, CG, FMQP, MAdSB), pp. 2–21.

CGO-2011-InoueHWN #compilation #java #jit

A trace-based Java JIT compiler retrofitted from a method-based compiler (HI, HH, PW, TN), pp. 246–256.

LCTES-2011-ThomasFK #execution #monitoring

Lowering overhead in sampling-based execution monitoring and tracing (JJT, SF, DK), pp. 101–110.

LCTES-2011-WangLLFBL #debugging #dependence #multi #network

Dependence-based multi-level tracing and replay for wireless sensor networks debugging (MW, ZL, FL, XF, SB, YHL), pp. 91–100.

PPoPP-2011-WuM #communication #named #source code

ScalaExtrap: trace-based communication extrapolation for spmd programs (XW, FM), pp. 113–122.

SOSP-2011-ChenSGK #analysis #design #enterprise #multi

Design implications for enterprise storage systems via multi-dimensional trace analysis (YC, KS, GRG, RHK), pp. 43–56.

SOSP-2011-ErlingssonPPB #clustering #distributed #kernel #named

Fay: extensible distributed tracing from kernels to clusters (ÚE, MP, SP, MB), pp. 311–326.

CADE-2011-AlpuenteBER #logic #slicing

Backward Trace Slicing for Rewriting Logic Theories (MA, DB, JE, DR), pp. 34–48.

ICST-2011-HanselRHG #algorithm #embedded #generative #realtime

An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.

CBSE-2010-AllierSSV #component #consistency #execution #object-oriented #using

Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces (SA, HAS, SS, SV), pp. 216–231.

ASE-2010-GibiecCC #mining #query #towards

Towards mining replacement queries for hard-to-retrieve traces (MG, AC, JCH), pp. 245–254.

DAC-2010-KahngLSR #optimisation

Trace-driven optimization of networks-on-chip configurations (ABK, BL, KS, RSR), pp. 437–442.

DATE-2010-CastrillonVSSCLAM #analysis

Trace-based KPN composability analysis for mapping simultaneous applications to MPSoC platforms (JC, RV, AS, WS, JC, RL, GA, HM), pp. 753–758.

DATE-2010-OnoTKSNF #evaluation #execution #modelling #performance

A modeling method by eliminating execution traces for performance evaluation (KO, MT, RK, YS, TN, NF), pp. 1337–1340.

DATE-2010-UbarDRJ #parallel #simulation

Parallel X-fault simulation with critical path tracing technique (RU, SD, JR, AJ), pp. 879–884.

ESOP-2010-NakataU #hoare #induction #logic #semantics

A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (KN, TU), pp. 488–506.

TACAS-2010-WangLGG #analysis

Trace-Based Symbolic Analysis for Atomicity Violations (CW, RL, MKG, AG), pp. 328–342.

CSMR-2010-AsadiPAG #approach #concept #execution #heuristic #identification

A Heuristic-Based Approach to Identify Concepts in Execution Traces (FA, MDP, GA, YGG), pp. 31–40.

CSMR-2010-MyersSS #debugging #scalability

Utilizing Debug Information to Compact Loops in Large Program Traces (DM, MADS, MS), pp. 41–50.

ICPC-2010-MatthijssenZSBD #ajax #comprehension #interactive

Connecting Traces: Understanding Client-Server Interactions in Ajax Applications (NM, AZ, MADS, RIB, AvD), pp. 216–225.

MSR-2010-SchroterBP #debugging #developer #question #stack

Do stack traces help developers fix bugs? (AS, NB, RP), pp. 118–121.

WCRE-2010-GratiSP #diagrams #execution #interactive #sequence chart #using #visualisation

Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization (HG, HAS, PP), pp. 87–96.

CIAA-2010-ForysOB #automaton #infinity

Symbolic Dynamics, Flower Automata and Infinite Traces (WF, PO, SB), pp. 135–142.

LATA-2010-NagyO

CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages (BN, FO), pp. 463–474.

SEFM-2010-HegedusBRV #model transformation #simulation

Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.

CHI-2010-SambasivanCT #community #low cost #named

ViralVCD: tracing information-diffusion paths with low cost media in developing communities (NS, EC, KT), pp. 2607–2610.

SOFTVIS-2010-PauwH #named #scalability #visual notation

Zinsight: a visual and analytic environment for exploring large event traces (WDP, SH), pp. 143–152.

SOFTVIS-2010-TrumperBD #comprehension #parallel #thread #using #visualisation

Understanding complex multithreaded software systems by using trace visualization (JT, JB, JD), pp. 133–142.

SOFTVIS-2010-WuYH #visualisation

Visualizing windows system traces (YW, RHCY, FH), pp. 123–132.

EDOC-2010-AmarLCN #aspect-oriented #imperative #programming #using

Using Aspect-Oriented Programming to Trace Imperative Transformations (BA, HL, BC, CN), pp. 143–152.

KDD-2010-LouFYLW #mining #workflow

Mining program workflow from interleaved traces (JGL, QF, SY, JL, BW), pp. 613–622.

ECMFA-2010-OnoTKSNF #abstraction #embedded #execution #modelling #performance

A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces (KO, MT, RK, YS, TN, NF), pp. 233–244.

OOPSLA-2010-BebenitaBFLSTV #compilation #jit #named

SPUR: a trace-based JIT compiler for CIL (MB, FB, MF, FL, WS, NT, HV), pp. 708–725.

RE-2010-EgyedGG #quality

Effort and Quality of Recovering Requirements-to-Code Traces: Two Exploratory Experiments (AE, FG, PG), pp. 221–230.

RE-2010-SultanovH #requirements

Application of Swarm Techniques to Requirements Engineering: Requirements Tracing (HS, JHH), pp. 211–220.

REFSQ-2010-LeuserO #automation #scalability #specification

Tackling Semi-automatic Trace Recovery for Large Specifications (JL, DO), pp. 203–217.

SAC-2010-BaudetD #algorithm #permutation

An improved algorithm to enumerate all traces that sort a signed permutation by reversals (CB, ZD), pp. 1521–1525.

FSE-2010-DeAntoniMTRBMGRS #execution #named

RT-simex: retro-analysis of execution traces (JD, FM, FT, GR, JPB, CM, LG, LR, NS), pp. 377–378.

FSE-2010-JalbertS #concurrent #debugging #effectiveness #source code

A trace simplification technique for effective debugging of concurrent programs (NJ, KS), pp. 57–66.

FSE-2010-MyersS #dynamic analysis #ide #user interface #using

Using dynamic analysis to create trace-focused user interfaces for IDEs (DM, MADS), pp. 367–368.

ICSE-2010-Cleland-HuangCGE #approach #machine learning #requirements

A machine learning approach for tracing regulatory codes to product specific requirements (JCH, AC, MG, JE), pp. 155–164.

ICSE-2010-KrkaBPGM #behaviour #execution #invariant #model inference #using

Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.

ICSE-2010-SavageRP #feature model #named

FLAT³: feature location and textual tracing tool (TS, MR, DP), pp. 255–258.

CGO-2010-PriceV #analysis #scalability

Large program trace analysis and compression with ZDDs (GDP, MV), pp. 32–41.

HPDC-2010-HuangSILLWJ #named #pipes and filters #realtime

MR-scope: a real-time tracing tool for MapReduce (DH, XS, SI, LL, HL, SW, HJ), pp. 849–855.

ISMM-2010-BarabashP #garbage collection #parallel

Tracing garbage collection on highly parallel platforms (KB, EP), pp. 1–10.

TAP-2010-ThummalapentaHTW #automation #generative #mining #named #testing

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces (ST, JdH, NT, SW), pp. 77–93.

VMCAI-2010-Dubrovin #bound #reachability

Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing (JD), pp. 146–162.

WICSA-ECSA-2009-FigueiredoGKGSPMSBRBAZM #architecture #case study #detection

Detecting architecture instabilities with concern traces: An exploratory study (EF, IG, SSK, AG, CS, AP, ALM, LFdS, TVB, RAR, PvdB, MA, SZ, AMDM), pp. 261–264.

ASE-2009-PradelG #automation #generative #scalability #specification

Automatic Generation of Object Usage Specifications from Large Method Traces (MP, TRG), pp. 371–382.

DAC-2009-IsshikiLKIS #multi #simulation

Trace-driven workload simulation method for Multiprocessor System-On-Chips (TI, DL, HK, TI, KS), pp. 232–237.

DAC-2009-LaiYKH #performance #realtime

A trace-capable instruction cache for cost efficient real-time program trace compression in SoC (CHL, FCY, CFK, IJH), pp. 136–141.

DAC-2009-LiuX #design #validation

Interconnection fabric design for tracing signals in post-silicon validation (XL, QX), pp. 352–357.

DAC-2009-UzelacM #realtime

A real-time program trace compressor utilizing double move-to-front method (VU, AM), pp. 738–743.

DATE-2009-BraunesS #generative

Generating the trace qualification configuration for MCDS from a high level language (JB, RGS), pp. 1560–1563.

DATE-2009-FytrakiP #configuration management

ReSim, a trace-driven, reconfigurable ILP processor simulator (SF, DNP), pp. 536–541.

DATE-2009-LiuX #validation

Trace signal selection for visibility enhancement in post-silicon validation (XL, QX), pp. 1338–1343.

HT-2009-YahiaouiPB #documentation #framework #process

The redocumentation process of computer mediated activity traces: a general framework (LY, YP, ZB), pp. 363–364.

ITiCSE-2009-HsiaoSB #java #personalisation #problem

Extending parameterized problem-tracing questions for Java with personalized guidance (IHH, SAS, PB), p. 392.

ITiCSE-2009-Inghelbrecht09a #design #object-oriented

Object-oriented design with trace modeler and Trace4J (YI), p. 375.

ITiCSE-2009-KasurinenN #programming

Estimating programming knowledge with Bayesian knowledge tracing (JK, UN), pp. 313–317.

ITiCSE-2009-ListerFT #programming

Further evidence of a relationship between explaining, tracing and writing skills in introductory programming (RL, CJF, DT), pp. 161–165.

TACAS-2009-ChenR #monitoring #parametricity #slicing

Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.

ICPC-2009-CornelissenZDR #comprehension #empirical #visualisation

Trace visualization for program comprehension: A controlled experiment (BC, AZ, AvD, BVR), pp. 100–109.

ICPC-2009-MurphyVS #behaviour #process #programming #using

Using activity traces to characterize programming behaviour beyond the lab (GCM, PV, DCS), pp. 90–94.

ICSM-2009-SutherlandS #interactive #maintenance #user interface

UI traces: Supporting the maintenance of interactive software (AS, KS), pp. 563–566.

ICSM-2009-VoigtBD #execution

Object aware execution trace exploration (SV, JB, JD), pp. 201–210.

WCRE-1999-PassingSLP99a #bound #named

NTrace: Function Boundary Tracing for Windows on IA-32 (JP, AS, MvL, AP), pp. 43–52.

PLDI-2009-GalESAMHKHZORSRBCF

Trace-based just-in-time type specialization for dynamic languages (AG, BE, MS, DA, DM, MRH, BK, GH, BZ, JO, JR, EWS, RR, MB, MC, MF), pp. 465–478.

PLDI-2009-HoffmanEJ #analysis #semantics

Semantics-aware trace analysis (KJH, PE, SJ), pp. 453–464.

SAS-2009-HeizmannHP #abstraction #refinement

Refinement of Trace Abstraction (MH, JH, AP), pp. 69–85.

DLT-2009-CampanoniC #control flow #graph

Traces of Control-Flow Graphs (SC, SCR), pp. 156–169.

LATA-2009-BaaderBT #policy

Matching Trace Patterns with Regular Policies (FB, AB, AT), pp. 105–116.

VISSOFT-2009-BohnetKD #execution #visualisation

Visualizing massively pruned execution traces to facilitate trace exploration (JB, MK, JD), pp. 57–64.

ICEIS-ISAS-2009-CiaramellaCLM #agile #process #prototype #using

Using BPMN and Tracing for Rapid Business Process Prototyping Environments (AC, MGCAC, BL, FM), pp. 206–212.

CIKM-2009-ParateM #communication #framework

A framework for safely publishing communication traces (AP, GM), pp. 1469–1472.

ICML-2009-JiY

An accelerated gradient method for trace norm minimization (SJ, JY), pp. 457–464.

REFSQ-2009-WelshS #adaptation #requirements

Requirements Tracing to Support Change in Dynamically Adaptive Systems (KW, PS), pp. 59–73.

SAC-2009-BohnetVD #debugging #execution #locality

Projecting code changes onto execution traces to support localization of recently introduced bugs (JB, SV, JD), pp. 438–442.

SAC-2009-RyuKC #algorithm #detection #documentation #evolution #using

A detecting and tracing algorithm for unauthorized internet-news plagiarism using spatio-temporal document evolution model (CKR, HJK, HGC), pp. 863–868.

ASPLOS-2009-RamaniGD #architecture #named

StreamRay: a stream filtering architecture for coherent ray tracing (KR, CPG, AD), pp. 325–336.

CGO-2009-SerranoZ #approximate

Building Approximate Calling Context from Partial Call Traces (MJS, XZ), pp. 221–230.

HPDC-2009-LiuJLHY #migration #virtual machine

Live migration of virtual machine based on full system trace and replay (HL, HJ, XL, LH, CY), pp. 101–110.

HPDC-2009-SonmezYIE #evaluation #predict #queue #runtime

Trace-based evaluation of job runtime and queue wait time predictions in grids (OOS, NY, AI, DHJE), pp. 111–120.

ISMM-2009-OanceaMW #algorithm #approach

A new approach to parallelising tracing algorithms (CEO, AM, SMW), pp. 10–19.

LCTES-2009-GracioliF #embedded

Tracing interrupts in embedded software (GG, SF), pp. 137–146.

CAV-2009-KanadeAIRSS #generative #modelling

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.

ICLP-2009-Ducasse #debugging

(C)LP Tracing and Debugging (MD), p. 38.

LICS-2009-NainV #semantics

Trace Semantics is Fully Abstract (SN, MYV), pp. 59–68.

SAT-2009-Gelder #proving

Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces (AVG), pp. 141–146.

ECSA-2008-NavarroC #approach #architecture #automation #design #using

Automating the Trace of Architectural Design Decisions and Rationales Using a MDD Approach (EN, CEC), pp. 114–130.

CASE-2008-WangSZF #automation #image

Automatic tracing of blood flow velocity in pulsed Doppler images (ZWW, GGS, MZ, TF), pp. 218–222.

DAC-2008-HsiehH #debugging #embedded #framework #interface

An embedded infrastructure of debug and trace interface for the DSP platform (MCH, CTH), pp. 866–871.

DAC-2008-LinSH #multi #realtime

A multi-resolution AHB bus tracer for real-time compression of forward/backward traces in a circular buffer (YTL, WCS, IJH), pp. 862–865.

DATE-2008-KoN #automation #identification #validation

Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation (HFK, NN), pp. 1298–1303.

DATE-2008-NanshiS

Improved Visibility in One-to-Many Trace Concretization (KN, FS), pp. 819–824.

VLDB-2008-DeutchM #execution #query #type checking #type inference

Type inference and type checking for queries on execution traces (DD, TM), pp. 352–363.

CSMR-2008-LienhardGGN #execution #testing

Test Blueprint — Exposing Side Effects in Execution Traces to Support Writing Unit Tests (AL, TG, OG, ON), pp. 83–92.

CSMR-2008-SmitSW #case study #documentation #user interface

Use Case Redocumentation from GUI Event Traces (MS, ES, KW), pp. 263–268.

ICPC-2008-BohnetVD #comprehension #execution

Locating and Understanding Features of Complex Software Systems by Synchronizing Time-, Collaboration- and Code-Focused Views on Execution Traces (JB, SV, JD), pp. 268–271.

ICPC-2008-EaddyAAG #dynamic analysis #information retrieval #named #program analysis #requirements #source code #using

CERBERUS: Tracing Requirements to Source Code Using Information Retrieval, Dynamic Analysis, and Program Analysis (ME, AVA, GA, YGG), pp. 53–62.

ICPC-2008-SatoST #comprehension #execution #source code #user interface #visualisation

Support for Understanding GUI Programs by Visualizing Execution Traces Synchronized with Screen Transitions (TS, BS, JT), pp. 272–275.

ICSM-2008-CornelissenMZ #assessment #reduction

An assessment methodology for trace reduction techniques (BC, LM, AZ), pp. 107–116.

ICSM-2008-Lo #execution #mining #specification

Mining specifications in diversified formats from execution traces (DL), pp. 420–423.

WCRE-2008-SobreiraM #analysis #comprehension #visual notation

A Visual Trace Analysis Tool for Understanding Feature Scattering (VS, MdAM), pp. 337–338.

DLT-J-2007-BertoniR08 #approximate #monad

Approximating the Mean Speedup in Trace Monoids (AB, RR), pp. 497–511.

AFL-2008-BreveglieriCNR #equation #problem #satisfiability

NP-completeness of the alphabetical satisfiability problem for trace equations (LB, AC, CDN, ER), pp. 111–121.

ICFP-2008-ConveyFGMH #case study #erlang #experience

Experience report: erlang in acoustic ray tracing (CC, AF, CG, DM, LH), pp. 115–118.

CHI-2008-HoferKK #multi #named

MightyTrace: multiuser tracking technology on lc-displays (RH, PK, AMK), pp. 215–218.

ICPR-2008-Kherroubi #automation #image

Automatic extraction of natural fracture traces from borehole images (JK), pp. 1–4.

ICPR-2008-LambAM #image #repository #retrieval

An example based image retrieval system for the TRACE repository (RL, RAA, PM), pp. 1–4.

SAC-2008-Denner-Broser #algorithm #analysis #problem #using

An algorithm for the tracing problem using interval analysis (BDB), pp. 1832–1837.

SAC-2008-LaRosaXM #kernel #mining

Frequent pattern mining for kernel trace data (CL, LX, KM), pp. 880–885.

SAC-2008-LuZS #semantics #towards

Towards trace semantics for WS-CDL with alignments (YL, LZ, JS), pp. 95–99.

FSE-2008-GabelS #automation #mining #named

Javert: fully automatic mining of general temporal properties from dynamic traces (MG, ZS), pp. 339–349.

ICSE-2008-LuciaOT #semantics #traceability

Adams re-trace: traceability link recovery via latent semantic indexing (ADL, RO, GT), pp. 839–842.

CGO-2008-KetterlinC #data access #predict #recognition

Prediction and trace compression of data access addresses through nested loop recognition (AK, PC), pp. 94–103.

CGO-2008-SalverdakZ #predict #random

Accurate critical path prediction via random trace construction (PS, CT, CBZ), pp. 64–73.

HPDC-2008-DoraimaniI #data transformation #lessons learnt

File grouping for scientific data management: lessons from experimenting with real traces (SD, AI), pp. 153–164.

ICLP-2008-Vidal #analysis #effectiveness #partial evaluation #predict

Trace Analysis for Predicting the Effectiveness of Partial Evaluation (GV), pp. 790–794.

ICST-2008-PrasetyaVB #object-oriented #reflexive #source code #testing

Trace-based Reflexive Testing of OO Programs with T2 (WP, TEJV, AIB), pp. 151–160.

ASE-2007-ChangR #execution #validation

Validating system properties exhibited in execution traces (FC, JR), pp. 517–520.

ASE-2007-DiepED

Reducing irrelevant trace variations (MD, SGE, MBD), pp. 477–480.

ASE-2007-DuanC #automation #clustering

Clustering support for automated tracing (CD, JCH), pp. 244–253.

ASE-2007-LiuMPR #execution #feature model #information retrieval

Feature location via information retrieval based filtering of a single scenario execution trace (DL, AM, DP, VR), pp. 234–243.

ASE-2007-LoMK #execution #mining #specification

Mining modal scenario-based specifications from execution traces of reactive systems (DL, SM, SCK), pp. 465–468.

DAC-2007-KaoHL #embedded #integration #multi

An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration (CFK, IJH, CHL), pp. 477–482.

DAC-2007-ShachamY #on the fly

On-The-Fly Resolve Trace Minimization (OS, KY), pp. 594–599.

DAC-2007-SrivastavaR #equation

Interdependent Latch Setup/Hold Time Characterization via Euler-Newton Curve Tracing on State-Transition Equations (SS, JSR), pp. 136–141.

DATE-2007-BabighianKV #data mining #interactive #mining #optimisation

Interactive presentation: PowerQuest: trace driven data mining for power optimization (PB, GK, MYV), pp. 1078–1083.

DATE-2007-JanapsatyaIPH #agile #simulation

Instruction trace compression for rapid instruction cache simulation (AJ, AI, SP, JH), pp. 803–808.

VLDB-2007-ZhangZZP #relational

Tracing Lineage Beyond Relational Operators (MZ, XZ, XZ, SP), pp. 1116–1127.

ITiCSE-2007-VainioS

Factors in novice programmers’ poor tracing skills (VV, JS), pp. 236–240.

FASE-2007-ZhouY #approach #clustering #design #object-oriented

A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement (XZ, HY), pp. 412–422.

ICPC-2007-CornelissenHZMWD #comprehension #execution #sequence #using

Understanding Execution Traces Using Massive Sequence and Circular Bundle Views (BC, DH, AZ, LM, JJvW, AvD), pp. 49–58.

ICSM-2007-WenzelHK

Tracing Model Elements (SW, HH, UK), pp. 104–113.

WCRE-2007-SousaMUK #detection #execution

Detecting Implied Scenarios from Execution Traces (FCdS, NCM, SU, JK), pp. 50–59.

DLT-2007-BertoniR #monad

Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids (AB, RR), pp. 72–83.

DLT-2007-DiekertK #first-order #on the #word

On First-Order Fragments for Words and Mazurkiewicz Traces (VD, MK), pp. 1–19.

DLT-2007-OchmanskiS

A Star Operation for Star-Free Trace Languages (EO, KS), pp. 337–345.

ICALP-2007-Laird #semantics

A Fully Abstract Trace Semantics for General References (JL), pp. 667–679.

LATA-2007-StawikowskaO #on the

On Star-Free Trace Languages and their Lexicographic Representations (KS, EO), pp. 541–552.

HCI-IDU-2007-TarbyERTLK #architecture #aspect-oriented #comparison #evaluation #interactive #programming #usability #using

Traces Using Aspect Oriented Programming and Interactive Agent-Based Architecture for Early Usability Evaluation: Basic Principles and Comparison (JCT, HE, JR, CDT, PL, CK), pp. 632–641.

HCI-MIE-2007-YecanSBC #behaviour #multimodal

Tracing Users’ Behaviors in a Multimodal Instructional Material: An Eye-Tracking Study (EY, ES, BB, KÇ), pp. 755–762.

OCSC-2007-ChenZTM #concept

Tracing Conceptual and Geospatial Diffusion of Knowledge (CC, WZ, BMT, AMM), pp. 265–274.

VISSOFT-2007-Hamou-Lhadj #effectiveness #execution #scalability #visualisation

Effective Exploration and Visualization of Large Execution Traces (AHL), pp. 152–153.

VISSOFT-2007-HoltenCW #sequence #using #visualisation

Trace Visualization Using Hierarchical Edge Bundles and Massive Sequence Views (DH, BC, JJvW), pp. 47–54.

ICEIS-EIS-2007-GinigeG #evolution #information management #metamodelling #workflow

Meta Model for Tracing Impact of Context Information Evolution in Web-Based Workflows (JAG, AG), pp. 410–415.

ICEIS-EIS-2007-MoralesTA #behaviour #consistency #modelling #semantics #uml

Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics (LEMM, MICT, KBA), pp. 205–211.

ECMDA-FA-2007-UlrichP #case study #distributed #industrial #modelling #reverse engineering #validation

Reverse Engineering Models from Traces to Validate Distributed Systems — An Industrial Case Study (AU, AP), pp. 184–193.

OOPSLA-2007-AvgustinovTM #monitoring

Making trace monitors feasible (PA, JT, OdM), pp. 589–608.

RE-2007-YuNGCMELV #aspect-oriented #validation

Tracing and Validating Goal Aspects (YY, NN, BGB, WC, JM, SME, JCSdPL, GV), pp. 53–56.

SAC-2007-ChenL #hardware

Use of hardware Z-buffered rasterization to accelerate ray tracing (CCC, DSML), pp. 1046–1050.

SAC-2007-DjemaielB

A global marking scheme for tracing cyber attacks (YD, NB), pp. 170–174.

ESEC-FSE-2007-CalegariMRM #generative #mobile #named #performance #testing

CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems (RC, MM, FR, CM), pp. 415–424.

ESEC-FSE-2007-MiranskyyMGDWG #approach #execution #multi #scalability

An iterative, multi-level, and scalable approach to comparing execution traces (AVM, NHM, MG, MD, MW, DG), pp. 537–540.

PPoPP-2007-MohrorK #case study #clustering #linux

A study of tracing overhead on a high-performance linux cluster (KM, KLK), pp. 158–159.

ISSTA-2007-TallamTGZ #execution #parallel #reduction #source code #thread

Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.

ASE-2006-MurtaHW #architecture #evolution #implementation #named #traceability

ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links (LGPM, AvdH, CMLW), pp. 135–144.

DAC-2006-NanshiS #simulation

Guiding simulation with increasingly refined abstract traces (KN, FS), pp. 737–742.

DATE-2006-WildHO #architecture #evaluation #performance #simulation #transaction #using

Performance evaluation for system-on-chip architectures using trace-based transaction level simulation (TW, AH, RO), pp. 248–253.

FASE-2006-RamanathanJG #alias #memory management

Trace-Based Memory Aliasing Across Program Versions (MKR, SJ, AG), pp. 381–395.

TACAS-2006-GroceJ #program analysis

Exploiting Traces in Program Analysis (AG, RJ), pp. 379–393.

CSMR-2006-DucasseGW #legacy #logic #object-oriented #testing

Object-Oriented Legacy System Trace-based Logic Testing (SD, TG, RW), pp. 37–46.

ICPC-2006-Hamou-LhadjL #behaviour #comprehension #scalability

Summarizing the Content of Large Traces to Facilitate the Understanding of the Behaviour of a Software System (AHL, TCL), pp. 181–190.

ICSM-2006-KuhnG

Exploiting the Analogy Between Traces and Signal Processing (AK, OG), pp. 320–329.

DLT-2006-Kufleitner #logic

Polynomials, Fragments of Temporal Logic and the Variety DA over Traces (MK), pp. 37–48.

ICALP-v2-2006-PhanST #hybrid

Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability (DHP, RSN, DT), pp. 264–275.

FM-2006-GenonMM #algorithm #distributed #ltl #monitoring #performance #sequence

Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces (AG, TM, CM), pp. 557–572.

AdaEurope-2006-ValpereiroP #behaviour

POSIX Trace Based Behavioural Reflection (FV, LMP), pp. 27–39.

QAPL-2005-WolfBM06 #markov

Trace Machines for Observing Continuous-Time Markov Chains (VW, CB, MEMC), pp. 259–277.

LOPSTR-2006-BrasselFH #functional #logic #program transformation

A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.

QAPL-2006-WolfBM06a #nondeterminism #probability #semantics

Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.

RE-2006-StoneS #information management

Exposing Tacit Knowledge via Pre-Requirements Tracing (AS, PS), pp. 346–347.

SAC-2006-AgostaCPS #analysis #bytecode #compilation #performance

Selective compilation via fast code analysis and bytecode tracing (GA, SCR, PP, MS), pp. 906–911.

ICSE-2006-YangEBBD #api #mining #named

Perracotta: mining temporal API rules from imperfect traces (JY, DE, DB, TB, MD), pp. 282–291.

HPDC-2006-GaoSC #approximate

Path Grammar Guided Trace Compression and Trace Approximation (XG, AS, LC), pp. 57–68.

FATES-RV-2006-AvgustinovBHHLMOSSTV #aspect-oriented #monitoring

Aspects for Trace Monitoring (PA, EB, EH, LJH, OL, OdM, NO, DS, GS, JT, MV), pp. 20–39.

IJCAR-2006-Darwiche #compilation #evolution #satisfiability

Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation (AD), p. 3.

RTA-2006-BoichutG #approximate #re-engineering

Feasible Trace Reconstruction for Rewriting Approximations (YB, TG), pp. 123–135.

TestCom-2006-BerradaCFS #bound #realtime #testing #using

Test Case Minimization for Real-Time Systems Using Timed Bound Traces (IB, RC, PF, AS), pp. 289–305.

ASE-2005-DenmatDR #data mining #execution #mining

Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information (TD, MD, OR), pp. 396–399.

DAC-2005-KimYH #using

Trace-driven HW/SW cosimulation using virtual synchronization technique (DK, YY, SH), pp. 345–348.

DATE-2005-LiuFYO #analysis #correlation #graph #modelling

Hierarchical Variance Analysis for Analog Circuits Based on Graph Modelling and Correlation Loop Tracing (FL, JJF, DVY, SO), pp. 126–131.

ITiCSE-2005-Terada #named #student

ETV: a program trace player for students (MT), pp. 118–122.

ESOP-2005-JeffreyR #java #semantics

Java Jr: Fully Abstract Trace Semantics for a Core Java Language (AJ, JR), pp. 423–438.

ESOP-2005-MauborgneR #abstract interpretation #clustering

Trace Partitioning in Abstract Interpretation Based Static Analyzers (LM, XR), pp. 5–20.

CSMR-2005-BublB #constraints #requirements

Tracing Cross-Cutting Requirements via Context-Based Constraints (FB, MB), pp. 80–90.

CSMR-2005-GreevyD #analysis #approach #correlation #using

Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach (OG, SD), pp. 314–323.

CSMR-2005-Hamou-LhadjBAL #behaviour #design #execution #modelling

Recovering Behavioral Design Models from Execution Traces (AHL, EB, DA, TCL), pp. 112–121.

CSMR-2005-LuciaFOT #traceability

ADAMS Re-Trace: A Traceability Recovery Tool (ADL, FF, RO, GT), pp. 32–41.

CSMR-2005-ZaidmanCDP #comprehension #execution #mining #process

Applying Webmining Techniques to Execution Traces to Support the Program Comprehension Process (AZ, TC, SD, JP), pp. 134–142.

ICSM-2005-BriandLL #aspectj #distributed #using

Tracing Distributed Systems Executions Using AspectJ (LCB, YL, JL), pp. 81–90.

ICSM-2005-EisenbergV

Dynamic Feature Traces: Finding Features in Unfamiliar Code (ADE, KDV), pp. 337–346.

ICSM-2005-GreevyDG #analysis #evolution #semantics

Analyzing Feature Traces to Incorporate the Semantics of Change in Software Evolution Analysis (OG, SD, TG), pp. 347–356.

IWPC-2005-FischerOGG #analysis #evolution #execution

System Evolution Tracking through Execution Trace Analysis (MF, JO, HCG, TG), pp. 237–246.

IWPC-2005-Hamou-LhadjLF #analysis #named

SEAT: A Usable Trace Analysis Tool (AHL, TCL, LF), pp. 157–160.

IWPC-2005-HendricksonDT #approach #architecture #comprehension

An (Architecture-Centric) Approach for Tracing, Organizing, and Understanding Events in Event-Based Software Architectures (SAH, EMD, RNT), pp. 227–236.

PLDI-2005-AyersSMARW #control flow #distributed #fault #named #re-engineering

TraceBack: first fault diagnosis by reconstruction of distributed control flow (AA, RS, CM, AA, JR, EW), pp. 201–212.

CIAA-2005-BaillyCS #behaviour #communication #component #composition #contract

Component Composition Preserving Behavioural Contracts Based on Communication Traces (AB, MC, ISR), pp. 54–65.

DLT-2005-Massazza #ambiguity #problem

The Inclusion Problem for Unambiguous Rational Trace Languages (PM), pp. 350–361.

SEFM-2005-GervaisFL #database #generative #recursion #relational #transaction

Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.

ICML-2005-TannerS #network

TD(λ) networks: temporal-difference networks with eligibility traces (BT, RSS), pp. 888–895.

OOPSLA-2005-AllanACHKLMSST #aspectj

Adding trace matching with free variables to AspectJ (CA, PA, ASC, LJH, SK, OL, OdM, DS, GS, JT), pp. 345–364.

OOPSLA-2005-GoldsmithOA #query #relational

Relational queries over program traces (SG, RO, AA), pp. 385–402.

PPDP-2005-Skalka #object-oriented

Trace effects and object orientation (CS), pp. 139–150.

ESEC-FSE-2005-HeindlB #case study #requirements

A case study on value-based requirements tracing (MH, SB), pp. 60–69.

CGO-2005-BurtscherS #automation #generative

Automatic Generation of High-Performance Trace Compressors (MB, NBS), pp. 229–240.

ICLP-2005-Langevine #constraints #named #programming

Gentra4cp: A Generic Trace Format for Constraint Programming (LL), pp. 433–434.

ASE-2004-BreuK #mining #using

Aspect Mining Using Event Traces (SB, JK), pp. 310–315.

ITiCSE-WGR-2004-ListerAFFHLMMSS #multi

A multi-national study of reading and tracing skills in novice programmers (RL, ESA, SF, WF, JH, ML, RM, JEM, KS, OS, BS, LT), pp. 119–150.

CSMR-2004-ZaidmanD #clustering #execution #process

Managing Trace Data Volume through a Heuristical Clustering Process Based on Event Execution Frequency (AZ, SD), pp. 329–338.

ICSM-2004-IvkovicK #evolution

Tracing Evolution Changes of Software Artifacts through Model Synchronization (II, KK), pp. 252–261.

IWPC-2004-Hamou-LhadjLF #challenge #effectiveness #requirements

Challenges and Requirements for an Effective Trace Exploration Tool (AHL, TCL, LF), pp. 70–78.

WCRE-2004-TonellaC #concept analysis #execution #mining

Aspect Mining through the Formal Concept Analysis of Execution Traces (PT, MC), pp. 112–121.

IFM-2004-WangRL #csp #independence #reachability

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption (XW, AWR, RL), pp. 247–266.

IFL-2004-Chitil

Source-Based Trace Exploration (OC), pp. 126–141.

SEKE-2004-WahidACM #design #evolution

Entering the Heart of Design: Relationships for Tracing Claim Evolution (SW, CFA, CMC, DSM), pp. 167–172.

PPDP-2004-BrasselHHV #declarative #multi #semantics #source code

A semantics for tracing declarative multi-paradigm programs (BB, MH, FH, GV), pp. 179–190.

RE-2004-HayesDSH #requirements

Helping Analysts Trace Requirements: An Objective Look (JHH, AD, SKS, SH), pp. 249–259.

SAC-2004-Wang

The loop fallacy and serialization in tracing intrusion connections through stepping stones (XW), pp. 404–411.

FSE-2004-Egyed #analysis #nondeterminism

Resolving uncertainties during trace analysis (AE), pp. 3–12.

ICSE-2004-WangR #bytecode #java #slicing #source code #using

Using Compressed Bytecode Traces for Slicing Java Programs (TW, AR), pp. 512–521.

HPCA-2004-NarayanasamyHSC #convergence #string #using

Creating Converged Trace Schedules Using String Matching (SN, YH, SS, BC), pp. 210–221.

HPDC-2004-ZangrilliL #monitoring #network #using

Using Passive Traces of Application Traffic in a Network Monitoring System (MZ, BL), pp. 77–86.

LCTES-2004-LiX #compilation #energy #framework

A trace-based binary compilation framework for energy-aware computing (LL, JX), pp. 95–106.

ASE-2003-HendricksonDT #approach #architecture #comprehension

An Approach for Tracing and Understanding Asynchronous Architectures (SAH, EMD, RNT), pp. 318–322.

DAC-2003-ChenHBW #analysis #automation #constraints #logic

Automatic trace analysis for logic of constraints (XC, HH, FB, YW), pp. 460–465.

DAC-2003-PimentelE #communication #refinement

An IDF-based trace transformation method for communication refinement (ADP, CE), pp. 402–407.

DATE-2003-DuSTBAF #configuration management #interactive

Interactive Ray Tracing on Reconfigurable SIMD MorphoSys (HD, MSE, NT, NB, MLA, MF), pp. 20144–20149.

ICDAR-2003-ChangC #algorithm #component #using

A Component-Labeling Algorithm Using Contour Tracing Technique (FC, CJC), pp. 741–745.

ICSM-2003-KnethenG #automation #impact analysis #named

QuaTrace: A Tool Environment for (Semi-) Automatic Impact Analysis Based on Traces (AvK, MG), pp. 246–255.

DLT-2003-BouillardM #generative

Generating Series of the Trace Group (AB, JM), pp. 159–170.

ICALP-2003-BlomFN #axiom #on the #simulation

On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces (SB, WF, SN), pp. 109–118.

VISSOFT-2003-Hamou-LhadjL #complexity #execution #object-oriented

Techniques for Reducing the Complexity of Object-Oriented Execution Traces (AHL, TCL), pp. 35–40.

AdaEurope-2003-MinguetGFL #metric #using

Getting System Metrics Using POSIX Tracing Services (AEM, VLG, AGF, ACiL), pp. 220–231.

POPL-2003-BallNR #fault

From symptom to cause: localizing errors in counterexample traces (TB, MN, SKR), pp. 97–105.

RE-2003-Catrava #quality #requirements #testing #towards #verification

Testing with Partial Traced Requirements: A Necessary Step Towards Higher Quality System Level Verification (SC), p. 303.

RE-2003-HayesDO #information retrieval #requirements

Improving Requirements Tracing via Information Retrieval (JHH, AD, JO), p. 138–?.

CGO-2003-BerndlH #generative #profiling

Dynamic Profiling and Trace Cache Generation (MB, LJH), pp. 276–288.

CGO-2003-ChenHC #hardware #monitoring #performance #using

Dynamic Trace Selection Using Performance Monitoring Hardware Sampling (HC, WCH, DyC), pp. 79–90.

HPDC-2003-BucurE #clustering #multi #policy #simulation

Trace-Based Simulations of Processor Co-Allocation Policies in Multiclusters (AIDB, DHJE), pp. 70–79.

CAV-2003-KestenPP #simulation

Bridging the Gap between Fair Simulation and Trace Inclusion (YK, NP, AP), pp. 381–393.

LICS-2003-Madhusudan #model checking

Model-checking Trace Event Structures (PM), pp. 371–380.

TestCom-2003-HallalBUP #approach #testing

An Automata-Based Approach to Property Testing in Event Traces (HH, SB, AU, AP), pp. 180–196.

DATE-2002-HuVKI #power management

Power-Efficient Trace Caches (JSH, NV, MTK, MJI), p. 1091.

TACAS-2002-JinRS #fault

Fate and Free Will in Error Traces (HJ, KR, FS), pp. 445–459.

CSMR-2002-SametingerR #aspect-oriented #evolution

Evolution Support by Homogeneously Documenting Patterns, Aspects and Traces (JS, MR), p. 134–?.

ICSM-2002-MoeS #distributed #execution #using

Using Execution Trace Data to Improve Distributed Systems (JM, KS), pp. 640–648.

IWPC-2002-El-RamlySS #case study #interactive #mining #modelling

Mining System-User Interaction Traces for Use Case Models (MER, ES, PGS), pp. 21–29.

IWPC-2002-Hamou-LhadjL #analysis #execution #scalability

Compression Techniques to Simplify the Analysis of Large Execution Traces (AHL, TCL), pp. 159–168.

PASTE-2002-BrownDEHJVW #encoding #framework #named #performance

STEP: a framework for the efficient encoding of general trace data (RB, KD, DE, LJH, JJ, CV, QW), pp. 27–34.

WCRE-2002-EisenbarthKV

Static Trace Extraction (TE, RK, GV), p. 128–?.

SAS-2002-GiacobazziR #abstract interpretation #model checking

States vs. Traces in Model Checking by Abstract Interpretation (RG, FR), pp. 461–476.

DLT-2002-DiekertK #equation #polynomial

A Remark about Quadratic Trace Equations (VD, MK), pp. 59–66.

ICALP-2002-AdsulS #linear #logic

Complete and Tractable Local Linear Time Temporal Logics over Traces (BA, MAS), pp. 926–937.

ICALP-2002-GastinM #logic

An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces (PG, MM), pp. 938–949.

ICALP-2002-KuskeL #formal method #monad #on the

On the Theory of One-Step Rewriting in Trace Monoids (DK, ML), pp. 752–763.

AFP-2002-ClaessenRCHW02 #functional #lazy evaluation #quickcheck #source code #testing #using

Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (KC, CR, OC, JH, MW), pp. 59–99.

IFL-2002-ChitilRW #haskell

Transforming Haskell for Tracing (OC, CR, MW), pp. 165–181.

CSCW-2002-GutwinP #gesture

Improving interpretation of remote gestures with telepointer traces (CG, RP), pp. 49–57.

AdaEurope-2002-MinguetGC #ada #standard

An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard (AEM, AGF, AC), pp. 321–333.

ICPR-v2-2002-KadyrovP #estimation #parametricity

Affine Parameter Estimation from the Trace Transform (AK, MP), pp. 798–801.

SEKE-2002-El-RamlySS #interactive #requirements

Recovering software requirements from system-user interaction traces (MER, ES, PGS), pp. 447–454.

ICLP-2002-DucasseL #analysis #automation #execution

Automated Analysis of CLP(FD) Program Execution Traces (MD, LL), pp. 470–471.

TestCom-2002-FeijsGMT #distance #heuristic #testing

Test Selection, Trace Distance and Heuristics (LMGF, NG, SM, JT), pp. 267–282.

ASE-2001-LenceviciusMR #design #execution

Tracing Execution of Software for Design Coverage (RL, EM, AR), pp. 328–332.

ICDAR-2001-Yan #algorithm #detection #fuzzy

Detection of Curved Text Path Based on the Fuzzy Curve-Tracing (FCT) Algorithm (HY), pp. 266–270.

VLDB-2001-CuiW

Lineage Tracing for General Data Warehouse Transformations (YC, JW), pp. 471–480.

FoSSaCS-2001-Morin #on the #sequence chart #traceability

On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory (RM), pp. 332–346.

IWPC-2001-EisenbarthKS #comprehension #concept analysis #execution #using

Feature-Driven Program Understanding Using Concept Analysis of Execution Traces (TE, RK, DS), pp. 300–309.

IWPC-2001-MoeC #comprehension #distributed #execution

Understanding Distributed Systems via Execution Trace Data (JM, DAC), pp. 60–67.

WCRE-2001-El-RamlyISSM #interactive #modelling #using

Modeling the System-User Dialog Using Interaction Traces (MER, PI, ES, PGS, BM), p. 208–?.

ICALP-2001-Boreale #analysis #encryption #protocol

Symbolic Trace Analysis of Cryptographic Protocols (MB), pp. 667–681.

ICALP-2001-Kirsten #monad #problem #reduction

The Star Problem in Trace Monoids: Reductions Beyond C4 (DK), pp. 591–602.

ICALP-2001-Kunc #decidability #problem

The Trace Coding Problem Is Undecidable (MK), pp. 603–614.

SVIS-2001-Francik #algorithm #animation #data flow #using

Algorithm Animation Using Data Flow Tracing (JF), pp. 73–87.

IJCAR-2001-BeckertS #calculus #first-order #logic

A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities (BB, SS), pp. 626–641.

FoSSaCS-2000-HussonM #on the

On Recognizable Stable Trace Languages (JFH, RM), pp. 177–191.

FoSSaCS-2000-LaroussinieS #bisimulation #equivalence #explosion #problem

The State Explosion Problem from Trace to Bisimulation Equivalence (FL, PS), pp. 192–207.

ICSM-2000-LukoitWSH #named #visual notation

TraceGraph: Immediate Visual Location of Software Features (KL, NW, SS, TH), pp. 33–39.

IWPC-2000-AntoniolCLCM #functional #object-oriented #requirements

Tracing Object-Oriented Code into Functional Requirements (GA, GC, ADL, GC, EM), pp. 79–86.

ICALP-2000-DiekertG #ltl

LTL Is Expressively Complete for Mazurkiewicz Traces (VD, PG), pp. 211–222.

IFL-2000-ChitilRW #comparative #debugging #evaluation #functional #lazy evaluation #source code

Freja, Hat and Hood — A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs (OC, CR, MW), pp. 176–193.

CAiSE-2000-EbnerK

Tracing All Around (GE, HK), pp. 355–368.

ICML-2000-PrecupSS #evaluation #policy

Eligibility Traces for Off-Policy Policy Evaluation (DP, RSS, SPS), pp. 759–766.

ICPR-v2-2000-LauYT #algorithm #image

EDT Based Tracing Maximum Thinning Algorithm on Grey Scale Images (KKL, PCY, YYT), pp. 2863–2866.

LOPSTR-2000-JahierDR #continuation #modelling #prolog #semantics #specification

Specifying Prolog trace models with a continuation semantics (EJ, MD, OR).

LOPSTR-J-2000-JahierDR #continuation #modelling #prolog #semantics #specification

Specifying Prolog Trace Models with a Continuation Semantics (EJ, MD, OR), pp. 165–182.

POPL-2000-ColcombetF #program transformation

Enforcing Trace Properties by Program Transformation (TC, PF), pp. 54–66.

HPCA-2000-LeeWY #predict

Decoupled Value Prediction on Trace Processors (SJL, YW, PCY), pp. 231–240.

HPCA-2000-RamirezLV

Trace Cache Redundancy: Red & Blue Traces (AR, JLLP, MV), pp. 325–333.

ISMM-2000-ChilimbiJZ #design

Designing a Trace Format for Heap Allocation Events (TMC, REJ, BGZ), pp. 35–49.

CAV-2000-Yoneda #named #verification

VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits (TY), pp. 572–575.

LICS-2000-BloomFG

Precongruence Formats for Decorated Trace Preorders (BB, WF, RJvG), pp. 107–118.

ICALP-1999-Kirsten #finite #monad #problem

A Connection between the Star Problem and the Finite Power Property in Trace Monoids (DK), pp. 473–482.

ICFP-1999-Nilsson #debugging #functional #lazy evaluation

Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages (HN), pp. 36–47.

CHI-1999-Salvucci #eye tracking #interface #modelling #process

Inferring Intent in Eye-Based Interfaces: Tracing Eye Movements with Process Models (DDS), pp. 254–261.

HCI-EI-1999-Ramadhan99a #feedback

Improving the Engineering of Immediate Feedback for Model-Tracing Based Program Diagnosis (HAR), pp. 1283–1287.

ECOOP-1999-HoareJ #pointer

A Trace Model for Pointers and Objects (CARH, JH), pp. 1–17.

SAC-1999-PatnaikMHHP #performance

Improving the Performance of Lineage Tracing in Data Warehouse (SP, MM, BH, JH, BP), pp. 210–215.

HPCA-1999-JacobsonS #preprocessor

Instruction Pre-Processing in Trace Processors (QJ, JES), pp. 125–129.

CSL-1999-DiekertG #logic

An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces (VD, PG), pp. 188–203.

DATE-1998-MarculescuMP #estimation #probability

Trace-Driven Steady-State Probability Estimation in FSMs with Application to Power Estimation (DM, RM, MP), pp. 774–779.

SAS-1998-HandjievaT #analysis #clustering #control flow #using

Refining Static Analyses by Trace-Based Partitioning Using Control Flow (MH, ST), pp. 200–214.

ICALP-1998-BaldanCM #graph #process

Concatenable Graph Processes: Relating Processes and Derivation Traces (PB, AC, UM), pp. 283–295.

CAiSE-1998-DomgesPS

A Filter-Mechanism for Method-Driven Trace Capture (RD, KP, KS), pp. 237–250.

ICML-1998-KimuraK #algorithm #analysis #learning #using

An Analysis of Actor/Critic Algorithms Using Eligibility Traces: Reinforcement Learning with Imperfect Value Function (HK, SK), pp. 278–286.

ICML-1998-LochS #markov #policy #process #using

Using Eligibility Traces to Find the Best Memoryless Policy in Partially Observable Markov Decision Processes (JL, SPS), pp. 323–331.

ICPR-1998-KadyrovP98a #invariant

The trace transform as a tool to invariant feature construction (AK, MP), pp. 1037–1039.

LOPSTR-1998-MalletD #database #debugging #deduction #named #relational

Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging (SM, MD), pp. 328–330.

ICRE-1998-SongHMS #lessons learnt #requirements

Lessons Learned from Building a Web-Based Requirements Tracing System (XS, WMH, GM, WS), pp. 41–50.

SAC-1998-LiII #algorithm #constraints #estimation #recursion

A recursive time estimation algorithm for program traces under resource constraints (DL, YI, NI), pp. 635–640.

ISMM-1998-Pirinen #incremental

Barrier Techniques for Incremental Tracing (PPP), pp. 20–25.

ICALP-1997-DiekertMM #equation #normalisation #using

Solving Trace Equations Using Lexicographical Normal Forms (VD, YM, AM), pp. 336–346.

FME-1997-Kleuker #diagrams #distributed #formal method #requirements

Formalizing Requirements for Distributed Systems with Trace Diagrams (SK), pp. 102–121.

HCI-SEC-1997-PedraliB #analysis #process #question

Can We Trace Back Cognitive Processes in Root Cause Analysis? (MP, RB), pp. 59–62.

CAiSE-1997-PohlDJ #towards

Towards Method-Driven Trace Capture (KP, RD, MJ), pp. 103–116.

PLILP-1997-SparudR #functional #lazy evaluation #using

Tracing Lazy Functional Computations Using Redex Trails (JS, CR), pp. 291–308.

CAV-1997-SawadaH #approach #pipes and filters #verification

Trace Table Based Approach for Pipeline Microprocessor Verification (JS, WAHJ), pp. 364–375.

LICS-1997-ThiagarajanW #linear #logic

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (PST, IW), pp. 183–194.

TLCA-1997-Hasegawa #category theory #modelling #recursion #λ-calculus

Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic λ Calculi (MH), pp. 196–213.

ITiCSE-1996-MartiPH #education #network #paradigm

PACKET tracing: a new paradigm for teaching computer network courses (WFM, UWP, JAHJ), pp. 162–164.

ICALP-1996-ChenN #algebra

Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures (XJC, RDN), pp. 63–74.

ICPR-1996-Jaeger #optimisation #recognition #using

Recovering writing traces in off-line handwriting recognition: using a global optimization technique (SJ0), pp. 150–154.

POPL-1996-ColbyL #program analysis

Trace-Based Program Analysis (CC, PL), pp. 195–207.

ICRE-1996-PinheiroG #object-oriented #requirements

An Object-Oriented Tool for Tracing Requirements (FACP, JAG), pp. 219–220.

SAC-1996-HoskinsHKW #simulation

Ray tracing and the simulation of boreal forest stand dynamics (JAH, WDH, NCK, PYHW), pp. 447–453.

HPCA-1996-IyengarTB #infinity #modelling

Representative Traces for Processor Models with Infinite Cache (VSI, LT, PB), pp. 62–72.

CAV-1996-Gribomont #reduction #refinement #theorem

Atomicity Refinement and Trace Reduction Theorems (EPG), pp. 311–322.

JICSLP-1996-Ducassen #prolog

Tracing Prolog without a Tracer (Poster Abstract) (MD, JN), p. 534.

DLT-1995-DiekertGP #traceability

Recent Developments in Trace Theory (VD, PG, AP), pp. 373–385.

DLT-1995-DrosteK #composition #quantifier

Trace Languages Definable with Modular Quantifiers (MD, DK), pp. 386–395.

ICALP-1995-DiekertG #concurrent #termination

A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract) (VD, PG), pp. 15–26.

SAC-1995-HoskinsH #visualisation

Ray Tracing as a tool for visualization of pathogen spread in natural forest stands (JAH, WDH), pp. 61–64.

CAV-1995-McMillan #using #verification

Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings (KLM), pp. 180–195.

DAC-1994-ChenF #analysis #using

Transient Sensitivity Computation of MOSFET Circuits Using Iterated Timing Analysis and Selective-Tracing Waveform Eelaxation (CJC, WSF), pp. 581–585.

ESOP-1994-King #analysis

A Synergistic Analysis for Sharing and Groundness with Traces Linearity (AK), pp. 363–378.

PLDI-1994-NetzerW #debugging #incremental #source code

Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs (RHBN, MHW), pp. 313–325.

LICS-1994-Thiagarajan #linear #logic

A Trace Based Extension of Linear Time Temporal Logic (PST), pp. 438–447.

ICDAR-1993-AkindeleB #segmentation

Page segmentation by segment tracing (OTA, AB), pp. 341–344.

ICALP-1993-EbingerM #infinity #logic

Logical Definability on Infinite Traces (WE, AM), pp. 335–346.

FME-1993-DurrD #development #realtime

Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System (ED, EMD), pp. 64–72.

ICSE-1993-MukherjeaS #algorithm #animation #comprehension #debugging

Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding (SM, JTS), pp. 456–465.

ICSE-1993-WangP #behaviour #simulation

Simulating the Behaviour of Software Modules by Trace Rewriting (YW, DLP), pp. 14–23.

HPDC-1993-LeeRN #distributed #parallel

A Fully Distributed Parallel Ray Tracing Scheme on the Delta Touchstone Machine (TYL, CSR, JBN), pp. 129–134.

HT-ECHT-1992-StottsFR #automaton #verification

Hyperdocuments as Automata: Trace-Based Browsing Property Verification (PDS, RF, JCR), pp. 272–281.

ICALP-1992-GastinP #automaton #infinity

Asynchronous Cellular Automata for Infinite Traces (PG, AP), pp. 583–594.

ICALP-1992-HoogersKT #petri net #semantics

A Trace Semantics for Petri Nets (Extended Abstract) (PWH, HCMK, PST), pp. 595–604.

PLILP-1992-Ducasse #prolog #query

A General Trace Query Mechanism Based on Prolog (MD), pp. 400–414.

POPL-1992-BallL #profiling #source code

Optimally Profiling and Tracing Programs (TB, JRL), pp. 59–70.

DAC-1991-Kitamura #algorithm #fault #simulation

Sequential Circuit Fault Simulation by Fault Information Tracing Algorithm: FIT (YK), pp. 151–154.

ICALP-1991-GastinPZ #infinity #theorem

A Kleene Theorem for Infinite Trace Languages (PG, AP, WZ), pp. 254–266.

DAC-1990-CasottoNS #design

Design Management Based on Design Traces (AC, ARN, ALSV), pp. 136–141.

DAC-1990-RamakrishnanK #algorithm

Extension of the Critical Path Tracing Algorithm (TR, LK), pp. 720–723.

CHI-1990-BockerH #named

Track — a trace construction kit (HDB, JH), pp. 415–422.

POPL-1989-Jonsson #data flow #network

A Fully Abstract Trace Model for Dataflow Networks (BJ), pp. 155–165.

OOPSLA-1988-KleynG #comprehension #named #object-oriented #using

GraphTrace — Understanding Object-Oriented Systems Using Concurrently Animated Views (MFK, PCG), pp. 191–205.

POPL-1988-BloomIM #bisimulation

Bisimulation Can’t Be Traced (BB, SI, ARM), pp. 229–239.

ICALP-1987-AalbersbergH #problem

Decision Problems for Regular Trace Languages (IJA, HJH), pp. 250–259.

POPL-1987-WidomGS #network #proving

Completeness and Incompleteness of Trace-Based Network Proof Systems (JW, DG, FBS), pp. 27–38.

ESEC-1987-CailletBR #ada #execution

High Level Interpretaton of Execution Traces of Ada Tasks (JFC, CB, BR), pp. 309–317.

ASPLOS-1987-ColwellNOPR #architecture #compilation #scheduling

A VLIW Architecture for a Trace Scheduling Compiler (RPC, RPN, JJO, DBP, PKR), pp. 180–192.

SOSP-1985-OusterhoutCHKKT #analysis #file system

A Trace-Driven Analysis of the UNIX 4.2 BSD File System (JKO, HDC, DH, JAK, MDK, JGT), pp. 15–24.

VLDB-1984-Ward #using

Name-Tracing Using the ICL Content Addressable Filestore (AGW), pp. 523–528.

DAC-1983-AbramoviciMM #fault #simulation

Critical path tracing — an alternative to fault simulation (MA, PRM, DTM), pp. 214–220.

ICALP-1982-BertoniMS #equivalence #problem

Equivalence and Membership Problems for Regular Trace Languages (AB, GM, NS), pp. 61–71.

DAC-1981-AlmyR #fault #using

Using error latch trace to obtain diagnostic information (PMA, JLR), pp. 355–359.

DAC-1981-HsuSB #fault #testing

Structured trace diagnosis for LSSD board testing — an alternative to full fault simulated diagnosis (FCH, PS, REB), pp. 891–897.

ICSE-1978-PerschW #pascal

Symbolic Interpretation and Tracing of PASCAL-Programs (GP, GW), pp. 312–319.

STOC-1973-Pager #algorithm #lr #parsing

The Lane Tracing Algorithm for Constructing LR(k) Parsers (DP), pp. 172–181.