Sewon Park

According to our database, Sewon Park authored at least 10 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Formalizing Hyperspaces for Extracting Efficient Exact Real Computation.

Michal Konecný, Sewon Park, Holger Thies

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Verified Exact Real Computation with Nondeterministic Functions and Limits.

Sewon Park

Proceedings of the Fundamentals of Computation Theory - 24th International Symposium, 2023

2022

Extracting efficient exact real number computation from proofs in constructive type theory.

Michal Konecný, Sewon Park, Holger Thies

CoRR, 2022

Certified Computation of Nondeterministic Limits.

Michal Konecný, Sewon Park, Holger Thies

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Continuous Abstract Data Types for Verified Computation.

Sewon Park

Bull. Symb. Log., 2021

Axiomatic Reals and Certified Efficient Exact Real Computation.

Michal Konecný, Sewon Park, Holger Thies

Proceedings of the Logic, Language, Information, and Computation, 2021

2019

Randomized Computation of Continuous Data: Is Brownian Motion Computable?

Willem L. Fouché, Hyunwoo Lee, Donghyun Lim, Sewon Park, Matthias Schröder, Martin Ziegler

CoRR, 2019

2018

Computing Periods ... .

Junhee Cho, Sewon Park, Martin Ziegler

Proceedings of the WALCOM: Algorithms and Computation - 12th International Conference, 2018

2017

Computable Operations on Compact Subsets of Metric Spaces with Applications to Fréchet Distance and Shape Optimization.

Chansu Park, Ji-won Park, Sewon Park, Dongseong Seon, Martin Ziegler

CoRR, 2017

2016

On Formal Verification in Imperative Multivalued Programming over Continuous Data Types.

Norbert Th. Müller, Sewon Park, Norbert Preining, Martin Ziegler

CoRR, 2016