E-LIB Suche - Ergebnisse für: Park, Daejun

1

LazyBarrier: Reconstructing Android IO Stack for Barrier-En..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,

Zhang, Yuanyi ; Zhang, Heng ; Cao, Wenbin... - p. 601-615 , 2024

Link: https://dl.acm.org/doi/1..

2

Language-parametric compiler validation with application to..:

, In: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao.. - p. 1004-1019 , 2021

Link: https://dl.acm.org/doi/1..

3

End-to-End Formal Verification of Ethereum 2.0 Deposit Smar..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Park, Daejun ; Zhang, Yi ; Rosu, Grigore - p. 151-164 , 2020

Link: https://doi.org/10.1007/..

4

A complete formal semantics of x86-64 user-level instructio..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Dasgupta, Sandeep ; Park, Daejun ; Kasampalis, Theodoros.. - p. 1133-1148 , 2019

Link: https://dl.acm.org/doi/1..

5

A Language-Independent Approach to Smart Contract Verificat..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,

Chen, Xiaohong ; Park, Daejun ; Roşu, Grigore - p. 405-413 , 2018

Link: https://doi.org/10.1007/..

6

A formal verification tool for Ethereum VM bytecode:

, In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Park, Daejun ; Zhang, Yi ; Saxena, Manasvi.. - p. 912-915 , 2018

Link: https://dl.acm.org/doi/1..

7

Invariant Synthesis for Incomplete Verification Engines:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Neider, Daniel ; Garg, Pranav ; Madhusudan, P... - p. 232-250 , 2018

Link: https://doi.org/10.1007/..

8

Semantics-based program verifiers for all languages:

, In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Stefănescu, Andrei ; Park, Daejun ; Yuwen, Shijiao.. - p. 74-91 , 2016

Link: https://dl.acm.org/doi/1..

9

KJS: a complete formal semantics of JavaScript:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Park, Daejun ; Stefănescu, Andrei ; Roşu, Grigore - p. 346-356 , 2015

Link: https://dl.acm.org/doi/1..

10

Removing duplicated writes at DB checkpointing with file sy..:

, In: Proceedings of the 12th ACM International Conference on Computing Frontiers,

Park, Daejun ; Shin, Dongkun - p. 1-2 , 2015

Link: https://dl.acm.org/doi/1..

11

Quadruple grid true motion estimation for frame rate up-con..:

, In: Proceedings of the 27th Conference on Image and Vision Computing New Zealand,

Ng, Teck Sheng ; Park, Dae-Jun ; Jeong, Jechang - p. 37-42 , 2012

Link: https://dl.acm.org/doi/1..