Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/birthday/Bender24,
  author       = {John Bender},
  editor       = {Mayur Naik and
                  Fernando Magno Quint{\~{a}}o Pereira and
                  Ben L. Titzer},
  title        = {Correct Compilation of Concurrent {C} Code},
  booktitle    = {Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion
                  of His 60th Birthday, {JENSFEST} 2024, Pasadena, CA, USA, 22 October
                  2024},
  pages        = {39--42},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3694848.3694856},
  doi          = {10.1145/3694848.3694856},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Bender24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Danvy24,
  author       = {Olivier Danvy},
  editor       = {Mayur Naik and
                  Fernando Magno Quint{\~{a}}o Pereira and
                  Ben L. Titzer},
  title        = {Nested Summations},
  booktitle    = {Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion
                  of His 60th Birthday, {JENSFEST} 2024, Pasadena, CA, USA, 22 October
                  2024},
  pages        = {53--58},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3694848.3694858},
  doi          = {10.1145/3694848.3694858},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Danvy24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DingZ24,
  author       = {Shuo Ding and
                  Qirun Zhang},
  editor       = {Mayur Naik and
                  Fernando Magno Quint{\~{a}}o Pereira and
                  Ben L. Titzer},
  title        = {The Normalization Barrier Revisited},
  booktitle    = {Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion
                  of His 60th Birthday, {JENSFEST} 2024, Pasadena, CA, USA, 22 October
                  2024},
  pages        = {1--4},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3694848.3694851},
  doi          = {10.1145/3694848.3694851},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/DingZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Forden0BB24,
  author       = {Jack Forden and
                  Alexander Gebhard and
                  Maverick Berner and
                  Dennis Brylow},
  editor       = {Mayur Naik and
                  Fernando Magno Quint{\~{a}}o Pereira and
                  Ben L. Titzer},
  title        = {MiniJava on {RISC-V:} {A} Game of Global Compilers Domination},
  booktitle    = {Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion
                  of His 60th Birthday, {JENSFEST} 2024, Pasadena, CA, USA, 22 October
                  2024},
  pages        = {21--29},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3694848.3694854},
  doi          = {10.1145/3694848.3694854},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Forden0BB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KesimG24,
  author       = {{\"{O}}zg{\"{u}}r Kesim and
                  Christian Grothoff},
  editor       = {Mayur Naik and
                  Fernando Magno Quint{\~{a}}o Pereira and
                  Ben L. Titzer},
  title        = {Lost and Found in the Fog of Trust},
  booktitle    = {Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion
                  of His 60th Birthday, {JENSFEST} 2024, Pasadena, CA, USA, 22 October
                  2024},
  pages        = {14--20},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3694848.3694853},
  doi          = {10.1145/3694848.3694853},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/KesimG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Mosses24,
  author       = {Peter D. Mosses},
  editor       = {Mayur Naik and
                  Fernando Magno Quint{\~{a}}o Pereira and
                  Ben L. Titzer},
  title        = {Towards Verification of a Denotational Semantics of Inheritance},
  booktitle    = {Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion
                  of His 60th Birthday, {JENSFEST} 2024, Pasadena, CA, USA, 22 October
                  2024},
  pages        = {5--13},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3694848.3694852},
  doi          = {10.1145/3694848.3694852},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Mosses24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/PereiraR24,
  author       = {Fernando Magno Quint{\~{a}}o Pereira and
                  Caio Raposo},
  editor       = {Mayur Naik and
                  Fernando Magno Quint{\~{a}}o Pereira and
                  Ben L. Titzer},
  title        = {The Essence of the Flyweight Design Pattern},
  booktitle    = {Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion
                  of His 60th Birthday, {JENSFEST} 2024, Pasadena, CA, USA, 22 October
                  2024},
  pages        = {30--38},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3694848.3694855},
  doi          = {10.1145/3694848.3694855},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/PereiraR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/TeoT24,
  author       = {Bradley Wei Jie Teo and
                  Ben L. Titzer},
  editor       = {Mayur Naik and
                  Fernando Magno Quint{\~{a}}o Pereira and
                  Ben L. Titzer},
  title        = {Unboxing Virgil ADTs for Fun and Profit},
  booktitle    = {Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion
                  of His 60th Birthday, {JENSFEST} 2024, Pasadena, CA, USA, 22 October
                  2024},
  pages        = {43--52},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3694848.3694857},
  doi          = {10.1145/3694848.3694857},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/TeoT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2024palsberg,
  editor       = {Mayur Naik and
                  Fernando Magno Quint{\~{a}}o Pereira and
                  Ben L. Titzer},
  title        = {Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion
                  of His 60th Birthday, {JENSFEST} 2024, Pasadena, CA, USA, 22 October
                  2024},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3694848},
  doi          = {10.1145/3694848},
  isbn         = {979-8-4007-1257-9},
  timestamp    = {Thu, 28 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/2024palsberg.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}