Fingerprint
Dive into the research topics where Jianyi Cheng is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
BitDecoding: Unlocking tensor cores for long-context LLMs with low-bit KV cache
Du, D., Cao, S., Cheng, J., Mai, L., Cao, T. & Yang, M., 8 Nov 2025, (Accepted/In press) IEEE International Symposium on High-Performance Computer Architecture (HPCA) 2026. Institute of Electrical and Electronics Engineers, (International Symposium on High Performance Computer Architecture (HPCA)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Unlocking hardware verification with oracle guided synthesis
Ye, L., Li, Y., Frankel, G., Cheng, J. & Polgreen, E., 30 Sept 2025, Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design. Irfan, A. & Kaufmann, D. (eds.). Vienna, Austria: TU Wien Academic Press, p. 235-245 11 p. (Formal Methods in Computer-Aided Design).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Adaptive CHERI compartmentalization for heterogeneous accelerators
Cheng, J., Markettos, A. T., Joannou, A., Metzger, P., Naylor, M., Rugg, P. & Jones, T. M., 20 Jun 2025, Proceedings of the 52nd Annual International Symposium on Computer Architecture (ISCA '25). New York, NY, USA: Association for Computing Machinery (ACM), p. 2002-2016 15 p. (Proceedings of the 52nd Annual International Symposium on Computer Architecture).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
LLM4DV: Using large language models for hardware test stimuli generation
Zhang, Z., Szekely, B., Gimenes, P., Chadwick, G., McNally, H., Cheng, J., Mullins, R. & Zhao, Y., 7 May 2025, Proceedings of the 33rd IEEE International Symposium on Field-Programmable Custom Computing Machines. Institute of Electrical and Electronics Engineers, p. 1-5 5 p. (Proceedings of the Annual IEEE Symposium on Field-Programmable Custom Computing Machines).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Latency insensitivity testing for dataflow HLS designs
Cheng, J., Wang, L., Jiang, Z., Bao, Y. & Shi, K., 29 Nov 2024, (Accepted/In press) Proceedings of the 33rd ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. Association for Computing Machinery (ACM), p. 1-12 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Projects
- 1 Active
-
Unlocking Hardware Verification via Software Algorithm Specifications
Cheng, J. (Principal Investigator)
1/10/25 → 30/09/26
Project: Research
Datasets
-
Adaptive CHERI Compartmentalization for Heterogeneous Accelerators
Cheng, J. (Creator), Zenodo, 28 Mar 2025
Dataset