Dr. Grigory Fedyukovich has a paper accepted at PLDI

Published: | 1:24 pm | Posted in: News

Dr. Grigory Fedyukovich has a paper accepted at the 2025 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). PLDI is a flagship conference in programming languages. The paper, titled “Exact Loop Bound Analysis”, is authored by Dr. Grigory Fedyukovich and his PhD student Daniel Riley. The paper presents ELBA, a novel tool for […]

Continue Reading

Dr. Kai Zhao has a paper accepted at The 2025 ACM SIGMOD International Conference on Management of Data.

Published: | 3:24 pm | Posted in: News

Dr. Kai Zhao has a paper accepted at The 2025 ACM SIGMOD International Conference on Management of Data. SIGMOD is a flagship conference in data management. The paper, titled “LCP: Enhancing Scientific Data Management with Lossy Compression for Particles,” is authored by Dr. Kai Zhao, his PhD student Longtao Zhang, Ruoyu Li, and collaborators from several universities and national […]

Continue Reading

Dr. An-I Andy Wang has a paper accepted by the 23rd USENIX Conference on File and Storage Technologies (USENIX FAST)

Published: | 3:22 pm | Posted in: News

Dr. An-I Andy Wang has a paper accepted by the 23rd USENIX Conference on File and Storage Technologies (USENIX FAST), the flagship conference on file systems and storage. The paper is titled “Silhouette: Leveraging Consistency Mechanisms to Detect Bugs in Persistent Memory-Based File Systems” and was coauthored by Dr. Ashvin Goel at the University of […]

Continue Reading

Artificial General Intelligence for Society

Published: | 11:04 am | Posted in: Events

Speaker: Tianming Liu

Date: Feb 21, 11:45am-12:45pm

Abstract: Multimodal large language models (LLMs), foundation models (FMs), and generative artificial intelligence (GenAI) have transformed many domains of our society.

Continue Reading