On the public citation graph

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation

https://doi.org/10.1145/996841
0 signed · 83 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/spe.781openalex-snapshot
A translator system for the MATLAB language
inferred← citeshttps://doi.org/10.1007/11823230_4openalex-snapshot
Static Analysis of String Manipulations in Critical Embedded C Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-69738-1_13openalex-snapshot
The Spotlight Principle
inferred← citeshttps://doi.org/10.1007/978-3-540-74407-8_10openalex-snapshot
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
inferred← citeshttps://doi.org/10.1007/978-3-642-12145-6_46openalex-snapshot
Mining Source Codes to Guide Software Development
inferred← citeshttps://doi.org/10.1007/978-3-642-20662-7_30openalex-snapshot
Fuzzy Clustering the Backward Dynamic Slices of Programs to Identify the Origins of Failure
inferred← citeshttps://doi.org/10.1007/978-3-642-23881-9_30openalex-snapshot
A Heuristic Test Data Generation Approach for Program Fault Localization
inferred← citeshttps://doi.org/10.1007/978-3-642-24151-2_13openalex-snapshot
MT-Profiler: A Parallel Dynamic Analysis Framework Based on Two-Stage Sampling
inferred← citeshttps://doi.org/10.1007/978-3-642-25032-3_12openalex-snapshot
A Formal Approach to Fixing Bugs
inferred← citeshttps://doi.org/10.1007/978-3-642-45422-6_1openalex-snapshot
Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage
inferred← citeshttps://doi.org/10.1016/b978-0-12-088478-0.00024-4openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/b978-0-12-415950-1.00017-3openalex-snapshot
Spin locks and contention
inferred← citeshttps://doi.org/10.1016/b978-0-12-415950-1.00033-1openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/b978-0-12-803738-6.00005-7openalex-snapshot
Data placement on GPUs
inferred← citeshttps://doi.org/10.1016/j.asoc.2015.01.066openalex-snapshot
Fuzzy decision method to improve the information exchange in a vehicle sensor tracking system
inferred← citeshttps://doi.org/10.1016/j.biosystems.2016.09.001openalex-snapshot
Formal derivation of qualitative dynamical models from biochemical networks
inferred← citeshttps://doi.org/10.1016/j.compag.2009.04.006openalex-snapshot
Wireless Sensor Networks for precision horticulture in Southern Spain
inferred← citeshttps://doi.org/10.1016/j.cose.2019.04.002openalex-snapshot
Data-flow bending: On the effectiveness of data-flow integrity
inferred← citeshttps://doi.org/10.1016/j.cose.2021.102287openalex-snapshot
Challenges and pitfalls in malware research
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.03.022openalex-snapshot
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations
inferred← citeshttps://doi.org/10.1016/j.future.2018.02.038openalex-snapshot
DWARM: A wear-aware memory management scheme for in-memory file systems
inferred← citeshttps://doi.org/10.1016/j.future.2019.05.027openalex-snapshot
GC-Wise: A Self-adaptive approach for memory-performance efficiency in Java VMs
inferred← citeshttps://doi.org/10.1016/j.ic.2013.03.003openalex-snapshot
Refereed delegation of computation
inferred← citeshttps://doi.org/10.1016/j.ijcip.2021.100431openalex-snapshot
SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.12.006openalex-snapshot
A low-overhead, value-tracking approach to information flow security
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.07.005openalex-snapshot
Adapting automated test generation to GUI testing of industry applications
inferred← citeshttps://doi.org/10.1016/j.infsof.2022.106821openalex-snapshot
An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects
inferred← citeshttps://doi.org/10.1016/j.ipl.2017.02.006openalex-snapshot
Parametric runtime verification is NP-complete and coNP-complete
inferred← citeshttps://doi.org/10.1016/j.jocs.2010.07.006openalex-snapshot
A programming system for sensor-based scientific applications
inferred← citeshttps://doi.org/10.1016/j.jpdc.2007.01.010openalex-snapshot
Predicting locality phases for dynamic memory optimization
inferred← citeshttps://doi.org/10.1016/j.jpdc.2009.03.002openalex-snapshot
Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments
inferred← citeshttps://doi.org/10.1016/j.jpdc.2010.01.004openalex-snapshot
Lock-free parallel dynamic programming
inferred← citeshttps://doi.org/10.1016/j.jpdc.2013.11.005openalex-snapshot
A survey of support for structured communication in concurrency control models
inferred← citeshttps://doi.org/10.1016/j.jsc.2011.12.052openalex-snapshot
Discovering invariants via simple component analysis
inferred← citeshttps://doi.org/10.1016/j.jsc.2016.07.012openalex-snapshot
A generic framework for symbolic execution: A coinductive approach
inferred← citeshttps://doi.org/10.1016/j.jss.2010.09.020openalex-snapshot
Taxonomy and classification of automatic monitoring of program security vulnerability exploitations
inferred← citeshttps://doi.org/10.1016/j.jss.2011.07.028openalex-snapshot
SimFuzz: Test case similarity directed deep fuzzing
inferred← citeshttps://doi.org/10.1016/j.jss.2013.08.033openalex-snapshot
A distributed framework for demand-driven software vulnerability detection
inferred← citeshttps://doi.org/10.1016/j.jss.2013.10.042openalex-snapshot
Combining mutation and fault localization for automated program debugging
inferred← citeshttps://doi.org/10.1016/j.jss.2014.08.032openalex-snapshot
WAS: A weighted attribute-based strategy for cluster test selection
inferred← citeshttps://doi.org/10.1016/j.jss.2017.03.010openalex-snapshot
A method to localize faults in concurrent C programs
inferred← citeshttps://doi.org/10.1016/j.jss.2017.11.002openalex-snapshot
FPA-FL: Incorporating static fault-proneness analysis into statistical fault localization
inferred← citeshttps://doi.org/10.1016/j.jss.2017.12.010openalex-snapshot
An input-centric performance model for computational offloading of mobile applications
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111042openalex-snapshot
A parallel worklist algorithm and its exploration heuristics for static modular analyses
inferred← citeshttps://doi.org/10.1016/j.jss.2022.111247openalex-snapshot
WDBT: Non-volatile memory wear characterization and mitigation for DBT systems
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112001openalex-snapshot
Testing concolic execution through consistency checks
inferred← citeshttps://doi.org/10.1016/j.micpro.2016.11.015openalex-snapshot
Odd/Even Invert coding for phase change memory with thermal crosstalk
inferred← citeshttps://doi.org/10.1016/j.microrel.2019.113494openalex-snapshot
Reducing false positives due to double adjacent errors in instruction TLBs
inferred← citeshttps://doi.org/10.1016/j.parco.2018.02.003openalex-snapshot
Analyzing performance variation of task schedulers with TaskInsight
inferred← citeshttps://doi.org/10.1016/j.parco.2021.102782openalex-snapshot
Evaluating adaptive and predictive power management strategies for optimizing visualization performance on supercomputers
inferred← citeshttps://doi.org/10.1016/j.scico.2004.08.005openalex-snapshot
The case for virtual register machines
inferred← citeshttps://doi.org/10.1016/j.scico.2005.02.004openalex-snapshot
Typestate verification: Abstraction techniques and complexity results
inferred← citeshttps://doi.org/10.1016/j.scico.2007.08.001openalex-snapshot
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
inferred← citeshttps://doi.org/10.1016/j.scico.2009.12.008openalex-snapshot
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
inferred← citeshttps://doi.org/10.1016/j.scico.2012.01.002openalex-snapshot
Region-Based RTSJ Memory Management: State of the art
inferred← citeshttps://doi.org/10.1016/j.scico.2012.04.008openalex-snapshot
Sourcerer: An infrastructure for large-scale collection and analysis of open-source code
inferred← citeshttps://doi.org/10.1016/j.scico.2013.04.002openalex-snapshot
Access-based abstract memory localization in static analysis
inferred← citeshttps://doi.org/10.1016/j.scico.2013.06.005openalex-snapshot
Static safety guarantees for a low-level multithreaded language with regions
inferred← citeshttps://doi.org/10.1016/j.scico.2014.09.002openalex-snapshot
Reusing metadata across components, applications, and languages
inferred← citeshttps://doi.org/10.1016/j.scico.2014.10.004openalex-snapshot
Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework
inferred← citeshttps://doi.org/10.1016/j.scico.2017.04.008openalex-snapshot
Concolic testing for functional languages
inferred← citeshttps://doi.org/10.1016/j.scico.2017.11.001openalex-snapshot
Effect-dependent transformations for concurrent programs
inferred← citeshttps://doi.org/10.1016/j.scico.2018.09.005openalex-snapshot
Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102391openalex-snapshot
Bidirectionality in flow-sensitive demand-driven analysis
inferred← citeshttps://doi.org/10.1016/j.simpat.2018.12.003openalex-snapshot
Analyzing data locality in GPU kernels using memory footprint analysis
inferred← citeshttps://doi.org/10.1016/j.suscom.2016.01.003openalex-snapshot
Comparison of simulators for assessing the ability to sustain wireless sensor networks using dynamic network reconfiguration
inferred← citeshttps://doi.org/10.1016/j.sysarc.2010.07.011openalex-snapshot
Efficient dynamic program monitoring on multi-core systems
inferred← citeshttps://doi.org/10.1016/j.sysarc.2024.103090openalex-snapshot
Machine learning-based computation offloading in multi-access edge computing: A survey
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.07.033openalex-snapshot
Applications of polyhedral computations to the analysis and verification of hardware and software systems
inferred← citeshttps://doi.org/10.1016/j.websem.2009.02.002openalex-snapshot
Extending SPARQL with regular expression patterns (for querying RDF)
inferred← citeshttps://doi.org/10.1016/s1007-0214(11)70022-0openalex-snapshot
PMU guided structure data-layout optimization
inferred← citeshttps://doi.org/10.1017/s1471068412000075openalex-snapshot
Region-based memory management for Mercury programs
inferred← citeshttps://doi.org/10.1145/1542476.1542500openalex-snapshot
Analyzing recursive programs using a fixed-point calculus
inferred← citeshttps://doi.org/10.1145/1543135.1542500openalex-snapshot
Analyzing recursive programs using a fixed-point calculus
inferred← citeshttps://doi.org/10.1145/2370776.2370784openalex-snapshot
Layered fixed point logic
inferred← citeshttps://doi.org/10.1145/292469.292471openalex-snapshot
Garbage collecting the Internet
inferred← citeshttps://doi.org/10.1145/3418055openalex-snapshot
GEVO
inferred← citeshttps://doi.org/10.1145/3445814.3446705openalex-snapshot
Scalable FSM parallelization via path fusion and higher-order speculation
inferred← citeshttps://doi.org/10.1145/3656019.3676948openalex-snapshot
Parallel Loop Locality Analysis for Symbolic Thread Counts
inferred← citeshttps://doi.org/10.1177/0165551513519212openalex-snapshot
Performance evaluation of parallel multithreaded A* heuristic search algorithm
inferred← citeshttps://doi.org/10.1201/9781420043839.ch18openalex-snapshot
A Retargetable Very Long Instruction Word Compiler Framework for Digital Signal Processors
inferred← citeshttps://doi.org/10.1201/9781420043839.ch6openalex-snapshot
Garbage Collection Techniques
inferred← citeshttps://doi.org/10.52571/ptq.v16.n33.2019.799_periodico33_pgs_784_800.pdfopenalex-snapshot
DEVELOPMENT OF A METHOD FOR ASSESSING LEARNING OUTCOMES THROUGH AUTOMATED TESTING MANAGEMENT
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.