Sewon Park

16 papers B 5C 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Extracting efficient exact real number computation from proofs in constructive type theory.
J. Log. Comput.
Michal Konecný, Sewon Park, Holger Thies
2025 B conf
Making Rabbit Run for Security Verification of Networked Systems with Unbounded Loops.
FMCAD
Sewon Park, Atsushi Igarashi
2024 B conf
A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations.
ITP
Sewon Park, Holger Thies
2024 J jnl
An Imperative Language for Verified Exact Real-Number Computation.
CoRR
Andrej Bauer, Sewon Park, Alex Simpson
2024 J jnl
Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers.
CoRR
Michal Konecný, Sewon Park, Holger Thies
2024 J jnl
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.
Log. Methods Comput. Sci.
Sewon Park, Franz Brauße, Pieter Collins, Sunyoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
2023 B conf
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation.
MFCS
Michal Konecný, Sewon Park, Holger Thies
2023 B conf
Verified Exact Real Computation with Nondeterministic Functions and Limits.
FCT
Sewon Park
2022 — conf
Certified Computation of Nondeterministic Limits.
NFM
Michal Konecný, Sewon Park, Holger Thies
2022 J jnl
Extracting efficient exact real number computation from proofs in constructive type theory.
CoRR
Michal Konecný, Sewon Park, Holger Thies
2021 C conf
Axiomatic Reals and Certified Efficient Exact Real Computation.
WoLLIC
Michal Konecný, Sewon Park, Holger Thies
2021 J jnl
Continuous Abstract Data Types for Verified Computation.
Bull. Symb. Log.
Sewon Park
2019 J jnl
Randomized Computation of Continuous Data: Is Brownian Motion Computable?
CoRR
Willem L. Fouché, Hyunwoo Lee, Donghyun Lim, Sewon Park, Matthias Schröder, Martin Ziegler
2018 B conf
Computing Periods ... .
WALCOM
Junhee Cho, Sewon Park, Martin Ziegler
2017 J jnl
Computable Operations on Compact Subsets of Metric Spaces with Applications to Fréchet Distance and Shape Optimization.
CoRR
Chansu Park, Ji-won Park, Sewon Park, Dongseong Seon, Martin Ziegler
2016 J jnl
On Formal Verification in Imperative Multivalued Programming over Continuous Data Types.
CoRR
Norbert Th. Müller, Sewon Park, Norbert Preining, Martin Ziegler