December 16, 2021 - 6:00 pm CET

Virtual Meetup – Cyrus Omar

Abstract

Symbolic representations are powerful, but some types of expressions are more naturally represented and manipulated non-symbolically. Examples include expressions that compute colors, music, animations, tabular data, plots, diagrams, and other domain-specific data structures. This talk will introduce live literals, or livelits, which allow clients to fill holes of types like these by directly manipulating a user-defined GUI embedded persistently into code. Uniquely, livelits are compositional: a livelit GUI can itself embed spliced expressions, which are typed, lexically scoped, and can in turn embed other livelits. Livelits are also uniquely live: a livelit can provide continuous feedback about the run-time implications of the client’s choices even when splices mention bound variables.

Biography

Cyrus Omar is an Assistant Professor at the University of Michigan, where he leads the Future of Programming Lab (FP Lab).

How to join the event:

To avoid security issues is now necessary to register for the meeting. The registration should be necessary just once and be valid for all the next meetings you will participate in. Follow these steps:

  1. Register yourself to the community on theĀ Homepage
  2. You will receive a confirmation email containing all the information about joining the meeting.
  3. Add to your calendar
  4. Enjoy the talk and, if you feel like, discuss further on the community forum