Silvia Lizeth Tapia Tarifa

I am a senior researcher 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 November 2017, available in html format here, and in pdf format here.
TEACHING:
2019 – 2020 |
Guest lecturer Department of Informatics University of Oslo |
IN5170 Models of Concurrency |
08.17 – 12.17 |
Guest lecturer |
Safety Critical Systems |
08.12 – 12.12 |
Lecturer and teaching assistant Department of Informatics University of Oslo |
INF4140 Models of Concurrency |
SUPERVISION:
2020 - Now |
Chinmayi Prabhu Baramashetru Specification and Analysis of Information Privacy PhD Student - Main supervisor |
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 Master Thesis - Main Supervisor |
RESEARCH RECORD
09.17 - now |
Researcher |
Norway |
07.14 - 08.17 |
Postdoctoral Researcher |
EU FP7 Envisage and EU FP7 FET Upscale Norway |
01.10 – 04.14 |
Ph.D. Research Fellow |
University of Oslo - Department of Informatics Norway |
03.09 – 12.09 |
Scientific Assistant |
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
EU Horizon 2020 REMARO: Reliable AI for marine robots
NFR Smart Journey Mining: Towards successful digitalisation of services
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
Publications
- de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth & Tveito, Lars (2020). SymPaths: Symbolic Execution Meets Partial Order Reduction. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12345, s 313- 338 . doi: 10.1007/978-3-030-64354-6_13 Full text in Research Archive.
- de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2020). From SOS to asynchronously communicating actors. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12226, s 269- 275 . doi: 10.1007/978-3-030-57506-9_20 Full text in Research Archive.
- de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth & Tveito, Lars (2020). Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. OpenAccess Series in Informatics. ISSN 2190-6807. 86, s 10:1- 10:18 . doi: https://doi.org/10.4230/OASIcs.Gabbrielli.10 Full text in Research Archive.
- Turin, Gianluca; Borgarelli, Andrea; Donetti, Simone; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth & Damiani, Ferruccio (2020). A Formal Model of the Kubernetes Container Framework. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12476, s 558- 577 . doi: 10.1007/978-3-030-61362-4_32 Full text in Research Archive.
- Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2019). Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11424, s 332- 350 . doi: 10.1007/978-3-030-16722-6_20 Full text in Research Archive.
- Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2019). A formal model of data access for multicore architectures with multilevel caches. Science of Computer Programming. ISSN 0167-6423. 179, s 24- 53 . doi: 10.1016/j.scico.2019.04.003
- Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph & Tapia Tarifa, Silvia Lizeth (2018). Deployment by Construction for Multicore Architectures, In Tiziana Margaria & Bernhard Steffen (ed.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. Proceedings - Part I. Springer. ISBN 978-3-030-03417-7. Scientific Article. s 448 - 465
- Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2018). Automatic Parameter Optimisation of Service Quality and Resource Usage. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. . doi: https://ojs.bibsys.no/index.php/NIK/issue/view/41 Show summary
- Schlatte, Rudolf; Johnsen, Einar Broch; Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2018). Release the Beasts: When Formal Methods Meet Real World Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10865, s 107- 121 . doi: 10.1007/978-3-319-90089-6_8
- Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2017). A formal model of parallel execution on multicore architectures with multilevel caches. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10487 LNCS, s 58- 77 . doi: 10.1007/978-3-319-68034-7_4
- Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2017). Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10501 LNAI, s 22- 43 . doi: 10.1007/978-3-319-66902-1_2
- Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2017). A formal model of cloud-deployed software and its application to workflow processing, In Dinko Begušić; Nikola Rožić; Joško Radić & Matko Šarić (ed.), SoftCOM 2017. IEEE Communications Society. ISBN 978-953-290-078-1. Session 1.
- Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). A Maude Framework for Cache Coherent Multicore Architectures. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9942, s 47- 63 . doi: 10.1007/978-3-319-44802-2_3
- Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). An operational semantics of cache coherent multicore architectures, In Sascha Ossowski (ed.), Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16). Association for Computing Machinery (ACM). ISBN 978-1-4503-3739-7. Kap.. s 1219 - 1224
- Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2016). Meeting Deadlines, Elastically, In Luigia Petre & Emil Sekerinski (ed.), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. ISBN 978-1-4987-0158-7. Kap.. s 99 - 111
- Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). Modeling deployment decisions for elastic services with ABS. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180. 228, s 16- 26 . doi: 10.4204/EPTCS.228.3
- Din, Crystal Chang; Tapia Tarifa, Silvia Lizeth; Hähnle, Reiner & Johnsen, Einar Broch (2015). History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9407, s 217- 233 . doi: 10.1007/978-3-319-25423-4_14
- Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Wrigstad, Tobias & Yang, Albert Mingkun (2015). Parallel objects for multicores: A glimpse at the parallel language encore. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9104, s 1- 56 . doi: 10.1007/978-3-319-18941-3_1
- Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2015). Integrating deployment architectures and resource consumption in timed object-oriented models. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 84(1), s 67- 91 . doi: 10.1016/j.jlamp.2014.07.001
- Albert, Elvira; de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth & Wong, Peter Y. H. (2014). Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Service Oriented Computing and Applications. ISSN 1863-2386. 8(4), s 323- 339 . doi: 10.1007/s11761-013-0148-0
- Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2014). Deployment variability in delta-oriented models. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8802, s 304- 319 . doi: 10.1007/978-3-662-45234-9_22
- Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2013). Modeling Application-Level Management of Virtualized Resources in ABS. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7542, s 89- 108 . doi: 10.1007/978-3-642-35887-6_5
- Bjørk, Joakim; de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). User-defined Schedulers for Real-Time Concurrent Objects. Innovations in Systems and Software Engineering. ISSN 1614-5046. . doi: 10.1007/s11334-012-0184-5
- Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7253, s 187- 204 . doi: 10.1007/978-3-642-35743-5_12
- Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7421, s 196- 213 . doi: 10.1007/978-3-642-31762-0_13
- Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2012). Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7635, s 71- 86 . doi: 10.1007/978-3-642-34281-3_8
- Albert, Elvira; Genaim, Samir; Gómez-Zamalloa, Miguel; Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 6664, s 353- 368 . doi: 10.1007/978-3-642-21437-0_27
- Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Validating Timed Models of Deployment Components with Parametric Concurrency. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 6528, s 46- 60 . doi: 10.1007/978-3-642-18070-5_4
- Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Integrating Aspects of Software Deployment in High-Level Executable Models, In Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag. ISBN 978-82-519-2843-4. Kap XX.
- Schlatte, Rudolf; Johnsen, Einar Broch; Kazemeyni, Fatemeh Sadat & Tapia Tarifa, Silvia Lizeth (2011). Models of Rate Restricted Communication for Concurrent Objects. Electronical Notes in Theoretical Computer Science. ISSN 1571-0661. 274, s 67- 81 . doi: 10.1016/j.entcs.2011.07.007
- Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Deployment Components with Parametric Concurrency, In Marina Walden & Luigia Petre (ed.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISBN 978-952-12-2478-2. Extended abstract. s 23 - 25
- Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Dynamic Resource Reallocation between Deployment Components. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 6447, s 646- 661
- Ahrendt, Wolfgang & Tapia Tarifa, Silvia Lizeth (ed.) (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.
- Abraham, Erika & Tapia Tarifa, Silvia Lizeth (ed.) (2018). Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18). Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 483. Full text in Research Archive.
- Abraham, Erika & Tapia Tarifa, Silvia Lizeth (ed.) (2017). Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17). Full text in Research Archive.
- Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2015). An Operational Semantics of Cache Coherent Multicore Architectures.
- Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2015). Meeting Deadlines, Elastically..
- Tapia Tarifa, Silvia Lizeth (2014). Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.. 1484.
- Tapia Tarifa, Silvia Lizeth (2013). The Cooperative Cleaners Case Study: Modeling and Analysis in Real-Time ABS..