4 papers
Multi Language Models for On-the-Fly Syntax Highlighting
Marco Edoardo Palma, Pooja Rani, Harald C. Gall
Syntax highlighting is a critical feature in modern software development environments, enhancing code readability and developer productivity. However, delivering accurate highlight…
Key-Augmented Neural Triggers for Knowledge Sharing
Alex Wolf, Marco Edoardo Palma, Pooja Rani +1
Repository-level code comprehension and knowledge sharing remain core challenges in software engineering. Large language models (LLMs) have shown promise by generating explanations…
On-the-Fly Syntax Highlighting: Generalisation and Speed-ups
Marco Edoardo Palma, Alex Wolf, Pasquale Salza +1
On-the-fly syntax highlighting is the task of rapidly associating visual secondary notation values with each character of a language derivation. Research in this domain is driven b…
Trustworthy Distributed Certification of Program Execution
Alex Wolf, Marco Edoardo Palma, Pasquale Salza +1
Verifying the execution of a program is complicated and often limited by the inability to validate the code's correctness. It is a crucial aspect of scientific research, where it i…