OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Vasco M. Manquinho
Associate Professor, Computer Science and Engineering Department, Instituto Superior Técnico
Joined
July 2019
Names
Vasco M. Manquinho
,
Vasco Manquinho
Emails
****@tecnico.ulisboa.pt
(Confirmed)
,
****@inesc-id.pt
(Confirmed)
Personal Links
Google Scholar
DBLP
ORCID
Career & Education History
Associate Professor
Computer Science and Engineering Department,
Instituto Superior Técnico
(tecnico.ulisboa.pt)
2015
–
Present
Assistant Professor
Computer Science and Engineering Department,
Instituto Superior Técnico
(tecnico.ulisboa.pt)
2006
–
2015
Advisors, Relations & Conflicts
PhD Advisor
Joao Marques-Silva
Present
PhD Advisee
Ruben Martins
Present
Coauthor
Ines Lynce
Present
Coauthor
Mikolas Janota
Present
Coauthor
Alexey Ignatiev
Present
PhD Advisee
Miguel Terra-Neves
Present
PhD Advisee
Pedro Orvalho
Present
PhD Advisee
João Cortes
Present
PhD Advisee
Ricardo Brancas
Present
PhD Advisee
Daniel Ramos
Present
Expertise
No areas of expertise listed
Publications
Can Automated Feedback Turn Students into Happy Prologians?
Ricardo Brancas
,
Pedro Orvalho
,
Carolina Carreira
,
Vasco Manquinho
,
Ruben Martins
CoRR 2025
Readers:
Everyone
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
Pedro Orvalho
,
Mikolás Janota
,
Vasco M. Manquinho
AAAI 2025
Readers:
Everyone
Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs
Ricardo Brancas
,
Vasco Manquinho
,
Ruben Martins
ICST 2025
Readers:
Everyone
BatFix: Repairing language model-based transpilation
Daniel Ramos
,
Inês Lynce
,
Vasco Manquinho
,
Ruben Martins
,
Claire Le Goues
ACM Trans. Softw. Eng. Methodol. 2024
Readers:
Everyone
cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
Pedro Orvalho
,
Mikolás Janota
,
Vasco M. Manquinho
FM (1) 2024
Readers:
Everyone
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
Ricardo Brancas
,
Miguel Terra-Neves
,
Miguel Ventura
,
Vasco M. Manquinho
,
Ruben Martins
FASE 2024
Readers:
Everyone
BugOut: Automated Test Generation and Bug Detection for Low-Code
Joana Coutinho
,
Alexandre Lemos
,
Miguel Terra-Neves
,
André Ribeiro
,
Vasco Manquinho
,
Rui Quintino
,
Bartlomiej Matejczyk
ICST 2024
Readers:
Everyone
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Pedro Orvalho
,
Mikolás Janota
,
Vasco Manquinho
APR 2024
Readers:
Everyone
Immediate Neighbours of Monotone Boolean Functions
José E. R. Cury
,
Patrícia Tenera Roxo
,
Vasco Manquinho
,
Claudine Chaouiya
,
Pedro T. Monteiro
CoRR 2024
Readers:
Everyone
GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
Pedro Orvalho
,
Mikolás Janota
,
Vasco Manquinho
SIGCSE Virtual (1) 2024
Readers:
Everyone
View all 29 publications
Co-Authors
Aidan Z. H. Yang
Alexandre Lemos
Andreia P. Guerreiro
André Ribeiro
Ansong Ni
António Morgado
Bartlomiej Matejczyk
Carolina Carreira
Changjian Zhang
Claire Le Goues
Claudine Chaouiya
Cristina Bazgan
Daniel Ramos
Daniel Vanderpooten
David Calhas
David Garlan
Eunsuk Kang
Hailie Mitchell
Ines Lynce
Inês Lynce
Jelle Piepenbrock
Joana Coutinho
José E. R. Cury
José Fragoso Santos
José Rui Figueira
View all 40 co-authors