10 citations · 14 across the 12 of their papers we have counts for
7 papers · 1 filter
Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
Changjie Wang, Mariano Scazzariello, Anoud Alshnakat +3
Formal verification is increasingly recognized as a critical foundation for building reliable software systems. However, the need for specialized expertise to write precise specifi…
KVComm: Enabling Efficient LLM Communication through Selective KV Sharing
Xiangyu Shi, Marco Chiesa, Gerald Q. Maguire +1
Large Language Models (LLMs) are increasingly deployed in multi-agent systems, where effective inter-model communication is crucial. Existing communication protocols either rely on…
Can LLMs Forecast Internet Traffic from Social Media?
Jonatan Langlet, Mariano Scazzariello, Flavio Luciani +3
Societal events shape the Internet's behavior. The death of a prominent public figure, a software launch, or a major sports match can trigger sudden demand surges that overwhelm pe…
Priority-Aware Preemptive Scheduling for Mixed-Priority Workloads in MoE Inference
Mohammad Siavashi, Faezeh Keshmiri Dindarloo, Dejan Kostic +1
Large Language Models have revolutionized natural language processing, yet serving them efficiently in data centers remains challenging due to mixed workloads comprising latency-se…
Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
Daniele Cipollone, Changjie Wang, Mariano Scazzariello +4
In today's digital landscape, the importance of timely and accurate vulnerability detection has significantly increased. This paper presents a novel approach that leverages transfo…
From Scientific Texts to Verifiable Code: Automating the Process with Transformers
Changjie Wang, Mariano Scazzariello, Marco Chiesa
Despite the vast body of research literature proposing algorithms with formal guarantees, the amount of verifiable code in today's systems remains minimal. This discrepancy stems f…
Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning
Laura Puccioni, Alireza Farshin, Mariano Scazzariello +3
Large Language Models (LLMs) have demonstrated their exceptional performance in various complex code generation tasks. However, their broader adoption is limited by significant com…