3 papers
cs.PL2024
Scaling Inter-procedural Dataflow Analysis on the Cloud
Zewen Sun, Yujin Zhang, Duanchen Xu +11
Apart from forming the backbone of compiler optimization, static dataflow analysis has been widely applied in a vast variety of applications, such as bug detection, privacy analysi…
cs.SE2024
LogParser-LLM: Advancing Efficient Log Parsing with Large Language Models
Aoxiao Zhong, Dengyao Mo, Guiyang Liu +6
Logs are ubiquitous digital footprints, playing an indispensable role in system diagnostics, security analysis, and performance optimization. The extraction of actionable insights…
cs.DC2024
DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency
Haoran Ma, Yifan Qiao, Shi Liu +7
Despite being a powerful concept, distributed shared memory (DSM) has not been made practical due to the extensive synchronization needed between servers to implement memory cohere…