http://pleiad.cl/ 2026-05-07T05:09:17+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2013-03-13T13:04:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/101prisioneros (esta nota apareció el 13 de Marzo en La Tercera) CONICYT: 101 Prisioneros Este año CONICYT adjudicó 101 becas de doctorado en Chile para extranjeros sin residencia. Así, se vuelve a apoyar a extranjeros que vienen a estudiar en Chile, después de negarles ayuda el año pasado. Notable progreso, o más bien, justa vuelta a la normalidad. Sin embargo, los 101 ganadores de esas becas están sujetos a términos estrictos y carente de sentido común: si aceptan la beca, ¡no pueden salir del país duran… text/html 2008-04-28T21:59:20+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/articulo-final PLEIAD: Explorando Nuevos Lenguajes para Mejores Programas PLEIAD (Programming Languages and Environments for Intelligent, Adaptable and Distributed Systems) está dedicado a explorar en que forma los lenguajes de programación y sus ambientes de desarrollo pueden permitir la construcción de software evolucionable y adaptable. Considerando fundamentalmente contextos desafiantes como la computación distribuida y ubicua. text/html 2008-04-28T21:46:03+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/articulo-revised El laboratorio PLEIAD (Programming Languages and Environments for Intelligent, Adaptable and Distributed Systems) esta dedicado a explorar como los lenguajes de programación y sus ambientes de desarrollo pueden permitir la construcción de software evolucionable y adaptable, en particular considerando contextos desafiantes como la computación distribuida y ubicua. text/html 2008-01-14T15:19:40+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/articulo PLEIAD: Explorando Nuevos Lenguajes para Mejores Programas El laboratorio PLEIAD (Programming Languages and Environments for Intelligent, Adaptable and Distributed Systems) esta dedicado a explorar como los lenguajes de programación y sus ambientes de desarrollo pueden permitir la construcción de software evolucionable y adaptable, en particular considerando contextos desafiantes como la computación distribuida y ubicua. text/html 2008-01-28T21:44:30+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/articulo_translated PLEIAD: Exploring New Languages for Better Programs The goal of the PLEIAD (Programming Languages and Environments for Intelligent, Adaptable and Distributed Systems) laboratory is to explore how programming languages and development environments enable building software that is evolvable and adaptable. In particular we consider challenging contexts such as distributed and ubiquitous computing. text/html 2007-10-09T18:26:45+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/bic 2nd ISCV Thematic Workshop on Biologically-Inspired Computing ICSV, Valparaiso, Chile - December 3rd-7th, 2007 text/html 2010-05-19T23:22:27+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/contact Contact The people page is the place to get information on the members of PLEIAD, including personal contact information. For any other information, we can be contacted at <pleiad-info@dcc.uchile.cl>. text/html 2015-03-13T19:31:21+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/effectcaps Effect Capabilities in Haskell Submitted to Special Issue of Science of Computer Programming Abstract Computational effects complicate the tasks of reasoning about and maintaining software, due to the many kinds of interferences that can occur. While different proposals have been formulated to alleviate the fragility and burden of dealing with specific effects, such as state or exceptions, there is no prevalent robust mechanism that addresses the general interference issue. Building upon the … text/html 2015-04-30T18:00:48+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/effscript Customizable Gradual Effect System Implementation The code and examples can be downloaded here. To run the examples, you need to have installed Scala (<http://www.scala-lang.org/>) and SBT (<http://www.scala-sbt.org/>). Compiling and packaging the inference and checking library For the effect inference library: text/html 2013-11-11T18:14:16+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/events Events Talks * November 14, 2013: Jacques Noyé: JEScala, an exercise in integrating concurrent programming, object-oriented programming, aspect-oriented programming and event-based programming * November 7, 2013: Fabrice Le Fessant on OCaml: text/html 2012-07-13T16:29:26+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/gradualtalk A Practical Gradual Type System For Smalltalk Gradualtalk is a gradually-typed Smalltalk, which is fully compatible with existing Smalltalk code. Following the philosophy of Typed Racket, a major design goal of Gradualtalk is that the type system should accomodate existing programming idioms in order to allow for an easy, incremental path from untyped to typed code. The design of Gradualtalk was guided by a study of existing Smalltalk projects, and incrementally typing them in Gradualtalk. text/html 2016-12-09T14:16:34+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/location Location information PLEIAD is located on the engineering campus of the Universidad de Chile, more specifically on the third floor of the building at Blanco Encalada 2120, between Beaucheff and Club Hipico streets. The building as seen on Google Maps. To get in, use the phone placed next to the entrance doors that are furthest away from the elevator. Call the secretary named Francia (phone numbers are next to the phone) and inform her of who you are visiting, she will let you in. text/html 2012-02-08T17:03:35+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/matchercells text/html 2015-01-24T00:23:03+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/menu1 * Home * Research * Teaching * People * Contact * Location * text/html 2015-01-24T00:28:33+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/navigation_header * Home * Research * Teaching * People * Location * text/html 2026-01-19T14:57:10+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/news-history * 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 * appears in TOPLAS * Éric Tanter is on the PC of ICFP 2023 text/html 2013-06-20T15:03:49+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/otm Sorry, this web page hosted the OTM project, which is already dead. In its replacement, you can use (and enjoy) the ESA, an expressive stateful aspect language. Best, text/html 2026-01-28T22:28:50+00:00 Anonymous (anonymous@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 * Mara Malewski, PhD student * Damián Arquez, PhD student * Tomás Díaz, PhD student * José Luis Romero, MSc student * Gaspar Ricci, MSc student text/html 2008-08-21T22:38:42+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/pl2008-admin Initial (un-advertised) page on the Programming Language Summer School. Speakers * Barrett Bryant, UAB (us) Barrett R. Bryant is Professor and Associate Chair of Computer and Information Sciences at the University of Alabama at Birmingham. His research interests include theory and implementation of programming languages, formal specification of software systems, and component-based software engineering, and he has authored or co-authored over 120 published papers in these areas. He is a memb… text/html 2008-08-08T20:54:37+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/pl2008 text/html 2012-03-15T01:12:04+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/pleiad-history PLEIAD: What's in a Name? PLEIAD was created in 2007 and was originally dedicated to Programming Languages and Environments for Intelligent, Adaptable and Distributed systems, hence its name. The scope of our research has broaden quite a bit since then. text/html 2014-02-06T19:46:11+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/plrg Programming Languages Student Reading Group The PL Reading Group provides a space for discussion and analysis of conference and journal papers related to Programming Languages practice and theory, serving also as a space for students to freely practice their English talking and reading skills. It is open to any university student with an interest in the field. text/html 2007-12-26T18:53:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/postdoc-jessie Biological Models for Ubiquitous Computing Project Proposal , funded by FONDECYT. * lead researcher: Jessie Dedecker * sponsoring researcher: Éric Tanter This project is centered on the use of biologically inspired models for designing and implementing system software for ubiquitous computing. The goal is to study how such models can be used to organize the software in a highly decoupled fashion to achieve meaningful emergent behavior. text/html 2025-10-27T13:52:44+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/research Research Publications See the complete list of publications of lab members. For a list of publications filtered by author, we refer to the personal pages in the section. Recent Software * Gredex: Visualizing the semantics of gradual languages. * GSoul: Typescript implementation of GSoul, a gradual sensitivity language. text/html 2012-03-15T12:32:24+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/start-old Welcome! The PLEIAD laboratory of the Computer Science Department (DCC) of the University of Chile (Faculty of Engineering) is a laboratory dedicated to research on new software development techniques. PLEIAD stands for Programming Languages and Environments for Intelligent, Adaptable and Distributed systems text/html 2026-04-16T16:23:01+00:00 Anonymous (anonymous@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 2021-08-12T21:56:27+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching Courses * Programming Languages (CC4101) * Compiler Design and Implementation (CC5116) * Programación Avanzada en Scala (CC5111) * Programming Languages II (CC7110) * Introduction to Coq: Logic, Types, and Verification (CC7125) * Análisis y Verificación de Programas (CC7126) * Programación Funcional (CC5115) text/html 2013-01-14T18:17:36+00:00 Anonymous (anonymous@undisclosed.example.com) http://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 2008-08-19T19:54:13+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/turism Chile Chile can be divided into 3 sections: North, Centre and South. Each one having its own “personality”. In the north of Chile you can find the driest desert on Earth: the Atacama Desert. In the south of Chile you can find great extensions of land covered by native forests that date from thousands of years ago. The centre of Chile is a mixture of things: you have the beach, the mountain and also the capital, Santiago.