Search dblp for Publications

export results for "Lukas Lazarek"

 download as .bib file

@article{DBLP:journals/pacmpl/LazarekGFD23,
  author       = {Lukas Lazarek and
                  Ben Greenman and
                  Matthias Felleisen and
                  Christos Dimoulas},
  title        = {How to Evaluate Blame for Gradual Types, Part 2},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{ICFP}},
  pages        = {159--186},
  year         = {2023},
  url          = {https://doi.org/10.1145/3607836},
  doi          = {10.1145/3607836},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LazarekGFD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsports/PurtakLGG23,
  author       = {Sebastian Purtak and
                  Jagoda Lazarek and
                  Pawel G{\'{o}}ra and
                  Lukasz Gasiorowski},
  editor       = {Andrea Aliverti and
                  Carlo Capelli},
  title        = {Automated System for Indoor Sport Video Production},
  booktitle    = {Proceedings of the 11th International Conference on Sport Sciences
                  Research and Technology Support, icSPORTS 2023, Rome, Italy, November
                  16-17, 2023},
  pages        = {23--33},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0012159300003587},
  doi          = {10.5220/0012159300003587},
  timestamp    = {Mon, 11 Dec 2023 16:45:33 +0100},
  biburl       = {https://dblp.org/rec/conf/icsports/PurtakLGG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/programming/GreenmanLDF22,
  author       = {Ben Greenman and
                  Lukas Lazarek and
                  Christos Dimoulas and
                  Matthias Felleisen},
  title        = {A Transient Semantics for Typed Racket},
  journal      = {Art Sci. Eng. Program.},
  volume       = {6},
  number       = {2},
  pages        = {9},
  year         = {2022},
  url          = {https://doi.org/10.22152/programming-journal.org/2022/6/9},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2022/6/9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/GreenmanLDF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/LazarekGFD21,
  author       = {Lukas Lazarek and
                  Ben Greenman and
                  Matthias Felleisen and
                  Christos Dimoulas},
  title        = {How to evaluate blame for gradual types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{ICFP}},
  pages        = {1--29},
  year         = {2021},
  url          = {https://doi.org/10.1145/3473573},
  doi          = {10.1145/3473573},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LazarekGFD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2111-10411,
  author       = {Ben Greenman and
                  Lukas Lazarek and
                  Christos Dimoulas and
                  Matthias Felleisen},
  title        = {A Transient Semantics for Typed Racket},
  journal      = {CoRR},
  volume       = {abs/2111.10411},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.10411},
  eprinttype    = {arXiv},
  eprint       = {2111.10411},
  timestamp    = {Fri, 26 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-10411.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2112-02461,
  author       = {Roshan Shyamsunder and
                  Lukas Lazarek and
                  Christos Dimoulas and
                  Aleksandar Kuzmanovic},
  title        = {Multilateral Micro-Monitoring for Internet Streaming},
  journal      = {CoRR},
  volume       = {abs/2112.02461},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.02461},
  eprinttype    = {arXiv},
  eprint       = {2112.02461},
  timestamp    = {Tue, 07 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-02461.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/LazarekKSFD20,
  author       = {Lukas Lazarek and
                  Alexis King and
                  Samanvitha Sundar and
                  Robert Bruce Findler and
                  Christos Dimoulas},
  title        = {Does blame shifting work?},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {65:1--65:29},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371133},
  doi          = {10.1145/3371133},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LazarekKSFD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/WongMLK18,
  author       = {Chu{-}Pan Wong and
                  Jens Meinicke and
                  Lukas Lazarek and
                  Christian K{\"{a}}stner},
  title        = {Faster variational execution with transparent bytecode transformation},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{OOPSLA}},
  pages        = {117:1--117:30},
  year         = {2018},
  url          = {https://doi.org/10.1145/3276487},
  doi          = {10.1145/3276487},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/WongMLK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1809-04193,
  author       = {Chu{-}Pan Wong and
                  Jens Meinicke and
                  Lukas Lazarek and
                  Christian K{\"{a}}stner},
  title        = {Faster Variational Execution with Transparent Bytecode Transformation},
  journal      = {CoRR},
  volume       = {abs/1809.04193},
  year         = {2018},
  url          = {http://arxiv.org/abs/1809.04193},
  eprinttype    = {arXiv},
  eprint       = {1809.04193},
  timestamp    = {Fri, 05 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-04193.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/Lazarek17,
  author       = {Lukas Lazarek},
  editor       = {Gail C. Murphy},
  title        = {How to efficiently process \({}^{\mbox{100}}\) list variations},
  booktitle    = {Proceedings Companion of the 2017 {ACM} {SIGPLAN} International Conference
                  on Systems, Programming, Languages, and Applications: Software for
                  Humanity, {SPLASH} 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
  pages        = {36--38},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3135932.3135951},
  doi          = {10.1145/3135932.3135951},
  timestamp    = {Tue, 06 Nov 2018 16:57:15 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/Lazarek17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.