| |
Alsubhi, Arwa
|
Art Sci. Eng. Program., vol. 11, issue 3: "TimedCoconut: Platform-Driven ..."
TimedCoconut: Platform-Driven Typestates Extension for Embedded C++
Arwa Alsubhi, Friederike Bruns, Ornela Dardha, and Simon J. Gay
(University of Glasgow, UK; University of Oldenburg, Germany)
Article Search
Artifact Supports Claims v2.0
Article: progjc26main-p66-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/10
|
| |
Böhme, Lukas
|
Art Sci. Eng. Program., vol. 11, issue 3: "Generating Live Examples: ..."
Generating Live Examples: An Agentic Approach to In-Situ Examples for Dynamic Program Comprehension
Toni Mattis, Benjamin Frost, Lukas Böhme, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
Article Search
Artifact Supports Claims v2.0
Article: progjc26main-p23-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/8
|
| |
Bruns, Friederike |
Art Sci. Eng. Program., vol. 11, issue 3: "TimedCoconut: Platform-Driven ..."
TimedCoconut: Platform-Driven Typestates Extension for Embedded C++
Arwa Alsubhi, Friederike Bruns, Ornela Dardha, and Simon J. Gay
(University of Glasgow, UK; University of Oldenburg, Germany)
Article Search
Artifact Supports Claims v2.0
Article: progjc26main-p66-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/10
|
| |
Dardha, Ornela
|
Art Sci. Eng. Program., vol. 11, issue 3: "TimedCoconut: Platform-Driven ..."
TimedCoconut: Platform-Driven Typestates Extension for Embedded C++
Arwa Alsubhi, Friederike Bruns, Ornela Dardha, and Simon J. Gay
(University of Glasgow, UK; University of Oldenburg, Germany)
Article Search
Artifact Supports Claims v2.0
Article: progjc26main-p66-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/10
|
| |
Flatt, Matthew
|
Art Sci. Eng. Program., vol. 11, issue 3: "A Preliminary Study of Type-Error ..."
A Preliminary Study of Type-Error Ablation and AI Coding Agents
Shriram Krishnamurthi and Matthew Flatt
(Brown University, USA; University of Utah, USA)
Article Search
Article: progjc26main-p63-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/9
|
| |
Fowler, Simon |
Art Sci. Eng. Program., vol. 11, issue 3: "Splitting Is Stressful but ..."
Splitting Is Stressful but Merging Is Manageable: Co-contextual Typing for Substructural and Session Types
Olivia Weston and Simon Fowler
(University of Glasgow, UK)
Article Search
Artifact Supports Claims v2.0
Article: progjc26main-p5-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/7
|
| |
Frost, Benjamin |
Art Sci. Eng. Program., vol. 11, issue 3: "Generating Live Examples: ..."
Generating Live Examples: An Agentic Approach to In-Situ Examples for Dynamic Program Comprehension
Toni Mattis, Benjamin Frost, Lukas Böhme, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
Article Search
Artifact Supports Claims v2.0
Article: progjc26main-p23-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/8
|
| |
Gay, Simon J.
|
Art Sci. Eng. Program., vol. 11, issue 3: "TimedCoconut: Platform-Driven ..."
TimedCoconut: Platform-Driven Typestates Extension for Embedded C++
Arwa Alsubhi, Friederike Bruns, Ornela Dardha, and Simon J. Gay
(University of Glasgow, UK; University of Oldenburg, Germany)
Article Search
Artifact Supports Claims v2.0
Article: progjc26main-p66-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/10
|
| |
Hirschfeld, Robert
|
Art Sci. Eng. Program., vol. 11, issue 3: "Generating Live Examples: ..."
Generating Live Examples: An Agentic Approach to In-Situ Examples for Dynamic Program Comprehension
Toni Mattis, Benjamin Frost, Lukas Böhme, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
Article Search
Artifact Supports Claims v2.0
Article: progjc26main-p23-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/8
|
| |
Krishnamurthi, Shriram
|
Art Sci. Eng. Program., vol. 11, issue 3: "A Preliminary Study of Type-Error ..."
A Preliminary Study of Type-Error Ablation and AI Coding Agents
Shriram Krishnamurthi and Matthew Flatt
(Brown University, USA; University of Utah, USA)
Article Search
Article: progjc26main-p63-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/9
|
| |
Mattis, Toni
|
Art Sci. Eng. Program., vol. 11, issue 3: "Generating Live Examples: ..."
Generating Live Examples: An Agentic Approach to In-Situ Examples for Dynamic Program Comprehension
Toni Mattis, Benjamin Frost, Lukas Böhme, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
Article Search
Artifact Supports Claims v2.0
Article: progjc26main-p23-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/8
|
| |
Weston, Olivia
|
Art Sci. Eng. Program., vol. 11, issue 3: "Splitting Is Stressful but ..."
Splitting Is Stressful but Merging Is Manageable: Co-contextual Typing for Substructural and Session Types
Olivia Weston and Simon Fowler
(University of Glasgow, UK)
Article Search
Artifact Supports Claims v2.0
Article: progjc26main-p5-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/7
|