| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| start [2018/05/17 12:12] – etanter | start [2024/03/26 16:00] (current) – etanter |
|---|
| ====== Welcome! ====== | ====== Welcome! ====== |
| |
| The [[pleiad-history|PLEIAD]] laboratory of the Computer Science Department ([[http://www.dcc.uchile.cl|DCC]]) of the [[http://www.uchile.cl|University of Chile]] ([[http://www.fcfm.uchile.cl|Faculty of Engineering]]) is a laboratory dedicated to research on new software development techniques.\\ | The [[pleiad-history|PLEIAD]] laboratory of the Computer Science Department ([[http://www.dcc.uchile.cl|DCC]]) of the [[http://www.uchile.cl|University of Chile]] ([[http://www.fcfm.uchile.cl|Faculty of Engineering]]) is a laboratory dedicated to research on software development techniques. Since its creation in 2007, the lab has focused on many ways to better support software development at different levels, from programming languages to development environments. |
| | Currently, our work is mostly centered on **programming languages**, **program verification**, and **type theory**. |
| |
| More precisely, [[people|we]] work on many ways to better support software development at different levels, from programming languages to development environments, including tools to support program understanding (debuggers, profilers, visualizers). We also study the practice of programming, through mining software repositories as well as user studies. | ===== Recent News ===== |
| | * {{bib>toroAl-cacm2024|Gradual Differentially Private Programming}} to appear in [[https://cacm.acm.org/|Communications of the ACM]] |
| | * {{bib>andriciAl-popl2024|Securing Verified IO Programs Against Unverified Code in F*}} accepted at [[https://popl24.sigplan.org/|POPL 2024]] |
| | * 10-year Most Notable Paper Award at DLS 2023 for our DLS 2013 paper {{bib>allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}} (Allende, Fabry, Tanter) |
| | * {{bib>yeAl-oopsla2023|A Gradual Probabilistic Lambda Calculus}} accepted at [[https://2023.splashcon.org/track/splash-2023-oopsla|OOPSLA 2023]] |
| | * New Inria Associate Team [[https://pleiad.github.io/grapa-website/|GRAPA]] (Gradual Proof Assistants) funded for 2023-2025 |
| | * {{bib>toroAl-toplas2023|Contextual Linear Types for Differential Privacy}} appears in [[https://dl.acm.org/journal/toplas|TOPLAS]] |
| | * Éric Tanter is on the PC of [[http://conf.researchr.org/home/icfp-2023|ICFP 2023]] |
| | * Matías Toro is on the external PC of [[https://2023.splashcon.org/track/splash-2023-oopsla|OOPSLA 2023]] |
| | * [[people:elabrada|Elizabeth Labrada]] successfully defended her PhD thesis on Gradual System F |
| | * {{bib>maillardAl-icfp2022|A Reasonably Gradual Type Theory}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]] |
| | * {{bib>labradaAl-jacm2022|Gradual System F}} accepted in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] (supersedes our {{bib>toroAl-popl2019|POPL'19 paper}}) |
| | * Matías Toro is on the PC of [[http://conf.researchr.org/home/icfp-2022|ICFP 2022]] |
| | * Matías Toro joins Pleiad as Assistant Professor |
| | * {{bib>eremondiAl-icfp2022|Propositional Equality for Gradual Dependently Typed Programming}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]] |
| | * Éric Tanter is on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] |
| | * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual Parametricity}} accepted at [[https://2022.splashcon.org/track/splash-2022-oopsla|OOPSLA 2022]] |
| | * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} accepted in [[https://dl.acm.org/journal/toplas|TOPLAS]] (June 2022), presented at [[https://popl22.sigplan.org|POPL 2022]] |
| |
| **Where do we publish?** Here is the PLEIAD Trail (major conferences only) since 2010: | * [[news-history|More...]] |
| * 2018: ICFP, VMCAI | |
| * 2017: DLS, ECOOP, POPL, SANER, SAS | |
| * 2016: ICFP, ICPE, ICPC, POPL, VISSOFT | |
| * 2015: DLS (2), ESEC/FSE, OOPSLA, SANER, VISSOFT (proc.) | |
| * 2014: DLS, ICFP, ICSE, Modularity (2), OOPSLA, VISSOFT | |
| * 2013: AOSD (2), DLS, MSR, WCRE (proc.), IWPSE (proc.), VISSOFT (2), SCAM | |
| * 2012: AOSD (proc.), ECOOP, FSE, ICPC, ICSE (2), OOPSLA | |
| * 2011: AOSD, ECOOP (3), FSE, ICPC (2), ICSE (2), MODELS, MSR, OOPSLA, IWPSE (proc.) | |
| * 2010: AOSD (2), ASE, GPCE, ICSE, MSR (2), SAC, SC, SCAM, TOOLS | |
| |
| **We also publish in the following journals:** ACM Transactions on Programming Languages and Systems; ACM Transactions on Software Engineering and Methodology; Automated Software Engineering; Computer Languages, Systems and Structures; Concurrency and Computation-Practice and Experience; Empirical Software Engineering; IEEE Software; IEEE Transactions on Software Engineering; Personal and Ubiquitous Computing; Science of Computer Programming; Software-Practice and Experience. | ===== Members ===== |
| |
| **With whom do we collaborate?** Here is a list of PLEIAD scientific collaborations (projects, publications, visits) since 2010: Brown University (USA), Carnegie Mellon University (USA), INRIA Nantes, Lille and Sophia (France), Technical University of Darmstadt (Germany), Universidad de La Plata (Argentina), University of Bern (Switzerland), University of British Columbia (Canada), University of Duisburg-Essen (Germany), University of Gent (Belgium), University of Lugano (Switzerland), Université de Paris VI (France), Vrije Universiteit Brussel (Belgium) | * [[people:folmedo|Federico Olmedo]], Assistant Professor |
| | * [[people:etanter|Éric Tanter]], Full Professor |
| | * [[people:mtoro|Matías Toro]], Assistant Professor |
| | * Koen Jacobs, Postdoc (with Inria) |
| | * Stefan Malewski, PhD student |
| | * Damián Arquez, PhD student |
| | * [[people:tdiaz|Tomás Díaz]], PhD student |
| | * Tomás Vallejos, MSc student |
| | * José Luis Romero, MSc student |
| |
| |
| **What else do we do?** We are involved in teaching a variety of [[teaching|courses]] covering our topics of interest. We also develop(ed) a number of [[research|software artifacts]] to support our research. | |
| |
| ===== Recent News ===== | |
| * {{bib>tabareauAl-icfp2018|Equivalences for Free!}} (Tabareau, Tanter, Sozeau) accepted at [https://icfp18.sigplan.org/home|ICFP 2018]] | |
| * Éric Tanter is joining the Editorial Board of the journal [[https://www.journals.elsevier.com/science-of-computer-programming/|Science of Computer Programming]] (starting Jul 2018) | |
| * {{bib>baderAl-vmcai2018|Gradual Program Verification}} (Bader, Aldrich, Tanter) to appear at [[https://popl18.sigplan.org/track/VMCAI-2018#event-overview|VMCAI 2018]] | |
| * [[https://conf.researchr.org/track/dls-2017/dls-2017#Most-Notable-Paper-Award|Most Notable Paper Award]] for our {{bib>mostinckxAl:dls2007|paper}} of 10 years ago at DLS 2007! (see also the {{bib>mostinckxAl:spe2008|extended version}}) | |
| * Éric Tanter is joining the Editorial Board of the [[https://www.cambridge.org/core/journals/journal-of-functional-programming|Journal of Functional Programming]] (starting Jan 2018) | |
| * {{bib>toroTanter-sas2017|A Gradual Interpretation of Union Types}} (Toro, Tanter) accepted at [[http://staticanalysis.org/sas2017/sas2017.html|SAS 2017]] | |
| * Éric Tanter is PC member of [[http://conf.researchr.org/home/POPL-2018|POPL 2018]], [[http://www.etaps.org/index.php/2018/esop|ESOP 2018]] and [[http://conf.researchr.org/home/icfp-2018|ICFP 2018]] | |
| * {{bib>cruzAl-ecoop2017|Type Abstraction for Relaxed Noninterference}} (Cruz, Rezk, Serpette, Tanter) accepted at [[http://conf.researchr.org/home/ecoop-2017|ECOOP 2017]] | |
| * //Identifying Classes in Legacy JavaScript Code// accepted at Journal of Software: Evolution and Process | |
| * Éric Tanter is member of the External Program Committee of [[http://2017.splashcon.org/track/splash-2017-oopsla|OOPSLA 2017]] | |
| * //Refactoring Legacy JavaScript Code to Use Classes: The Good, The Bad, and The Ugly// accepted at [[http://icsr2017.ufba.br|16th International Conference on Software Reuse (ICSR'17)]] | |
| * Alexandre Bergel is Program Committee member of [[http://vissoft17.dcc.uchile.cl|VISSOFT 2017]] | |
| * {{bib>lehmannTanter-popl2017|Gradual Refinement Types}} accepted at [[http://conf.researchr.org/home/POPL-2017|POPL 2017]] | |
| * Éric Tanter is Program Committee member of [[http://snapl.org/2017/index.html|SNAPL 2017]] | |
| |
| * [[news-history|More...]] | |
