Andrei P. Nemytykh

Identifiers

• name variant Andrei P. Nemytykh 0.60 · backfill

Papers (2)

1. Verifying Programs via Intermediate Interpretation cs.PL · 2017 · author #2
2. A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal? cs.PL · 2012 · author #2

Mentions

• 1209.5407 #2 · backfill · confidence 0.70 Andrei P. Nemytykh

Frequent Coauthors

• Alexei Lisitsa 1 shared papers
• Alexei P. Lisitsa 1 shared papers