Search dblp for Publications

• > Home > Search

@article{DBLP:journals/toplas/BassoPRB23,
  author       = {Matteo Basso and
                  Aleksandar Prokopec and
                  Andrea Ros{\`{a}} and
                  Walter Binder},
  title        = {Optimization-Aware Compiler-Level Event Profiling},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {2},
  pages        = {10:1--10:50},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591473},
  doi          = {10.1145/3591473},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/BassoPRB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BoruchGruszeckiOLLB23,
  author       = {Aleksander Boruch{-}Gruszecki and
                  Martin Odersky and
                  Edward Lee and
                  Ondrej Lhot{\'{a}}k and
                  Jonathan Immanuel Brachth{\"{a}}user},
  title        = {Capturing Types},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {4},
  pages        = {21:1--21:52},
  year         = {2023},
  url          = {https://doi.org/10.1145/3618003},
  doi          = {10.1145/3618003},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BoruchGruszeckiOLLB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ChargueraudCEG23,
  author       = {Arthur Chargu{\'{e}}raud and
                  Adam Chlipala and
                  Andres Erbsen and
                  Samuel Gruetter},
  title        = {Omnisemantics: Smooth Handling of Nondeterminism},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {1},
  pages        = {5:1--5:43},
  year         = {2023},
  url          = {https://doi.org/10.1145/3579834},
  doi          = {10.1145/3579834},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/ChargueraudCEG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ChiariMPP23,
  author       = {Michele Chiari and
                  Dino Mandrioli and
                  Francesco Pontiggia and
                  Matteo Pradella},
  title        = {A Model Checker for Operator Precedence Languages},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {3},
  pages        = {19:1--19:66},
  year         = {2023},
  url          = {https://doi.org/10.1145/3608443},
  doi          = {10.1145/3608443},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/ChiariMPP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Danvy23,
  author       = {Olivier Danvy},
  title        = {The Tortoise and the Hare Algorithm for Finite Lists, Compositionally},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {1},
  pages        = {1:1--1:35},
  year         = {2023},
  url          = {https://doi.org/10.1145/3564619},
  doi          = {10.1145/3564619},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/Danvy23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/EconomouKD23,
  author       = {Dimitrios J. Economou and
                  Neel Krishnaswami and
                  Jana Dunfield},
  title        = {Focusing on Refinement Typing},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {4},
  pages        = {22:1--22:62},
  year         = {2023},
  url          = {https://doi.org/10.1145/3610408},
  doi          = {10.1145/3610408},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/EconomouKD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/FanSH23,
  author       = {Hongyu Fan and
                  Zhihang Sun and
                  Fei He},
  title        = {Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and
                  {PSO} Memory Models},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {1},
  pages        = {6:1--6:37},
  year         = {2023},
  url          = {https://doi.org/10.1145/3579835},
  doi          = {10.1145/3579835},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/FanSH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GreenmanDF23,
  author       = {Ben Greenman and
                  Christos Dimoulas and
                  Matthias Felleisen},
  title        = {Typed-Untyped Interactions: {A} Comparative Analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {1},
  pages        = {4:1--4:54},
  year         = {2023},
  url          = {https://doi.org/10.1145/3579833},
  doi          = {10.1145/3579833},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/GreenmanDF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/HaselwarterRMWASHMS23,
  author       = {Philipp G. Haselwarter and
                  Exequiel Rivas and
                  Antoine Van Muylder and
                  Th{\'{e}}o Winterhalter and
                  Carmine Abate and
                  Nikolaj Sidorenco and
                  Catalin Hritcu and
                  Kenji Maillard and
                  Bas Spitters},
  title        = {SSProve: {A} Foundational Framework for Modular Cryptographic Proofs
                  in Coq},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {3},
  pages        = {15:1--15:61},
  year         = {2023},
  url          = {https://doi.org/10.1145/3594735},
  doi          = {10.1145/3594735},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HaselwarterRMWASHMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/HietalaRLHWH23,
  author       = {Kesha Hietala and
                  Robert Rand and
                  Liyi Li and
                  Shih{-}Han Hung and
                  Xiaodi Wu and
                  Michael Hicks},
  title        = {A Verified Optimizer for Quantum Circuits},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {3},
  pages        = {18:1--18:35},
  year         = {2023},
  url          = {https://doi.org/10.1145/3604630},
  doi          = {10.1145/3604630},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HietalaRLHWH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/HuLHKCS23,
  author       = {Jingmei Hu and
                  Eric Lu and
                  David A. Holland and
                  Ming Kawaguchi and
                  Stephen Chong and
                  Margo I. Seltzer},
  title        = {Towards Porting Operating Systems with Program Synthesis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {1},
  pages        = {2:1--2:70},
  year         = {2023},
  url          = {https://doi.org/10.1145/3563943},
  doi          = {10.1145/3563943},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/HuLHKCS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/JiaKT23,
  author       = {Xiaodong Jia and
                  Ashish Kumar and
                  Gang Tan},
  title        = {A Derivative-based Parser Generator for Visibly Pushdown Grammars},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {2},
  pages        = {9:1--9:68},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591472},
  doi          = {10.1145/3591472},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/JiaKT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LeeLOY23,
  author       = {DongKwon Lee and
                  Woosuk Lee and
                  Hakjoo Oh and
                  Kwangkeun Yi},
  title        = {Optimizing Homomorphic Evaluation Circuits by Program Synthesis and
                  Time-bounded Exhaustive Search},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {3},
  pages        = {16:1--16:37},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591622},
  doi          = {10.1145/3591622},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LeeLOY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MuraliPLM23,
  author       = {Adithya Murali and
                  Lucas Pe{\~{n}}a and
                  Christof L{\"{o}}ding and
                  P. Madhusudan},
  title        = {A First-order Logic with Frames},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {2},
  pages        = {7:1--7:44},
  year         = {2023},
  url          = {https://doi.org/10.1145/3583057},
  doi          = {10.1145/3583057},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/MuraliPLM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/RichterKWSFM23,
  author       = {David Richter and
                  David Kretzler and
                  Pascal Weisenburger and
                  Guido Salvaneschi and
                  Sebastian Faust and
                  Mira Mezini},
  title        = {Prisma : {A} Tierless Language for Enforcing Contract-client Protocols
                  in Decentralized Applications},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {3},
  pages        = {17:1--17:41},
  year         = {2023},
  url          = {https://doi.org/10.1145/3604629},
  doi          = {10.1145/3604629},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/RichterKWSFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/RungeSPS23,
  author       = {Tobias Runge and
                  Marco Servetto and
                  Alex Potanin and
                  Ina Schaefer},
  title        = {Immutability and Encapsulation for Sound {OO} Information Flow Control},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {1},
  pages        = {3:1--3:35},
  year         = {2023},
  url          = {https://doi.org/10.1145/3573270},
  doi          = {10.1145/3573270},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/RungeSPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SanchezSternFZKBR23,
  author       = {Alex Sanchez{-}Stern and
                  Emily First and
                  Timothy Zhou and
                  Zhanna Kaufman and
                  Yuriy Brun and
                  Talia Ringer},
  title        = {Passport: Improving Automated Formal Verification Using Identifiers},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {2},
  pages        = {12:1--12:30},
  year         = {2023},
  url          = {https://doi.org/10.1145/3593374},
  doi          = {10.1145/3593374},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/SanchezSternFZKBR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ScottJW23,
  author       = {Elizabeth Scott and
                  Adrian Johnstone and
                  Robert Walsh},
  title        = {Multiple Input Parsing and Lexical Analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {3},
  pages        = {14:1--14:44},
  year         = {2023},
  url          = {https://doi.org/10.1145/3594734},
  doi          = {10.1145/3594734},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/ScottJW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SoaresCP23,
  author       = {Luigi Soares and
                  Michael Canesche and
                  Fernando Magno Quint{\~{a}}o Pereira},
  title        = {Side-channel Elimination via Partial Control-flow Linearization},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {2},
  pages        = {13:1--13:43},
  year         = {2023},
  url          = {https://doi.org/10.1145/3594736},
  doi          = {10.1145/3594736},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/SoaresCP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ToroDANAOT23,
  author       = {Mat{\'{\i}}as Toro and
                  David Darais and
                  Chike Abuah and
                  Joseph P. Near and
                  Dami{\'{a}}n {\'{A}}rquez and
                  Federico Olmedo and
                  {\'{E}}ric Tanter},
  title        = {Contextual Linear Types for Differential Privacy},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {2},
  pages        = {8:1--8:69},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589207},
  doi          = {10.1145/3589207},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/ToroDANAOT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/VukasovicP23,
  author       = {Maja Vukasovic and
                  Aleksandar Prokopec},
  title        = {Exploiting Partially Context-sensitive Profiles to Improve Performance
                  of Hot Code},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {4},
  pages        = {20:1--20:64},
  year         = {2023},
  url          = {https://doi.org/10.1145/3612937},
  doi          = {10.1145/3612937},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/VukasovicP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/YipGRB23,
  author       = {Eugene Yip and
                  Alain Girault and
                  Partha S. Roop and
                  Morteza Biglari{-}Abhari},
  title        = {Synchronous Deterministic Parallel Programming for Multi-Cores with
                  ForeC},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {2},
  pages        = {11:1--11:74},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591594},
  doi          = {10.1145/3591594},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/YipGRB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}