Larisa Safina

38 papers A 1B 2Journal 20Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Even Lighter Than Lightweight: Augmenting Type Inference with Primitive Heuristics.
IWST
Larisa Safina, Jan Bliznicenko, Robert Pergl
2023 B conf
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.
FASE
Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina
2023 A conf
Parsing Fortran-77 with proprietary extensions.
ICSME
Younoussa Sow, Larisa Safina, Léandre Brault, Papa Ibou Diouf, Stéphane Ducasse, Nicolas Anquetil
2023 J jnl
Parsing Fortran-77 with proprietary extensions.
CoRR
Younoussa Sow, Larisa Safina, Léandre Brault, Papa Ibou Diouf, Stéphane Ducasse, Nicolas Anquetil
2023 — conf
Pharo DataFrame: Past, Present, and Future.
IWST
Larisa Safina, Oleksandr Zaitsev, Cyril Ferlicot-Delbecque, Papa Ibrahima Sow
2023 — ed.
Proceedings 16th Interaction and Concurrency Experience, ICE 2023, Lisbon, Portugal, 19th June 2023.
ICE
Clément Aubert, Cinzia Di Giusto, Simon Fowler, Larisa Safina
2022 J jnl
Ephemeral data handling in microservices with Tquery.
PeerJ Comput. Sci.
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
2022 J jnl
Implementing Choreography Extraction.
CoRR
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi, Larisa Safina
2022 — ed.
Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022.
ICE
Clément Aubert, Cinzia Di Giusto, Larisa Safina, Alceste Scalas
2022 J jnl
SAT-Based Extraction of Behavioural Models for Java Libraries with Collections.
CoRR
Larisa Safina, Simon Bliudze
2021 — ed.
Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021.
ICE
Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas
2020 — ch.
DevOps and Its Philosophy: Education Matters!
Microservices, Science and Engineering
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
2020 — ed.
Proceedings 13th Interaction and Concurrency Experience, ICE 2020, Online, 19 June 2020.
ICE
Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas
2019 J jnl
DevOps and its Philosophy : Education Matters!
CoRR
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
2019 J jnl
Ephemeral Data Handling in Microservices - Technical Report.
CoRR
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
2019 — conf
Ephemeral Data Handling in Microservices.
SCC
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
2019 J jnl
Implementing choreography extraction.
CoRR
Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina
2018 — conf
Teaching DevOps in Corporate Environments - An Experience Report.
DEVOPS
Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
2018 J jnl
Teaching DevOps in Corporate Environments: An experience report.
CoRR
Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
2017 J jnl
Domain Objects and Microservices for Systems Development: a roadmap.
CoRR
Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, Victor Rivera
2017 J jnl
Microservices Science and Engineering.
CoRR
Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, Alberto Sillitti
2017 — conf
Microservices: How To Make Your Application Scale.
Ershov Informatics Conference
Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
2017 J jnl
Microservices: How To Make Your Application Scale.
CoRR
Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
2017 — ch.
Microservices: Yesterday, Today, and Tomorrow.
Present and Ulterior Software Engineering
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
2017 J jnl
Towards Static Type-checking for Jolie.
CoRR
Bogdan Mingela, Nikolay Troshkov, Manuel Mazzara, Larisa Safina, Alexander Tchitchigin
2017 J jnl
Verified type checker for Jolie programming language.
CoRR
Evgenii Akentev, Alexander Tchitchigin, Larisa Safina, Manuel Mazzara
2016 B conf
Data-Driven Workflows for Microservices: Genericity in Jolie.
AINA
Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera
2016 — conf
Domain Objects and Microservices for Systems Development: A Roadmap.
SEDA
Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, Victor Rivera
2016 — conf
Jolie Community on the Rise.
SOCA
Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin
2016 J jnl
Jolie Community on the Rise.
CoRR
Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin
2016 — conf
Microservices Science and Engineering.
SEDA
Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, Alberto Sillitti
2016 J jnl
Microservices: yesterday, today, and tomorrow.
CoRR
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
2016 J jnl
Neuromorphic Robot Dream.
CoRR
Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara
2016 J jnl
Refinement types in Jolie.
CoRR
Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera
2016 — conf
Robot Dream.
KES-AMSTA
Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara
2016 J jnl
Robot Dream.
CoRR
Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara
2016 J jnl
Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing.
CoRR
Manuel Mazzara, Ruslan Mustafin, Larisa Safina, Ivan Lanese
2015 J jnl
Data-driven Workflows for Microservices.
CoRR
Larisa Safina, Manuel Mazzara, Fabrizio Montesi