• email
• (Website)

Ricardo Dias is a PhD student and a major contributor for Synergy-VM, playing the role of technical officer in the project.  He has developed StarTM, a shape analysis tool for modeling the heap in managed memory programs (e.g., Java bytecode) and extracting abstract read and write sets, which can be used for multiple run-time optimizations.

Period: Since March 2011