Sewon Park

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 11

Top Topics

Formal Verification

Triangle Inequality

Top Venues

Bull. Symb. Log.

Publications

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Log. Methods Comput. Sci. 20 (2) (2024)
Michal Konecný, Sewon Park, Holger Thies
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. MFCS (2023)
Sewon Park
Verified Exact Real Computation with Nondeterministic Functions and Limits. FCT (2023)
Michal Konecný, Sewon Park, Holger Thies
Certified Computation of Nondeterministic Limits. NFM (2022)
Michal Konecný, Sewon Park, Holger Thies
Extracting efficient exact real number computation from proofs in constructive type theory. CoRR (2022)
Sewon Park
Continuous Abstract Data Types for Verified Computation. Bull. Symb. Log. 27 (4) (2021)
Michal Konecný, Sewon Park, Holger Thies
Axiomatic Reals and Certified Efficient Exact Real Computation. WoLLIC (2021)
Willem L. Fouché, Hyunwoo Lee, Donghyun Lim, Sewon Park, Matthias Schröder, Martin Ziegler
Randomized Computation of Continuous Data: Is Brownian Motion Computable? CoRR (2019)
Junhee Cho, Sewon Park, Martin Ziegler
Computing Periods ... . WALCOM (2018)
Chansu Park, Ji-won Park, Sewon Park, Dongseong Seon, Martin Ziegler
Computable Operations on Compact Subsets of Metric Spaces with Applications to Fréchet Distance and Shape Optimization. CoRR (2017)
Norbert Th. Müller, Sewon Park, Norbert Preining, Martin Ziegler
On Formal Verification in Imperative Multivalued Programming over Continuous Data Types. CoRR (2016)