2 papers
cs.PL2026
A Modular Framework for Stack-Heap and Value Abstractions (Extended Version)
Giacomo Boldini, Luca Negrini, Luca Olivieri +1
Advanced static program analysis requires reasoning on the semantics of non-trivial program behaviors (e.g., pointers and complex data structures such as lists and sets, functions,…
cs.RO2021
Exponential Integration for Efficient and Accurate Multi-Body Simulation with Stiff Viscoelastic Contacts
Bilal Hammoud, Luca Olivieri, Ludovic Righetti +2
The simulation of multi-body systems with frictional contacts is a fundamental tool for many fields, such as robotics, computer graphics, and mechanics. Hard frictional contacts ar…