William T. Hallahan
发表
Nick McKeown,
Robert Soulé,
Han Wang,
2018,
SIGCOMM.
Ruzica Piskac,
William T. Hallahan,
Ennan Zhai,
2020,
Formal Methods Syst. Des..
Ruzica Piskac,
Ranjit Jhala,
William T. Hallahan,
2019,
PLDI.
Ruzica Piskac,
William T. Hallahan,
Ennan Zhai,
2017,
Formal Methods in System Design.
Ruzica Piskac,
William T. Hallahan,
Anton Xue,
2019,
Haskell@ICFP.
Ruzica Piskac,
Mark Santolucito,
William T. Hallahan,
2019,
CHI Extended Abstracts.
Ruzica Piskac,
Robert Soulé,
Nate Foster,
2021,
NSDI.
William T. Hallahan,
Anton Xue,
2017
.
William T. Hallahan,
Anton Xue,
2019
.
William T. Hallahan,
2017
.
William T. Hallahan,
C. Ballantine,
2014,
1412.1431.
William T. Hallahan,
R. Piskac,
John C. Kolesar,
2022,
Proc. ACM Program. Lang..
William T. Hallahan,
Jeongkeun Lee,
N. McKeown,
2018,
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication.
Ruzica Piskac,
Mark Santolucito,
William T. Hallahan,
2020,
AAAI.