Search dblp for Publications

• > Home > Search

@article{DBLP:journals/toplas/DinHHJPT24,
  author       = {Crystal Chang Din and
                  Reiner H{\"{a}}hnle and
                  Ludovic Henrio and
                  Einar Broch Johnsen and
                  Violet Ka I Pun and
                  Silvia Lizeth Tapia Tarifa},
  title        = {Locally Abstract, Globally Concrete Semantics of Concurrent Programming
                  Languages},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {1},
  pages        = {3:1--3:58},
  year         = {2024},
  url          = {https://doi.org/10.1145/3648439},
  doi          = {10.1145/3648439},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/DinHHJPT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GiacobazziMP24,
  author       = {Roberto Giacobazzi and
                  Isabella Mastroeni and
                  Elia Perantoni},
  title        = {Adversities in Abstract Interpretation - Accommodating Robustness
                  by Abstract Interpretation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {2},
  pages        = {5},
  year         = {2024},
  url          = {https://doi.org/10.1145/3649309},
  doi          = {10.1145/3649309},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/GiacobazziMP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GiallorenzoMP24,
  author       = {Saverio Giallorenzo and
                  Fabrizio Montesi and
                  Marco Peressotti},
  title        = {Choral: Object-oriented Choreographic Programming},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {1},
  pages        = {1:1--1:59},
  year         = {2024},
  url          = {https://doi.org/10.1145/3632398},
  doi          = {10.1145/3632398},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/GiallorenzoMP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/HaasMYBM24,
  author       = {Julian Haas and
                  Ragnar Mogk and
                  Elena Yanakieva and
                  Annette Bieniusa and
                  Mira Mezini},
  title        = {LoRe: {A} Programming Model for Verifiably Safe Local-first Software},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {1},
  pages        = {2:1--2:26},
  year         = {2024},
  url          = {https://doi.org/10.1145/3633769},
  doi          = {10.1145/3633769},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/HaasMYBM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/JiZXWZH24,
  author       = {Ruyi Ji and
                  Yuwei Zhao and
                  Yingfei Xiong and
                  Di Wang and
                  Lu Zhang and
                  Zhenjiang Hu},
  title        = {Decomposition-based Synthesis for Applying Divide-and-Conquer-like
                  Algorithmic Paradigms},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {2},
  pages        = {8},
  year         = {2024},
  url          = {https://doi.org/10.1145/3648440},
  doi          = {10.1145/3648440},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/JiZXWZH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/NougrahiyaN24,
  author       = {Aman Nougrahiya and
                  V. Krishna Nandivada},
  title        = {Homeostasis: Design and Implementation of a Self-Stabilizing Compiler},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {2},
  pages        = {6},
  year         = {2024},
  url          = {https://doi.org/10.1145/3649308},
  doi          = {10.1145/3649308},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/NougrahiyaN24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SistlaCR24,
  author       = {Meghana Aparna Sistla and
                  Swarat Chaudhuri and
                  Thomas W. Reps},
  title        = {CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {2},
  pages        = {7},
  year         = {2024},
  url          = {https://doi.org/10.1145/3651157},
  doi          = {10.1145/3651157},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/SistlaCR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SteinCS24,
  author       = {Benno Stein and
                  Bor{-}Yuh Evan Chang and
                  Manu Sridharan},
  title        = {Interactive Abstract Interpretation with Demanded Summarization},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {1},
  pages        = {4:1--4:40},
  year         = {2024},
  url          = {https://doi.org/10.1145/3648441},
  doi          = {10.1145/3648441},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/SteinCS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}