The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Self-modifying code (SMC), in this paper, broadly refers to anyprogram that loads, generates, or mutates code at runtime. It is widely used in many of the world's critical software systems tosupport runtime code generation and optimization, dynamic loading and linking, OS boot loader, just-in-time compilation, binary translation,or dynamic code encryption and obfuscation. Unfortunately, SMC is alsoextremely difficult to reason about: existing formal verification techniques-including Hoare logic and type system-consistentlyassume that program code stored in memory is fixedand immutable; this severely limits their applicability and power.
How it got here
How it got here
agent via openalex
Added
2026-10-26 12:32 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{cai2007certified,
title = {Certified self-modifying code},
author = {Hongxu Cai and Zhong Shao and Alexander Vaynberg},
year = {2007},
journal = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation},
pages = {66--77},
doi = {10.1145/1250734.1250743},
}