< Terug naar vorige pagina
Onderzoeker
Elisa Gonzalez Boix
- Trefwoorden:Informatica
- Disciplines:Gedistribueerde systemen, Programmeertalen en -technologieën, Parallel computing, Ubiquitous computing, Cloud computing, Taalontwerp, -constructies en -eigenschappen, Coderingstools en -technieken, testen en debuggen, Mobiele technologieën
Affiliaties
- Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 jan 2024 → Heden - Software Languages Lab (Onderzoeksgroep)
Lid
Vanaf1 jan 2024 → Heden - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2019 → Heden - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf8 apr 2019 → 30 sep 2019 - Faculteit van de Wetenschappen (Faculteit)
Lid
Vanaf22 jun 2017 → 7 sep 2017 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2014 → 20 okt 2022 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2013 → 30 sep 2014 - FORMER_Software Languages Lab (Onderzoeksgroep)
Lid
Vanaf1 okt 2005 → 1 jan 2023 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2005 → 30 sep 2014 - Laboratorium voor Programmeerkunde (Onderzoeksgroep)
Lid
Vanaf1 okt 2005 → 1 jun 2009
Projecten
1 - 10 of 15
- SBO project: SODISA: Schaalbare softwareontwikkeling en infrastructuur voor zelfstandige applicatiesVanaf1 okt 2025 → HedenFinanciering: FWO Strategisch Basisonderzoek (SBO)
- Ondersteuning voor dynamische analysis voor multi-taal applicatiesVanaf1 nov 2024 → HedenFinanciering: FWO mandaten
- EVEREST: Nagenoeg volledige automatische verificatie voor geo-gerepliceerde systemenVanaf1 jan 2024 → HedenFinanciering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Cybersecurity Onderzoeksprogramma Vlaanderen – tweede cyclusVanaf1 jan 2024 → HedenFinanciering: Cybersecurity Onderzoeksprogramma Vlaanderen
- Een taal-agnostische en schaalbare aanpak voor het bouwen van IoT ontwikkeling toolsVanaf1 nov 2023 → HedenFinanciering: FWO mandaten
- Managed Programmeertalen en Runtimes 2022Vanaf14 sep 2022 → 16 sep 2022Financiering: FWO Wetenschappelijke onderzoeksgemeenschappen
- Software programmeer technieken voor sterk eventueel consistente gerepliceerde data typesVanaf1 nov 2019 → 31 jan 2024Financiering: FWO mandaten
- SRP-Onderzoekszwaartepunt: Foundations for Reliable Multi-Paradigm Network-Centric ProgrammingVanaf1 mrt 2019 → HedenFinanciering: BOF - projecten
- Consistentie à la carte: Een algemeen framework voor schaalbare consistentie-gemengde applicatiesVanaf1 jan 2019 → 31 dec 2022Financiering: FWO mandaten
- IOF Gear: Duurzame software-ontwikkeling voor de volgende generatie van ICT systemenVanaf1 jan 2018 → 31 dec 2021Financiering: IOF - Industrieel Onderzoeksfonds
Publicaties
1 - 10 van 76
- A Control-Flow Graph Approach to Language-Agnostic Debugging for Microcontrollers(2025)Series: MPLR 2025 - Proceedings of the 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Co-located with ICFP/SPLASH 2025Pagina's: 38-56Aantal pagina's: 19
- JASMaint: Portable Multi-language Taint Analysis for the Web(2025)Edition: 22ndSeries: MPLR 2025 - Proceedings of the 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Co-located with ICFP/SPLASH 2025Pagina's: 79-92Aantal pagina's: 14
- Ensuring Convergence and Invariants Without Coordination(2025)Gepubliceerd in: Leibniz international proceedings in informaticsISSN: 1868-8969Volume: 333Pagina's: 1-29
- Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession(2025)Series: Leibniz International Proceedings in Informatics, LIPIcsVolume: 333Pagina's: 23:1-23:29Aantal pagina's: 29
- ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs(2025)Series: PaPoC 2025 - Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data, Part of: Eurosys 2025 and Asplos Workshops 2025Pagina's: 38-44Aantal pagina's: 7
- Ensuring Convergence and Invariants Without Coordination (Artifact)(2025)Aantal pagina's: 7
- Language-Agnostic Debugging for Microcontrollers(2024)Series: DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024Pagina's: 22-27Aantal pagina's: 6
- BoaSpect: An Expressive Instrumentation Platform for JavaScript(2024)Series: Programming Companion 2024 - Proceedings of the 8th International Conference on on the Art, Science, and Engineering of ProgrammingPagina's: 47-51Aantal pagina's: 5
- Flexible CRDTS for a demanding world(2024)Aantal pagina's: 178
- Nested Pure Operation-Based CRDTs(2023)Edition: 37thSeries: Leibniz International Proceedings in InformaticsVolume: European Conference on Object-Oriented Programming (ECOOP 2023)Pagina's: 1-26Aantal pagina's: 26
Gelinkte datasets
1 - 1 van 1