José Nuno Castro de Macedo


AuthID: R-00H-751

Confirmed Publications: 10



1
TITLE: Property-based Testing of Attribute Grammars
AUTHORS: Macedo, Jose Nuno ; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
2
TITLE: pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python
AUTHORS: Emanuel Rodrigues ; José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2024, SOURCE: ENASE
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID
3
TITLE: Zipper-based embedding of strategic attribute grammars  Full Text
AUTHORS: Macedo, Jose Nuno ; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
4
TITLE: Beyond Code Generation: The Need for Type-Aware Language Models
AUTHORS: Ribeiro, Francisco ; Macedo, Jose Nuno ; Tsushima, Kanae;
PUBLISHED: 2023, SOURCE: 3rd IEEE/ACM International Workshop on Automated Program Repair (APR) in 2023 IEEE/ACM INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
5
TITLE: Efficient Embedding of Strategic Attribute Grammars via Memoization
AUTHORS: José Nuno Macedo ; Emanuel Rodrigues; Marcos Viera; João Saraiva ;
PUBLISHED: 2023, SOURCE: PEPM@POPL
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID
6
TITLE: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno ; Tsushima, Kanae; Abreu, Rui ; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID
7
TITLE: Zipping Strategies and Attribute Grammars
AUTHORS: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2022, SOURCE: FLOPS, VOLUME: 13215 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
8
TITLE: Expressing Disambiguation Filters as Combinators
AUTHORS: Macedo, JN ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
9
TITLE: InDubio: A Combinator Library to Disambiguate Ambiguous Grammars
AUTHORS: Macedo, JN ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, ICCSA 2020, PART IV, VOLUME: 12252
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
10
TITLE: Get Your Spreadsheets Under (Version) Control
AUTHORS: José Nuno Macedo ; Ricardo Moreira; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2019, SOURCE: CIbSE
INDEXED IN: Scopus DBLP
IN MY: ORCID

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service