Valentin F. Turchin

12 papers A* 1B 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
1996 — conf
A Self-Applicable Supercompiler.
Dagstuhl Seminar on Partial Evaluation
Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin
1996 — conf
Metacomputation: Metasystem Transitions plus Supercompilation.
Dagstuhl Seminar on Partial Evaluation
Valentin F. Turchin
1996 — conf
Supercompilation: Techniques and Results.
Ershov Memorial Conference
Valentin F. Turchin
1993 J jnl
Program Transformation with Metasystem Transitions.
J. Funct. Program.
Valentin F. Turchin
1990 B conf
Application of Metasystem Transition to Function Inversion and Transformation.
ISSAC
Robert Glück, Valentin F. Turchin
1987 J jnl
A Constructive Interpretation of the Full Set Theory.
J. Symb. Log.
Valentin F. Turchin
1986 J jnl
The Concept of a Supercompiler.
ACM Trans. Program. Lang. Syst.
Valentin F. Turchin
1985 — conf
Program transformation by supercompilation.
Programs as Data Objects
Valentin F. Turchin
1982 — conf
Experiments with a Supercompiler.
Symposium on LISP and Functional Programming
Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin
1980 — conf
Semantic definitions in REFAL and the automatic production of compilers.
Semantics-Directed Compiler Generation
Valentin F. Turchin
1980 A* conf
The Use of Metasystem Transition in Theorem Proving and Program Optimization.
ICALP
Valentin F. Turchin
1979 J jnl
A supercompiler system based on the language REFAL.
ACM SIGPLAN Notices
Valentin F. Turchin
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski