BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (82)
use (69)
execut (59)
program (56)
system (52)

Stem trace$ (all stems)

579 papers:

QoSAQoSA-2015-HofigZS #automation #dependence #using
Automated Failure Propagation using Inner Port Dependency Traces (KH, MZ, KS), pp. 123–128.
CASECASE-2015-WareS #synthesis #using
Synthesis time optimal accepting traces using language projection and pruning (SW, RS), pp. 1363–1368.
CASECASE-2015-WatteyneAV #lessons learnt #scalability
Lessons learned from large-scale dense IEEE802.15.4 connectivity traces (TW, CA, XV), pp. 145–150.
DATEDATE-2015-BanciuOW #information management #reliability
Reliable information extraction for single trace attacks (VB, EO, CW), pp. 133–138.
DATEDATE-2015-DaneseGP #automation #behaviour #execution #modelling
Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.
DATEDATE-2015-GorevUD #fault #parallel #simulation
Fault simulation with parallel exact critical path tracing in multiple core environment (MG, RU, SD), pp. 1180–1185.
DATEDATE-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.
DATEDATE-2015-TchagouTMVSQ #multi #testing
Reducing trace size in multimedia applications endurance tests (SVET, AT, JFM, BV, MS, RQ), pp. 984–985.
DATEDATE-2015-ZhuM #linear #machine learning #optimisation #programming #using
Optimizing dynamic trace signal selection using machine learning and linear programming (CSZ, SM), pp. 1289–1292.
ITiCSEITiCSE-2015-Kumar #problem #semantics
Solving Code-tracing Problems and its Effect on Code-writing Skills Pertaining to Program Semantics (ANK), pp. 314–319.
FoSSaCSFoSSaCS-2015-KlinR #algebra #logic #semantics
Coalgebraic Trace Semantics via Forgetful Logics (BK, JR), pp. 151–166.
TACASTACAS-2015-CassezMPS #composition #contest #named #refinement
Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.
ICPCICPC-2015-FittkauFHW #comprehension #visualisation
Comparing trace visualizations for program comprehension through controlled experiments (FF, SF, WH, JW), pp. 266–276.
SANERSANER-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.
SANERSANER-2015-CaiS15a #analysis #dependence #fine-grained #named
TRACERJD: Generic trace-based dynamic dependence analysis with fine-grained logging (HC, RAS), pp. 489–493.
SANERSANER-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.
SANERSANER-2015-RoehmNB #automation #interactive
Automated extraction of failure reproduction steps from user interaction traces (TR, SN, BB), pp. 121–130.
SANERSANER-2015-SassoML #detection #problem
Misery loves company: CrowdStacking traces to aid problem detection (TDS, AM, ML), pp. 131–140.
SCAMSCAM-2015-YuSF #named
LeakTracer: Tracing leaks along the way (HY, XS, WF), pp. 181–190.
LATALATA-2015-JanickiKKM #order #subclass
Order Structures for Subclasses of Generalised Traces (RJ, JK, MK, LM), pp. 689–700.
FMFM-2015-DuLT #independence #ltl #monitoring #policy #runtime
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (XD, YL, AT), pp. 231–247.
FMFM-2015-KroeningLW #automaton #bound #model checking #proving #safety
Proving Safety with Trace Automata and Bounded Model Checking (DK, ML, GW), pp. 325–341.
ICFPICFP-2015-BaumanBHKPST #functional #jit #named
Pycket: a tracing JIT for a functional language (SB, CFB, RH, VK, TP, JGS, STH), pp. 22–34.
CHICHI-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.
CHICHI-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.
CAiSECAiSE-2015-Francescomarino #using #workflow
Completing Workflow Traces Using Action Languages (CDF, CG, ST, IVS), pp. 314–330.
CAiSECAiSE-2015-SunB #approach #clustering #novel #top-down
A Novel Top-Down Approach for Clustering Traces (YS, BB), pp. 331–345.
ICEISICEIS-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.
BXBX-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.
ECMFAECMFA-2015-BousseMCB #approach #generative #metamodelling
A Generative Approach to Define Rich Domain-Specific Trace Metamodels (EB, TM, BC, BB), pp. 45–61.
ECMFAECMFA-2015-OgunyomiRK #incremental #model-to-text
Property Access Traces for Source Incremental Model-to-Text Transformation (BO, LMR, DSK), pp. 187–202.
OOPSLAOOPSLA-2015-MarrD #partial evaluation #self
Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters (SM, SD), pp. 821–839.
POPLPOPL-2015-GuptaHRST #concurrent #representation #set
Succinct Representation of Concurrent Trace Sets (AG, TAH, AR, RS, TT), pp. 433–444.
SACSAC-2015-VorobyovKS #monitoring #specification
A concise specification language for trace monitoring (KV, PK, PS), pp. 1637–1640.
ESEC-FSEESEC-FSE-2015-KevicWSSSF #developer #interactive
Tracing software developers’ eyes and interactions for change tasks (KK, BMW, TRS, BS, DCS, TF), pp. 202–213.
ESEC-FSEESEC-FSE-2015-RajagopalanH #concurrent #detection #named
RDIT: race detection from incomplete traces (AKR, JH), pp. 914–917.
ICSEICSE-v2-2015-Cornu #debugging #named #null #using
Casper: Using Ghosts to Debug Null Deferences with Dynamic Causality Traces (BC), pp. 790–791.
ICSEICSE-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.
ICSEICSE-v2-2015-TheisenHMMW #approximate #stack
Approximating Attack Surfaces with Stack Traces (CT, KH, PM, BM, LAW), pp. 199–208.
ASPLOSASPLOS-2015-LiuHMHTS #memory management #named
GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation (CL, AH, MM, MWH, MT, ES), pp. 87–101.
HPDCHPDC-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.
SOSPSOSP-2015-MaceRF #distributed #monitoring
Pivot tracing: dynamic causal monitoring for distributed systems (JM, RR, RF), pp. 378–393.
ASEASE-2014-BurgDMDGH #consistency #nondeterminism #process
Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.
ASEASE-2014-CaiS #dependence #impact analysis #named #precise #using
Diver: precise dynamic impact analysis using dependence-based trace pruning (HC, RAS), pp. 343–348.
ASEASE-2014-RanganathVG #comparison #testing #using
Compatibility testing using patterns-based trace comparison (VPR, PV, PG), pp. 469–478.
DACDAC-2014-AgostaBPS #approach #embedded #encryption #execution #multi
A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.
DATEDATE-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.
ITiCSEITiCSE-2014-StrieweG14a #runtime #using
Code reading exercises using run time traces (MS, MG), p. 346.
FASEFASE-2014-BersaniBGKP #smt
SMT-Based Checking of SOLOIST over Sparse Traces (MMB, DB, CG, SK, PSP), pp. 276–290.
TACASTACAS-2014-Cheval #algorithm #equivalence #named #proving
APTE: An Algorithm for Proving Trace Equivalence (VC), pp. 587–592.
SANERCSMR-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.
ICSMEICSME-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.
ICSMEICSME-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.
MSRMSR-2014-AkerblomSTW #python #source code
Tracing dynamic features in python programs (, JS, MT, TW), pp. 292–295.
ICALPICALP-v1-2014-WimmerWZ #complexity #matrix #query
Optimal Query Complexity for Estimating the Trace of a Matrix (KW, YW, PZ), pp. 1051–1062.
ICALPICALP-v2-2014-Chaturvedi #towards
Toward a Structure Theory of Regular Infinitary Trace Languages (NC), pp. 134–145.
SEFMSEFM-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.
HCIDUXU-TMT-2014-LaamanenSH #design #process
Tracing Design Work through Contextual Activity Sampling (TKL, PSH, KH), pp. 142–152.
ICEISICEIS-v2-2014-ShumskyRW #calculus #execution #process
Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.
ICPRICPR-2014-AzizWH #graph #kernel #using
Graph Characterization Using Wave Kernel Trace (FA, RCW, ERH), pp. 3822–3827.
ICPRICPR-2014-BaiHRE #complexity #graph
Directed Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs (LB, ERH, PR, FE), pp. 3874–3879.
KMISKMIS-2014-WangABN #recommendation #semantics #towards
Towards a Recommender System from Semantic Traces for Decision Aid (NW, MHA, JPAB, EN), pp. 274–279.
SEKESEKE-2014-DaubalDDA #concept
Tracing Domain Data Concepts in Layered Applications (MD, ND, DBD, HUA), pp. 292–297.
ICMTICMT-2014-GuanaS #analysis
ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments (VG, ES), pp. 146–153.
ICMTICMT-2014-InostrozaSE #program transformation #string
Tracing Program Transformations with String Origins (PI, TvdS, SE), pp. 154–169.
ECOOPECOOP-2014-NittaKT #framework #identification
Identifying Mandatory Code for Framework Use via a Single Application Trace (NN, IK, YT), pp. 593–617.
POPLPOPL-2014-DissegnaLR #abstract interpretation #compilation
Tracing compilation by abstract interpretation (SD, FL, FR), pp. 47–60.
RERE-2014-PruskiLAOARC #named #natural language #query #towards
TiQi: Towards natural language trace queries (PP, SL, RA, GO, SA, AR, JCH), pp. 123–132.
SACSAC-2014-PatrignaniC #low level #semantics
Fully abstract trace semantics for low-level isolation mechanisms (MP, DC), pp. 1562–1569.
FSEFSE-2014-KrkaBM #automation #invariant #mining #specification
Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.
FSEFSE-2014-LiYP0H #finite #infinity #ltl #named #satisfiability
Aalta: an LTL satisfiability checker over Infinite/Finite traces (JL, YY, GP, LZ, JH), pp. 731–734.
ASPLOSASPLOS-2014-YuHZX #execution #performance
Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.
PPoPPPPoPP-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.
PPoPPPPoPP-2014-SamakR #concurrent #detection
Trace driven dynamic deadlock detection and reproduction (MS, MKR), pp. 29–42.
VMCAIVMCAI-2014-WangH #concurrent #reachability
Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability (CW, KH), pp. 376–394.
QoSAQoSA-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.
QoSAQoSA-2013-DuSHGV #generative #modelling #sequence
Generating service models by trace subsequence substitution (MD, JGS, CMH, JG, SV), pp. 123–132.
ASEASE-2013-DietrichCS #effectiveness #learning #query #requirements #retrieval
Learning effective query transformations for enhanced requirements trace retrieval (TD, JCH, YS), pp. 586–591.
ASEASE-2013-KwonZX #execution #framework #independence #named
PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.
ASEASE-2013-SaadaHNS #model transformation #multi #optimisation #using
Recovering model transformation traces using multi-objective optimization (HS, MH, CN, HAS), pp. 688–693.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-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.
ITiCSEITiCSE-2013-Kumar #case study #problem
A study of the influence of code-tracing problems on code-writing skills (ANK), pp. 183–188.
ESOPESOP-2013-AlpuenteBFS #analysis #logic #specification
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne (MA, DB, FF, JS), pp. 121–124.
ICPCICPC-2013-TrumperDT #comparison #execution #multi #visual notation
Multiscale visual comparison of execution traces (JT, JD, ACT), pp. 53–62.
ICSMEICSM-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.
SCAMSCAM-2013-Baca
Tracing with a minimal number of probes (DB), pp. 74–83.
WCREWCRE-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.
WCREWCRE-2013-NayrollesMV #detection #execution #mining
Improving SOA antipatterns detection in Service Based Systems by mining execution traces (MN, NM, PV), pp. 321–330.
PLDIPLDI-2013-LifflanderKK
Steal Tree: low-overhead tracing of work stealing schedulers (JL, SK, LVK), pp. 507–518.
CHICHI-2013-AndersenGP #education #framework
A trace-based framework for analyzing and synthesizing educational progressions (EA, SG, ZP), pp. 773–782.
CHICHI-2013-RosnerIKK #design
Designing with traces (DKR, MI, DK, KK), pp. 1649–1658.
CSCWCSCW-2013-MarlowD #developer #process
Activity traces and signals in software developer recruitment and hiring (JM, LD), pp. 145–156.
CSCWCSCW-2013-MarlowDH #git #online #process
Impression formation in online peer production: activity traces and personal profiles in github (JM, LD, JDH), pp. 117–128.
HCIDUXU-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.
VISSOFTVISSOFT-2013-FittkauWWH #approach #scalability #visualisation
Live trace visualization for comprehending large software landscapes: The ExplorViz approach (FF, JW, CW, WH), pp. 1–4.
VISSOFTVISSOFT-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.
ICEISICEIS-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.
ECIRECIR-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.
KDDKDD-2013-AbrahaoCKP #complexity #network
Trace complexity of network inference (BDA, FC, RK, AP), pp. 491–499.
KDDKDD-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.
KEODKEOD-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.
RERE-2013-SultanovH #learning #requirements
Application of reinforcement learning to requirements engineering: requirements tracing (HS, JHH), pp. 52–61.
REFSQREFSQ-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.
SACSAC-PL-J-2012-HaublWM13 #java
Context-sensitive trace inlining for Java (CH, CW, HM), pp. 123–141.
ESEC-FSEESEC-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-FSEESEC-FSE-2013-SahaDP #distributed
Distributed program tracing (DS, PD, GP), pp. 180–190.
ICSEICSE-2013-KhooFH #debugging #named
Expositor: scriptable time-travel debugging with first-class traces (YPK, JSF, MH), pp. 352–361.
ICSEICSE-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.
ISMMISMM-2013-RicciGM #garbage collection #precise
Elephant tracks: portable production of complete and precise gc traces (NPR, SZG, JEBM), pp. 109–118.
LCTESLCTES-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.
SOSPSOSP-2013-WeissHAA #game studies #named #parallel #thread
ROOT: replaying multithreaded traces with resource-oriented ordering (ZW, TH, ACAD, RHAD), pp. 373–387.
CADECADE-2013-BeckertB #logic #semantics
Dynamic Logic with Trace Semantics (BB, DB), pp. 315–329.
ASEASE-2012-GhabiE #automation #validation
Code patterns for automatically validating requirements-to-code traces (AG, AE), pp. 200–209.
DACDAC-2012-YuanLX #configuration management #debugging #named
X-tracer: a reconfigurable X-tolerant trace compressor for silicon debug (FY, XL, QX), pp. 555–560.
DATEDATE-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.
ESOPESOP-2012-FajstrupGHMR #performance #reduction
Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
FASEFASE-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.
FoSSaCSFoSSaCS-2012-BernardoNL #nondeterminism #probability #process #testing
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
CSMRCSMR-2012-AlsallakhBGM #debugging #eclipse #java #visual notation
Visual Tracing for the Eclipse Java Debugger (BA, PB, AG, SM), pp. 545–548.
CSMRCSMR-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.
ICPCICPC-2012-AlawnehH #communication #identification
Identifying computational phases from inter-process communication traces of HPC applications (LA, AHL), pp. 133–142.
ICPCICPC-2012-DitMP #feature model
A TraceLab-based solution for creating, conducting, and sharing feature location experiments (BD, EM, DP), pp. 203–208.
ICPCICPC-2012-Mahmoud #automation #effectiveness #process #towards
Toward an effective automated tracing process (AM), pp. 269–272.
ICSMEICSM-2012-BavotaCLFOP #eclipse #named #traceability
TraceME: Traceability Management in Eclipse (GB, LC, ADL, SF, RO, AP), pp. 642–645.
SCAMSCAM-2012-LazarescuL #analysis #c #dependence #parallel #source code
Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs (MTL, LL), pp. 126–131.
WCREWCRE-2012-AljamaanL #towards
Towards Tracing at the Model Level (HIA, TCL), pp. 495–498.
WCREWCRE-2012-AngiusW #automation #named #open source #traceability
OpenTrace: An Open Source Workbench for Automatic Software Traceability Link Recovery (EA, RW), pp. 507–508.
WCREWCRE-2012-ClearySCSP #analysis #assembly #named
ATLANTIS — Assembly Trace Analysis Environment (BC, MADS, LC, MS, FP), pp. 505–506.
WCREWCRE-2012-MediniAGPT #approach #execution #named
SCAN: An Approach to Label and Relate Execution Trace Segments (SM, GA, YGG, MDP, PT), pp. 135–144.
WCREWCRE-2012-NodaKA #abstraction #execution
Execution Trace Abstraction Based on Meta Patterns Usage (KN, TK, KA), pp. 167–176.
PLDIPLDI-2012-HolewinskiRRFPRS #analysis
Dynamic trace-based analysis of vectorization potential of applications (JH, RR, MR, NF, LNP, AR, PS), pp. 371–382.
FLOPSFLOPS-2012-Hamana #category theory #haskell
Correct Looping Arrows from Cyclic Terms — Traced Categorical Interpretation in Haskell (MH), pp. 136–150.
FMFM-2012-AlpuenteBFR #named #slicing
Julienne: A Trace Slicer for Conditional Rewrite Theories (MA, DB, FF, DR), pp. 28–32.
CSCWCSCW-2012-SosikZC #how
See friendship, sort of: how conversation and digital traces might support reflection on friendships (VSS, XZ, DC), pp. 1145–1154.
ICEISICEIS-v3-2012-WangWZLW #detection #modelling #process
Detecting Infeasible Traces in Process Models (ZW, LW, XZ, YL, JW), pp. 212–217.
CIKMCIKM-2012-BodenGS #clustering #evolution #graph
Tracing clusters in evolving graphs with node attributes (BB, SG, TS), pp. 2331–2334.
ICPRICPR-2012-BaiHHR #clustering #complexity #graph #using
Graph clustering using graph entropy complexity traces (LB, ERH, LH, PR), pp. 2881–2884.
KDDKDD-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.
KEODKEOD-2012-NogueiraG #programming #set #using
Recall-driven Product Tracing and Supply Chain Tracking using Answer Set Programming (MLN, NPG), pp. 125–133.
KEODKEOD-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.
KMISKMIS-2012-LiAB #collaboration #experience #reuse
Facilitating Experience Sharing in Groups — Collaborative Trace Reuse and Exploitation (QL, MHA, JPAB), pp. 21–30.
SEKESEKE-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.
ICMTICMT-2012-AmstelBS #model transformation #traceability #visualisation
Traceability Visualization in Model Transformations with TraceVis (MvA, MvdB, AS), pp. 152–159.
MODELSMoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation
Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
MODELSMoDELS-2012-GrammelKV #development #generative #modelling
Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
MODELSMoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation
Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
MODELSMoDELS-2012-GrammelKV #development #generative #modelling
Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
OOPSLAOOPSLA-2012-GuBSS #debugging #reuse
Reusing debugging knowledge via trace-based bug search (ZG, ETB, DS, ZS), pp. 927–942.
OOPSLAOOPSLA-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.
RERE-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.
RERE-2012-NiuM #clustering #generative #requirements #revisited
Enhancing candidate link generation for requirements tracing: The cluster hypothesis revisited (NN, AM), pp. 81–90.
REFSQREFSQ-2012-Cleland-HuangHHLM #assurance #query #requirements #safety
Trace Queries for Safety Requirements in High Assurance Systems (JCH, MPEH, JHH, RRL, PM), pp. 179–193.
SACSAC-2012-HaublWM #evaluation #heuristic #java
Evaluation of trace inlining heuristics for Java (CH, CW, HM), pp. 1871–1876.
SACSAC-2012-ShinC #comparative #evaluation #feedback #requirements #retrieval
A comparative evaluation of two user feedback techniques for requirements trace retrieval (YS, JCH), pp. 1069–1074.
ICSEICSE-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.
ICSEICSE-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.
SPLCSPLC-2012-MohalikRMKN
Tracing SPLs precisely and efficiently (SM, SR, JVM, SNK, GKN), pp. 186–195.
HPCAHPCA-2012-BalakrishnanS #behaviour #named #probability #using
WEST: Cloning data cache behavior using Stochastic Traces (GB, YS), pp. 387–398.
HPDCHPDC-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.
CAVCAV-2012-KahlonW #concurrent #source code
Lock Removal for Concurrent Trace Programs (VK, CW), pp. 227–242.
CAVCAV-2012-PaulaHN #debugging #named #nondeterminism
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.
ISSTAISSTA-2012-CoughlinCDS #source code #what
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say (DC, BYEC, AD, JGS), pp. 276–286.
TAPTAP-2012-SulzmannZ #analysis #finite #linear #logic
Constructive Finite Trace Analysis with Linear Temporal Logic (MS, AZ), pp. 132–148.
WICSAWICSA-2011-BuchgeherW #architecture #automation #implementation
Automatic Tracing of Decisions to Architecture and Implementation (GB, RW), pp. 46–55.
ASEASE-2011-GhabiE #validation
Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation (AG, AE), pp. 416–419.
ASEASE-2011-ZiftciK #precise #requirements #testing
Tracing requirements to tests with high precision and recall (CZ, IK), pp. 472–475.
DACDAC-2011-PaulaNNOH #named
TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead (FMdP, AN, ZN, AO, AJH), pp. 411–416.
DATEDATE-2011-LiuX #debugging #multi #on the
On multiplexed signal tracing for post-silicon debug (XL, QX), pp. 685–690.
SIGMODSIGMOD-2011-MeliouGNS #fault
Tracing data errors with view-conditioned causality (AM, WG, SN, DS), pp. 505–516.
VLDBVLDB-2011-ParkIW #named #pipes and filters #workflow
RAMP: A System for Capturing and Tracing Provenance in MapReduce Workflows (HP, RI, JW), pp. 1351–1354.
ITiCSEITiCSE-2011-StrieweG11a #automation #programming #runtime #using
Using run time traces in automated programming tutoring (MS, MG), pp. 303–307.
FoSSaCSFoSSaCS-2011-GabbayC #set #strict
Freshness and Name-Restriction in Sets of Traces with Names (MJG, VC), pp. 365–380.
FoSSaCSFoSSaCS-2011-StahlV #guidelines
A Trace-Based View on Operating Guidelines (CS, WV), pp. 411–425.
CSMRCSMR-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.
CSMRCSMR-2011-SilvaPAM #execution #on the
On the Use of Execution Trace Alignment for Driving Perfective Changes (LLS, KRP, SdA, MdAM), pp. 221–230.
ICPCICPC-2011-AlawnehH #named #performance #scalability
MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems (LA, AHL), pp. 181–184.
ICPCICPC-2011-Ali #analysis #automation #named #retrieval #trust
Trustrace: Improving Automated Trace Retrieval through Resource Trust Analysis (NA), pp. 230–233.
ICPCICPC-2011-Medini #automation #concept #execution #mining #scalability
Scalable Automatic Concept Mining from Execution Traces (SM), pp. 238–241.
ICPCICPC-2011-PirzadehSHM #concept #execution
The Concept of Stratified Sampling of Execution Traces (HP, SS, AHL, AM), pp. 225–226.
ICSMEICSM-2011-PirzadehHS #analysis #execution #mining
Exploiting text mining techniques in the analysis of execution traces (HP, AHL, MS), pp. 223–232.
PASTEPASTE-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.
WCREWCRE-2011-AntunesNV #network #protocol #reverse engineering
Reverse Engineering of Protocols from Network Traces (JA, NFN, PV), pp. 169–178.
WCREWCRE-2011-CheathamR
Function Insight: Highlighting Suspicious Sections in Binary Run Traces (MC, JR), pp. 433–434.
WCREWCRE-2011-MyersS #execution #using
Focusing on Execution Traces Using Diver (DM, MADS), pp. 439–440.
WCREWCRE-2011-QusefBOLB #named #slicing
SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter (AQ, GB, RO, ADL, DB), pp. 443–444.
PEPMPEPM-2011-BolzCFLPR #jit #partial evaluation
Allocation removal by partial evaluation in a tracing JIT (CFB, AC, MF, ML, SP, AR), pp. 43–52.
PLDIPLDI-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.
SASSAS-2011-HuangZ #concurrent #debugging #performance #source code
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs (JH, CZ), pp. 163–179.
FMFM-2011-BarringerH #analysis #domain-specific language #named #scala
TraceContract: A Scala DSL for Trace Analysis (HB, KH), pp. 57–72.
IFLIFL-2011-ChangBCF #lazy evaluation #sequence #stack
From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.
IFLIFL-2011-Schilling #challenge #compilation #haskell
Challenges for a Trace-Based Just-In-Time Compiler for Haskell (TS), pp. 51–68.
CAiSECAiSE-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.
BXBX-2011-Hu #bidirectional
Trace-based Bidirectionalization (ZH), p. 49.
ECMFAECMFA-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.
ECOOPECOOP-2011-PothierT #debugging #query #scalability
Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging (GP, ÉT), pp. 558–582.
OOPSLAOOPSLA-2011-WuHIN #java #performance #scalability
Reducing trace selection footprint for large-scale Java applications without performance loss (PW, HH, HI, TN), pp. 789–804.
POPLPOPL-2011-GuoP #compilation
The essence of compiling with traces (SyG, JP), pp. 563–574.
RERE-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.
SACSAC-2011-JinL #performance
Efficient traitor tracing for clone attack in content protection (HJ, JBL), pp. 1544–1549.
SACSAC-2011-WangZG #classification #identification #network
Traffic classification beyond application level: identifying content types from network traces (YW, ZZ, LG), pp. 540–541.
GTTSEGTTSE-2011-PfeifferW #component #interface
Tengi Interfaces for Tracing between Heterogeneous Components (RHP, AW), pp. 431–447.
ICSEICSE-2011-CuddebackDHHK #process #requirements #towards
Towards overcoming human analyst fallibility in the requirements tracing process (DC, AD, JHH, JH, WKK), pp. 860–863.
ICSEICSE-2011-Mirakhorli #approach #architecture #requirements
Tracing architecturally significant requirements: a decision-centric approach (MM), pp. 1126–1127.
ICSEICSE-2011-MirakhorliC #architecture #assurance
Tracing architectural concerns in high assurance systems (MM, JCH), pp. 908–911.
ICSEICSE-2011-Sultanov #documentation #proximity #requirements
Requirements tracing: discovering related documents through artificial pheromones and term proximity (HS), pp. 1173–1175.
ASPLOSASPLOS-2011-HayashizakiWISN #performance
Improving the performance of trace-based systems by false loop filtering (HH, PW, HI, MJS, TN), pp. 405–418.
CCCC-2011-SolGPB #compilation #testing
Dynamic Elimination of Overflow Tests in a Trace Compiler (RS, CG, FMQP, MAdSB), pp. 2–21.
CGOCGO-2011-InoueHWN #compilation #java #jit
A trace-based Java JIT compiler retrofitted from a method-based compiler (HI, HH, PW, TN), pp. 246–256.
LCTESLCTES-2011-ThomasFK #execution #monitoring
Lowering overhead in sampling-based execution monitoring and tracing (JJT, SF, DK), pp. 101–110.
LCTESLCTES-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.
PPoPPPPoPP-2011-WuM #communication #named #source code
ScalaExtrap: trace-based communication extrapolation for spmd programs (XW, FM), pp. 113–122.
SOSPSOSP-2011-ChenSGK #analysis #design #enterprise #multi
Design implications for enterprise storage systems via multi-dimensional trace analysis (YC, KS, GRG, RHK), pp. 43–56.
SOSPSOSP-2011-ErlingssonPPB #clustering #distributed #kernel #named
Fay: extensible distributed tracing from kernels to clusters (ÚE, MP, SP, MB), pp. 311–326.
CADECADE-2011-AlpuenteBER #logic #slicing
Backward Trace Slicing for Rewriting Logic Theories (MA, DB, JE, DR), pp. 34–48.
ICSTICST-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.
CBSECBSE-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.
ASEASE-2010-GibiecCC #mining #query #towards
Towards mining replacement queries for hard-to-retrieve traces (MG, AC, JCH), pp. 245–254.
DACDAC-2010-KahngLSR #optimisation
Trace-driven optimization of networks-on-chip configurations (ABK, BL, KS, RSR), pp. 437–442.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2010-UbarDRJ #parallel #simulation
Parallel X-fault simulation with critical path tracing technique (RU, SD, JR, AJ), pp. 879–884.
ESOPESOP-2010-NakataU #hoare #induction #logic #semantics
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (KN, TU), pp. 488–506.
TACASTACAS-2010-WangLGG #analysis
Trace-Based Symbolic Analysis for Atomicity Violations (CW, RL, MKG, AG), pp. 328–342.
CSMRCSMR-2010-AsadiPAG #approach #concept #execution #heuristic #identification
A Heuristic-Based Approach to Identify Concepts in Execution Traces (FA, MDP, GA, YGG), pp. 31–40.
CSMRCSMR-2010-MyersSS #debugging #scalability
Utilizing Debug Information to Compact Loops in Large Program Traces (DM, MADS, MS), pp. 41–50.
ICPCICPC-2010-MatthijssenZSBD #ajax #comprehension #interactive
Connecting Traces: Understanding Client-Server Interactions in Ajax Applications (NM, AZ, MADS, RIB, AvD), pp. 216–225.
MSRMSR-2010-SchroterBP #debugging #developer #question #stack
Do stack traces help developers fix bugs? (AS, NB, RP), pp. 118–121.
WCREWCRE-2010-GratiSP #diagrams #execution #interactive #sequence chart #using #visualisation
Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization (HG, HAS, PP), pp. 87–96.
CIAACIAA-2010-ForysOB #automaton #infinity
Symbolic Dynamics, Flower Automata and Infinite Traces (WF, PO, SB), pp. 135–142.
LATALATA-2010-NagyO
CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages (BN, FO), pp. 463–474.
SEFMSEFM-2010-HegedusBRV #model transformation #simulation
Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.
CHICHI-2010-SambasivanCT #community #low cost #named
ViralVCD: tracing information-diffusion paths with low cost media in developing communities (NS, EC, KT), pp. 2607–2610.
SOFTVISSOFTVIS-2010-PauwH #named #scalability #visual notation
Zinsight: a visual and analytic environment for exploring large event traces (WDP, SH), pp. 143–152.
SOFTVISSOFTVIS-2010-TrumperBD #comprehension #parallel #thread #using #visualisation
Understanding complex multithreaded software systems by using trace visualization (JT, JB, JD), pp. 133–142.
SOFTVISSOFTVIS-2010-WuYH #visualisation
Visualizing windows system traces (YW, RHCY, FH), pp. 123–132.
EDOCEDOC-2010-AmarLCN #aspect-oriented #imperative #programming #using
Using Aspect-Oriented Programming to Trace Imperative Transformations (BA, HL, BC, CN), pp. 143–152.
KDDKDD-2010-LouFYLW #mining #workflow
Mining program workflow from interleaved traces (JGL, QF, SY, JL, BW), pp. 613–622.
ECMFAECMFA-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.
OOPSLAOOPSLA-2010-BebenitaBFLSTV #compilation #jit #named
SPUR: a trace-based JIT compiler for CIL (MB, FB, MF, FL, WS, NT, HV), pp. 708–725.
RERE-2010-EgyedGG #quality
Effort and Quality of Recovering Requirements-to-Code Traces: Two Exploratory Experiments (AE, FG, PG), pp. 221–230.
RERE-2010-SultanovH #requirements
Application of Swarm Techniques to Requirements Engineering: Requirements Tracing (HS, JHH), pp. 211–220.
REFSQREFSQ-2010-LeuserO #automation #scalability #specification
Tackling Semi-automatic Trace Recovery for Large Specifications (JL, DO), pp. 203–217.
SACSAC-2010-BaudetD #algorithm #permutation
An improved algorithm to enumerate all traces that sort a signed permutation by reversals (CB, ZD), pp. 1521–1525.
FSEFSE-2010-DeAntoniMTRBMGRS #execution #named
RT-simex: retro-analysis of execution traces (JD, FM, FT, GR, JPB, CM, LG, LR, NS), pp. 377–378.
FSEFSE-2010-JalbertS #concurrent #debugging #effectiveness #source code
A trace simplification technique for effective debugging of concurrent programs (NJ, KS), pp. 57–66.
FSEFSE-2010-MyersS #dynamic analysis #ide #user interface #using
Using dynamic analysis to create trace-focused user interfaces for IDEs (DM, MADS), pp. 367–368.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-2010-SavageRP #feature model #named
FLAT3: feature location and textual tracing tool (TS, MR, DP), pp. 255–258.
CGOCGO-2010-PriceV #analysis #scalability
Large program trace analysis and compression with ZDDs (GDP, MV), pp. 32–41.
HPDCHPDC-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.
ISMMISMM-2010-BarabashP #garbage collection #parallel
Tracing garbage collection on highly parallel platforms (KB, EP), pp. 1–10.
TAPTAP-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.
VMCAIVMCAI-2010-Dubrovin #bound #reachability
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing (JD), pp. 146–162.
WICSA-ECSAWICSA-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.
ASEASE-2009-PradelG #automation #generative #scalability #specification
Automatic Generation of Object Usage Specifications from Large Method Traces (MP, TRG), pp. 371–382.
DACDAC-2009-IsshikiLKIS #multi #simulation
Trace-driven workload simulation method for Multiprocessor System-On-Chips (TI, DL, HK, TI, KS), pp. 232–237.
DACDAC-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.
DACDAC-2009-LiuX #design #validation
Interconnection fabric design for tracing signals in post-silicon validation (XL, QX), pp. 352–357.
DACDAC-2009-UzelacM #realtime
A real-time program trace compressor utilizing double move-to-front method (VU, AM), pp. 738–743.
DATEDATE-2009-BraunesS #generative
Generating the trace qualification configuration for MCDS from a high level language (JB, RGS), pp. 1560–1563.
DATEDATE-2009-FytrakiP #configuration management
ReSim, a trace-driven, reconfigurable ILP processor simulator (SF, DNP), pp. 536–541.
DATEDATE-2009-LiuX #validation
Trace signal selection for visibility enhancement in post-silicon validation (XL, QX), pp. 1338–1343.
HTHT-2009-YahiaouiPB #documentation #framework #process
The redocumentation process of computer mediated activity traces: a general framework (LY, YP, ZB), pp. 363–364.
ITiCSEITiCSE-2009-HsiaoSB #java #personalisation #problem
Extending parameterized problem-tracing questions for Java with personalized guidance (IHH, SAS, PB), p. 392.
ITiCSEITiCSE-2009-Inghelbrecht09a #design #object-oriented
Object-oriented design with trace modeler and Trace4J (YI), p. 375.
ITiCSEITiCSE-2009-KasurinenN #programming
Estimating programming knowledge with Bayesian knowledge tracing (JK, UN), pp. 313–317.
ITiCSEITiCSE-2009-ListerFT #programming
Further evidence of a relationship between explaining, tracing and writing skills in introductory programming (RL, CJF, DT), pp. 161–165.
TACASTACAS-2009-ChenR #monitoring #parametricity #slicing
Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.
ICPCICPC-2009-CornelissenZDR #comprehension #empirical #visualisation
Trace visualization for program comprehension: A controlled experiment (BC, AZ, AvD, BVR), pp. 100–109.
ICPCICPC-2009-MurphyVS #behaviour #process #programming #using
Using activity traces to characterize programming behaviour beyond the lab (GCM, PV, DCS), pp. 90–94.
ICSMEICSM-2009-SutherlandS #interactive #maintenance #user interface
UI traces: Supporting the maintenance of interactive software (AS, KS), pp. 563–566.
ICSMEICSM-2009-VoigtBD #execution
Object aware execution trace exploration (SV, JB, JD), pp. 201–210.
WCREWCRE-1999-PassingSLP99a #bound #named
NTrace: Function Boundary Tracing for Windows on IA-32 (JP, AS, MvL, AP), pp. 43–52.
PLDIPLDI-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.
PLDIPLDI-2009-HoffmanEJ #analysis #semantics
Semantics-aware trace analysis (KJH, PE, SJ), pp. 453–464.
SASSAS-2009-HeizmannHP #abstraction #refinement
Refinement of Trace Abstraction (MH, JH, AP), pp. 69–85.
DLTDLT-2009-CampanoniC #control flow #graph
Traces of Control-Flow Graphs (SC, SCR), pp. 156–169.
LATALATA-2009-BaaderBT #policy
Matching Trace Patterns with Regular Policies (FB, AB, AT), pp. 105–116.
VISSOFTVISSOFT-2009-BohnetKD #execution #visualisation
Visualizing massively pruned execution traces to facilitate trace exploration (JB, MK, JD), pp. 57–64.
ICEISICEIS-ISAS-2009-CiaramellaCLM #agile #process #prototype #using
Using BPMN and Tracing for Rapid Business Process Prototyping Environments (AC, MGCAC, BL, FM), pp. 206–212.
CIKMCIKM-2009-ParateM #communication #framework
A framework for safely publishing communication traces (AP, GM), pp. 1469–1472.
ICMLICML-2009-JiY
An accelerated gradient method for trace norm minimization (SJ, JY), pp. 457–464.
REFSQREFSQ-2009-WelshS #adaptation #requirements
Requirements Tracing to Support Change in Dynamically Adaptive Systems (KW, PS), pp. 59–73.
SACSAC-2009-BohnetVD #debugging #execution #locality
Projecting code changes onto execution traces to support localization of recently introduced bugs (JB, SV, JD), pp. 438–442.
SACSAC-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.
ASPLOSASPLOS-2009-RamaniGD #architecture #named
StreamRay: a stream filtering architecture for coherent ray tracing (KR, CPG, AD), pp. 325–336.
CGOCGO-2009-SerranoZ #approximate
Building Approximate Calling Context from Partial Call Traces (MJS, XZ), pp. 221–230.
HPDCHPDC-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.
HPDCHPDC-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.
ISMMISMM-2009-OanceaMW #algorithm #approach
A new approach to parallelising tracing algorithms (CEO, AM, SMW), pp. 10–19.
LCTESLCTES-2009-GracioliF #embedded
Tracing interrupts in embedded software (GG, SF), pp. 137–146.
CAVCAV-2009-KanadeAIRSS #generative #modelling
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.
ICLPICLP-2009-Ducasse #debugging
(C)LP Tracing and Debugging (MD), p. 38.
LICSLICS-2009-NainV #semantics
Trace Semantics is Fully Abstract (SN, MYV), pp. 59–68.
ICSTSAT-2009-Gelder #proving
Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces (AVG), pp. 141–146.
ECSAECSA-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.
CASECASE-2008-WangSZF #automation #image
Automatic tracing of blood flow velocity in pulsed Doppler images (ZWW, GGS, MZ, TF), pp. 218–222.
DACDAC-2008-HsiehH #debugging #embedded #framework #interface
An embedded infrastructure of debug and trace interface for the DSP platform (MCH, CTH), pp. 866–871.
DACDAC-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.
DATEDATE-2008-KoN #automation #identification #validation
Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation (HFK, NN), pp. 1298–1303.
DATEDATE-2008-NanshiS
Improved Visibility in One-to-Many Trace Concretization (KN, FS), pp. 819–824.
VLDBVLDB-2008-DeutchM #execution #query #type checking #type inference
Type inference and type checking for queries on execution traces (DD, TM), pp. 352–363.
CSMRCSMR-2008-LienhardGGN #execution #testing
Test Blueprint — Exposing Side Effects in Execution Traces to Support Writing Unit Tests (AL, TG, OG, ON), pp. 83–92.
CSMRCSMR-2008-SmitSW #case study #documentation #user interface
Use Case Redocumentation from GUI Event Traces (MS, ES, KW), pp. 263–268.
ICPCICPC-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.
ICPCICPC-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.
ICPCICPC-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.
ICSMEICSM-2008-CornelissenMZ #assessment #reduction
An assessment methodology for trace reduction techniques (BC, LM, AZ), pp. 107–116.
ICSMEICSM-2008-Lo #execution #mining #specification
Mining specifications in diversified formats from execution traces (DL), pp. 420–423.
WCREWCRE-2008-SobreiraM #analysis #comprehension #visual notation
A Visual Trace Analysis Tool for Understanding Feature Scattering (VS, MdAM), pp. 337–338.
DLTDLT-J-2007-BertoniR08 #approximate #monad
Approximating the Mean Speedup in Trace Monoids (AB, RR), pp. 497–511.
AFLAFL-2008-BreveglieriCNR #equation #problem #satisfiability
NP-completeness of the alphabetical satisfiability problem for trace equations (LB, AC, CDN, ER), pp. 111–121.
ICFPICFP-2008-ConveyFGMH #case study #erlang #experience
Experience report: erlang in acoustic ray tracing (CC, AF, CG, DM, LH), pp. 115–118.
CHICHI-2008-HoferKK #multi #named
MightyTrace: multiuser tracking technology on lc-displays (RH, PK, AMK), pp. 215–218.
ICPRICPR-2008-Kherroubi #automation #image
Automatic extraction of natural fracture traces from borehole images (JK), pp. 1–4.
ICPRICPR-2008-LambAM #image #repository #retrieval
An example based image retrieval system for the TRACE repository (RL, RAA, PM), pp. 1–4.
SACSAC-2008-Denner-Broser #algorithm #analysis #problem #using
An algorithm for the tracing problem using interval analysis (BDB), pp. 1832–1837.
SACSAC-2008-LaRosaXM #kernel #mining
Frequent pattern mining for kernel trace data (CL, LX, KM), pp. 880–885.
SACSAC-2008-LuZS #semantics #towards
Towards trace semantics for WS-CDL with alignments (YL, LZ, JS), pp. 95–99.
FSEFSE-2008-GabelS #automation #mining #named
Javert: fully automatic mining of general temporal properties from dynamic traces (MG, ZS), pp. 339–349.
ICSEICSE-2008-LuciaOT #semantics #traceability
Adams re-trace: traceability link recovery via latent semantic indexing (ADL, RO, GT), pp. 839–842.
CGOCGO-2008-KetterlinC #data access #predict #recognition
Prediction and trace compression of data access addresses through nested loop recognition (AK, PC), pp. 94–103.
CGOCGO-2008-SalverdakZ #predict #random
Accurate critical path prediction via random trace construction (PS, CT, CBZ), pp. 64–73.
HPDCHPDC-2008-DoraimaniI #data transformation #lessons learnt
File grouping for scientific data management: lessons from experimenting with real traces (SD, AI), pp. 153–164.
ICLPICLP-2008-Vidal #analysis #effectiveness #partial evaluation #predict
Trace Analysis for Predicting the Effectiveness of Partial Evaluation (GV), pp. 790–794.
ICSTICST-2008-PrasetyaVB #object-oriented #reflexive #source code #testing
Trace-based Reflexive Testing of OO Programs with T2 (WP, TEJV, AIB), pp. 151–160.
ASEASE-2007-ChangR #execution #validation
Validating system properties exhibited in execution traces (FC, JR), pp. 517–520.
ASEASE-2007-DiepED
Reducing irrelevant trace variations (MD, SGE, MBD), pp. 477–480.
ASEASE-2007-DuanC #automation #clustering
Clustering support for automated tracing (CD, JCH), pp. 244–253.
ASEASE-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.
ASEASE-2007-LoMK #execution #mining #specification
Mining modal scenario-based specifications from execution traces of reactive systems (DL, SM, SCK), pp. 465–468.
DACDAC-2007-KaoHL #embedded #integration #multi
An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration (CFK, IJH, CHL), pp. 477–482.
DACDAC-2007-ShachamY #on the fly
On-The-Fly Resolve Trace Minimization (OS, KY), pp. 594–599.
DACDAC-2007-SrivastavaR #equation
Interdependent Latch Setup/Hold Time Characterization via Euler-Newton Curve Tracing on State-Transition Equations (SS, JSR), pp. 136–141.
DATEDATE-2007-BabighianKV #data mining #interactive #mining #optimisation
Interactive presentation: PowerQuest: trace driven data mining for power optimization (PB, GK, MYV), pp. 1078–1083.
DATEDATE-2007-JanapsatyaIPH #agile #simulation
Instruction trace compression for rapid instruction cache simulation (AJ, AI, SP, JH), pp. 803–808.
VLDBVLDB-2007-ZhangZZP #relational
Tracing Lineage Beyond Relational Operators (MZ, XZ, XZ, SP), pp. 1116–1127.
ITiCSEITiCSE-2007-VainioS
Factors in novice programmers’ poor tracing skills (VV, JS), pp. 236–240.
FASEFASE-2007-ZhouY #approach #clustering #design #object-oriented
A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement (XZ, HY), pp. 412–422.
ICPCICPC-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.
ICSMEICSM-2007-WenzelHK
Tracing Model Elements (SW, HH, UK), pp. 104–113.
WCREWCRE-2007-SousaMUK #detection #execution
Detecting Implied Scenarios from Execution Traces (FCdS, NCM, SU, JK), pp. 50–59.
DLTDLT-2007-BertoniR #monad
Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids (AB, RR), pp. 72–83.
DLTDLT-2007-DiekertK #first-order #on the #word
On First-Order Fragments for Words and Mazurkiewicz Traces (VD, MK), pp. 1–19.
DLTDLT-2007-OchmanskiS
A Star Operation for Star-Free Trace Languages (EO, KS), pp. 337–345.
ICALPICALP-2007-Laird #semantics
A Fully Abstract Trace Semantics for General References (JL), pp. 667–679.
LATALATA-2007-StawikowskaO #on the
On Star-Free Trace Languages and their Lexicographic Representations (KS, EO), pp. 541–552.
HCIHCI-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.
HCIHCI-MIE-2007-YecanSBC #behaviour #multimodal
Tracing Users’ Behaviors in a Multimodal Instructional Material: An Eye-Tracking Study (EY, ES, BB, ), pp. 755–762.
HCIOCSC-2007-ChenZTM #concept
Tracing Conceptual and Geospatial Diffusion of Knowledge (CC, WZ, BMT, AMM), pp. 265–274.
VISSOFTVISSOFT-2007-Hamou-Lhadj #effectiveness #execution #scalability #visualisation
Effective Exploration and Visualization of Large Execution Traces (AHL), pp. 152–153.
VISSOFTVISSOFT-2007-HoltenCW #sequence #using #visualisation
Trace Visualization Using Hierarchical Edge Bundles and Massive Sequence Views (DH, BC, JJvW), pp. 47–54.
ICEISICEIS-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.
ICEISICEIS-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.
ECMFAECMDA-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.
OOPSLAOOPSLA-2007-AvgustinovTM #monitoring
Making trace monitors feasible (PA, JT, OdM), pp. 589–608.
RERE-2007-YuNGCMELV #aspect-oriented #validation
Tracing and Validating Goal Aspects (YY, NN, BGB, WC, JM, SME, JCSdPL, GV), pp. 53–56.
SACSAC-2007-ChenL #hardware
Use of hardware Z-buffered rasterization to accelerate ray tracing (CCC, DSML), pp. 1046–1050.
SACSAC-2007-DjemaielB
A global marking scheme for tracing cyber attacks (YD, NB), pp. 170–174.
ESEC-FSEESEC-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-FSEESEC-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.
PPoPPPPoPP-2007-MohrorK #case study #clustering #linux
A study of tracing overhead on a high-performance linux cluster (KM, KLK), pp. 158–159.
ISSTAISSTA-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.
ASEASE-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.
DACDAC-2006-NanshiS #simulation
Guiding simulation with increasingly refined abstract traces (KN, FS), pp. 737–742.
DATEDATE-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.
FASEFASE-2006-RamanathanJG #alias #memory management
Trace-Based Memory Aliasing Across Program Versions (MKR, SJ, AG), pp. 381–395.
TACASTACAS-2006-GroceJ #program analysis
Exploiting Traces in Program Analysis (AG, RJ), pp. 379–393.
CSMRCSMR-2006-DucasseGW #legacy #logic #object-oriented #testing
Object-Oriented Legacy System Trace-based Logic Testing (SD, TG, RW), pp. 37–46.
ICPCICPC-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.
ICSMEICSM-2006-KuhnG
Exploiting the Analogy Between Traces and Signal Processing (AK, OG), pp. 320–329.
DLTDLT-2006-Kufleitner #logic
Polynomials, Fragments of Temporal Logic and the Variety DA over Traces (MK), pp. 37–48.
ICALPICALP-v2-2006-PhanST #hybrid
Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability (DHP, RSN, DT), pp. 264–275.
FMFM-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.
AdaEuropeAdaEurope-2006-ValpereiroP #behaviour
POSIX Trace Based Behavioural Reflection (FV, LMP), pp. 27–39.
QAPLQAPL-2005-WolfBM06 #markov
Trace Machines for Observing Continuous-Time Markov Chains (VW, CB, MEMC), pp. 259–277.
LOPSTRLOPSTR-2006-BrasselFH #functional #logic #program transformation
A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.
QAPLQAPL-2006-WolfBM06a #nondeterminism #probability #semantics
Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.
RERE-2006-StoneS #information management
Exposing Tacit Knowledge via Pre-Requirements Tracing (AS, PS), pp. 346–347.
SACSAC-2006-AgostaCPS #analysis #bytecode #compilation #performance
Selective compilation via fast code analysis and bytecode tracing (GA, SCR, PP, MS), pp. 906–911.
ICSEICSE-2006-YangEBBD #api #mining #named
Perracotta: mining temporal API rules from imperfect traces (JY, DE, DB, TB, MD), pp. 282–291.
HPDCHPDC-2006-GaoSC #approximate
Path Grammar Guided Trace Compression and Trace Approximation (XG, AS, LC), pp. 57–68.
FATESFATES-RV-2006-AvgustinovBHHLMOSSTV #aspect-oriented #monitoring
Aspects for Trace Monitoring (PA, EB, EH, LJH, OL, OdM, NO, DS, GS, JT, MV), pp. 20–39.
IJCARIJCAR-2006-Darwiche #compilation #evolution #satisfiability
Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation (AD), p. 3.
RTARTA-2006-BoichutG #approximate #re-engineering
Feasible Trace Reconstruction for Rewriting Approximations (YB, TG), pp. 123–135.
ICTSSTestCom-2006-BerradaCFS #bound #realtime #testing #using
Test Case Minimization for Real-Time Systems Using Timed Bound Traces (IB, RC, PF, AS), pp. 289–305.
ASEASE-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.
DACDAC-2005-KimYH #using
Trace-driven HW/SW cosimulation using virtual synchronization technique (DK, YY, SH), pp. 345–348.
DATEDATE-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.
ITiCSEITiCSE-2005-Terada #named #student
ETV: a program trace player for students (MT), pp. 118–122.
ESOPESOP-2005-JeffreyR #java #semantics
Java Jr: Fully Abstract Trace Semantics for a Core Java Language (AJ, JR), pp. 423–438.
ESOPESOP-2005-MauborgneR #abstract interpretation #clustering
Trace Partitioning in Abstract Interpretation Based Static Analyzers (LM, XR), pp. 5–20.
CSMRCSMR-2005-BublB #constraints #requirements
Tracing Cross-Cutting Requirements via Context-Based Constraints (FB, MB), pp. 80–90.
CSMRCSMR-2005-GreevyD #analysis #approach #correlation #using
Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach (OG, SD), pp. 314–323.
CSMRCSMR-2005-Hamou-LhadjBAL #behaviour #design #execution #modelling
Recovering Behavioral Design Models from Execution Traces (AHL, EB, DA, TCL), pp. 112–121.
CSMRCSMR-2005-LuciaFOT #traceability
ADAMS Re-Trace: A Traceability Recovery Tool (ADL, FF, RO, GT), pp. 32–41.
CSMRCSMR-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.
ICSMEICSM-2005-BriandLL #aspectj #distributed #using
Tracing Distributed Systems Executions Using AspectJ (LCB, YL, JL), pp. 81–90.
ICSMEICSM-2005-EisenbergV
Dynamic Feature Traces: Finding Features in Unfamiliar Code (ADE, KDV), pp. 337–346.
ICSMEICSM-2005-GreevyDG #analysis #evolution #semantics
Analyzing Feature Traces to Incorporate the Semantics of Change in Software Evolution Analysis (OG, SD, TG), pp. 347–356.
IWPCIWPC-2005-FischerOGG #analysis #evolution #execution
System Evolution Tracking through Execution Trace Analysis (MF, JO, HCG, TG), pp. 237–246.
IWPCIWPC-2005-Hamou-LhadjLF #analysis #named
SEAT: A Usable Trace Analysis Tool (AHL, TCL, LF), pp. 157–160.
IWPCIWPC-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.
PLDIPLDI-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.
CIAACIAA-2005-BaillyCS #behaviour #communication #component #composition #contract
Component Composition Preserving Behavioural Contracts Based on Communication Traces (AB, MC, ISR), pp. 54–65.
DLTDLT-2005-Massazza #ambiguity #problem
The Inclusion Problem for Unambiguous Rational Trace Languages (PM), pp. 350–361.
SEFMSEFM-2005-GervaisFL #database #generative #recursion #relational #transaction
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.
ICMLICML-2005-TannerS #network
TD(λ) networks: temporal-difference networks with eligibility traces (BT, RSS), pp. 888–895.
OOPSLAOOPSLA-2005-AllanACHKLMSST #aspectj
Adding trace matching with free variables to AspectJ (CA, PA, ASC, LJH, SK, OL, OdM, DS, GS, JT), pp. 345–364.
OOPSLAOOPSLA-2005-GoldsmithOA #query #relational
Relational queries over program traces (SG, RO, AA), pp. 385–402.
PPDPPPDP-2005-Skalka #object-oriented
Trace effects and object orientation (CS), pp. 139–150.
ESEC-FSEESEC-FSE-2005-HeindlB #case study #requirements
A case study on value-based requirements tracing (MH, SB), pp. 60–69.
CGOCGO-2005-BurtscherS #automation #generative
Automatic Generation of High-Performance Trace Compressors (MB, NBS), pp. 229–240.
ICLPICLP-2005-Langevine #constraints #named #programming
Gentra4cp: A Generic Trace Format for Constraint Programming (LL), pp. 433–434.
ASEASE-2004-BreuK #mining #using
Aspect Mining Using Event Traces (SB, JK), pp. 310–315.
ITiCSEITiCSE-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.
CSMRCSMR-2004-ZaidmanD #clustering #execution #process
Managing Trace Data Volume through a Heuristical Clustering Process Based on Event Execution Frequency (AZ, SD), pp. 329–338.
ICSMEICSM-2004-IvkovicK #evolution
Tracing Evolution Changes of Software Artifacts through Model Synchronization (II, KK), pp. 252–261.
IWPCIWPC-2004-Hamou-LhadjLF #challenge #effectiveness #requirements
Challenges and Requirements for an Effective Trace Exploration Tool (AHL, TCL, LF), pp. 70–78.
WCREWCRE-2004-TonellaC #concept analysis #execution #mining
Aspect Mining through the Formal Concept Analysis of Execution Traces (PT, MC), pp. 112–121.
IFMIFM-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.
IFLIFL-2004-Chitil
Source-Based Trace Exploration (OC), pp. 126–141.
SEKESEKE-2004-WahidACM #design #evolution
Entering the Heart of Design: Relationships for Tracing Claim Evolution (SW, CFA, CMC, DSM), pp. 167–172.
PPDPPPDP-2004-BrasselHHV #declarative #multi #semantics #source code
A semantics for tracing declarative multi-paradigm programs (BB, MH, FH, GV), pp. 179–190.
RERE-2004-HayesDSH #requirements
Helping Analysts Trace Requirements: An Objective Look (JHH, AD, SKS, SH), pp. 249–259.
SACSAC-2004-Wang
The loop fallacy and serialization in tracing intrusion connections through stepping stones (XW), pp. 404–411.
FSEFSE-2004-Egyed #analysis #nondeterminism
Resolving uncertainties during trace analysis (AE), pp. 3–12.
ICSEICSE-2004-WangR #bytecode #java #slicing #source code #using
Using Compressed Bytecode Traces for Slicing Java Programs (TW, AR), pp. 512–521.
HPCAHPCA-2004-NarayanasamyHSC #convergence #string #using
Creating Converged Trace Schedules Using String Matching (SN, YH, SS, BC), pp. 210–221.
HPDCHPDC-2004-ZangrilliL #monitoring #network #using
Using Passive Traces of Application Traffic in a Network Monitoring System (MZ, BL), pp. 77–86.
LCTESLCTES-2004-LiX #compilation #energy #framework
A trace-based binary compilation framework for energy-aware computing (LL, JX), pp. 95–106.
ASEASE-2003-HendricksonDT #approach #architecture #comprehension
An Approach for Tracing and Understanding Asynchronous Architectures (SAH, EMD, RNT), pp. 318–322.
DACDAC-2003-ChenHBW #analysis #automation #constraints #logic
Automatic trace analysis for logic of constraints (XC, HH, FB, YW), pp. 460–465.
DACDAC-2003-PimentelE #communication #refinement
An IDF-based trace transformation method for communication refinement (ADP, CE), pp. 402–407.
DATEDATE-2003-DuSTBAF #configuration management #interactive
Interactive Ray Tracing on Reconfigurable SIMD MorphoSys (HD, MSE, NT, NB, MLA, MF), pp. 20144–20149.
ICDARICDAR-2003-ChangC #algorithm #component #using
A Component-Labeling Algorithm Using Contour Tracing Technique (FC, CJC), pp. 741–745.
ICSMEICSM-2003-KnethenG #automation #impact analysis #named
QuaTrace: A Tool Environment for (Semi-) Automatic Impact Analysis Based on Traces (AvK, MG), pp. 246–255.
DLTDLT-2003-BouillardM #generative
Generating Series of the Trace Group (AB, JM), pp. 159–170.
ICALPICALP-2003-BlomFN #axiom #on the #simulation
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces (SB, WF, SN), pp. 109–118.
VISSOFTVISSOFT-2003-Hamou-LhadjL #complexity #execution #object-oriented
Techniques for Reducing the Complexity of Object-Oriented Execution Traces (AHL, TCL), pp. 35–40.
AdaEuropeAdaEurope-2003-MinguetGFL #metric #using
Getting System Metrics Using POSIX Tracing Services (AEM, VLG, AGF, ACiL), pp. 220–231.
POPLPOPL-2003-BallNR #fault
From symptom to cause: localizing errors in counterexample traces (TB, MN, SKR), pp. 97–105.
RERE-2003-Catrava #quality #requirements #testing #towards #verification
Testing with Partial Traced Requirements: A Necessary Step Towards Higher Quality System Level Verification (SC), p. 303.
RERE-2003-HayesDO #information retrieval #requirements
Improving Requirements Tracing via Information Retrieval (JHH, AD, JO), p. 138–?.
CGOCGO-2003-BerndlH #generative #profiling
Dynamic Profiling and Trace Cache Generation (MB, LJH), pp. 276–288.
CGOCGO-2003-ChenHC #hardware #monitoring #performance #using
Dynamic Trace Selection Using Performance Monitoring Hardware Sampling (HC, WCH, DyC), pp. 79–90.
HPDCHPDC-2003-BucurE #clustering #multi #policy #simulation
Trace-Based Simulations of Processor Co-Allocation Policies in Multiclusters (AIDB, DHJE), pp. 70–79.
CAVCAV-2003-KestenPP #simulation
Bridging the Gap between Fair Simulation and Trace Inclusion (YK, NP, AP), pp. 381–393.
LICSLICS-2003-Madhusudan #model checking
Model-checking Trace Event Structures (PM), pp. 371–380.
ICTSSTestCom-2003-HallalBUP #approach #testing
An Automata-Based Approach to Property Testing in Event Traces (HH, SB, AU, AP), pp. 180–196.
DATEDATE-2002-HuVKI #power management
Power-Efficient Trace Caches (JSH, NV, MTK, MJI), p. 1091.
TACASTACAS-2002-JinRS #fault
Fate and Free Will in Error Traces (HJ, KR, FS), pp. 445–459.
CSMRCSMR-2002-SametingerR #aspect-oriented #evolution
Evolution Support by Homogeneously Documenting Patterns, Aspects and Traces (JS, MR), p. 134–?.
ICSMEICSM-2002-MoeS #distributed #execution #using
Using Execution Trace Data to Improve Distributed Systems (JM, KS), pp. 640–648.
IWPCIWPC-2002-El-RamlySS #case study #interactive #mining #modelling
Mining System-User Interaction Traces for Use Case Models (MER, ES, PGS), pp. 21–29.
IWPCIWPC-2002-Hamou-LhadjL #analysis #execution #scalability
Compression Techniques to Simplify the Analysis of Large Execution Traces (AHL, TCL), pp. 159–168.
PASTEPASTE-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.
WCREWCRE-2002-EisenbarthKV
Static Trace Extraction (TE, RK, GV), p. 128–?.
SASSAS-2002-GiacobazziR #abstract interpretation #model checking
States vs. Traces in Model Checking by Abstract Interpretation (RG, FR), pp. 461–476.
DLTDLT-2002-DiekertK #equation #polynomial
A Remark about Quadratic Trace Equations (VD, MK), pp. 59–66.
ICALPICALP-2002-AdsulS #linear #logic
Complete and Tractable Local Linear Time Temporal Logics over Traces (BA, MAS), pp. 926–937.
ICALPICALP-2002-GastinM #logic
An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces (PG, MM), pp. 938–949.
ICALPICALP-2002-KuskeL #formal method #monad #on the
On the Theory of One-Step Rewriting in Trace Monoids (DK, ML), pp. 752–763.
AFPAFP-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.
IFLIFL-2002-ChitilRW #haskell
Transforming Haskell for Tracing (OC, CR, MW), pp. 165–181.
CSCWCSCW-2002-GutwinP #gesture
Improving interpretation of remote gestures with telepointer traces (CG, RP), pp. 49–57.
AdaEuropeAdaEurope-2002-MinguetGC #ada #standard
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard (AEM, AGF, AC), pp. 321–333.
ICPRICPR-v2-2002-KadyrovP #estimation #parametricity
Affine Parameter Estimation from the Trace Transform (AK, MP), pp. 798–801.
SEKESEKE-2002-El-RamlySS #interactive #requirements
Recovering software requirements from system-user interaction traces (MER, ES, PGS), pp. 447–454.
ICLPICLP-2002-DucasseL #analysis #automation #execution
Automated Analysis of CLP(FD) Program Execution Traces (MD, LL), pp. 470–471.
ICTSSTestCom-2002-FeijsGMT #distance #heuristic #testing
Test Selection, Trace Distance and Heuristics (LMGF, NG, SM, JT), pp. 267–282.
ASEASE-2001-LenceviciusMR #design #execution
Tracing Execution of Software for Design Coverage (RL, EM, AR), pp. 328–332.
ICDARICDAR-2001-Yan #algorithm #detection #fuzzy
Detection of Curved Text Path Based on the Fuzzy Curve-Tracing (FCT) Algorithm (HY), pp. 266–270.
VLDBVLDB-2001-CuiW
Lineage Tracing for General Data Warehouse Transformations (YC, JW), pp. 471–480.
FoSSaCSFoSSaCS-2001-Morin #on the #sequence chart #traceability
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory (RM), pp. 332–346.
IWPCIWPC-2001-EisenbarthKS #comprehension #concept analysis #execution #using
Feature-Driven Program Understanding Using Concept Analysis of Execution Traces (TE, RK, DS), pp. 300–309.
IWPCIWPC-2001-MoeC #comprehension #distributed #execution
Understanding Distributed Systems via Execution Trace Data (JM, DAC), pp. 60–67.
WCREWCRE-2001-El-RamlyISSM #interactive #modelling #using
Modeling the System-User Dialog Using Interaction Traces (MER, PI, ES, PGS, BM), p. 208–?.
ICALPICALP-2001-Boreale #analysis #encryption #protocol
Symbolic Trace Analysis of Cryptographic Protocols (MB), pp. 667–681.
ICALPICALP-2001-Kirsten #monad #problem #reduction
The Star Problem in Trace Monoids: Reductions Beyond C4 (DK), pp. 591–602.
ICALPICALP-2001-Kunc #decidability #problem
The Trace Coding Problem Is Undecidable (MK), pp. 603–614.
VISSOFTSVIS-2001-Francik #algorithm #animation #data flow #using
Algorithm Animation Using Data Flow Tracing (JF), pp. 73–87.
IJCARIJCAR-2001-BeckertS #calculus #first-order #logic
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities (BB, SS), pp. 626–641.
FoSSaCSFoSSaCS-2000-HussonM #on the
On Recognizable Stable Trace Languages (JFH, RM), pp. 177–191.
FoSSaCSFoSSaCS-2000-LaroussinieS #bisimulation #equivalence #explosion #problem
The State Explosion Problem from Trace to Bisimulation Equivalence (FL, PS), pp. 192–207.
ICSMEICSM-2000-LukoitWSH #named #visual notation
TraceGraph: Immediate Visual Location of Software Features (KL, NW, SS, TH), pp. 33–39.
IWPCIWPC-2000-AntoniolCLCM #functional #object-oriented #requirements
Tracing Object-Oriented Code into Functional Requirements (GA, GC, ADL, GC, EM), pp. 79–86.
ICALPICALP-2000-DiekertG #ltl
LTL Is Expressively Complete for Mazurkiewicz Traces (VD, PG), pp. 211–222.
IFLIFL-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.
CAiSECAiSE-2000-EbnerK
Tracing All Around (GE, HK), pp. 355–368.
ICMLICML-2000-PrecupSS #evaluation #policy
Eligibility Traces for Off-Policy Policy Evaluation (DP, RSS, SPS), pp. 759–766.
ICPRICPR-v2-2000-LauYT #algorithm #image
EDT Based Tracing Maximum Thinning Algorithm on Grey Scale Images (KKL, PCY, YYT), pp. 2863–2866.
LOPSTRLOPSTR-2000-JahierDR #continuation #modelling #prolog #semantics #specification
Specifying Prolog trace models with a continuation semantics (EJ, MD, OR).
LOPSTRLOPSTR-J-2000-JahierDR #continuation #modelling #prolog #semantics #specification
Specifying Prolog Trace Models with a Continuation Semantics (EJ, MD, OR), pp. 165–182.
POPLPOPL-2000-ColcombetF #program transformation
Enforcing Trace Properties by Program Transformation (TC, PF), pp. 54–66.
HPCAHPCA-2000-LeeWY #predict
Decoupled Value Prediction on Trace Processors (SJL, YW, PCY), pp. 231–240.
HPCAHPCA-2000-RamirezLV
Trace Cache Redundancy: Red & Blue Traces (AR, JLLP, MV), pp. 325–333.
ISMMISMM-2000-ChilimbiJZ #design
Designing a Trace Format for Heap Allocation Events (TMC, REJ, BGZ), pp. 35–49.
CAVCAV-2000-Yoneda #named #verification
VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits (TY), pp. 572–575.
LICSLICS-2000-BloomFG
Precongruence Formats for Decorated Trace Preorders (BB, WF, RJvG), pp. 107–118.
ICALPICALP-1999-Kirsten #finite #monad #problem
A Connection between the Star Problem and the Finite Power Property in Trace Monoids (DK), pp. 473–482.
ICFPICFP-1999-Nilsson #debugging #functional #lazy evaluation
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages (HN), pp. 36–47.
CHICHI-1999-Salvucci #eye tracking #interface #modelling #process
Inferring Intent in Eye-Based Interfaces: Tracing Eye Movements with Process Models (DDS), pp. 254–261.
HCIHCI-EI-1999-Ramadhan99a #feedback
Improving the Engineering of Immediate Feedback for Model-Tracing Based Program Diagnosis (HAR), pp. 1283–1287.
ECOOPECOOP-1999-HoareJ #pointer
A Trace Model for Pointers and Objects (CARH, JH), pp. 1–17.
SACSAC-1999-PatnaikMHHP #performance
Improving the Performance of Lineage Tracing in Data Warehouse (SP, MM, BH, JH, BP), pp. 210–215.
HPCAHPCA-1999-JacobsonS #preprocessor
Instruction Pre-Processing in Trace Processors (QJ, JES), pp. 125–129.
CSLCSL-1999-DiekertG #logic
An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces (VD, PG), pp. 188–203.
DATEDATE-1998-MarculescuMP #estimation #probability
Trace-Driven Steady-State Probability Estimation in FSMs with Application to Power Estimation (DM, RM, MP), pp. 774–779.
SASSAS-1998-HandjievaT #analysis #clustering #control flow #using
Refining Static Analyses by Trace-Based Partitioning Using Control Flow (MH, ST), pp. 200–214.
ICALPICALP-1998-BaldanCM #graph #process
Concatenable Graph Processes: Relating Processes and Derivation Traces (PB, AC, UM), pp. 283–295.
CAiSECAiSE-1998-DomgesPS
A Filter-Mechanism for Method-Driven Trace Capture (RD, KP, KS), pp. 237–250.
ICMLICML-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.
ICMLICML-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.
ICPRICPR-1998-KadyrovP98a #invariant
The trace transform as a tool to invariant feature construction (AK, MP), pp. 1037–1039.
LOPSTRLOPSTR-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.
REICRE-1998-SongHMS #lessons learnt #requirements
Lessons Learned from Building a Web-Based Requirements Tracing System (XS, WMH, GM, WS), pp. 41–50.
SACSAC-1998-LiII #algorithm #constraints #estimation #recursion
A recursive time estimation algorithm for program traces under resource constraints (DL, YI, NI), pp. 635–640.
ISMMISMM-1998-Pirinen #incremental
Barrier Techniques for Incremental Tracing (PPP), pp. 20–25.
ICALPICALP-1997-DiekertMM #equation #normalisation #using
Solving Trace Equations Using Lexicographical Normal Forms (VD, YM, AM), pp. 336–346.
FMFME-1997-Kleuker #diagrams #distributed #formal method #requirements
Formalizing Requirements for Distributed Systems with Trace Diagrams (SK), pp. 102–121.
HCIHCI-SEC-1997-PedraliB #analysis #process #question
Can We Trace Back Cognitive Processes in Root Cause Analysis? (MP, RB), pp. 59–62.
CAiSECAiSE-1997-PohlDJ #towards
Towards Method-Driven Trace Capture (KP, RD, MJ), pp. 103–116.
PPDPPLILP-1997-SparudR #functional #lazy evaluation #using
Tracing Lazy Functional Computations Using Redex Trails (JS, CR), pp. 291–308.
CAVCAV-1997-SawadaH #approach #pipes and filters #verification
Trace Table Based Approach for Pipeline Microprocessor Verification (JS, WAHJ), pp. 364–375.
LICSLICS-1997-ThiagarajanW #linear #logic
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (PST, IW), pp. 183–194.
TLCATLCA-1997-Hasegawa #category theory #modelling #recursion #λ-calculus
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic λ Calculi (MH), pp. 196–213.
ITiCSEITiCSE-1996-MartiPH #education #network #paradigm
PACKET tracing: a new paradigm for teaching computer network courses (WFM, UWP, JAHJ), pp. 162–164.
ICALPICALP-1996-ChenN #algebra
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures (XJC, RDN), pp. 63–74.
ICPRICPR-1996-Jaeger #optimisation #recognition #using
Recovering writing traces in off-line handwriting recognition: using a global optimization technique (SJ0), pp. 150–154.
POPLPOPL-1996-ColbyL #program analysis
Trace-Based Program Analysis (CC, PL), pp. 195–207.
REICRE-1996-PinheiroG #object-oriented #requirements
An Object-Oriented Tool for Tracing Requirements (FACP, JAG), pp. 219–220.
SACSAC-1996-HoskinsHKW #simulation
Ray tracing and the simulation of boreal forest stand dynamics (JAH, WDH, NCK, PYHW), pp. 447–453.
HPCAHPCA-1996-IyengarTB #infinity #modelling
Representative Traces for Processor Models with Infinite Cache (VSI, LT, PB), pp. 62–72.
CAVCAV-1996-Gribomont #reduction #refinement #theorem
Atomicity Refinement and Trace Reduction Theorems (EPG), pp. 311–322.
ICLPJICSLP-1996-Ducassen #prolog
Tracing Prolog without a Tracer (Poster Abstract) (MD, JN), p. 534.
DLTDLT-1995-DiekertGP #traceability
Recent Developments in Trace Theory (VD, PG, AP), pp. 373–385.
DLTDLT-1995-DrosteK #composition #quantifier
Trace Languages Definable with Modular Quantifiers (MD, DK), pp. 386–395.
ICALPICALP-1995-DiekertG #concurrent #termination
A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract) (VD, PG), pp. 15–26.
SACSAC-1995-HoskinsH #visualisation
Ray Tracing as a tool for visualization of pathogen spread in natural forest stands (JAH, WDH), pp. 61–64.
CAVCAV-1995-McMillan #using #verification
Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings (KLM), pp. 180–195.
DACDAC-1994-ChenF #analysis #using
Transient Sensitivity Computation of MOSFET Circuits Using Iterated Timing Analysis and Selective-Tracing Waveform Eelaxation (CJC, WSF), pp. 581–585.
ESOPESOP-1994-King #analysis
A Synergistic Analysis for Sharing and Groundness with Traces Linearity (AK), pp. 363–378.
PLDIPLDI-1994-NetzerW #debugging #incremental #source code
Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs (RHBN, MHW), pp. 313–325.
LICSLICS-1994-Thiagarajan #linear #logic
A Trace Based Extension of Linear Time Temporal Logic (PST), pp. 438–447.
ICDARICDAR-1993-AkindeleB #segmentation
Page segmentation by segment tracing (OTA, AB), pp. 341–344.
ICALPICALP-1993-EbingerM #infinity #logic
Logical Definability on Infinite Traces (WE, AM), pp. 335–346.
FMFME-1993-DurrD #development #realtime
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System (ED, EMD), pp. 64–72.
ICSEICSE-1993-MukherjeaS #algorithm #animation #comprehension #debugging
Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding (SM, JTS), pp. 456–465.
ICSEICSE-1993-WangP #behaviour #simulation
Simulating the Behaviour of Software Modules by Trace Rewriting (YW, DLP), pp. 14–23.
HPDCHPDC-1993-LeeRN #distributed #parallel
A Fully Distributed Parallel Ray Tracing Scheme on the Delta Touchstone Machine (TYL, CSR, JBN), pp. 129–134.
HTHT-ECHT-1992-StottsFR #automaton #verification
Hyperdocuments as Automata: Trace-Based Browsing Property Verification (PDS, RF, JCR), pp. 272–281.
ICALPICALP-1992-GastinP #automaton #infinity
Asynchronous Cellular Automata for Infinite Traces (PG, AP), pp. 583–594.
ICALPICALP-1992-HoogersKT #petri net #semantics
A Trace Semantics for Petri Nets (Extended Abstract) (PWH, HCMK, PST), pp. 595–604.
PPDPPLILP-1992-Ducasse #prolog #query
A General Trace Query Mechanism Based on Prolog (MD), pp. 400–414.
POPLPOPL-1992-BallL #profiling #source code
Optimally Profiling and Tracing Programs (TB, JRL), pp. 59–70.
DACDAC-1991-Kitamura #algorithm #fault #simulation
Sequential Circuit Fault Simulation by Fault Information Tracing Algorithm: FIT (YK), pp. 151–154.
ICALPICALP-1991-GastinPZ #infinity #theorem
A Kleene Theorem for Infinite Trace Languages (PG, AP, WZ), pp. 254–266.
DACDAC-1990-CasottoNS #design
Design Management Based on Design Traces (AC, ARN, ALSV), pp. 136–141.
DACDAC-1990-RamakrishnanK #algorithm
Extension of the Critical Path Tracing Algorithm (TR, LK), pp. 720–723.
CHICHI-1990-BockerH #named
Track — a trace construction kit (HDB, JH), pp. 415–422.
POPLPOPL-1989-Jonsson #data flow #network
A Fully Abstract Trace Model for Dataflow Networks (BJ), pp. 155–165.
OOPSLAOOPSLA-1988-KleynG #comprehension #named #object-oriented #using
GraphTrace — Understanding Object-Oriented Systems Using Concurrently Animated Views (MFK, PCG), pp. 191–205.
POPLPOPL-1988-BloomIM #bisimulation
Bisimulation Can’t Be Traced (BB, SI, ARM), pp. 229–239.
ICALPICALP-1987-AalbersbergH #problem
Decision Problems for Regular Trace Languages (IJA, HJH), pp. 250–259.
POPLPOPL-1987-WidomGS #network #proving
Completeness and Incompleteness of Trace-Based Network Proof Systems (JW, DG, FBS), pp. 27–38.
ESECESEC-1987-CailletBR #ada #execution
High Level Interpretaton of Execution Traces of Ada Tasks (JFC, CB, BR), pp. 309–317.
ASPLOSASPLOS-1987-ColwellNOPR #architecture #compilation #scheduling
A VLIW Architecture for a Trace Scheduling Compiler (RPC, RPN, JJO, DBP, PKR), pp. 180–192.
SOSPSOSP-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.
VLDBVLDB-1984-Ward #using
Name-Tracing Using the ICL Content Addressable Filestore (AGW), pp. 523–528.
DACDAC-1983-AbramoviciMM #fault #simulation
Critical path tracing — an alternative to fault simulation (MA, PRM, DTM), pp. 214–220.
ICALPICALP-1982-BertoniMS #equivalence #problem
Equivalence and Membership Problems for Regular Trace Languages (AB, GM, NS), pp. 61–71.
DACDAC-1981-AlmyR #fault #using
Using error latch trace to obtain diagnostic information (PMA, JLR), pp. 355–359.
DACDAC-1981-HsuSB #fault #testing
Structured trace diagnosis for LSSD board testing — an alternative to full fault simulated diagnosis (FCH, PS, REB), pp. 891–897.
ICSEICSE-1978-PerschW #pascal
Symbolic Interpretation and Tracing of PASCAL-Programs (GP, GW), pp. 312–319.
STOCSTOC-1973-Pager #algorithm #lr #parsing
The Lane Tracing Algorithm for Constructing LR(k) Parsers (DP), pp. 172–181.

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