highlights

A snapshot of my most recent activities: research milestones, keynotes, AI for software engineering, and community service roles in dependability and security.

5 selected recent publications

2026

  1. R. Krasniqi, D. Xu, and M. Vieira
    ACM Computing Surveys, vol. 58, no. 5, pp. 137:1–137:16, 2026.

2025

  1. M. Vieira
    IEEE Computer, vol. 58, no. 11, pp. 84–94, 2025.
  2. M. Vieira, P. Shah, B. Shah, and R. Krasniqi
    in 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, Seoul, Korea, Republic of, November 16-20, 2025, pp. 2363–2375, 2025.
  3. J. Castro, N. Laranjeiro, K. Goseva-Popstojanova, and M. Vieira
    IEEE Transactions on Dependable and Secure Computing, vol. 22, no. 6, pp. 6748–6766, 2025.
  4. M. Vieira
    IEEE Computer, vol. 58, no. 7, pp. 79–90, 2025.
Marco's RA (Online)
Hi! I'm Marco Vieira's designated Research Assistant. I'm supposed to answer your questions but I really need to finish running this simulation script. What do you need?