diff --git a/_data/ICFP.yaml b/_data/ICFP.yaml index c753fd7..0721c2f 100644 --- a/_data/ICFP.yaml +++ b/_data/ICFP.yaml @@ -1,3 +1,17 @@ +2023: +- Awardee: Ohad Kammar, Sam Lindley and Nicolas Oury + Other: | + (for 2013) _[Handlers in Action](https://dl.acm.org/doi/abs/10.1145/2500365.2500590)_ + Citation: | + This paper drew the attention of the ICFP community to handlers as + an abstraction for effectful computation. In exposition, and in + providing the first operational semantics for handlers & effects, + and an effect system, it seeded many subsequent + works. Pragmatically, it detailed implementation of handlers in + Haskell, and outlined the ideas behind OCaml, SML, and Racket + implementations, as well as providing experimental results + comparing handlers with equivalent monadic code. + 2022: - Awardee: Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell and David Mazières Other: | diff --git a/_data/OOPSLA.yaml b/_data/OOPSLA.yaml index a89799d..b581a56 100644 --- a/_data/OOPSLA.yaml +++ b/_data/OOPSLA.yaml @@ -1,3 +1,18 @@ +2023: +- Awardee: Leo Meyerovich and Ariel Rabkin + Other: | + (for 2013) _[Empirical analysis of programming language adoption](https://dl.acm.org/doi/10.1145/2509136.2509515)_ + Citation: | + Some programming languages become wildly popular while others fade + away. This paper seeks to answer why, by performing an empirical + study spanning hundreds of thousands of open-source software + projects and interviews with thousands of programmers. The + methodology used in the paper is thorough, and the paper provides + insights of interest to the broader Programming Languages + community. Overall, this paper is a role model for large-scale + empirical studies of programming languages, making it worthy of + the OOPSLA 2013 Most Influential Paper Award. + 2022: - Awardee: Adam Betts, Nathan Chong, Alastair Donaldson, Shaz Qadeer and Paul Thomson Other: |