| |
Accattoli, Beniamino
|
Onward! '23: "Sharing a Perspective on the ..."
Sharing a Perspective on the 𝜆-Calculus
Beniamino Accattoli
(Inria, France; École Polytechnique, France)
@InProceedings{Onward!23p235,
author = {Beniamino Accattoli},
title = {Sharing a Perspective on the 𝜆-Calculus},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3622758.3622884},
year = {2023},
}
 Publisher's Version
Article: onward23essays-p5-p doi:10.1145/3622758.3622884
|
| |
Avishahar-Zeira, Assaf |
Onward! '23: "Could No-Code Be Code? Toward ..."
Could No-Code Be Code? Toward a No-Code Programming Language for Citizen Developers
Assaf Avishahar-Zeira and David H. Lorenz
(Too Software, Israel; Open University of Israel, Israel)
@InProceedings{Onward!23p133,
author = {Assaf Avishahar-Zeira and David H. Lorenz},
title = {Could No-Code Be Code? Toward a No-Code Programming Language for Citizen Developers},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {133-132},
doi = {10.1145/3622758.3622893},
year = {2023},
}
Publisher's Version
Article: onward23papers-p89-p doi:10.1145/3622758.3622893
|
| |
Biddle, Robert
|
Onward! '23: "programmingLanguage as Language; ..."
programmingLanguage as Language;
James Noble and Robert Biddle
(Research & Programming, New Zealand; Australian National University, Australia; Carleton University, Canada)
@InProceedings{Onward!23p253,
author = {James Noble and Robert Biddle},
title = {programmingLanguage as Language;},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3622758.3622885},
year = {2023},
}
Publisher's Version
Article: onward23essays-p7-p doi:10.1145/3622758.3622885
|
| |
Dinmore, Matthew
|
Onward! '23: "Whither Problem-Solving Environments? ..."
Whither Problem-Solving Environments?
Matthew Dinmore
(Johns Hopkins University, USA)
@InProceedings{Onward!23p217,
author = {Matthew Dinmore},
title = {Whither Problem-Solving Environments?},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {217-216},
doi = {10.1145/3622758.3622883},
year = {2023},
}
Publisher's Version
Article: onward23essays-p4-p doi:10.1145/3622758.3622883
|
| |
Gordon, Colin S.
|
Onward! '23: "Trustworthy Formal Natural ..."
Trustworthy Formal Natural Language Specifications
Colin S. Gordon and Sergey Matskevich
(Drexel University, USA)
@InProceedings{Onward!23p67,
author = {Colin S. Gordon and Sergey Matskevich},
title = {Trustworthy Formal Natural Language Specifications},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3622758.3622890},
year = {2023},
}
Publisher's Version
 Published Artifact
Artifacts Available
Article: onward23papers-p45-p doi:10.1145/3622758.3622890
|
| |
Gregoire-Wright, Taylor |
Onward! '23: "Concept-Centric Software Development: ..."
Concept-Centric Software Development: An Experience Report
Peter Wilczynski, Taylor Gregoire-Wright, and Daniel Jackson
(Palantir Technologies, USA; Ontologize, USA; Massachusetts Institute of Technology, USA)
@InProceedings{Onward!23p155,
author = {Peter Wilczynski and Taylor Gregoire-Wright and Daniel Jackson},
title = {Concept-Centric Software Development: An Experience Report},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3622758.3622894},
year = {2023},
}
Publisher's Version
Article: onward23papers-p95-p doi:10.1145/3622758.3622894
|
| |
Hadar, Sean
|
Onward! '23: "Scalable Spreadsheet-Driven ..."
Scalable Spreadsheet-Driven End-User Applications with Incremental Computation
Sean Hadar and Shachar Itzhaky
(Technion, Israel)
@InProceedings{Onward!23p1,
author = {Sean Hadar and Shachar Itzhaky},
title = {Scalable Spreadsheet-Driven End-User Applications with Incremental Computation},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3622758.3622887},
year = {2023},
}
Publisher's Version
Article: onward23papers-p20-p doi:10.1145/3622758.3622887
|
| |
Hirschfeld, Robert |
Onward! '23: "Time-Awareness in Object Exploration ..."
Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging
Christoph Thiede, Marcel Taeumel, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
@InProceedings{Onward!23p111,
author = {Christoph Thiede and Marcel Taeumel and Robert Hirschfeld},
title = {Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {111-110},
doi = {10.1145/3622758.3622892},
year = {2023},
}
Publisher's Version
Article: onward23papers-p81-p doi:10.1145/3622758.3622892
|
| |
Hooman, Jozef |
Onward! '23: "Towards an Industrial Stateful ..."
Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning
Mathijs Schuts and Jozef Hooman
(Radboud University Nijmegen, Netherlands; TNO-ESI, Netherlands)
@InProceedings{Onward!23p23,
author = {Mathijs Schuts and Jozef Hooman},
title = {Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3622758.3622888},
year = {2023},
}
Publisher's Version
Article: onward23papers-p39-p doi:10.1145/3622758.3622888
|
| |
Itzhaky, Shachar
|
Onward! '23: "Scalable Spreadsheet-Driven ..."
Scalable Spreadsheet-Driven End-User Applications with Incremental Computation
Sean Hadar and Shachar Itzhaky
(Technion, Israel)
@InProceedings{Onward!23p1,
author = {Sean Hadar and Shachar Itzhaky},
title = {Scalable Spreadsheet-Driven End-User Applications with Incremental Computation},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3622758.3622887},
year = {2023},
}
Publisher's Version
Article: onward23papers-p20-p doi:10.1145/3622758.3622887
|
| |
Jackson, Daniel
|
Onward! '23: "Concept-Centric Software Development: ..."
Concept-Centric Software Development: An Experience Report
Peter Wilczynski, Taylor Gregoire-Wright, and Daniel Jackson
(Palantir Technologies, USA; Ontologize, USA; Massachusetts Institute of Technology, USA)
@InProceedings{Onward!23p155,
author = {Peter Wilczynski and Taylor Gregoire-Wright and Daniel Jackson},
title = {Concept-Centric Software Development: An Experience Report},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3622758.3622894},
year = {2023},
}
Publisher's Version
Article: onward23papers-p95-p doi:10.1145/3622758.3622894
|
| |
Jhaveri, Samyak |
Onward! '23: "Cloning and Beyond: A Quantum ..."
Cloning and Beyond: A Quantum Solution to Duplicate Code
Samyak Jhaveri, Alberto Krone-Martins, and Cristina V. Lopes
(University of California at Irvine, USA)
@InProceedings{Onward!23p45,
author = {Samyak Jhaveri and Alberto Krone-Martins and Cristina V. Lopes},
title = {Cloning and Beyond: A Quantum Solution to Duplicate Code},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3622758.3622889},
year = {2023},
}
Publisher's Version
Article: onward23papers-p43-p doi:10.1145/3622758.3622889
|
| |
Krone-Martins, Alberto
|
Onward! '23: "Cloning and Beyond: A Quantum ..."
Cloning and Beyond: A Quantum Solution to Duplicate Code
Samyak Jhaveri, Alberto Krone-Martins, and Cristina V. Lopes
(University of California at Irvine, USA)
@InProceedings{Onward!23p45,
author = {Samyak Jhaveri and Alberto Krone-Martins and Cristina V. Lopes},
title = {Cloning and Beyond: A Quantum Solution to Duplicate Code},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3622758.3622889},
year = {2023},
}
Publisher's Version
Article: onward23papers-p43-p doi:10.1145/3622758.3622889
|
| |
Lopes, Cristina V.
|
Onward! '23: "Cloning and Beyond: A Quantum ..."
Cloning and Beyond: A Quantum Solution to Duplicate Code
Samyak Jhaveri, Alberto Krone-Martins, and Cristina V. Lopes
(University of California at Irvine, USA)
@InProceedings{Onward!23p45,
author = {Samyak Jhaveri and Alberto Krone-Martins and Cristina V. Lopes},
title = {Cloning and Beyond: A Quantum Solution to Duplicate Code},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3622758.3622889},
year = {2023},
}
Publisher's Version
Article: onward23papers-p43-p doi:10.1145/3622758.3622889
|
| |
Lorenz, David H. |
Onward! '23: "Could No-Code Be Code? Toward ..."
Could No-Code Be Code? Toward a No-Code Programming Language for Citizen Developers
Assaf Avishahar-Zeira and David H. Lorenz
(Too Software, Israel; Open University of Israel, Israel)
@InProceedings{Onward!23p133,
author = {Assaf Avishahar-Zeira and David H. Lorenz},
title = {Could No-Code Be Code? Toward a No-Code Programming Language for Citizen Developers},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {133-132},
doi = {10.1145/3622758.3622893},
year = {2023},
}
Publisher's Version
Article: onward23papers-p89-p doi:10.1145/3622758.3622893
|
| |
Marron, Mark
|
Onward! '23: "Toward Programming Languages ..."
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
Mark Marron
(University of Kentucky, USA)
@InProceedings{Onward!23p177,
author = {Mark Marron},
title = {Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {177-176},
doi = {10.1145/3622758.3622895},
year = {2023},
}
Publisher's Version
Article: onward23papers-p100-p doi:10.1145/3622758.3622895
|
| |
Matskevich, Sergey |
Onward! '23: "Trustworthy Formal Natural ..."
Trustworthy Formal Natural Language Specifications
Colin S. Gordon and Sergey Matskevich
(Drexel University, USA)
@InProceedings{Onward!23p67,
author = {Colin S. Gordon and Sergey Matskevich},
title = {Trustworthy Formal Natural Language Specifications},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3622758.3622890},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: onward23papers-p45-p doi:10.1145/3622758.3622890
|
| |
Noble, James
|
Onward! '23: "programmingLanguage as Language; ..."
programmingLanguage as Language;
James Noble and Robert Biddle
(Research & Programming, New Zealand; Australian National University, Australia; Carleton University, Canada)
@InProceedings{Onward!23p253,
author = {James Noble and Robert Biddle},
title = {programmingLanguage as Language;},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3622758.3622885},
year = {2023},
}
Publisher's Version
Article: onward23essays-p7-p doi:10.1145/3622758.3622885
|
| |
Santos, André L.
|
Onward! '23: "Code Merging using Transformations ..."
Code Merging using Transformations and Member Identity
André R. Teles and André L. Santos
(ISCTE-IUL, Portugal)
@InProceedings{Onward!23p89,
author = {André R. Teles and André L. Santos},
title = {Code Merging using Transformations and Member Identity},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3622758.3622891},
year = {2023},
}
Publisher's Version
Article: onward23papers-p73-p doi:10.1145/3622758.3622891
|
| |
Sarkar, Advait |
Onward! '23: "Will Code Remain a Relevant ..."
Will Code Remain a Relevant User Interface for End-User Programming with Generative AI Models?
Advait Sarkar
(Microsoft Research, UK; University of Cambridge, UK; University College London, UK)
@InProceedings{Onward!23p199,
author = {Advait Sarkar},
title = {Will Code Remain a Relevant User Interface for End-User Programming with Generative AI Models?},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3622758.3622882},
year = {2023},
}
Publisher's Version
Article: onward23essays-p2-p doi:10.1145/3622758.3622882
|
| |
Schuts, Mathijs |
Onward! '23: "Towards an Industrial Stateful ..."
Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning
Mathijs Schuts and Jozef Hooman
(Radboud University Nijmegen, Netherlands; TNO-ESI, Netherlands)
@InProceedings{Onward!23p23,
author = {Mathijs Schuts and Jozef Hooman},
title = {Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3622758.3622888},
year = {2023},
}
Publisher's Version
Article: onward23papers-p39-p doi:10.1145/3622758.3622888
|
| |
Taeumel, Marcel
|
Onward! '23: "Time-Awareness in Object Exploration ..."
Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging
Christoph Thiede, Marcel Taeumel, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
@InProceedings{Onward!23p111,
author = {Christoph Thiede and Marcel Taeumel and Robert Hirschfeld},
title = {Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {111-110},
doi = {10.1145/3622758.3622892},
year = {2023},
}
Publisher's Version
Article: onward23papers-p81-p doi:10.1145/3622758.3622892
|
| |
Teles, André R. |
Onward! '23: "Code Merging using Transformations ..."
Code Merging using Transformations and Member Identity
André R. Teles and André L. Santos
(ISCTE-IUL, Portugal)
@InProceedings{Onward!23p89,
author = {André R. Teles and André L. Santos},
title = {Code Merging using Transformations and Member Identity},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3622758.3622891},
year = {2023},
}
Publisher's Version
Article: onward23papers-p73-p doi:10.1145/3622758.3622891
|
| |
Thiede, Christoph |
Onward! '23: "Time-Awareness in Object Exploration ..."
Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging
Christoph Thiede, Marcel Taeumel, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
@InProceedings{Onward!23p111,
author = {Christoph Thiede and Marcel Taeumel and Robert Hirschfeld},
title = {Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {111-110},
doi = {10.1145/3622758.3622892},
year = {2023},
}
Publisher's Version
Article: onward23papers-p81-p doi:10.1145/3622758.3622892
|
| |
Wilczynski, Peter
|
Onward! '23: "Concept-Centric Software Development: ..."
Concept-Centric Software Development: An Experience Report
Peter Wilczynski, Taylor Gregoire-Wright, and Daniel Jackson
(Palantir Technologies, USA; Ontologize, USA; Massachusetts Institute of Technology, USA)
@InProceedings{Onward!23p155,
author = {Peter Wilczynski and Taylor Gregoire-Wright and Daniel Jackson},
title = {Concept-Centric Software Development: An Experience Report},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3622758.3622894},
year = {2023},
}
Publisher's Version
Article: onward23papers-p95-p doi:10.1145/3622758.3622894
|