• Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / art. 123, 28 p https://doi.org/10.1145/3547654 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/record/display.uri?eid=2-s2.0-85139198557&origin=inward&txGid=e75ae01255c4cd5b231f0881396286c0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000851562000034
• Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/record/display.uri?eid=2-s2.0-85099012661&origin=inward&txGid=881fbaa36ca71934205c760f58637ca6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000679806100057
• RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookaroundsVaratalu, Ian Erik; Veanes, Margus; Ernits, Juhan-PeepProceedings of the ACM on Programming Languages2024 / 32 p. : ill https://doi.org/10.1145/3704837 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/pages/publications/85215411817?origin=resultslist https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001470367300015
• SecRef★: Securely Sharing Mutable References betweenVerified and Unverified Code in F★Andrici, Cezar-Constantin; Ahman, Danel; Hritcu, Catalin; Icleanu, Ruxandra; Martinez, Guido; Rivas, Exequiel; Winterhalter, TheoProceedings of the ACM on Programming Languages2025 / art 253, p. 510-540 https://doi.org/10.1145/3747522 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/pages/publications/105012514748?origin=resultslist https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001579358200004
• Securing verified IO programs against unverified code in F∗Andrici, Cezar-Constantin; Ciobâca, Stefan; HriÅ£cu, Catalin; Martínez, Guido; Rivas, Exequiel; Tanter, Éric; Winterhalter, ThéoProceedings of the ACM on programming languages2024 / art. 74, 34 p. : ill https://doi.org/10.1145/3632916 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/pages/publications/85183076604?inward https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001170729400075
• Symbolic Automata: Omega-Regularity Modulo TheoriesVeanes, Margus; Ball, Thomas; Ebner, Gabriel; Zhuchko, EkaterinaProceedings of the ACM on Programming Languages2025 / art. 2, p. 33-66 : ill https://doi.org/10.1145/3704838 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/pages/publications/85215705975?origin=resultslist https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001470367300019