More precisely, 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.
Where do we publish? Here is the PLEIAD Trail (major conferences only) since 2010:
- 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.
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)
- Energy Code Profiling in Pharo (Bergel). Accepted at IWST'16
- CuboidMatrix: Exploring Dynamic Structural Connections in Software Components using Space-Time Cube. (Schneider, Tymchuk, Salgado, Bergel) accepted at VISSOFT'16
- Partial Type Equivalences for Verified Dependent Interoperability (Dagand, Tabareau, Tanter) accepted at ICFP 2016
- Éric Tanter is Program Committee member of the 14th Asian Symposium on Programming Languages and Systems (APLAS 2016)
- Éric Tanter is Program Committee member of the 17th Symposium on Trends in Functional Programming (TFP 2016)
- Learning From Source Code History to Identify Performance Failures accepted at the 7th ACM/SPEC International Conference on Performance Engineering (Sandoval/Bergel)
- Éric Tanter is External Program Committee member of OOPSLA 2016
- Éric Tanter has been granted a Google Faculty Research Award! (Project: Gradual Security Typing for the Web)
- Customizable Gradual Polymorphic Effects for Scala accepted at OOPSLA 2015 (Toro/Tanter)
- Matías Toro successfully defended his MSc thesis! Congrats!!
- Our EMSE paper “Understanding and addressing exhibitionism in Java empirical research about method accessibility” is in preview