Polina Vinogradova

15 papers B 1Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Cavefish: Communication-Optimal Light Client Protocol for UTxO Ledgers.
IACR Cryptol. ePrint Arch.
Aggelos Kiayias, Marc Roeschlin, Polina Vinogradova, Pyrros Chaidos
2024 — conf
Applying Continuous Formal Methods to Cardano (Experience Report).
FUNARCH
James Chapman, Arnaud Bailly, Polina Vinogradova
2024 — conf
Message-Passing in the Extended UTxO Ledger.
FC Workshops
Polina Vinogradova, Orestis Melkonian
2024 — conf
Properties of UTxO Ledgers and Programs Implemented on Them.
LSFA
Polina Vinogradova, Alexey Sorokin
2024 — conf
Structured Contracts in the EUTxO Ledger Model.
FMBC@CAV
Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
2023 — conf
Formalizing the Unexpected Hanging Paradox: A Classical Surprise.
CLAR
Polina Vinogradova
2022 B conf
Babel Fees via Limited Liabilities.
ACNS
Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova
2021 J jnl
Babel Fees via Limited Liabilities.
CoRR
Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova
2020 — conf
Flexible Formality Practical Experience with Agile Formal Methods.
TFP
Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova
2020 — conf
Native Custom Tokens in the Extended UTXO Model.
ISoLA (3)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
2020 — conf
UTXO
ISoLA (3)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
2017 — conf
Formalizing Abstract Computability: Turing Categories in Coq.
LSFA
Polina Vinogradova, Amy P. Felty, Philip J. Scott
2013 J jnl
Asymptotic estimates of a projection-difference method for an operator-differential equation.
J. Num. Math.
Polina Vinogradova, Anatoli Zarubin
2011 J jnl
A study of Galerkin method for the heat convection equations.
Appl. Math. Comput.
Polina Vinogradova, Anatoli Zarubin
2009 J jnl
Convergence estimates of a projection-difference method for an operator-differential equation.
J. Comput. Appl. Math.
Polina Vinogradova