default search action
Search dblp for Publications
export results for "Lukas Lazarek"
@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}, 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}, year = {2023}, crossref = {DBLP:conf/icsports/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}, 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}, year = {2017}, crossref = {DBLP:conf/oopsla/2017c}, 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} }
@proceedings{DBLP:conf/icsports/2023, editor = {Andrea Aliverti and Carlo Capelli}, title = {Proceedings of the 11th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2023, Rome, Italy, November 16-17, 2023}, publisher = {{SCITEPRESS}}, year = {2023}, isbn = {978-989-758-673-6}, timestamp = {Mon, 16 Sep 2024 07:53:37 +0200}, biburl = {https://dblp.org/rec/conf/icsports/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/oopsla/2017c, editor = {Gail C. Murphy}, title = {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}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3135932}, doi = {10.1145/3135932}, isbn = {978-1-4503-5514-8}, timestamp = {Mon, 16 Sep 2024 07:53:37 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/2017c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.