Junkil Park
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CADE | Reasoning About Vectors Using an SMT Theory of Sequences. | Ying Sheng, Andres Ntzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli |
| 2022 | TACAS | Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. | David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong |
| 2020 | CAV | The Move Prover. | Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill |
| 2019 | TACAS | LCV: A Verification Tool for Linear Controller Software. | Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee |
| 2017 | TACAS | Automatic Verification of Finite Precision Implementations of Linear Controllers. | Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee |
| 2016 | RTCSA | Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. | Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee |
| 2016 | TACAS | Scalable Verification of Linear Controller Software. | Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky |
| 2015 | EMSOFT | Automatic verification of linear controller software. | Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky |