| 2025 |
J |
jnl |
CoRR
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
|
| 2025 |
J |
jnl |
Theory Pract. Log. Program.
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
|
| 2025 |
— |
conf |
SIGMOD Conference Companion
Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika
|
| 2025 |
J |
jnl |
CoRR
Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika
|
| 2024 |
— |
conf |
VMIL@SPLASH
Xiaowen Hu, David Zhao, Bernhard Scholz
|
| 2023 |
C |
conf |
PADL
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
|
| 2022 |
C |
conf |
LOPSTR
Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz
|
| 2022 |
J |
jnl |
Concurr. Comput. Pract. Exp.
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
|
| 2021 |
A* |
conf |
PLDI
Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz
|
| 2021 |
J |
jnl |
CoRR
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
|
| 2021 |
B |
conf |
APLAS
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
|
| 2021 |
C |
conf |
PPDP
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
|
| 2020 |
J |
jnl |
ACM Trans. Program. Lang. Syst.
David Zhao, Pavle Subotic, Bernhard Scholz
|
| 2020 |
J |
jnl |
Proc. ACM Program. Lang.
Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz
|
| 2019 |
B |
conf |
PPoPP
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
|
| 2019 |
— |
conf |
PMAM@PPoPP
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
|
| 2019 |
B |
conf |
PACT
Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz
|
| 2019 |
J |
jnl |
CoRR
David Zhao, Pavle Subotic, Bernhard Scholz
|
| 2019 |
— |
conf |
PLAS@CCS
Alexander Jordan, François Gauthier, Behnaz Hassanshahi, David Zhao
|
| 2018 |
J |
jnl |
CoRR
Alexander Jordan, François Gauthier, Behnaz Hassanshahi, David Zhao
|