Search dblp for Publications

export results for "toc:db/journals/programming/programming8.bht:"

 download as .bib file

@article{DBLP:journals/programming/AkerblomC24,
  author       = {Beatrice {\AA}kerblom and
                  Elias Castegren},
  title        = {Arrays in Practice: An Empirical Study of Array Access Patterns on
                  the {JVM}},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/14},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/14},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/AkerblomC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/DoderleinRS24,
  author       = {Jean{-}Baptiste D{\"{o}}derlein and
                  Riemer van Rozen and
                  Tijs van der Storm},
  title        = {LiveRec: Prototyping Probes by Framing Debug Protocols},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/16},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/16},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/DoderleinRS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/GreenmanJKS24,
  author       = {Ben Greenman and
                  Alan Jeffrey and
                  Shriram Krishnamurthi and
                  Mitesh Shah},
  title        = {Privacy-Respecting Type Error Telemetry at Scale},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/12},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/12},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/GreenmanJKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/HideshimaSU24,
  author       = {Takato Hideshima and
                  Shigeyuki Sato and
                  Tomoharu Ugawa},
  title        = {Collective Allocator Abstraction to Control Object Spatial Locality
                  in {C++}},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/15},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/15},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/HideshimaSU24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/LiellCockS24,
  author       = {Jack Liell{-}Cock and
                  Tom Schrijvers},
  title        = {Let a Thousand Flowers Bloom: An Algebraic Representation for Edge
                  Graphs},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/9},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/9},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/LiellCockS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/OeyenKM24,
  author       = {Bjarno Oeyen and
                  Joeri De Koster and
                  Wolfgang De Meuter},
  title        = {Reactive Programming without Functions},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/11},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/11},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/OeyenKM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/ReinFRKH24,
  author       = {Patrick Rein and
                  Christian Flach and
                  Stefan Ramson and
                  Eva Krebs and
                  Robert Hirschfeld},
  title        = {Broadening the View of Live Programmers: Integrating a Cross-Cutting
                  Perspective on Run-Time Behavior into a Live Programming Environment},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/13},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/13},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/ReinFRKH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/ShimchenkoOW24,
  author       = {Marina Shimchenko and
                  Erik {\"{O}}sterlund and
                  Tobias Wrigstad},
  title        = {Scheduling Garbage Collection for Energy Efficiency on Asymmetric
                  Multicore Processors},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/10},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/10},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/ShimchenkoOW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/CastagnaDV23,
  author       = {Giuseppe Castagna and
                  Guillaume Duboc and
                  Jos{\'{e}} Valim},
  title        = {The Design Principles of the Elixir Type System},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {2},
  year         = {2023},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/4},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/4},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/CastagnaDV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/HahnleH23,
  author       = {Reiner H{\"{a}}hnle and
                  Ludovic Henrio},
  title        = {Provably Fair Cooperative Scheduling},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {2},
  year         = {2023},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/6},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/6},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/HahnleH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/LugovicM23,
  author       = {Lovro Lugovic and
                  Fabrizio Montesi},
  title        = {Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {2},
  year         = {2023},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/8},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/8},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/LugovicM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/OuedraogoSS23,
  author       = {Wendlasida Ouedraogo and
                  Gabriel Scherer and
                  Lutz Stra{\ss}burger},
  title        = {Coqlex: Generating Formally Verified Lexers},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {1},
  year         = {2023},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/3},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/3},
  timestamp    = {Thu, 17 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/OuedraogoSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/PimasMG23,
  author       = {Javier E. Pim{\'{a}}s and
                  Stefan Marr and
                  Diego Garbervetsky},
  title        = {Live Objects All The Way Down: Removing the Barriers between Applications
                  and Virtual Machines},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {2},
  year         = {2023},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/5},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/5},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/PimasMG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/PirtleJC23,
  author       = {Maxwell Pirtle and
                  Luka Jovanovic and
                  Gene Cooperman},
  title        = {McMini: {A} Programmable DPOR-Based Model Checker for Multithreaded
                  Programs},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {1},
  year         = {2023},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/1},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/1},
  timestamp    = {Thu, 17 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/PirtleJC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/PrasadGNK23,
  author       = {Siddhartha Prasad and
                  Ben Greenman and
                  Tim Nelson and
                  Shriram Krishnamurthi},
  title        = {Conceptual Mutation Testing for Student Programming Misconceptions},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {2},
  year         = {2023},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/7},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/7},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/PrasadGNK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/ThomasADPT23,
  author       = {Iona Thomas and
                  Vincent Aranega and
                  St{\'{e}}phane Ducasse and
                  Guillermo Polito and
                  Pablo Tesone},
  title        = {A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed
                  Languages},
  journal      = {Art Sci. Eng. Program.},
  volume       = {8},
  number       = {1},
  year         = {2023},
  url          = {https://doi.org/10.22152/programming-journal.org/2024/8/2},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/2},
  timestamp    = {Thu, 17 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/ThomasADPT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics