‹Programming› 2024
8th International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2024)
Powered by
Conference Publishing Consulting

8th International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2024), March 11–15, 2024, Lund, Sweden

‹Programming› 2024 – Author Index

Contents - Abstracts - Authors

A B C D E G H I J K L M N O P R S T V W X

Attaullah, Hasina ‹Programming› Companion '24: "The Next-Gen Interactive Runtime ..." Article: prog24posters-id1-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660833
Barash, Mikhail ‹Programming› Companion '24: "Containers for GUI Models ..." Article: prog24posters-id4-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660830
Baudry, Benoit ‹Programming› Companion '24: "Programming Algorithmic Art ..." Article: prog24key-key1-p (type: Keynote) doi:10.1145/3660829.3661026
Björkman, Moa ‹Programming› Companion '24: "Ironies of Programming Automation: ..." Article: prog24progai-p01-p (type: Full Paper) doi:10.1145/3660829.3660835
Böhme, Lukas ‹Programming› Companion '24: "Faster Feedback with AI? A ..." Article: prog24progai-p03-p (type: Full Paper) doi:10.1145/3660829.3660837
Church, Luke ‹Programming› Companion '24: "Ironies of Programming Automation: ..." Article: prog24progai-p01-p (type: Full Paper) doi:10.1145/3660829.3660835
Codognet, Philippe ‹Programming› Companion '24: "A Constraint Programming Approach ..." Article: prog24qp-id5-p (type: Full Paper (8 pages)) doi:10.1145/3660829.3660850
De Meuter, Wolfgang ‹Programming› Companion '24: "A Virtual Machine for Higher-Order ..." Article: prog24morevms-id2-p (type: Full Paper (4 pages, excl. references)) doi:10.1145/3660829.3660840
Dörbandt, Marius ‹Programming› Companion '24: "Implementing Babylonian/G ..." Article: prog24px-id11-p (type: Full Paper) doi:10.1145/3660829.3660847
Engström, Joel ‹Programming› Companion '24: "Ironies of Programming Automation: ..." Article: prog24progai-p01-p (type: Full Paper) doi:10.1145/3660829.3660835
Ernst, Erik ‹Programming› Companion '24: "Recent Evolution of Dart: ..." Article: prog24key-key2-p (type: Keynote) doi:10.1145/3660829.3661027
Gonzalez Boix, Elisa ‹Programming› Companion '24: "BoaSpect: An Expressive Instrumentation ..." Article: prog24morevms-id3-p (type: Full Paper (4 pages, excl. references)) doi:10.1145/3660829.3660839
Haller, Philipp ‹Programming› Companion '24: "Lightweight Affine Types for ..." Article: prog24vimpl-key2-p (type: Keynote) doi:10.1145/3660829.3661033
Heander, Lo ‹Programming› Companion '24: "Design of Flexible Code Block ..." Article: prog24px-id6-p (type: Full Paper) doi:10.1145/3660829.3660842
Hirschfeld, Robert ‹Programming› Companion '24: "Faster Feedback with AI? A ..." Article: prog24progai-p03-p (type: Full Paper) doi:10.1145/3660829.3660837 ‹Programming› Companion '24: "Implementing Babylonian/G ..." Article: prog24px-id11-p (type: Full Paper) doi:10.1145/3660829.3660847 ‹Programming› Companion '24: "Unanticipated Progress Indication: ..." Article: prog24px-id7-p (type: Full Paper) doi:10.1145/3660829.3660843 ‹Programming› Companion '24: "Multi-threaded OpenSmalltalk ..." Article: prog24px-id10-p (type: Full Paper) doi:10.1145/3660829.3660846 ‹Programming› Companion '24: "Examples out of Thin Air: ..." Article: prog24px-id9-p (type: Full Paper) doi:10.1145/3660829.3660845
Hisazumi, Kenji ‹Programming› Companion '24: "Towards a DevOps Modeling ..." Article: prog24posters-id5-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660832
Homer, Michael ‹Programming› Companion '24: "In-Line Compositional Visual ..." Article: prog24px-id3-p (type: Full Paper) doi:10.1145/3660829.3660841
Höst, Martin ‹Programming› Companion '24: "Developers’ Perspective ..." Article: prog24px-id13-p (type: Full Paper) doi:10.1145/3660829.3660848
Hughes, Jacob ‹Programming› Companion '24: "Retro-fitting Garbage Collection ..." Article: prog24morevms-key2-p (type: Invited Talk) doi:10.1145/3660829.3661030
Ishikawa, Fuyuki ‹Programming› Companion '24: "Model-Based Framework for ..." Article: prog24qp-id3-p (type: Full Paper (8 pages)) doi:10.1145/3660829.3660849
Järvi, Jaakko ‹Programming› Companion '24: "Containers for GUI Models ..." Article: prog24posters-id4-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660830
Jungeblut, Thorsten ‹Programming› Companion '24: "The Next-Gen Interactive Runtime ..." Article: prog24posters-id1-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660833
Krebs, Eva ‹Programming› Companion '24: "Faster Feedback with AI? A ..." Article: prog24progai-p03-p (type: Full Paper) doi:10.1145/3660829.3660837 ‹Programming› Companion '24: "Implementing Babylonian/G ..." Article: prog24px-id11-p (type: Full Paper) doi:10.1145/3660829.3660847 ‹Programming› Companion '24: "Examples out of Thin Air: ..." Article: prog24px-id9-p (type: Full Paper) doi:10.1145/3660829.3660845
Kuang, Peng ‹Programming› Companion '24: "Ironies of Programming Automation: ..." Article: prog24progai-p01-p (type: Full Paper) doi:10.1145/3660829.3660835 ‹Programming› Companion '24: "Developers’ Perspective ..." Article: prog24px-id13-p (type: Full Paper) doi:10.1145/3660829.3660848
Lincke, Jens ‹Programming› Companion '24: "Unanticipated Progress Indication: ..." Article: prog24px-id7-p (type: Full Paper) doi:10.1145/3660829.3660843
Malevé, Nicolas ‹Programming› Companion '24: "Dear Developers, What Do You ..." Article: prog24progai-key1-p (type: Keynote) doi:10.1145/3660829.3661028
Matthes, Leon ‹Programming› Companion '24: "Multi-threaded OpenSmalltalk ..." Article: prog24px-id10-p (type: Full Paper) doi:10.1145/3660829.3660846
Mattis, Toni ‹Programming› Companion '24: "Faster Feedback with AI? A ..." Article: prog24progai-p03-p (type: Full Paper) doi:10.1145/3660829.3660837 ‹Programming› Companion '24: "Implementing Babylonian/G ..." Article: prog24px-id11-p (type: Full Paper) doi:10.1145/3660829.3660847 ‹Programming› Companion '24: "Examples out of Thin Air: ..." Article: prog24px-id9-p (type: Full Paper) doi:10.1145/3660829.3660845
McCabe, Alan T. ‹Programming› Companion '24: "Ironies of Programming Automation: ..." Article: prog24progai-p01-p (type: Full Paper) doi:10.1145/3660829.3660835
Mendonça, Ângelo ‹Programming› Companion '24: "Autocorrection in Projectional ..." Article: prog24px-id8-p (type: Full Paper) doi:10.1145/3660829.3660844
Miranda, Eliot ‹Programming› Companion '24: "Multi-threaded OpenSmalltalk ..." Article: prog24px-id10-p (type: Full Paper) doi:10.1145/3660829.3660846
Misback, Edward ‹Programming› Companion '24: "Magic Markup: Maintaining ..." Article: prog24progai-p02-p (type: Full Paper) doi:10.1145/3660829.3660836
Mousavi, Mohammad Reza ‹Programming› Companion '24: "Property-Based Testing and ..." Article: prog24qp-key1-p (type: Keynote) doi:10.1145/3660829.3661031
Munsters, Aäron ‹Programming› Companion '24: "BoaSpect: An Expressive Instrumentation ..." Article: prog24morevms-id3-p (type: Full Paper (4 pages, excl. references)) doi:10.1145/3660829.3660839
Nicolay, Jens ‹Programming› Companion '24: "A Virtual Machine for Higher-Order ..." Article: prog24morevms-id2-p (type: Full Paper (4 pages, excl. references)) doi:10.1145/3660829.3660840
Odersky, Martin ‹Programming› Companion '24: "A Formal Foundation of Reach ..." Article: prog24vimpl-p0-p (type: Full Paper (10 pages, excluding references)) doi:10.1145/3660829.3660851
Oeyen, Bjarno ‹Programming› Companion '24: "A Virtual Machine for Higher-Order ..." Article: prog24morevms-id2-p (type: Full Paper (4 pages, excl. references)) doi:10.1145/3660829.3660840
Ogura, Nobuhiko ‹Programming› Companion '24: "Towards a DevOps Modeling ..." Article: prog24posters-id5-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660832
Primás, Javier ‹Programming› Companion '24: "Virtual Machines: Should We ..." Article: prog24morevms-key1-p (type: Invited Talk) doi:10.1145/3660829.3661029
Rinard, Martin C. ‹Programming› Companion '24: "Faster Feedback with AI? A ..." Article: prog24progai-p03-p (type: Full Paper) doi:10.1145/3660829.3660837 ‹Programming› Companion '24: "Implementing Babylonian/G ..." Article: prog24px-id11-p (type: Full Paper) doi:10.1145/3660829.3660847 ‹Programming› Companion '24: "Examples out of Thin Air: ..." Article: prog24px-id9-p (type: Full Paper) doi:10.1145/3660829.3660845
Robbestad Gylterud, Håkon ‹Programming› Companion '24: "Containers for GUI Models ..." Article: prog24posters-id4-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660830
Rydenfält, Christofer ‹Programming› Companion '24: "Design of Flexible Code Block ..." Article: prog24px-id6-p (type: Full Paper) doi:10.1145/3660829.3660842
Saito, Shinobu ‹Programming› Companion '24: "Model-Based Framework for ..." Article: prog24qp-id3-p (type: Full Paper (8 pages)) doi:10.1145/3660829.3660849
Sanaullah, Sanaullah ‹Programming› Companion '24: "The Next-Gen Interactive Runtime ..." Article: prog24posters-id1-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660833
Santos, André L. ‹Programming› Companion '24: "Autocorrection in Projectional ..." Article: prog24px-id8-p (type: Full Paper) doi:10.1145/3660829.3660844
Schulz, Oliver ‹Programming› Companion '24: "Implementing Babylonian/G ..." Article: prog24px-id11-p (type: Full Paper) doi:10.1145/3660829.3660847
Scull Pupo, Angel Luis ‹Programming› Companion '24: "BoaSpect: An Expressive Instrumentation ..." Article: prog24morevms-id3-p (type: Full Paper (4 pages, excl. references)) doi:10.1145/3660829.3660839
Shingarov, Boris ‹Programming› Companion '24: "Tinyrossa: A Compiler Framework ..." Article: prog24morevms-id1-p (type: Short Paper) doi:10.1145/3660829.3660838
Söderberg, Emma ‹Programming› Companion '24: "Ironies of Programming Automation: ..." Article: prog24progai-p01-p (type: Full Paper) doi:10.1145/3660829.3660835 ‹Programming› Companion '24: "Design of Flexible Code Block ..." Article: prog24px-id6-p (type: Full Paper) doi:10.1145/3660829.3660842 ‹Programming› Companion '24: "Developers’ Perspective ..." Article: prog24px-id13-p (type: Full Paper) doi:10.1145/3660829.3660848
Stenholm, Elisabeth ‹Programming› Companion '24: "Containers for GUI Models ..." Article: prog24posters-id4-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660830
Stokke, Knut Anders ‹Programming› Companion '24: "Containers for GUI Models ..." Article: prog24posters-id4-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660830
Taeumel, Marcel ‹Programming› Companion '24: "Unanticipated Progress Indication: ..." Article: prog24px-id7-p (type: Full Paper) doi:10.1145/3660829.3660843 ‹Programming› Companion '24: "Multi-threaded OpenSmalltalk ..." Article: prog24px-id10-p (type: Full Paper) doi:10.1145/3660829.3660846
Tanimoto, Steven L. ‹Programming› Companion '24: "Magic Markup: Maintaining ..." Article: prog24progai-p02-p (type: Full Paper) doi:10.1145/3660829.3660836
Tatlock, Zachary ‹Programming› Companion '24: "Magic Markup: Maintaining ..." Article: prog24progai-p02-p (type: Full Paper) doi:10.1145/3660829.3660836
Vraný, Jan ‹Programming› Companion '24: "Tinyrossa: A Compiler Framework ..." Article: prog24morevms-id1-p (type: Short Paper) doi:10.1145/3660829.3660838
Watanabe, Harumi ‹Programming› Companion '24: "Towards a DevOps Modeling ..." Article: prog24posters-id5-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660832
Xu, Yichen ‹Programming› Companion '24: "A Formal Foundation of Reach ..." Article: prog24vimpl-p0-p (type: Full Paper (10 pages, excluding references)) doi:10.1145/3660829.3660851

71 authors

proc time: 0.29