Silvia Lizeth Tapia Tarifa

Førsteamanuensis - Pålitelige systemer
Bilde av Silvia Lizeth Tapia Tarifa
English version of this page
Telefon +47 22852763
Rom 8462
Brukernavn
Besøksadresse Gaustadalléen 23B 0373 Oslo
Postadresse Postboks 1080 Blindern 0316 Oslo
Andre tilknytninger Institutt for pedagogikk (Student)

I am an associate professor at the Department of Informatics, University of Oslo and the leader of the Analysis and Complex System Research Program at the SIRIUS Center. My main research area is formal methods for parallel and distributed systems. I have a Young Research Talent grant for a project called ADAPt from the Research Council of Norway, the only grant in computer science for this call in 2017. In this project I am applying static analysis techniques to approximate parallel data access in architectures with shared memory.

I am also doing research on trace-based semantics for concurrent and possible non-terminating programs to enable compositional reasoning about the behavior of distributed systems, and formal modeling concepts for resource usage in distributed systems to analyze resource management and service level agreement.

I have worked in several EU projects including FP7 ENVISAGE, FP7 FET UpScale and FP7 FET HATS. I had a research stay in Imperial College London in 2016 and I was a fellow at the United Nation University, International Institute for Software Technology in Macao China in 2007.

I have taught courses at the master level and I have been supervising PhD and master students. I am PC co-chair of iFM’19 and PC member of FASE’19, ICE'19, F-IDE’19, DISE’19, DEVOPS’18 and DISE’18. I have more than 25 co-authored per-reviewed papers and Journals.

 

Publication List:

Updated until September 2022, available here.

TEACHING:

08.17 – 12.17

Guest lecturer

University college of Southeast Norway - Kongsberg

Safety Critical Systems

08.12 – 12.12

Lecturer and teaching assistant

Department of Informatics

University of Oslo

INF4140 Models of Concurrency

 

SUPERVISION:

 

2018 - Now

Gianluca Turin

Exploiting abstract data access patterns for better locality in parallel processing

PhD Student - Main supervisor

2015 -  Now

Shiji Bijo

Formalization of data movement in multi-core architectures.

PhD Student - Co-supervisor

Autumn 2018

Aravinth A. Sivalingam

The fast food restaurant: A case study for modelling business process using ABS

Master Thesis - Main Supervisor

Autumn 2017

Uy Quoc Ton Tran

Cooperative Fire Fighters

Master Thesis - Main Supervisor

   
   

RESEARCH RECORD

09.17 - now

Researcher

SFI SIRIUS

Norway

07.14 - 08.17

Postdoctoral Researcher

EU FP7 Envisage and EU FP7 FET Upscale

Norway

01.10 – 04.14

Ph.D. Research Fellow

EU FP7 FET Hats

University of Oslo - Department of Informatics

Norway

03.09 – 12.09

Scientific Assistant

EU FP6 Credo

University of Oslo - Department of Informatics

Norway

04.07 – 04.08

Fellow

United Nations University

International Institute for Software Technology

Macao S.A.R.

 

EDUCATION

Spring 2014

University of Oslo

Department of Informatics

Norway

Ph.D.

Thesis: Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications

Slides: defence here, trial lecture here.

Supervisors: Einar Broch Johnsen

                       Martin Steffen

Autumn 2013

University of Oslo

Department of Informatics

Norway

Master of Science in Informatics: programming and networks

Thesis: The Cooperative Cleaners Case Study: Modelling and Analysis in Real-Time ABS

Slides: here

Supervisors: Einar Broch Johnsen

Autumn 2007

Universidad Nacional de San Agustín

Escuela Profesional de Ingeniería de Sistemas

Perú

System Engineer

Autumn 2002

Universidad Nacional de San Agustín

Escuela Profesional de Ingeniería de Sistemas

Perú

Bachelor


 

Project participation and Funding

CURRENT PROJECTS

FRINATEK - Young Research Talent - ADAPT: Exploiting Abstract Data-Access Patterns for Better Data Locality in Parallel Processing, Project Manager

 

PAST PROJECTS

EU FP7-610582 Engineering Virtualized Services (ENVISAGE), Postdoc 


EU FP7-612985 From Inherent Concurrency to Massive Parallelism through Type-based Optimizations (UpScale), Postdoc 
Norwegian-German bilateral research cooperation SMT4ABS, Postdoc 

EU FP7 Highly Adaptable and Trustworthy Software using Formal Models (HATS) project, Ph.D. Student
Norwegian-German bilateral research project Avabi, Scientific Assistant
 

EU FP6 CREDO Project, Scientific Assistant

033-FINCyT-PITEI-2008 project, System Analyst

RAISE Tools project, fellow

Emneord: formal methods, concurrency, programming language theory, model-based analysis, microservices, distributed systems, object-orientation, modeling, resourse analysis

Publikasjoner

Se alle arbeider i Cristin

  • Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth & Owe, Olaf (2024). Assuring GDPR Conformance through Language-Based Compliance. Springer. ISBN 978-3-031-50758-8. 15 s.
  • Abraham, Erika; Clemens, Dubslaff & Tapia Tarifa, Silvia Lizeth (2023). Proceedings of the 20th International Colloquium on Theoretical Aspects of Computing - ICTAC 2023. Springer. ISBN 978-3-031-47962-5. 14446(1). 440 s.
  • Tapia Tarifa, Silvia Lizeth & Proença, José (2022). Formal Aspects of Component Software. 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. Springer. ISBN 978-3-031-20871-3. 13712(13712). 245 s.
  • Ahrendt, Wolfgang & Tapia Tarifa, Silvia Lizeth (2019). Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Springer. ISBN 978-3-030-34967-7. 551 s.

Se alle arbeider i Cristin

  • Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth & Wehrheim, Heike (2021). Formal Aspects of Computing, Volume 33, Number 6, December 2021. Extended versions of papers presented at iFM 2019. Formal Aspects of Computing. ISSN 0934-5043. 33(6). doi: 10.1007/s00165-021-00569-w.
  • Halvorsrud, Ragnhild; Mannhardt, Felix; Broch Johnsen, Einar & Tapia Tarifa, Silvia Lizeth (2021). Smart Journey Mining for Improved Service Quality.
  • Borda, Aimée; Cimini, Matteo; Cirstea, Corina; Dardha, Ornela; Fowler, Simon & Jakši ć, Svetlana [Vis alle 19 forfattere av denne artikkelen] (2019). Preface. Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN 2075-2180. 304.
  • Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth & Owe, Olaf (2023). Integrating Data Privacy Compliance in Active Object Languages. Universitetet i Oslo. ISSN 978-82-7368-606-0. Fulltekst i vitenarkiv
  • Abraham, Erika & Tapia Tarifa, Silvia Lizeth (2018). Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18). University of Oslo. ISSN 978-82-7368-435-6. Fulltekst i vitenarkiv
  • Abraham, Erika & Tapia Tarifa, Silvia Lizeth (2017). Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17). Universitetet i Oslo. ISSN 978-82-7368-435-6. Fulltekst i vitenarkiv
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2015). An Operational Semantics of Cache Coherent Multicore Architectures. 7Letras.
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2015). Meeting Deadlines, Elastically. 7Letras. ISSN 978-82-7368-408-0.
  • Tapia Tarifa, Silvia Lizeth (2014). Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications. Akademika. ISSN 1501-7710.
  • Tapia Tarifa, Silvia Lizeth (2013). The Cooperative Cleaners Case Study: Modeling and Analysis in Real-Time ABS. 7Letras.

Se alle arbeider i Cristin

Publisert 3. des. 2015 14:38 - Sist endret 23. feb. 2023 11:46