Less Power for More Learning: Restricting OCaml Features for Effective Teaching
We present a framework for sandboxing and restricting features of the OCaml programming language to effectively automate the grading of programming exercises, scaling to hundreds of submissions. We describe how to disable language and library features that should not be used to solve a given exercise. We present an overview of an implementation of a mock IO system to allow testing of IO-related exercises in a controlled environment. Finally, we detail a number of security considerations to ensure submitted code remains sandboxed, allowing automatic grading to be trusted without manual verification. The source code of our implementation is publicly available .
 As a git repository at https://github.com/just-max/less-power.
Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change
11:00 - 12:30
|Efficient OCaml compilation with Flambda 2|
|Less Power for More Learning: Restricting OCaml Features for Effective TeachingRemote|
Max Lang Technische Universität München, Nico Petzendorfer Department of Computer Science, Technische Universität München, Garching, GermanyFile Attached
|Osiris: an Iris-based program logic for OCamlRemote|
|Safe and efficient generic functions with MacoCaml|
Dmitrij Szamozvancev University of Cambridge, Leo White Jane Street, Ningning Xie University of Toronto / Google DeepMind, Jeremy Yallop University of CambridgeFile Attached