( en | de | ru )

 

Disambiguation of "Wei, Guannan"

Author of the publication

copydeleteadd this publication to your clipboard
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation.

, , , , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 137:1-137:31 (2019)

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.

Guannan Jiang

Wei Wei

Wei Wei

Wei Wei

Wei Wei

 

Other publications of authors with the same name

Modeling Reachability Types with Logical Relations., , , and . CoRR, (2023)Reachability types: tracking aliasing and separation in higher-order functional programs., , , , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-32 (2021)BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation., , , , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 137:1-137:31 (2019)Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies., , , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 400-430 (October 2023)Staged abstract interpreters: fast and modular whole-program analysis via meta-programming., , and . Proc. ACM Program. Lang., 3 (OOPSLA): 126:1-126:32 (2019)What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)., , , and . Dagstuhl Artifacts Ser., 8 (2): 26:1-26:2 (2022)Compiling symbolic execution with staging and algebraic effects., , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 164:1-164:33 (2020)Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers., , , , and . CoRR, (2019)What If We Don't Pop the Stack? The Return of 2nd-Class Values., , , and . ECOOP, volume 222 of LIPIcs, page 15:1-15:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs., , , , and . CoRR, (2023)