Automated Synthesis of Symbolic Instruction Encodings from I/O Samples (godefroid:pldi:2012)
PaperFirst seen 7/3/2026
Last seen 7/3/2026
Evidence 1 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connectionsThe paper synthesizes symbolic instruction encodings automatically from I/O samples, a form of reverse engineering.
The paper focuses on synthesizing instruction encodings.