Victor Deng

Orcid: 0000-0002-7871-0147

According to our database¹, Victor Deng authored at least 5 papers between 2022 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

On the computational complexity of JavaScript regex matching.

[BibT_eX]

[DOI]

Victor Deng

Aurèle Barrière

Clément Pit-Claudel

CoRR, March, 2026

Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications.

[BibT_eX]

[DOI]

Aurèle Barrière

Victor Deng

Clément Pit-Claudel

Proc. ACM Program. Lang., 2026

2025

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications.

[BibT_eX]

[DOI]

Aurèle Barrière

Victor Deng

Clément Pit-Claudel

CoRR, July, 2025

Investigating the Sensitivity of Pre-trained Audio Embeddings to Common Effects.

[BibT_eX]

[DOI]

Proceedings of the 2025 IEEE International Conference on Acoustics, 2025

2022

Geodesic Quantum Walks.

[BibT_eX]

[DOI]

Giuseppe Di Molfetta

Victor Deng

CoRR, 2022

Victor Deng

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...