Team by Alcides Fonseca

PhD Students
	Catarina Gamboa — Improving the Usability of Liquid Types for Reliable Software (with Jonathan Aldrich) Latte: Lightweight Aliasing Tracking for Java at HATRA+IWACO 2023 Usability-Oriented Design of Liquid Types for Java at ICSE 2023 Student Volunteer Chair at SPLASH 2023 and SPLASH 2024 Artifact Evaluation Committee at PLDI 2023 Internship at Gitar
	Paulo Santos – Specification-Guided Repair for Robotic Systems (with Chris Timperley and Sara Silva) Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches at ISSTA 2024 Is it a Bug? Understanding Physical Unit Mismatches in Robot Software at ICRA 2024 An Experience Report on Challenges in Learning the Robot Operating System at RoSE 2022 Where is the Bug? Understanding, detecting and repairing misconfigurations in ROS at RosCon 2023 Web and Social Media Chair at FormaliSE 2024 Internship at Uber
	Guilherme Espada – Stochastic Resource Analysis of Programs Artifact Evaluation Committee at PLDI 2022 Video Chair at PLDI 2022, POPL 2023, PLDI 2023, ICFP 2023, SPLASH 2023, POPL 2024, PLDI 2024 Internships at Feedzai, Decipad
MSc Students
	Lishun Su — Program Synthesis with Dependent Types
	Diogo Matos — Modeling of Portuguese Law to Find Inconsistencies
	Afonso Carreira — Energy-aware Programming (with Wellington Oliveira)
	Tomás Carreira — Compilation for the FreeST language (with Vasco Vasconcelos)
	João Magalhães — Safe Programming Language Interoperability with Session Types (with Vasco Vasconcelos)
	José Eduardo Madeira — Program Synthesis with Refinement Typed Genetic Programming

Alumni

Year	Name	Degree	Topic	Next
Graduated PhD Students
Year	Name	Institution	Topic
2024	Pedro Barbosa	University of Lisbon	Leveraging Deep Learning Models for Studying RNA Splicing in Health and Disease (co-advised by Carmo-Fonseca) Semantically Rich Local Dataset Generation for Explainable AI in Genomics at GECCO’24 Computational prediction of human deep intronic variation at GigaScience Clinical significance of genetic variation in hypertrophic cardiomyopathy: comparison of computational tools to prioritize missense variants at Fronteirs in Cardiovascular Medicine
Past Interns
Year	Name	Institution	Topic
2023	Lukas Abelt	MSc Student at Saarland University	Layered Types LayeredTypes – Combining dependent and independent type systems at TYPES 2023
2022	Lisa Vasilenko	PhD Student at IMDEA	Formalization of LiquidJava with Typestates
2021	Francisco Pimenta	Undergrad at U.Lisboa	Prediction of Machine Learning Pipeline Execution Time
Graduated MSc Students
2024	Lia Malato	Mathematics U.Lisboa	On the Star Combinatory Calculus, formalization and applications to classical logic (co-advised with Fernando Ferreira)
2024	Pedro Silva	Software Engineering U.Lisboa	Static Analysis for Detection of Defects in Machine Learning Pipelines (co-advised with Antónia Lopes)	OpenSoft
2024	André Silva	Software Engineering U.Lisboa	Detection of transaction consistency problems in microservices (co-advised with Antónia Lopes)	Premium Minds
2024	Bernardo Ferrari	Computer Science Universidade Federal de Santa Catarina	A programming language with refinement types and its LLVM-IR front end implementation	Cadence Design Systems
2023	Kirill Golubev	Computer Science ITMO	Adding Separation Logic Support to LiquidJava Implementing Separation Logic using SMT-backed Frame Rule at WITS’24	PhD at Uppsala University
2022	Miguel Tavares	Software Engineering U.Lisboa	RobotFix: Detecting Bugs On Variables In Robot Programs (co-advised by Chris Timperley) An experience report in learning ROS at ROSE’22	CrossJoin Solutions
2022	Ricardo Cordeiro	Software Engineering U.Lisboa	Formalization and Runtime Verification of Invariants for Robotic Systems (co-advised by Chris Timperley) An experience report in learning ROS at ROSE’22	Köerber Supply Chain
2022	Leon Ingelse	Data Science U.Lisboa	Optimization of Feature Learning through Grammar-Guided Genetic Programming Comparing Individual Representations in Grammar-Guided Genetic Programming for Glucose Prediction in People with Diabetes in Genetic Programming and Evolvable Machines Domain-Aware Feature Learning with Grammar-Guided Genetic Programming at EuroGP’23	Onja
2021	Catarina Gamboa	Software Engineering U.Lisboa	LiquidJava: extending Java with refinements (co-advised by Chris Timperley)	PhD at CMU and U.Lisboa
2021	Gonçalo Duarte	Software Engineering U.Lisboa	Bio-inspired optimization algorithms for unit test generation (advised by José Campos)	FundManager
2021	João David	Software Engineering U.Lisboa	Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis	Critical TechWorks (BMW and Critical Software)
2021	Máximo Oliveira	Software Engineering U.Lisboa	Exploring a Larger Search Space for Automatic Program Repair Figra: Evaluating a larger search space for Cardumen in APR at APR’22	BlackRock
2020	Paulo Santos	Software Engineering U.Lisboa	Towards the Conceptualization of Refinement Typed Genetic Programming The Usability Argument for Refinement Typed Genetic Programming at PPSN’20 Refined typed genetic programming as a user interface for genetic programming GECCO’20	PhD at CMU and U.Lisboa
2020	Guilherme Espada	Software Engineering U.Lisboa	Automatic Conversion of Ada Source Code to Scala	PhD at U.Lisboa

Team

PhD Students

MSc Students

Alumni

Graduated PhD Students

Past Interns

Graduated MSc Students