POPL 2022 (series) / POPL Research Papers /
Coalgebra for the working programming languages researcher
RemoteInvited Talk
This program is tentative and subject to change.
Program Display Configuration
The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada) Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)(GMT-11:00) Midway Island, Samoa(GMT-10:00) Hawaii-Aleutian(GMT-10:00) Hawaii(GMT-09:30) Marquesas Islands(GMT-09:00) Gambier Islands(GMT-09:00) Alaska(GMT-08:00) Tijuana, Baja California(GMT-08:00) Pitcairn Islands(GMT-08:00) Pacific Time (US & Canada)(GMT-07:00) Mountain Time (US & Canada)(GMT-07:00) Chihuahua, La Paz, Mazatlan(GMT-07:00) Arizona(GMT-06:00) Saskatchewan, Central America(GMT-05:00) Guadalajara, Mexico City, Monterrey(GMT-05:00) Easter Island(GMT-06:00) Central Time (US & Canada)(GMT-05:00) Eastern Time (US & Canada)(GMT-05:00) Cuba(GMT-05:00) Bogota, Lima, Quito, Rio Branco(GMT-04:00) Caracas(GMT-03:00) Santiago(GMT-04:00) La Paz(GMT-03:00) Faukland Islands(GMT-04:00) Manaus, Amazonas, Brazil(GMT-04:00) Atlantic Time (Goose Bay)(GMT-04:00) Atlantic Time (Canada)(GMT-03:30) Newfoundland(GMT-03:00) UTC-3(GMT-03:00) Montevideo(GMT-03:00) Miquelon, St. Pierre(GMT-03:00) Greenland(GMT-03:00) Buenos Aires(GMT-03:00) Brasilia, Distrito Federal, Brazil(GMT-02:00) Mid-Atlantic(GMT-01:00) Cape Verde Is.(GMT-01:00) Azores(UTC) Coordinated Universal Time(GMT) Belfast(GMT) Dublin(GMT) Lisbon(GMT) London(GMT) Monrovia, Reykjavik(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague(GMT+01:00) Brussels, Copenhagen, Madrid, Paris(GMT+01:00) West Central Africa(GMT+02:00) Windhoek(GMT+02:00) Athens(GMT+02:00) Beirut(GMT+02:00) Cairo(GMT+02:00) Gaza(GMT+02:00) Harare, Pretoria(GMT+02:00) Jerusalem(GMT+03:00) Minsk(GMT+02:00) Syria(GMT+03:00) Moscow, St. Petersburg, Volgograd(GMT+03:00) Nairobi(GMT+03:30) Tehran(GMT+04:00) Abu Dhabi, Muscat(GMT+04:00) Yerevan(GMT+04:30) Kabul(GMT+05:00) Ekaterinburg(GMT+05:00) Tashkent(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi(GMT+05:45) Kathmandu(GMT+06:00) Astana, Dhaka(GMT+07:00) Novosibirsk(GMT+06:30) Yangon (Rangoon)(GMT+07:00) Bangkok, Hanoi, Jakarta(GMT+07:00) Krasnoyarsk(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi(GMT+08:00) Irkutsk, Ulaan Bataar(GMT+08:00) Perth(GMT+08:45) Eucla(GMT+09:00) Osaka, Sapporo, Tokyo(GMT+09:00) Seoul(GMT+09:00) Yakutsk(GMT+10:30) Adelaide(GMT+09:30) Darwin(GMT+10:00) Brisbane(GMT+11:00) Hobart(GMT+10:00) Vladivostok(GMT+11:00) Lord Howe Island(GMT+11:00) Solomon Is., New Caledonia(GMT+11:00) Magadan(GMT+12:00) Norfolk Island(GMT+12:00) Anadyr, Kamchatka(GMT+13:00) Auckland, Wellington(GMT+12:00) Fiji, Kamchatka, Marshall Is.(GMT+13:45) Chatham Islands(GMT+13:00) Nuku'alofa(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets at the moment of the conference.
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program Specify a time band
Fri 21 Jan 2022 09:00 - 10:00 at Salon I - Invited Talk Chair(s): Adam Chlipala
Coalgebra is a young research field that grew out of the Theory B community in the late 90's. It started out as a mathematical framework to study different types of state-based systems in a uniform way. A lot of the early results on Coalgebra had roots in Category Theory and were purely theoretical in nature.
As the field grew, more application areas became evident. For instance, the study of different families of automata and equivalence procedures, or the foundations of (typed) languages that included fixpoint operators. Slowly (but steadily!), coalgebraic techniques found a place in the programming language and verification communities. Interestingly, and perhaps of greater importance for the coalgebra community, the challenges provided by PL work generated different research directions for coalgebra.
In this talk, I will present a primer on coalgebraic techniques, and revisit some work in programming languages in which these played a key role. I will argue that the use of category theory, coalgebra, and other traditional theory techniques are not only useful to provide foundational insights in the design of programming languages and semantics, but can also play a key role in the development of efficient algorithms. I will conclude with a few research directions in which this interplay of programming languages and theory research might provide new challenges, and hopefully novel solutions, for both communities.
Alexandra Silva is a theoretical computer scientist whose main research focuses on semantics of programming languages and modular development of algorithms for computational models. A lot of her work uses the unifying perspective offered by coalgebra, a mathematical framework established in the last decades. Alexandra is currently a Professor at Cornell University, and she was previously a Professor of Algebra, Semantics, and Computation at University College London. Previously, she was an assistant professor in Nijmegen and a post-doc at Cornell University, with Prof. Dexter Kozen, and a PhD student at the Dutch national research center for Mathematics and Computer Science (CWI), under the supervision of Prof. Jan Rutten and Dr. Marcello Bonsangue. She was the recipient of an ERC Consolidator in 2020, the Royal Society Wolfson Award 2019, Needham Award 2018, the Presburger Award 2017, the Leverhulme prize 2016, and an ERC starting Grant in 2015.
Session Program
Displayed time zone: Eastern Time (US & Canada) change
Invited TalkPOPL at Salon I
Chair(s): Adam Chlipala Massachusetts Institute of Technology
Coalgebra for the working programming languages researcherRemoteInvited Talk
Alexandra Silva Cornell University
Hide past events
Alexandra Silva