• Qian K, Smith S, Stride B, Weng S and Wu K. (2024). Semantic-Type-Guided Bug Finding. Proceedings of the ACM on Programming Languages. 8:OOPSLA2. (2183-2210). Online publication date: 8-Oct-2024.

    https://doi.org/10.1145/3689788

  • Moy C, Nguyễn P, Tobin-Hochstadt S and Van Horn D. (2021). Corpse reviver: sound and efficient gradual typing via contract verification. Proceedings of the ACM on Programming Languages. 5:POPL. (1-28). Online publication date: 4-Jan-2021.

    https://doi.org/10.1145/3434334

  • Song D, Lee M and Oh H. (2019). Automatic and scalable detection of logical errors in functional programming assignments. Proceedings of the ACM on Programming Languages. 3:OOPSLA. (1-30). Online publication date: 10-Oct-2019.

    https://doi.org/10.1145/3360614

  • Schuster C and Flanagan C. IDVE. Companion Proceedings of the 3rd International Conference on the Art, Science, and Engineering of Programming. (1-16).

    https://doi.org/10.1145/3328433.3328453

  • Lin Y and Tzevelekos N. (2019). A Bounded Model Checking Technique for Higher-Order Programs. Dependable Software Engineering. Theories, Tools, and Applications. 10.1007/978-3-030-35540-1_1. (1-18).

    http://link.springer.com/10.1007/978-3-030-35540-1_1

  • Selakovic M, Pradel M, Karim R and Tip F. (2018). Test generation for higher-order functions in dynamic languages. Proceedings of the ACM on Programming Languages. 2:OOPSLA. (1-27). Online publication date: 24-Oct-2018.

    https://doi.org/10.1145/3276531

  • Vazou N, Tanter É and Van Horn D. (2018). Gradual liquid type inference. Proceedings of the ACM on Programming Languages. 2:OOPSLA. (1-25). Online publication date: 24-Oct-2018.

    https://doi.org/10.1145/3276502

  • LOPEZ-GARCIA P, DARMAWAN L, KLEMEN M, LIQAT U, BUENO F and HERMENEGILDO M. (2018). Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory and Practice of Logic Programming. 10.1017/S1471068418000042. 18:02. (167-223). Online publication date: 1-Mar-2018.

    https://www.cambridge.org/core/product/identifier/S1471068418000042/type/journal_article

  • Nguyễn P, Gilray T, Tobin-Hochstadt S and Van Horn D. (2017). Soft contract verification for higher-order stateful programs. Proceedings of the ACM on Programming Languages. 2:POPL. (1-30). Online publication date: 1-Jan-2018.

    https://doi.org/10.1145/3158139

  • Stulova N, Morales J and Hermenegildo M. (2018). Exploiting Term Hiding to Reduce Run-Time Checking Overhead. Practical Aspects of Declarative Languages. 10.1007/978-3-319-73305-0_7. (99-115).

    http://link.springer.com/10.1007/978-3-319-73305-0_7

  • Darais D, Labich N, Nguyen P and Van Horn D. (2017). Abstracting definitional interpreters (functional pearl). Proceedings of the ACM on Programming Languages. 1:ICFP. (1-25). Online publication date: 29-Aug-2017.

    https://doi.org/10.1145/3110256

  • Madhavan R, Kulal S and Kuncak V. (2017). Contract-based resource verification for higher-order functions with memoization. ACM SIGPLAN Notices. 52:1. (330-343). Online publication date: 11-May-2017.

    https://doi.org/10.1145/3093333.3009874

  • Madhavan R, Kulal S and Kuncak V. Contract-based resource verification for higher-order functions with memoization. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. (330-343).

    https://doi.org/10.1145/3009837.3009874

  • NGUYÊN P, TOBIN-HOCHSTADT S and VAN HORN D. (2016). Higher order symbolic execution for contract verification and refutation. Journal of Functional Programming. 10.1017/S0956796816000216. 27.

    https://www.cambridge.org/core/product/identifier/S0956796816000216/type/journal_article

  • Dimoulas C, New M, Findler R and Felleisen M. (2016). Oh Lord, please don't let contracts be misunderstood (functional pearl). ACM SIGPLAN Notices. 51:9. (117-131). Online publication date: 5-Dec-2016.

    https://doi.org/10.1145/3022670.2951930

  • Watanabe K, Sato R, Tsukada T and Kobayashi N. (2016). Automatically disproving fair termination of higher-order functional programs. ACM SIGPLAN Notices. 51:9. (243-255). Online publication date: 5-Dec-2016.

    https://doi.org/10.1145/3022670.2951919

  • Dimoulas C, New M, Findler R and Felleisen M. Oh Lord, please don't let contracts be misunderstood (functional pearl). Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. (117-131).

    https://doi.org/10.1145/2951913.2951930

  • Watanabe K, Sato R, Tsukada T and Kobayashi N. Automatically disproving fair termination of higher-order functional programs. Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. (243-255).

    https://doi.org/10.1145/2951913.2951919

  • Zhu H, Petri G and Jagannathan S. (2016). Automatically learning shape specifications. ACM SIGPLAN Notices. 51:6. (491-507). Online publication date: 1-Aug-2016.

    https://doi.org/10.1145/2980983.2908125

  • Zhu H, Petri G and Jagannathan S. Automatically learning shape specifications. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. (491-507).

    https://doi.org/10.1145/2908080.2908125

  • Zhu H, Nori A and Jagannathan S. (2015). Learning refinement types. ACM SIGPLAN Notices. 50:9. (400-411). Online publication date: 18-Dec-2015.

    https://doi.org/10.1145/2858949.2784766

  • Zhu H, Nori A and Jagannathan S. Learning refinement types. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. (400-411).

    https://doi.org/10.1145/2784731.2784766

  • Nguyễn P and Van Horn D. (2015). Relatively complete counterexamples for higher-order programs. ACM SIGPLAN Notices. 50:6. (446-456). Online publication date: 7-Aug-2015.

    https://doi.org/10.1145/2813885.2737971

  • Kolesar J, Piskac R and Hallahan W. (2022). Checking equivalence in a non-strict language. Proceedings of the ACM on Programming Languages. 6:OOPSLA2. (1469-1496). Online publication date: 31-Oct-2022.

    https://doi.org/10.1145/3563340

  • You S, Findler R and Dimoulas C. (2021). Sound and Complete Concolic Testing for Higher-order Functions. Programming Languages and Systems. 10.1007/978-3-030-72019-3_23. (635-663).

    http://link.springer.com/10.1007/978-3-030-72019-3_23

  • Hallahan W, Xue A, Bland M, Jhala R and Piskac R. Lazy counterfactual symbolic execution. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. (411-424).

    https://doi.org/10.1145/3314221.3314618