http://pleiad.cl/ 2026-08-27T22:19:41+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2026-08-26T21:49:22+00:00 etanter (etanter@undisclosed.example.com) http://pleiad.cl/news-history * accepted at ICFP 2024 * published in Communications of the ACM * accepted at POPL 2024 * 10-year Most Notable Paper Award at DLS 2023 for our DLS 2013 paper (Allende, Fabry, Tanter) * accepted at OOPSLA 2023 * New Inria Associate Team GRAPA (Gradual Proof Assistants) funded for 2023-2025 text/html 2026-08-26T21:49:05+00:00 etanter (etanter@undisclosed.example.com) http://pleiad.cl/start Welcome! The PLEIAD laboratory of the Computer Science Department (DCC) of the University of Chile (Faculty of Engineering) is a laboratory dedicated to foundational and applied research on software development techniques. Since its creation in 2007, the lab has focused on many ways to support the development of high-quality software at different levels, from programming languages to development environments. Currently, our work is mostly centered on  text/html 2026-08-26T21:47:00+00:00 etanter (etanter@undisclosed.example.com) http://pleiad.cl/people/etanter Full Professor / Profesor Titular <etanter@dcc.uchile.cl> University of Chile Beauchef 851, of.310 Computer Science Department (DCC) Santiago, Chile PLEIAD Lab phone: +56 2 2978 4953 Associate Researcher, IMFD Inria International Chair @ Gallinette News * I'm serving as Associate Program Chair for ICFP 2027 * accepted at TOPLAS * accepted at text/html 2026-08-04T18:08:09+00:00 jfabry (jfabry@undisclosed.example.com) http://pleiad.cl/people/jfabry Prof. Dr. Johan Fabry [Johan Fabry] @johanfabry on Twitter dcc.uchile.cl@jfabry (if you swap sides) Part-Time Professor PLEIAD lab Computer Science Department (DCC) University of Chile Affiliation Since january 2024 I rejoined the Universidad de Chile, after a 7-year absence. I am now a part-time professor, this page has not been actively maintained since 2017. I keep it here as an archive of my antics when I was a full-time professor. text/html 2026-08-04T18:03:32+00:00 jfabry (jfabry@undisclosed.example.com) http://pleiad.cl/people Members * Nico Lehmann, Assistant Professor * Federico Olmedo, Assistant Professor * Éric Tanter, Full Professor * Matías Toro, Assistant Professor * Johan Fabry, Part-time Professor * Mara Malewski, PhD student * Damián Arquez, PhD student * Tomás Díaz, PhD student text/html 2026-07-03T20:08:07+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-1/tarea3 Tarea 3 (Entrega: 3 de Julio) Esta tarea se distribuye con un archivo zip () que contiene 3 archivos: main.rkt, tests.rkt y env.rkt. Los archivos están incompletos, y en ellos tiene que implementar lo que se solicita en las preguntas siguientes. text/html 2026-06-16T19:31:37+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At3-init.zip&ns=teaching%3Acc4101%3Atareas%3A2026-1&do=media text/html 2026-05-11T07:45:55+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3Atarea2%3Atarea-2-init.zip&ns=teaching%3Acc4101%3Atareas%3A2026-1%3Atarea2&do=media text/html 2026-04-25T20:53:38+00:00 jromero (jromero@undisclosed.example.com) http://pleiad.cl/?image=research%3Asoftware%3Agrev%3Aartifact.zip&ns=research%3Asoftware%3Agrev&do=media text/html 2026-04-25T20:23:39+00:00 jromero (jromero@undisclosed.example.com) http://pleiad.cl/?image=research%3Asoftware%3Agrev%3Agrev-experiments.zip&ns=research%3Asoftware%3Agrev&do=media text/html 2026-04-25T20:17:27+00:00 jromero (jromero@undisclosed.example.com) http://pleiad.cl/?image=research%3Asoftware%3Agrev%3Agrev.zip&ns=research%3Asoftware%3Agrev&do=media text/html 2026-04-14T03:17:03+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Aenv.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:44+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap1-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap3.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap3-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap2-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap2.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:13:32+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap1.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-03-26T15:32:41+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1a.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1&do=media text/html 2026-03-26T05:23:34+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1a-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1&do=media