Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing H Goldstein, J Hughes, L Lampropoulos, BC Pierce European Symposium on Programming, 264-291, 2021 | 17 | 2021 |
Etna: An Evaluation Platform for Property-Based Testing (Experience Report) J Shi, A Keles, H Goldstein, BC Pierce, L Lampropoulos Proceedings of the ACM on Programming Languages 7 (ICFP), 878-894, 2023 | 4 | 2023 |
Parsing randomness H Goldstein, BC Pierce Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 89-113, 2022 | 4 | 2022 |
Reflecting on Random Generation H Goldstein, S Frohlich, M Wang, BC Pierce Proceedings of the ACM on Programming Languages 7 (ICFP), 322-355, 2023 | 3 | 2023 |
Some Problems with Properties H GOLDSTEIN, JW CUTLER, A STEIN, BC PIERCE, A HEAD | 2 | 2022 |
Property-Based Testing in Practice H Goldstein, JW Cutler, D Dickstein, BC Pierce, A Head Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | | 2024 |
Tyche: In Situ Analysis of Random Testing Effectiveness H Goldstein, BC Pierce, A Head Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface …, 2023 | | 2023 |
Stream Types JW Cutler, C Watson, P Hilliard, H Goldstein, C Stanford, BC Pierce arXiv preprint arXiv:2307.09553, 2023 | | 2023 |
Everybody Clap Your Hands: The Cha-Cha Slide is Turing Complete H GOLDSTEIN SIGBOVIK, 2022 | | 2022 |
Programming Language Support for Natural Language Interaction A Renda, H Goldstein, S Bird, C Quirk, A Sampson 2018 SysML conference, 2018 | | 2018 |
Abstractions for AI-Based User Interfaces and Systems A Renda, H Goldstein, S Bird, C Quirk, A Sampson arXiv preprint arXiv:1709.04991, 2017 | | 2017 |
Typed Interactions for NLU in Opal H Goldstein | | 2017 |
Delimited Continuations and Monads H GOLDSTEIN | | |