Dongjun Youn

Orcid: 0000-0002-5766-2035

According to our database1, Dongjun Youn authored at least 8 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
WEST: Specification-Based Test Generation for WebAssembly.
Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024
Bringing the WebAssembly Standard up to Speed with SpecTec.
Proc. ACM Program. Lang., 2024

2023
Declarative static analysis for multilingual programs using CodeQL.
Softw. Pract. Exp., July, 2023

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations.
Proc. ACM Program. Lang., 2023

Wasm SpecTec: Engineering a Formal Language Standard.
CoRR, 2023

2021
Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version).
CoRR, 2021

Accelerating JavaScript static analysis via dynamic shortcuts.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021


  Loading...