On the public citation graph
Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation - PLDI '92
0 signed · 94 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.
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.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1096-9128(200002/03)12:2/3<125::aid-cpe469>3.0.co;2-hopenalex-snapshot
A simple framework to calculate the reaching definition of array references and its use in subscript array analysis
inferred← citeshttps://doi.org/10.1002/cpe.1015openalex-snapshot
Parametric timing estimation with Newton–Gregory formulae
inferred← citeshttps://doi.org/10.1002/cpe.861openalex-snapshot
Using MPI with C# and the Common Language Infrastructure
inferred← citeshttps://doi.org/10.1002/spe.2241openalex-snapshot
An integrated implementation framework for compile‐time metaprogramming
inferred← citeshttps://doi.org/10.1007/978-3-031-05324-5_9openalex-snapshot
Quantum Software Testing: Current Trends and Emerging Proposals
inferred← citeshttps://doi.org/10.1007/978-3-031-77620-5_30openalex-snapshot
An Interactive System Based on First-Class User-Level Threads: A Systematic Review
inferred← citeshttps://doi.org/10.1007/978-3-319-29814-6_1openalex-snapshot
Minimizing Databases Attack Surface Against SQL Injection Attacks
inferred← citeshttps://doi.org/10.1007/978-3-319-89722-6openalex-snapshot
Principles of Security and Trust
inferred← citeshttps://doi.org/10.1007/978-3-642-00454-4_21openalex-snapshot
A Garbage Collection Technique for Embedded Multithreaded Multicore Processors
inferred← citeshttps://doi.org/10.1007/978-3-642-00593-0_30openalex-snapshot
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-04570-7_10openalex-snapshot
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
inferred← citeshttps://doi.org/10.1007/978-981-10-1058-3_2openalex-snapshot
Invasive Tightly Coupled Processor Arrays
inferred← citeshttps://doi.org/10.1007/s10703-008-0053-xopenalex-snapshot
Verification of evolving software via component substitutability analysis
inferred← citeshttps://doi.org/10.1007/s10766-021-00707-0openalex-snapshot
Predicting the Soft Error Vulnerability of Parallel Applications Using Machine Learning
inferred← citeshttps://doi.org/10.1007/s11227-018-2678-xopenalex-snapshot
Insight into tiles generated by means of a correction technique
inferred← citeshttps://doi.org/10.1007/s11227-019-02880-zopenalex-snapshot
A methodology correlating code optimizations with data memory accesses, execution time and energy consumption
inferred← citeshttps://doi.org/10.1007/s11704-013-2008-1openalex-snapshot
A novel requirement analysis approach for periodic control systems
inferred← citeshttps://doi.org/10.1007/s12046-009-0002-4openalex-snapshot
Operating system verification—An overview
inferred← citeshttps://doi.org/10.1016/j.cola.2024.101288openalex-snapshot
Fault localization by abstract interpretation and its applications
inferred← citeshttps://doi.org/10.1016/j.cpc.2023.108712openalex-snapshot
Peng: A program for transport properties of low-density binary gas mixtures
inferred← citeshttps://doi.org/10.1016/j.inffus.2018.12.006openalex-snapshot
Android malware detection through hybrid features fusion and ensemble classifiers: The AndroPyTool framework and the OmniDroid dataset
inferred← citeshttps://doi.org/10.1016/j.jisa.2016.01.002openalex-snapshot
ROPocop — Dynamic mitigation of code-reuse attacks
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.05.003openalex-snapshot
Effect-polymorphic behaviour inference for deadlock checking
inferred← citeshttps://doi.org/10.1016/j.jlap.2003.07.007openalex-snapshot
Source code verification of a secure payment applet
inferred← citeshttps://doi.org/10.1016/j.jss.2015.03.066openalex-snapshot
Input-based adaptive randomized test case prioritization: A local beam search approach
inferred← citeshttps://doi.org/10.1016/j.jss.2018.10.001openalex-snapshot
A general method for rendering static analyses for diverse concurrency models modular
inferred← citeshttps://doi.org/10.1016/j.parco.2011.10.007openalex-snapshot
Generating synchronization statements in divide-and-conquer programs
inferred← citeshttps://doi.org/10.1016/j.scico.2004.03.011openalex-snapshot
A tour of Tempo: a program specializer for the C language
inferred← citeshttps://doi.org/10.1016/j.scico.2014.02.011openalex-snapshot
Domain-specific program profiling and its application to attribute grammars and term rewriting
inferred← citeshttps://doi.org/10.1016/j.scico.2014.04.006openalex-snapshot
Space consumption analysis by abstract interpretation: Inference of recursive functions
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80456-6openalex-snapshot
Annotations for Portable Intermediate Languages
inferred← citeshttps://doi.org/10.1017/s0956796802004458openalex-snapshot
Single Assignment C: efficient support for high-level array operations in a functional setting
inferred← citeshttps://doi.org/10.1017/s095679681000016xopenalex-snapshot
Generic programming with C++ concepts and Haskell type classes—a comparison
inferred← citeshttps://doi.org/10.1017/s0956796814000100openalex-snapshot
Pushdown flow analysis with abstract garbage collection
inferred← citeshttps://doi.org/10.1017/s0956796816000058openalex-snapshot
Testing noninterference, quickly
inferred← citeshttps://doi.org/10.1017/s0956796818000011openalex-snapshot
Foundations of dependent interoperability
inferred← citeshttps://doi.org/10.1038/s41567-024-02532-xopenalex-snapshot
Geometry-driven migration efficiency of autonomous epithelial cell clusters
inferred← citeshttps://doi.org/10.1080/19393555.2020.1869356openalex-snapshot
Enhancing the blockchain voting process in IoT using a novel blockchain Weighted Majority Consensus Algorithm (WMCA)
inferred← citeshttps://doi.org/10.1103/physrevd.93.045006openalex-snapshot
Eguchi-Kawai reduction with one flavor of adjoint Möbius fermion
inferred← citeshttps://doi.org/10.1145/1111596.1111601openalex-snapshot
Computability classes for enforcement mechanisms
inferred← citeshttps://doi.org/10.1145/1118890.1118892openalex-snapshot
When and how to develop domain-specific languages
inferred← citeshttps://doi.org/10.1145/1138035.1138036openalex-snapshot
A lifetime optimal algorithm for speculative PRE
inferred← citeshttps://doi.org/10.1145/3192366.3192389openalex-snapshot
Guarded impredicative polymorphism
inferred← citeshttps://doi.org/10.1145/3192366.3192396openalex-snapshot
On-stack replacement, distilled
inferred← citeshttps://doi.org/10.1145/3197978openalex-snapshot
A Survey on Compiler Autotuning using Machine Learning
inferred← citeshttps://doi.org/10.1145/3202663openalex-snapshot
Combining Software Cache Partitioning and Loop Tiling for Effective Shared Cache Management
inferred← citeshttps://doi.org/10.1145/3295500.3356218openalex-snapshot
Analytical cache modeling and tilesize optimization for tensor contractions
inferred← citeshttps://doi.org/10.1145/3296979.3192396openalex-snapshot
On-stack replacement, distilled
inferred← citeshttps://doi.org/10.1145/3314221.3314635openalex-snapshot
Sparse record and replay with controlled scheduling
inferred← citeshttps://doi.org/10.1145/3330345.3330377openalex-snapshot
Efficient hierarchical online-autotuning
inferred← citeshttps://doi.org/10.1145/3341301.3359638openalex-snapshot
Efficient scalable thread-safety-violation detection
inferred← citeshttps://doi.org/10.1145/3352460.3358321openalex-snapshot
Distributed Logless Atomic Durability with Persistent Memory
inferred← citeshttps://doi.org/10.1145/3357223.3362704openalex-snapshot
An automated, cross-layer instrumentation framework for diagnosing performance problems in distributed applications
inferred← citeshttps://doi.org/10.1145/3368826.3377914openalex-snapshot
HALO: post-link heap-layout optimisation
inferred← citeshttps://doi.org/10.1145/3371115openalex-snapshot
Disentanglement in nested-parallel programs
inferred← citeshttps://doi.org/10.1145/3426425.3426934openalex-snapshot
Principles and patterns of JastAdd-style reference attribute grammars
inferred← citeshttps://doi.org/10.1145/3431803openalex-snapshot
Reliability-aware Garbage Collection for Hybrid HBM-DRAM Memories
inferred← citeshttps://doi.org/10.1145/3434299openalex-snapshot
Provably space-efficient parallel functional programming
inferred← citeshttps://doi.org/10.1145/3445814.3446728openalex-snapshot
Enclosure: language-based restriction of untrusted libraries
inferred← citeshttps://doi.org/10.1145/3452299openalex-snapshot
Intermediate Representations for Explicitly Parallel Programs
inferred← citeshttps://doi.org/10.1145/3456563openalex-snapshot
A Unified Model for Context-Sensitive Program Analyses:
inferred← citeshttps://doi.org/10.1145/3460087openalex-snapshot
Mix and Match: Reorganizing Tasks for Enhancing Data Locality
inferred← citeshttps://doi.org/10.1145/3462172.3462191openalex-snapshot
A New Backend for Standard ML of New Jersey
inferred← citeshttps://doi.org/10.1145/3547646openalex-snapshot
Entanglement detection with near-zero cost
inferred← citeshttps://doi.org/10.1145/3572908openalex-snapshot
Unified Buffer: Compiling Image Processing and Machine Learning Applications to Push-Memory Accelerators
inferred← citeshttps://doi.org/10.1145/3578360.3580260openalex-snapshot
Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End
inferred← citeshttps://doi.org/10.1145/3579856.3582823openalex-snapshot
A Transformer-based Function Symbol Name Inference Model from an Assembly Language for Binary Reversing
inferred← citeshttps://doi.org/10.1145/3579856.3595796openalex-snapshot
Eliminating Vulnerabilities by Disabling Unwanted Functionality in Binary Programs
inferred← citeshttps://doi.org/10.1145/3632743openalex-snapshot
Octopus : Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions
inferred← citeshttps://doi.org/10.1145/3656383openalex-snapshot
Concurrent Immediate Reference Counting
inferred← citeshttps://doi.org/10.1145/3656389openalex-snapshot
Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
inferred← citeshttps://doi.org/10.1145/3656426openalex-snapshot
Compilation of Modular and General Sparse Workspaces
inferred← citeshttps://doi.org/10.1145/366378.366379openalex-snapshot
A slicing-based approach for locating type errors
inferred← citeshttps://doi.org/10.1145/367008.367022openalex-snapshot
Interprocedural control dependence
inferred← citeshttps://doi.org/10.1145/3720507openalex-snapshot
Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation
inferred← citeshttps://doi.org/10.1145/586088.586090openalex-snapshot
Practical extraction techniques for Java
inferred← citeshttps://doi.org/10.1145/778559.778561openalex-snapshot
Automatic program specialization for Java
inferred← citeshttps://doi.org/10.1145/973097.973099openalex-snapshot
A fast and accurate framework to analyze and optimize cache memory behavior
inferred← citeshttps://doi.org/10.1155/2012/826702openalex-snapshot
Exploiting the Burstiness of Intermediate-Quality Wireless Links
inferred← citeshttps://doi.org/10.11606/d.55.2009.tde-29042010-101946openalex-snapshot
Teste de programas concorrentes com memória compartilhada
inferred← citeshttps://doi.org/10.14778/3583140.3583158openalex-snapshot
Flare: A Fast, Secure, and Memory-Efficient Distributed Analytics Framework
inferred← citeshttps://doi.org/10.21778/2218-5453-2019-3-67-70openalex-snapshot
AUTOMATED SEARCH OF SOFTWARE ERRORS BY FAZZING METHOD
inferred← citeshttps://doi.org/10.2298/csis110926037oopenalex-snapshot
SLA-driven adaptive monitoring of distributed applications for performance problem localization
inferred← citeshttps://doi.org/10.4204/eptcs.237.5openalex-snapshot
An Introduction to Liquid Haskell
inferred← citeshttps://doi.org/10.47749/t/unicamp.2022.1238495openalex-snapshot
Software and hardware interfaces for approximate memories
inferred← citeshttps://doi.org/10.5772/37476openalex-snapshot
Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off
inferred← citeshttps://doi.org/10.5772/intechopen.110675openalex-snapshot
Cancelled: Unified Software Design Patterns for Simulated Annealing
inferred← citeshttps://doi.org/10.5821/dissertation-2117-95048openalex-snapshot
Application of clustering analysis and sequence analysis on the performance analysis of parallel applications
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.