Sehyeok Park

According to our database, Sehyeok Park authored at least 6 papers between 2014 and 2026.

Collaborative distances:

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

2026

FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean.

Tung-Che Chang, Sehyeok Park, Jay P. Lim, Santosh Nagarakatte

CoRR, February, 2026

Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes.

Sehyeok Park, Jay P. Lim, Santosh Nagarakatte

CoRR, January, 2026

2025

Fast Trigonometric Functions using the RLIBM Approach.

Sehyeok Park, Santosh Nagarakatte

Proceedings of the International Workshop on Verification of Scientific Software, October, 2025

RLibm-MultiRound: Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode.

Sehyeok Park, Justin Kim, Santosh Nagarakatte

CoRR, April, 2025

Correctly Rounded Math Libraries without Worrying about the Application's Rounding Mode.

Sehyeok Park, Justin Kim, Santosh Nagarakatte

Proc. ACM Program. Lang., 2025

2014

An integrated framework for both compression noise reduction and super-resolution.

Seok Bong Yoo, Kyuha Choi, Sehyeok Park, Jong Beom Ra

Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014