Published Items by Year
Collaborations
Subject Areas
Institution’s Latest Publications
- research-article
ExLi: An Inline-Test Generation Tool for Java
July 2024FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineeringhttps://doi.org/10.1145/3663529.3663817 - research-article
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
- Xi Zheng,
- Aloysius K. Mok,
- Ruzica Piskac,
- Yong Jae Lee,
- Bhaskar Krishnamachari,
- Dakai Zhu,
- Oleg Sokolsky,
- Insup Lee
July 2024FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineeringhttps://doi.org/10.1145/3663529.3663779 - research-article
SecurityCloak: Protection against cache timing and speculative memory access attacks
May 2024Journal of Systems Architecture: the EUROMICRO Journal, Volume 150, Issue Chttps://doi.org/10.1016/j.sysarc.2024.103107 - research-article
Multifidelity methods for uncertainty quantification of a nonlocal model for phase changes in materials
July 2024Computers and Structures, Volume 297, Issue Chttps://doi.org/10.1016/j.compstruc.2024.107328 - research-article
FabHacks: Transform Everyday Objects into Home Hacks Leveraging a Solver-aided DSL
July 2024SCF '24: Proceedings of the 9th ACM Symposium on Computational Fabricationhttps://doi.org/10.1145/3639473.3665788