Andrei P. Nemytykh

26 papers Misc 1Journal 7Unranked 11
YearRankTypeTitle / Venue / Authors
2021 J jnl
On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract).
CoRR
Andrei P. Nemytykh
2021 — ed.
Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021.
VPT@ETAPS
Alexei Lisitsa, Andrei P. Nemytykh
2019 — ed.
Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019.
VPT@Programming
Alexei Lisitsa, Andrei P. Nemytykh
2017 — ed.
Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017.
VPT@ETAPS
Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti
2017 — conf
Verification of Programs via Intermediate Interpretation.
VPT@ETAPS
Alexei P. Lisitsa, Andrei P. Nemytykh
2017 J jnl
Verifying Programs via Intermediate Interpretation.
CoRR
Alexei P. Lisitsa, Andrei P. Nemytykh
2016 J jnl
Automated verification of programs and Web systems.
J. Log. Algebraic Methods Program.
Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara
2016 — ed.
Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016.
VPT@ETAPS
Geoff W. Hamilton, Alexei Lisitsa, Andrei P. Nemytykh
2015 — conf
Finite Countermodel Based Verification for Program Transformation (A Case Study).
VPT@ETAPS
Alexei P. Lisitsa, Andrei P. Nemytykh
2015 — ed.
Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015.
VPT@ETAPS
Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi
2014 — conf
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
VPT@CAV
Alexei Lisitsa, Andrei P. Nemytykh
2014 — conf
On Unfolding for Programs Using Strings as a Data Type.
VPT@CAV
Andrei P. Nemytykh
2014 — ed.
VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014
VPT@CAV
Alexei Lisitsa, Andrei P. Nemytykh
2013 — conf
Cryptographic Protocol Verification via Supercompilation (A Case Study).
VPT@CAV
Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh
2013 — ed.
First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013
VPT@CAV
Alexei Lisitsa, Andrei P. Nemytykh
2012 J jnl
A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?
CoRR
Alexei Lisitsa, Andrei P. Nemytykh
2010 J jnl
On one application of computations with oracle.
Program. Comput. Softw.
Alexei Lisitsa, Andrei P. Nemytykh
2008 J jnl
Reachability Analysis in Verification via Supercompilation.
Int. J. Found. Comput. Sci.
Alexei Lisitsa, Andrei P. Nemytykh
2007 Misc conf
A Note on Specialization of Interpreters.
CSR
Alexei Lisitsa, Andrei P. Nemytykh
2007 J jnl
Verification as a parameterized testing (experiments with the SCP4 supercompiler).
Program. Comput. Softw.
Alexei Lisitsa, Andrei P. Nemytykh
2005 — conf
Towards Verification via Supercompilation.
COMPSAC (2)
Alexei Lisitsa, Andrei P. Nemytykh
2003 — conf
The Supercompiler SCP4: General Structure.
Ershov Memorial Conference
Andrei P. Nemytykh
2002 — conf
A note on elimination of simplest recursions.
ASIA-PEPM
Andrei P. Nemytykh
1996 — conf
A Self-Applicable Supercompiler.
Dagstuhl Seminar on Partial Evaluation
Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin
1996 — conf
Program Transformation with Metasystem Transitions: Experiments with a Supercompiler.
Ershov Memorial Conference
Andrei P. Nemytykh, Victoria A. Pinchuk
1990 — conf
Implementation Of The Symbolic Analytic Transformations Language FLAC.
DISCO
S. V. Chmutov, E. A. Gaydar, I. M. Ignatovich, V. F. Kozadoy, Andrei P. Nemytykh, Victoria A. Pinchuk