Powered by
2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2019), October 23-24, 2019,
Athens, Greece
Frontmatter
Title Page
Article: onward19foreword-fm000-p (type: Frontmatter) doi:
Papers
Deployable Probabilistic Programming
David Tolpin
(PUB+, Israel)
@InProceedings{Onward!19p1,
author = {David Tolpin},
title = {Deployable Probabilistic Programming},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3359591.3359727},
year = {2019},
}
Publisher's Version
Article: onward19papers-p6-p (type: Full Paper (17 pages)) doi:10.1145/3359591.3359727
 | : Presentation Video |
An Approach for Persistent Time-Varying Values
Tetsuo Kamina and
Tomoyuki Aotani
(Oita University, Japan; Tokyo Institute of Technology, Japan)
@InProceedings{Onward!19p18,
author = {Tetsuo Kamina and Tomoyuki Aotani},
title = {An Approach for Persistent Time-Varying Values},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3359591.3359730},
year = {2019},
}
Publisher's Version
Article: onward19papers-p11-p (type: Full Paper (17 pages)) doi:10.1145/3359591.3359730
 | : Presentation Video |
CallƐ: An Effect System for Method Calls
Isaac Oscar Gariano,
James Noble, and
Marco Servetto
(Victoria University of Wellington, New Zealand)
@InProceedings{Onward!19p35,
author = {Isaac Oscar Gariano and James Noble and Marco Servetto},
title = {CallƐ: An Effect System for Method Calls},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3359591.3359731},
year = {2019},
}
Publisher's Version
Article: onward19papers-p13-p (type: Full Paper (17 pages)) doi:10.1145/3359591.3359731
 | : Presentation Video |
AlleAlle: Bounded Relational Model Finding with Unbounded Data
Jouke Stoel,
Tijs van der Storm, and
Jurgen J. Vinju
(CWI, Netherlands)
@InProceedings{Onward!19p52,
author = {Jouke Stoel and Tijs van der Storm and Jurgen J. Vinju},
title = {AlleAlle: Bounded Relational Model Finding with Unbounded Data},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3359591.3359726},
year = {2019},
}
Publisher's Version
Article: onward19papers-p5-p (type: Full Paper (17 pages)) doi:10.1145/3359591.3359726
 | : Presentation Video |
Active Learning for Software Engineering
José P. Cambronero,
Thurston H. Y. Dang,
Nikos Vasilakis,
Jiasi Shen,
Jerry Wu, and
Martin C. Rinard
(Massachusetts Institute of Technology, USA; Google, USA)
@InProceedings{Onward!19p69,
author = {José P. Cambronero and Thurston H. Y. Dang and Nikos Vasilakis and Jiasi Shen and Jerry Wu and Martin C. Rinard},
title = {Active Learning for Software Engineering},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3359591.3359732},
year = {2019},
}
Publisher's Version
Article: onward19papers-p15-p (type: Full Paper (17 pages)) doi:10.1145/3359591.3359732
 | : Presentation Video |
Declarative Assembly of Web Applications from Predefined Concepts
Santiago Perez De Rosso,
Daniel Jackson,
Maryam Archie,
Czarina Lao, and
Barry A. McNamara III
(Massachusetts Institute of Technology, USA)
@InProceedings{Onward!19p86,
author = {Santiago Perez De Rosso and Daniel Jackson and Maryam Archie and Czarina Lao and Barry A. McNamara III},
title = {Declarative Assembly of Web Applications from Predefined Concepts},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3359591.3359728},
year = {2019},
}
Publisher's Version
Article: onward19papers-p7-p (type: Full Paper (17 pages)) doi:10.1145/3359591.3359728
 | : Presentation Video |
GoTcha: An Interactive Debugger for GoT-Based Distributed Systems
Rohan Achar,
Pritha Dawn, and
Cristina V. Lopes
(University of California at Irvine, USA)
@InProceedings{Onward!19p103,
author = {Rohan Achar and Pritha Dawn and Cristina V. Lopes},
title = {GoTcha: An Interactive Debugger for GoT-Based Distributed Systems},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3359591.3359733},
year = {2019},
}
Publisher's Version
Article: onward19papers-p17-p (type: Full Paper (17 pages)) doi:10.1145/3359591.3359733
 | : Presentation Video |
Property Conveyances as a Programming Language
Shrutarshi Basu,
Nate Foster, and
James Grimmelmann
(Harvard University, USA; Cornell University, USA)
@InProceedings{Onward!19p137,
author = {Shrutarshi Basu and Nate Foster and James Grimmelmann},
title = {Property Conveyances as a Programming Language},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {137-136},
doi = {10.1145/3359591.3359734},
year = {2019},
}
Publisher's Version
Article: onward19papers-p22-p (type: Full Paper (17 pages)) doi:10.1145/3359591.3359734
 | : Presentation Video |
Essays
Local-First Software: You Own Your Data, in spite of the Cloud
Martin Kleppmann,
Adam Wiggins,
Peter van Hardenberg, and
Mark McGranaghan
(University of Cambridge, UK; Ink & Switch, Germany; Ink & Switch, USA)
@InProceedings{Onward!19p171,
author = {Martin Kleppmann and Adam Wiggins and Peter van Hardenberg and Mark McGranaghan},
title = {Local-First Software: You Own Your Data, in spite of the Cloud},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {171-170},
doi = {10.1145/3359591.3359737},
year = {2019},
}
Publisher's Version
Article: onward19essays-p2-p (type: Full Paper) doi:10.1145/3359591.3359737
Learning to Listen for Design
Elisa Baniassad,
Ivan Beschastnikh,
Reid Holmes,
Gregor Kiczales, and
Meghan Allen
(University of British Columbia, Canada)
@InProceedings{Onward!19p206,
author = {Elisa Baniassad and Ivan Beschastnikh and Reid Holmes and Gregor Kiczales and Meghan Allen},
title = {Learning to Listen for Design},
booktitle = {Proc.\ Onward!},
publisher = {ACM},
pages = {206-205},
doi = {10.1145/3359591.3359738},
year = {2019},
}
Publisher's Version
Article: onward19essays-p4-p (type: Full Paper) doi:10.1145/3359591.3359738
proc time: 0.03