https://pleiad.cl/ 2026-09-07T19:26:49+00:00 https://pleiad.cl/ https://pleiad.cl/_media/wiki/dokuwiki.svg text/html 2026-09-02T18:59:42+00:00 Anonymous (anonymous@undisclosed.example.com) https://pleiad.cl/thesis En esta pagina se encuentran los tópicos de memorias y tesis del laboratorio PLEIAD. Notar que la mayoría de los tópicos pueden ser adaptados en memorias de Ingeniera o tesis de Magíster. Las propuestas de estudiantes son bienvenidas en el laboratorio PLEIAD. Por favor, comunicase directamente con los profesores text/html 2026-09-02T18:49:12+00:00 Anonymous (anonymous@undisclosed.example.com) https://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-09-02T18:36:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://pleiad.cl/people/folmedo [Name] Federico Olmedo PhD in Computer Science <folmedo@dcc.uchile.cl> Assistant Professor Beauchef 851, of. 311N PLEIAD Lab Santiago, Chile Computer Science Department (DCC) phone: +56 2 2978 4975 University of Chile fax: +56 2 2689 5531 Please refer to my personal webpage here. text/html 2026-08-26T21:49:22+00:00 etanter (etanter@undisclosed.example.com) https://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) https://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-11T20:30:55+00:00 Anonymous (anonymous@undisclosed.example.com) https://pleiad.cl/?image=wiki%3Adokuwiki.svg&ns=wiki&do=media <img src="https://pleiad.cl/_media/wiki/dokuwiki.svg?w=500&amp;h=500&amp;tok=57f637" alt="dokuwiki.svg" loading="lazy" width="500" height="500" /> text/html 2026-08-04T18:08:09+00:00 jfabry (jfabry@undisclosed.example.com) https://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) https://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-06-16T19:31:37+00:00 msegur (msegur@undisclosed.example.com) https://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At3-init.zip&ns=teaching%3Acc4101%3Atareas%3A2026-1&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/zip.svg" alt="t3-init.zip" loading="lazy" width="500" height="500" /> text/html 2026-05-11T07:45:55+00:00 bduarte (bduarte@undisclosed.example.com) https://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3Atarea2%3Atarea-2-init.zip&ns=teaching%3Acc4101%3Atareas%3A2026-1%3Atarea2&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/zip.svg" alt="tarea-2-init.zip" loading="lazy" width="500" height="500" /> text/html 2026-04-25T20:53:38+00:00 jromero (jromero@undisclosed.example.com) https://pleiad.cl/?image=research%3Asoftware%3Agrev%3Aartifact.zip&ns=research%3Asoftware%3Agrev&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/zip.svg" alt="artifact.zip" loading="lazy" width="500" height="500" /> text/html 2026-04-25T20:23:39+00:00 jromero (jromero@undisclosed.example.com) https://pleiad.cl/?image=research%3Asoftware%3Agrev%3Agrev-experiments.zip&ns=research%3Asoftware%3Agrev&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/zip.svg" alt="grev-experiments.zip" loading="lazy" width="500" height="500" /> text/html 2026-04-25T20:17:27+00:00 jromero (jromero@undisclosed.example.com) https://pleiad.cl/?image=research%3Asoftware%3Agrev%3Agrev.zip&ns=research%3Asoftware%3Agrev&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/zip.svg" alt="grev.zip" loading="lazy" width="500" height="500" /> text/html 2026-04-14T03:17:03+00:00 msegur (msegur@undisclosed.example.com) https://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Aenv.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/file.svg" alt="env.rkt" loading="lazy" width="500" height="500" /> text/html 2026-04-14T03:14:44+00:00 msegur (msegur@undisclosed.example.com) https://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap1-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/file.svg" alt="p1-test.rkt" loading="lazy" width="500" height="500" /> text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) https://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap2.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/file.svg" alt="p2.rkt" loading="lazy" width="500" height="500" /> text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) https://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap3.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/file.svg" alt="p3.rkt" loading="lazy" width="500" height="500" /> text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) https://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap3-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/file.svg" alt="p3-test.rkt" loading="lazy" width="500" height="500" /> text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) https://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap2-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/file.svg" alt="p2-test.rkt" loading="lazy" width="500" height="500" /> text/html 2026-04-14T03:13:32+00:00 msegur (msegur@undisclosed.example.com) https://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap1.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media <img src="https://pleiad.cl/lib/images/fileicons/svg/file.svg" alt="p1.rkt" loading="lazy" width="500" height="500" />