On the public citation graph
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
0 signed · 77 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/spe.611openalex-snapshot
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification
inferred← citeshttps://doi.org/10.1002/spe.657openalex-snapshot
The evaluation of two software watermarking algorithms
inferred← citeshttps://doi.org/10.1007/s10990-011-9073-0openalex-snapshot
Side-effect localization for lazy, purely functional languages via aspects
inferred← citeshttps://doi.org/10.1016/j.cola.2023.101204openalex-snapshot
Lexical-based partial redundancy elimination: An optimal algorithm with improved efficiency
inferred← citeshttps://doi.org/10.1016/j.cola.2025.101324openalex-snapshot
Near-Pruned single assignment transformation of programs
inferred← citeshttps://doi.org/10.1016/j.cose.2012.03.004openalex-snapshot
Abstract interpretation-based semantic framework for software birthmark
inferred← citeshttps://doi.org/10.1016/j.cose.2020.101821openalex-snapshot
Compile-time code virtualization for android applications
inferred← citeshttps://doi.org/10.1016/j.cose.2020.102072openalex-snapshot
Semantics-aware obfuscation scheme prediction for binary
inferred← citeshttps://doi.org/10.1016/j.cose.2021.102349openalex-snapshot
A Field-Sensitive Security Monitor for Object-Oriented Programs
inferred← citeshttps://doi.org/10.1016/j.cose.2022.103090openalex-snapshot
A permission-carrying security policy and static enforcement for information flows in Android programs
inferred← citeshttps://doi.org/10.1016/j.cose.2023.103595openalex-snapshot
A survey of strategy-driven evasion methods for PE malware: Transformation, concealment, and attack
inferred← citeshttps://doi.org/10.1016/j.future.2013.06.004openalex-snapshot
Using model checking to analyze the system behavior of the LHC production grid
inferred← citeshttps://doi.org/10.1016/j.ic.2013.08.011openalex-snapshot
Specification patterns for reasoning about recursion through the store
inferred← citeshttps://doi.org/10.1016/j.ic.2014.10.005openalex-snapshot
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy
inferred← citeshttps://doi.org/10.1016/j.ic.2015.12.013openalex-snapshot
Bounded Combinatory Logic and lower complexity
inferred← citeshttps://doi.org/10.1016/j.ic.2016.03.008openalex-snapshot
Dynamic input/output automata: A formal and compositional model for dynamic systems
inferred← citeshttps://doi.org/10.1016/j.ic.2017.12.003openalex-snapshot
Analyzing pushdown systems with stack manipulation
inferred← citeshttps://doi.org/10.1016/j.ic.2019.03.002openalex-snapshot
Completeness and expressiveness of pointer program verification by separation logic
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.07.007openalex-snapshot
Diversification and obfuscation techniques for software security: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.ins.2023.01.126openalex-snapshot
Smart contract watermarking based on code obfuscation
inferred← citeshttps://doi.org/10.1016/j.jcss.2017.03.013openalex-snapshot
Quantifying leakage in the presence of unreliable sources of information
inferred← citeshttps://doi.org/10.1016/j.jisa.2019.06.012openalex-snapshot
Checking certificate revocation efficiently using certificate revocation guard
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.03.003openalex-snapshot
Executable rewriting logic semantics of Orc and formal analysis of Orc programs
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.05.004openalex-snapshot
Product programs and relational program logics
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.08.006openalex-snapshot
Formal methods for web security
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.04.001openalex-snapshot
A secrecy-preserving language for distributed and object-oriented systems
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100577openalex-snapshot
From global choreographies to verifiable efficient distributed implementations
inferred← citeshttps://doi.org/10.1016/j.jlamp.2022.100761openalex-snapshot
Secure information flow connections
inferred← citeshttps://doi.org/10.1016/j.jlamp.2023.100919openalex-snapshot
Branching pomsets: Design, expressiveness and applications to choreographies
inferred← citeshttps://doi.org/10.1016/j.jlap.2013.05.001openalex-snapshot
Survey on JavaScript security policies and their enforcement mechanisms in a web browser
inferred← citeshttps://doi.org/10.1016/j.jss.2011.05.016openalex-snapshot
Identification of extract method refactoring opportunities for the decomposition of methods
inferred← citeshttps://doi.org/10.1016/j.jss.2012.01.046openalex-snapshot
Profiling all paths: A new profiling technique for both cyclic and acyclic paths
inferred← citeshttps://doi.org/10.1016/j.jss.2015.08.018openalex-snapshot
Effective and efficient detection of software theft via dynamic API authority vectors
inferred← citeshttps://doi.org/10.1016/j.jss.2016.11.026openalex-snapshot
deExploit: Identifying misuses of input data to diagnose memory-corruption exploits at the binary level
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110492openalex-snapshot
Experimental assessment of XOR-Masking data obfuscation based on K-Clique opaque constants
inferred← citeshttps://doi.org/10.1016/j.jss.2021.110987openalex-snapshot
On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112141openalex-snapshot
Flexible and reversible conversion between extensible records and overloading constraints for ML
inferred← citeshttps://doi.org/10.1016/j.knosys.2015.12.009openalex-snapshot
Credible, resilient, and scalable detection of software plagiarism using authority histograms
inferred← citeshttps://doi.org/10.1016/j.measurement.2016.10.026openalex-snapshot
A multi-objective software defined network traffic measurement
inferred← citeshttps://doi.org/10.1016/j.scico.2010.07.002openalex-snapshot
A state/event-based model-checking approach for the analysis of abstract system properties
inferred← citeshttps://doi.org/10.1016/j.scico.2012.09.002openalex-snapshot
A shortcut fusion approach to accumulations
inferred← citeshttps://doi.org/10.1016/j.scico.2014.07.011openalex-snapshot
Handles: Behavior-propagating first class references for dynamically-typed languages
inferred← citeshttps://doi.org/10.1016/j.scico.2014.09.006openalex-snapshot
Two techniques to improve the precision of a demand-driven null-dereference verification approach
inferred← citeshttps://doi.org/10.1016/j.scico.2014.11.003openalex-snapshot
Technology transfer: Formal analysis, engineering, and business value
inferred← citeshttps://doi.org/10.1016/j.scico.2015.11.003openalex-snapshot
Modular language implementation in Rascal – experience report
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.01.004openalex-snapshot
Automatic parallelization of recursive functions with rewriting rules
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102496openalex-snapshot
Abstracting gradual references
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102498openalex-snapshot
CHOReVOLUTION: Service choreography in practice
inferred← citeshttps://doi.org/10.1016/j.scico.2022.102779openalex-snapshot
Compositional noninterference on hardware weak memory models
inferred← citeshttps://doi.org/10.1016/j.scico.2023.102954openalex-snapshot
desync-cc: A research tool for automatically applying disassembly desynchronization during compilation
inferred← citeshttps://doi.org/10.1016/j.sysarc.2023.103010openalex-snapshot
On-the-fly bisimulation equivalence checking for fresh-register automata
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.06.008openalex-snapshot
Probabilistic and nondeterministic aspects of anonymity
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.10.025openalex-snapshot
A trajectory-based strict semantics for program slicing
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.02.045openalex-snapshot
Information hiding in probabilistic concurrent systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.07.013openalex-snapshot
A formalization of multi-tape Turing machines
inferred← citeshttps://doi.org/10.1016/j.tcs.2019.08.026openalex-snapshot
Strassen's theorem for quantum couplings
inferred← citeshttps://doi.org/10.1016/j.tcs.2019.11.029openalex-snapshot
A class of Recursive Permutations which is Primitive Recursive complete
inferred← citeshttps://doi.org/10.1016/j.tcs.2020.09.039openalex-snapshot
Safe functional systems through integrity types and verified assembly
inferred← citeshttps://doi.org/10.1017/s0956796810000122openalex-snapshot
Factorising folds for faster functions
inferred← citeshttps://doi.org/10.1017/s0956796812000032openalex-snapshot
Semantic subtyping with an SMT solver
inferred← citeshttps://doi.org/10.1109/hpcs.2018.00119openalex-snapshot
A Denotational Semantics of Textually Aligned SPMD Programs
inferred← citeshttps://doi.org/10.1145/1053271.1053279openalex-snapshot
SAFE-OPS: An approach to embedded software security
inferred← citeshttps://doi.org/10.1145/1138035.1138036openalex-snapshot
A lifetime optimal algorithm for speculative PRE
inferred← citeshttps://doi.org/10.1145/1286341.1286342openalex-snapshot
An intermediate language level optimization framework for dynamic binary translation
inferred← citeshttps://doi.org/10.1145/3385412.3386030openalex-snapshot
Effective function merging in the SSA form
inferred← citeshttps://doi.org/10.1145/3387168.3387257openalex-snapshot
Tactics for Proving Separation Logic Assertion in Coq Proof Assistant
inferred← citeshttps://doi.org/10.1145/3460120.3484583openalex-snapshot
Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization
inferred← citeshttps://doi.org/10.1145/3475061.3475063openalex-snapshot
Graphs based on IR as Representation of Code
inferred← citeshttps://doi.org/10.1145/3485507openalex-snapshot
Coarsening optimization for differentiable programming
inferred← citeshttps://doi.org/10.1145/3582016.3582056openalex-snapshot
PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency
inferred← citeshttps://doi.org/10.1145/3589608.3593834openalex-snapshot
Expressive Authorization Policies using Computation Principals
inferred← citeshttps://doi.org/10.1145/3626202.3637561openalex-snapshot
Cement: Streamlining FPGA Hardware Design with Cycle-Deterministic eHDL and Synthesis
inferred← citeshttps://doi.org/10.3929/ethz-b-000509880openalex-snapshot
Domain-Specific Multi-Level IR Rewriting for GPU: The Open Earth Compiler for GPU-accelerated Climate Simulation
inferred← citeshttps://doi.org/10.4304/jait.3.1.10-20openalex-snapshot
iiOSProTrain: An Interactive Intelligent Online System for Programming Training
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.