https://pmorvalho.github.io/publication_types/article-journal/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/automated-program-repair/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/cfaults/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/computer-aided-education/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/formula-based-fault-localization/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/gitseed/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/invaastcluster/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/llm-driven-program-repair/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/mentor/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/jss2026/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/program-analysis/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/programming-education/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publication_types/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/2026-04-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2026-03-15-msca/2026-03-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/ai/2026-03-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/csic/2026-03-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/fellowship/2026-03-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/iiia/2026-03-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/maxsat/2026-03-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/msca/2026-03-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2026-03-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/python/2026-03-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/teaching/2026-02-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/formal-methods/2026-01-26T09:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/llm-based-transpilation/2026-01-26T09:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/maxsat-based-fault-localisation/2026-01-26T09:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/model-checking/2026-01-26T09:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/python-verification/2026-01-26T09:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/pyveritas/2026-01-26T09:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2026-01-26-p-ai-fm/2026-01-26T09:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2026-01-26T09:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/software-verification/2026-01-26T09:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/p-ai-fm-2026/2026-01-26T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publication_types/workshop/2026-01-26T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/fault-localisation/2025-12-19T16:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/inesc-id/2025-12-19T16:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/large-language-models/2025-12-19T16:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/llm-based-program-repair/2025-12-19T16:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2025-12-19-inesc-id-best-phd-award/2025-12-19T16:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/phd/2025-12-19T16:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2025-12-19-inesc-id-best-phd-award/2025-12-17T00:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2025-11-10-p-ai-fm/2025-11-10T00:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2025-10-27-jss/2025-10-27T00:00:00+00:00weeklyhttps://pmorvalho.github.io/awards/2025-10-03T00:00:00+00:00weeklyhttps://pmorvalho.github.io/news/2025-10-02T00:00:00+00:00weeklyhttps://pmorvalho.github.io/service/2025-10-02T00:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2025-10-01-elsa-grant/2025-10-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/ellis/2025-10-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/elsa/2025-10-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/grant/2025-10-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/trustworthy-ai/2025-10-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/ai4se/2025-09-10T13:30:00+00:00weeklyhttps://pmorvalho.github.io/events/2025-09-10-dei-ist/2025-09-10T13:30:00+00:00weeklyhttps://pmorvalho.github.io/tags/model-based-diagnosis/2025-09-10T13:30:00+00:00weeklyhttps://pmorvalho.github.io/blog/2025-08-01-allies/2025-08-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/ai4code/2025-08-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/aihub/2025-08-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/allies/2025-08-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/projects/ai4code/2025-08-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/iri/2025-08-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/llm4code/2025-08-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/llms-for-code-understanding/2025-08-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/msca-cofund/2025-08-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/semantic-robustness-of-large-language-models/2025-08-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/jss2025/2025-06-27T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/program-clustering/2025-06-27T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/program-equivalence/2025-06-27T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/program-invariants/2025-06-27T00:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2025-06-23-iiia-csic/2025-06-23T12:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/maximum-satisfiability/2025-06-23T12:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2025-05-15-oxford/2025-05-15T09:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/code-mutations/2025-05-15T09:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2025-04-27-jss/2025-04-27T00:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2025-04-22-fct-unl/2025-04-22T14:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2025-04-11-voa/2025-04-11T17:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2025-04-11-voa/2025-04-11T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/voa/2025-04-11T00:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2025-04-10-phd/2025-04-10T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/artificial-intelligence/2025-04-10T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/automated-reasoning/2025-04-10T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/automated-verification/2025-04-10T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/phd-thesis/2025-04-10T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publication_types/thesis/2025-04-10T00:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2025-03-23-outsystems/2025-03-21T12:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/aaai2025/2025-02-25T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publication_types/paper-conference/2025-02-25T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/formula-based-fault-localisation/2025-02-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/projects/cfaults/2025-02-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/ai4education/2025-01-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/projects/ai4cseducation/2025-01-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/computer-science-education/2025-01-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/intelligent-tutoring-systems/2025-01-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/software-engineering-education/2025-01-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2024-12-10-aaai/2024-12-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/git/2024-12-05T13:30:00+00:00weeklyhttps://pmorvalho.github.io/tags/gitlab/2024-12-05T13:30:00+00:00weeklyhttps://pmorvalho.github.io/events/2024-12-05-sigcse-virtual/2024-12-05T13:30:00+00:00weeklyhttps://pmorvalho.github.io/publications/sigcse-virtual-2024/2024-12-05T00:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2024-12-04-oxford/2024-12-04T09:00:00+00:00weeklyhttps://pmorvalho.github.io/projects/gitseed/2024-12-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/blog/2024-10-04-oxford/2024-10-05T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/oxford/2024-10-05T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/postdoc/2024-10-05T00:00:00+00:00weeklyhttps://pmorvalho.github.io/projects/mentor/2024-10-01T00:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2024-09-12-fm/2024-09-12T11:50:00+00:00weeklyhttps://pmorvalho.github.io/publications/fm2024/2024-09-11T00:00:00+00:00weeklyhttps://pmorvalho.github.io/projects/2024-05-19T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/c/2024-04-20T12:15:00+00:00weeklyhttps://pmorvalho.github.io/events/2024-04-20-apr-icse/2024-04-20T12:15:00+00:00weeklyhttps://pmorvalho.github.io/publications/apr2024/2024-04-20T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/c-pack-ipas/2024-04-20T00:00:00+00:00weeklyhttps://pmorvalho.github.io/experience/2023-10-24T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/graph-neural-networks/2023-07-28T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/ecai2023/2023-07-28T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/variable-alignment/2023-07-28T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/upmax/2023-07-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/projects/upmax/2023-07-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/user-based-partitioning/2023-07-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2023-07-08-sat/2023-07-08T10:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/sat2023/2023-06-23T00:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2023-03-29-ciirc/2023-03-29T14:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/automated-program-repair/2022-11-14T17:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/data-augmentation/2022-11-14T17:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2022-11-14-fse/2022-11-14T17:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/program-transformation/2022-11-14T17:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/software-engineering/2022-11-14T17:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/fse2022/2022-11-14T00:00:00+00:00weeklyhttps://pmorvalho.github.io/2022-10-24T00:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2022-09-08-aitp/2022-09-08T18:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/aitp2022/2022-08-24T00:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2022-03-23-ciirc/2022-03-23T14:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/alloy/2021-08-17T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/fse2021/2021-08-17T00:00:00+00:00weeklyhttps://pmorvalho.github.io/tags/databases/2020-09-03T06:30:00+00:00weeklyhttps://pmorvalho.github.io/tags/enumerative-search/2020-09-03T06:30:00+00:00weeklyhttps://pmorvalho.github.io/tags/program-synthesis/2020-09-03T06:30:00+00:00weeklyhttps://pmorvalho.github.io/tags/query-reverse-engineering/2020-09-03T06:30:00+00:00weeklyhttps://pmorvalho.github.io/tags/r/2020-09-03T06:30:00+00:00weeklyhttps://pmorvalho.github.io/tags/sql/2020-09-03T06:30:00+00:00weeklyhttps://pmorvalho.github.io/events/2020-09-03-vldb/2020-09-03T06:30:00+00:00weeklyhttps://pmorvalho.github.io/tags/squares/2020-08-31T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/vldb2020/2020-08-31T00:00:00+00:00weeklyhttps://pmorvalho.github.io/publications/msc-thesis/2019-11-15T00:00:00+00:00weeklyhttps://pmorvalho.github.io/events/2019-09-03-cp/2019-10-02T13:30:00+00:00weeklyhttps://pmorvalho.github.io/publications/cp2019/2019-09-23T00:00:00+00:00weeklyhttps://pmorvalho.github.io/projects/squares/2019-09-01T00:00:00+00:00weekly