Publications

For a complete list of publications, please visit my Google Scholar or DBLP profile.

2025

• RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM

  Cai, H., Liu, S., Huang, Z., Wu, H., Li, C., Wang, Y., Yusuf, I.I., Jiang, L., Yu, Y.

  ICECCS 2025

  PDF

2024

• Unleashing the Power of Clippy in Real-World Rust Projects

  Li, C., Wu, H., Carlig, L., Nie, S., Jiang, L., Yu, Y.

  ICSE Companion 2024

  PDF Poster

2023

• Ownership Guided C to Rust Translation

  Zhang, H., David, C., Wang, M., Yu, Y.

  CAV 2023, pp. 459-482

  PDF ORO

• Adaptive Observability for Forensic-Ready Microservice Systems

  Barbosa, D.M., Yu, Y., Zisman, A., Nuseibeh, B.

  IEEE Transactions on Services Computing, 16(5): 3196-3209

• Accounting for Socio-Technical Resilience in Software Engineering

  Lopez, T., Sharp, H., Wermelinger, M., Langer, M., Levine, M., Jay, C., Yu, Y., Nuseibeh, B.

  CHASE 2023, pp. 31-36

2022

• In Rust We Trust: A Transpiler from Unsafe C to Safer Rust

  Ling, M., Yu, Y., Wu, H., Wang, Y., Cordy, J.R., Hassan, A.E.

  ICSE Companion 2022, pp. 354-355

• The Case for Zero Trust Digital Forensics

  Neale, C., Kennedy, I., Price, B., Yu, Y., Nuseibeh, B.

  Forensic Science International: Digital Investigation, 40, 301352

2021

• InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees

  Bui, N.D.Q., Yu, Y., Jiang, L.

  ICSE 2021, pp. 1186-1197

  PDF ORO Code

• TreeCaps: Tree-Based Capsule Networks for Source Code Processing

  Bui, N.D.Q., Yu, Y., Jiang, L.

  AAAI 2021

  PDF ORO Code

• On the Generalizability of Neural Program Models with Respect to Semantic-Preserving Program Transformations

  Rabin, M.R.I., Bui, N.D.Q., Wang, K., Yu, Y., Jiang, L., Alipour, M.A.

  Information and Software Technology

2020

• EUD-MARS: End-User Development of Model-Driven Adaptive Robotics Software Systems

  Akiki, P.A., Akiki, P.A., Bandara, A.K., Yu, Y.

  Science of Computer Programming, 200, 102534

2019

• AutoFocus: Interpreting Attention-Based Neural Networks by Code Perturbation

  Bui, N.D.Q., Yu, Y., Jiang, L.

  ASE 2019, pp. 38-41

• fAST: Flattening Abstract Syntax Trees for Efficiency

  Yu, Y.

  ICSE 2019 (Posters), Montreal, Canada

  ORO Demo VS Code Extension

• SAR: Learning Cross-Language API Mappings with Little Knowledge

  Bui, N.D.Q., Yu, Y., Jiang, L.

  ESEC/FSE 2019, pp. 796-806

• LiveBox: A Self-Adaptive Forensic-Ready Service for Drones

  Yu, Y., Barthaud, D., Price, B.A., Bandara, A.K., Zisman, A., Nuseibeh, B.

  IEEE Access, 7: 148401-148412 - Best Paper of the Week (2020)

  PDF IEEE Xplore

2018

• Requirements and Specifications for Adaptive Security: Concepts and Analysis

  Tun, T.T., Yang, M., Bandara, A.K., Yu, Y., Nhlabatsi, A., Khan, N., Khan, K.M., Nuseibeh, B.

  SEAMS 2018, pp. 161-171 - Best Paper Award

  ORO

• Text Filtering and Ranking for Security Bug Report Prediction

  Peters, F., Tun, T.T., Yu, Y., Nuseibeh, B.

  IEEE Transactions on Software Engineering (TSE), 45(6): 615-631 (2019) - Presented at FSE 2018 (Journal-First Track)

  ORO IEEE Xplore

2016

• Engineering Adaptive Model-Driven User Interfaces

  Akiki, P.A., Bandara, A.K., Yu, Y.

  IEEE Transactions on Software Engineering (TSE), 42(12): 1118-1147

  ORO IEEE Xplore

• Forensically-Sound Analysis of Security Risks of using Local Password Managers

  Gray, J., Franqueira, V.N.L., Yu, Y.

  IEEE REW 2016, pp. 114-121 - Best Paper Award

  ORO IEEE Xplore

• Verifiable Limited Disclosure: Reporting and Handling Digital Evidence in Police Investigations

  Tun, T., Price, B., Bandara, A., Yu, Y., Nuseibeh, B.

  iRENIC 2016 - Best Vision Paper

2014

• Adaptive Sharing for Online Social Networks: A Trade-off between Privacy Risk and Social Benefit

  Yang, M., Yu, Y., Bandara, A., Nuseibeh, B.

  IEEE TrustCom 2014, pp. 45-52 - Best Paper Award

  ORO

2013

• RBUIS: Simplifying Enterprise Application User Interfaces through Engineering Role-Based Adaptive Behavior

  Akiki, P., Bandara, A., Yu, Y.

  EICS 2013, pp. 3-12 - Best Paper Award

  ORO

• Requirements-Driven Adaptive Digital Forensics

  Pasquale, L., Yu, Y., Salehie, M., Cavallaro, L., Tun, T.T., Nuseibeh, B.

  RE 2013 - Best Poster Award

  ORO

2011

• Risk and Argument: A Risk-Based Argumentation Method for Practical Security

  Franqueira, V.N.L., Tun, T.T., Yu, Y., Wieringa, R., Nuseibeh, B.

  RE 2011, pp. 239-248 - IEEE Distinguished Paper Award

  ORO PDF

2010

• Exploring the Influence of Identifier Names on Code Quality: An Empirical Study

  Butler, S., Wermelinger, M., Yu, Y., Sharp, H.

  CSMR 2010

2009

• Monitoring and Diagnosing Software Requirements

  Wang, Y., McIlraith, S.A., Yu, Y., Mylopoulos, J.

  Automated Software Engineering, 16(1), pp. 3-35 - ACM SIGSOFT Distinguished Paper Award at ASE'07

  ORO

2008

• Run-Time Security Traceability for Evolving Systems

  Yu, Y.

  BCS 2008 - Best Vision Paper

  ORO

2006

• Requirements-Driven Design of Autonomic Application Software

  Lapouchnian, A., Yu, Y., Liaskos, S., Mylopoulos, J.

  CASCON 2006 - 10 Year Most Influential Paper Award (CASCON'16)

  PDF

2004

• From Goals to Aspects: Discovering Aspects from Requirements Goal Models

  Yu, Y., do Prado Leite, J.C.S., Mylopoulos, J.

  RE 2004, pp. 38-47

  IEEE Xplore

2003

• Removing False Code Dependencies to Speedup Software Development Processes

  Yu, Y., Dayani-Fard, H., Mylopoulos, J.

  CASCON 2003, pp. 288-297

2001

• Loop Parallelization using the 3D Iteration Space Visualizer

  Yu, Y., D'Hollander, E.H.

  Journal of Visual Languages & Computing, 12(2), pp. 163-181 - Best Paper Award at VMPDP'01