‹Programming› 2022
Mon 11 - Thu 14 April 2022
Thu 14 Apr 2022 06:00 - 06:25 at Virtual Space - ‹Programming› Online Thursday Chair(s): Jeremy Gibbons

“I know you can be underwhelmed, and you can be overwhelmed, but can you ever just be, like, whelmed?”

Since the start of the pandemic, I’ve had to learn three “new“* programming languages (“new“* to me, anyway) and have learnt them well enough to teach at university. To teach programming languages, I learned Haskell; to teach formal methods I learned Dafny; to teach Rust I learned Rust. Having personally experienced what it is like to work in these languages, I am in a very good position to appreciate all their worst points. There will be no tattoos, no piercings, no ritual animal slaughters of any kind — rather as adversaries do in law, let us strive mightily, but eat and drink as friends.

“There’s a difference between like and love. Because, I like Pascal, but I love Smalltalk.”


Bio: James Noble (kjx@acm.org) is an independent creative researcher & programmer based in Wellington, New Zealand. After completing honours and doctoral degrees at Victoria University of Wellington (VUW), James worked at the University of Technology, Sydney, the Microsoft Research Institute at Macquarie University, and is recovering from a long stint as professor of computer science & software engineering at VUW.

James’s research centres around software design. This includes the design of the users’ interface, the parts of software that users have to deal with every day, and the programmers’ interface, the internal structures and organisations of software that programmers see only when they are designing, building, or modifying software. His research in both of these areas is coloured by a longstanding interest in object oriented approaches to design, and topics he has studied range from aliasing and object ownership, design patterns, agile methodology, via usability, visualisation and computer music, to postmodernism and the semiotics of programming.

Thu 14 Apr

Displayed time zone: Lisbon change

06:00 - 09:00
‹Programming› Online ThursdayResearch Papers / at Virtual Space
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
06:00
25m
Talk
Day 4 Opening | N Things I Hate About \nu*
James Noble Creative Research & Programming
06:25
25m
Research paper
Topology-level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Proximity SetsVol. 6
Research Papers
Sam Van den Vonder Vrije Universiteit Brussel, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI
06:50
25m
Research paper
Sham: A DSL for Fast DSLsVol. 6
Research Papers
Rajan Walia Indiana University, Chung-chieh Shan Indiana University, USA, Sam Tobin-Hochstadt Indiana University
Link to publication
07:15
25m
Research paper
Debootstrapping without archeology: Stacked implementations in CamlbootVol. 6
Research Papers
Nathanaëlle Courant INRIA, Julien Lepiller Yale University, Gabriel Scherer INRIA Saclay
07:40
25m
Other
Conference Closing
G: Ademar Aguiar FEUP, Universidade do Porto, G: Shigeru Chiba The University of Tokyo