Facebook
Twitter
Linkedin
LASIGE
About LASIGE
Organisation
Awards and Recognition
Highlights
Events
News
Talks
Research Lines
Accessibility and Ageing
Cyber‐Physical Systems
Data and Systems Intelligence
Health and Biomedical Informatics
Reliable Software Systems
Resilient Distributed and Networked Systems
Research & Innovation
Software & Tools
Projects
Publications
Partners
Innovation
Members
Integrated Researchers
PhD Collaborators
Collaborators
PhD Students
MSc Students
Undergraduate Students
Staff
Former Members
Positions
Select Page
Member
Paulo Santos
Info
Projects
Publications
Email
pacsantos (at) ciencias.ulisboa.pt
Room
6.3.33
Category
PhD Student
Advisors
Alcides Fonseca
Christopher S. Timperley (CMU)
Sara Silva
Research Lines
Reliable Software Systems
ONGOING
Acronym
Title
Funding Entity
Start Date
End Date
RAP
Resource Aware Programming
FCT
13/01/2022
12/01/2024
PAST
Acronym
Title
Funding Entity
Start Date
End Date
CAMELOT
Autonomic platform for Machine Learning using anonymized data
P2020
01/07/2020
01/01/2023
CONFIDENT
Communication Contracts for Distributed Systems Development
FCT
01/05/2016
31/10/2019
Year
Start Year
to
End Year
Catarina Gamboa
,
Paulo Canelas
,
Christopher Timperley
,
Alcides Fonseca
.
Usability-Oriented Design of Liquid Types for Java
. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE). IEEE, 2023 [
Biblios
]
Guilherme Espada
,
Leon Ingelse
,
Paulo Canelas
,
Pedro Barbosa
,
Alcides Fonseca
.
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
. In Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM, 2022 [
Biblios
]
Paulo Canelas
,
Miguel Tavares
,
Ricardo Cordeiro
,
Alcides Fonseca
,
Christopher S. Timperley
.
An Experience Report on Challenges in Learning the Robot Operating System
. In International Workshop on Robotics Software Engineering, 2022 [
Biblios
]
Alcides Fonseca
,
Paulo Santos
,
Guilherme Espada
,
Sara Silva
.
Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming
, In Genetic and Evolutionary Computation,Genetic Programming Theory and Practice XVIII, pages 45 - 62. Springer Singapore, 2022 [
Biblios
]
Paulo Santos
,
Jose Campos
,
Christopher S. Timperley
,
Alcides Fonseca
.
Augmenting Search-based Techniques with Static Synthesis-based Input Generation
. In 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST), pages 12-15. IEEE, 2021 [
Biblios
]
Catarina Gamboa
,
Paulo Canelas Santos
,
Christopher Timperley
,
Alcides Fonseca
.
LiquidJava: Adding Lightweight Verification to Java
. In INFORUM, 2021 [
Biblios
]
Catarina Gamboa
,
Paulo Canelas Santos
,
Christopher Timperley
,
Alcides Fonseca
.
User-driven design and evaluation of Liquid Types in java
. In Human Aspects of Types and Reasoning Assistants, 2021 [
Biblios
]
Paulo Santos
,
Sara Silva
,
Alcides Fonseca
.
Refined typed genetic programming as a user interface for genetic programming
, Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion, 2020 [
Biblios
]
Paulo Alexandre Canelas dos Santos
,
Alcides Miguel Cachulo Aguiar Fonseca
.
Towards the conceptualization of refinement typed genetic programming
. Master's dissertation, 2020 [
Biblios
]
Alcides Fonseca
,
Paulo Santos
,
Sara Silva
.
The Usability Argument for Refinement Typed Genetic Programming
. In Parallel Problem Solving from Nature – PPSN XVI,Lecture Notes in Computer Science, pages 18-32. Springer International Publishing, 2020 [
Biblios
]