Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Sun 23 Aug 2020 11:50 - 12:30 at PLMW - Session 2

In this talk, I’ll give a crash course in reading and understanding the dense notational conventions often employed in programming language research papers and try to motivate why these conventions are used in the first place. We’ll cover different forms of operational semantics such as big-step and small-step semantics, the relation between SOS-style and evaluation-style presentations, and notions such as environments, substitution, abstract machines, and type systems. This talk will by no means provide complete coverage of these topics, but should give you just enough to get a sense of what is going on in any given ICFP paper you happen to pick up.

David Van Horn is an Assistant Professor in the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS) at the University of Maryland, College Park. His research interests are in programming languages and formal methods, where he works toward making the construction of reusable, trusted software components possible and effective. He publishes regularly in the flagship SIGPLAN conferences, POPL, PLDI, OOPSLA, and ICFP, and his work has been recognized with a National Science Foundation CAREER Award, a CRA Computing Innovation Fellowship, a Communications of the ACM Research Highlight, an OOPSLA Distinguished Paper Award, and several invitations to special issues of the Journal of Functional Programming devoted to ICFP. He is the co-author of “Realm of Racket,” an illustrated book on programming video games, written and illustrated with eight undergraduate students. He is devoted to broadening participation in computer science and is currently serving as Chair of the ACM SIGPLAN Programming Languages Mentoring Workshop @ ICFP.

Sun 23 Aug

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:30
10:30
40m
Talk
Constraint Solvers for the Working PL Researcher
PLMW @ ICFP
Nadia Polikarpova University of California, San Diego
11:10
40m
Talk
Managing your Research, your Advisor, your PhD
PLMW @ ICFP
Amal Ahmed Northeastern University, USA
11:50
40m
Talk
Basic Mechanics of Operational Semantics
PLMW @ ICFP
David Van Horn University of Maryland, USA