Silvia Lizeth Tapia Tarifa

Joint Papers

• Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
• A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
• Deployment by Construction for Multicore Architectures
• A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches"
• Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
• Meeting Deadlines, Elastically.
• A Maude Framework for Cache Coherent Multicore Architectures
• Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore