Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Self-certifying Compilation Framework for WebAssembly., and . VMCAI, volume 12597 of Lecture Notes in Computer Science, page 127-148. Springer, (2021)Data-Driven System Level Synthesis., and . L4DC, volume 144 of Proceedings of Machine Learning Research, page 189-200. PMLR, (2021)Lazy counterfactual symbolic execution., , , , and . PLDI, page 411-424. ACM, (2019)Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks., , , , , and . CDC, page 3389-3396. IEEE, (2022)Chordal sparsity for SDP-based neural network verification., , and . Autom., (2024)TYGR: Type Inference on Stripped Binaries using Graph Neural Networks., , , , , , , , , and 4 other author(s). USENIX Security Symposium, USENIX Association, (2024)G2Q: Haskell constraint solving., , and . Haskell@ICFP, page 44-57. ACM, (2019)Synchronization Schemas., , , , , , , , and . PODS, page 1-18. ACM, (2021)Data-Driven System Level Synthesis., and . CoRR, (2020)