Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Thu 24 Oct 2019 14:00 - 14:30 at Templars - Onward! Papers 4 Chair(s): Hidehiko Masuhara

Anglo-American law enables property owners to split up rights among multiple entities by breaking their ownership apart into future interests that may evolve over time. The conveyances that owners use to transfer and subdivide property rights follow rigid syntactic conventions and are governed by an intricate body of interlocking doctrines that determine their legal effect. These doctrines have been codified, but only in informal and potentially ambiguous ways.

This paper presents preliminary work in developing a formal model for expressing and analyzing property conveyances. We develop a domain-specific language capable of expressing a wide range of conveyances in a syntax approximating natural language. This language desugars into a core calculus for which we develop operational and denotational semantics capturing a variety of important properties of property law in practice. We evaluate an initial implementation of our languages and semantics on examples from a popular property law textbook.

Thu 24 Oct

Displayed time zone: Beirut change

14:00 - 15:30
Onward! Papers 4Onward! Papers at Templars
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology
Property Conveyances as a Programming Language
Onward! Papers
Shrutarshi Basu Cornell University, Nate Foster Cornell University, James Grimmelmann Cornell University
The Adverse Effects of Code Duplication in Machine Learning Models of Code
Onward! Papers
Miltiadis Allamanis Microsoft Research, Cambridge
DOI Pre-print