Zobrazeno 1 - 10
of 281
pro vyhledávání: '"Angel, Sebastian"'
Mechanized verification of liveness properties for programs with effects, nondeterminism, and nontermination is difficult. Existing temporal reasoning frameworks operate on the level of models (traces, automata) not executable code, creating a verifi
Externí odkaz:
http://arxiv.org/abs/2410.14906
Autor:
Saxena, Divyanshu, Sharma, Nihal, Kim, Donghyun, Dwivedula, Rohit, Chen, Jiayi, Yang, Chenxi, Ravula, Sriram, Hu, Zichao, Akella, Aditya, Angel, Sebastian, Biswas, Joydeep, Chaudhuri, Swarat, Dillig, Isil, Dimakis, Alex, Godfrey, P. Brighten, Kim, Daehyeok, Rossbach, Chris, Wang, Gang
This paper lays down the research agenda for a domain-specific foundation model for operating systems (OSes). Our case for a foundation model revolves around the observations that several OS components such as CPU, memory, and network subsystems are
Externí odkaz:
http://arxiv.org/abs/2312.07813
This paper introduces Flamingo, a system for secure aggregation of data across a large set of clients. In secure aggregation, a server sums up the private inputs of clients and obtains the result without learning anything about the individual inputs
Externí odkaz:
http://arxiv.org/abs/2308.09883
Autor:
Diana Morales-Jadán, Alexander Paolo Vallejo-Janeta, Byron Freire-Paspuel, Angel Sebastian Rodriguez-Pazmiño, Ismar Rivera-Olivero, Aquiles Henriquez-Trujillo, Tannya Lozada, Andrés Tapia, UDLA COVID-19 Team, Solón Orlando, Esteban Ortiz Prado, Miguel Angel Garcia-Bereguiain
Publikováno v:
Rural and Remote Health, Vol 24 (2024)
Introduction: The COVID-19 pandemic has deeply affected Latin American countries, with countless COVID-19 cases and deaths. In countries like Mexico, Brazil, Peru, Colombia and Ecuador, the public health system collapsed and the lack of testing capac
Externí odkaz:
https://doaj.org/article/d314748c2afd4a419d3ef8455d2a008c
Autor:
Orlando, Solon Alberto, Mera, Maria Daniela, Mora Jaramillo, Naomi, Leon-Sosa, Ariana, Calderon, Joselyn, Rodriguez-Pazmiño, Angel Sebastian, Garcia-Bereguiain, Miguel Angel
Publikováno v:
In Acta Tropica November 2024 259
Autor:
León-Sosa, Ariana, Orlando, Solon Alberto, Mora-Jaramillo, Naomi, Calderón, Joselyn, Rodriguez-Pazmino, Angel Sebastián, Carvajal, Elsy, Guizado-Herrera, David, Narváez, Yolanda, Sánchez, Eusebio, Arreaga, Alma, Zevallos, Juan Carlos, Carrillo, César, Garcia-Bereguiain, Miguel Angel
Publikováno v:
In Acta Tropica September 2024 257
Autor:
Rodriguez-Pazmiño, Angel Sebastian, Brito, Carla M., Salas-Rueda, Mauricio, Orlando, Solon Alberto, Garcia-Bereguiain, Miguel Angel
Publikováno v:
In Acta Tropica August 2024 256
Publikováno v:
Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI). November, 2020
This paper introduces Beldi, a library and runtime system for writing and composing fault-tolerant and transactional stateful serverless functions. Beldi runs on existing providers and lets developers write complex stateful applications that require
Externí odkaz:
http://arxiv.org/abs/2010.06706
Autor:
Diana Morales-Jadan, Bernardo Castro-Rodriguez, Angel Sebastian Rodriguez, Esteban Ortiz-Prado, Miguel Angel Garcia-Bereguiain
Publikováno v:
Rural and Remote Health, Vol 23 (2023)
Externí odkaz:
https://doaj.org/article/d35dda610b85404db1f8b93e8c35da3c
This paper examines disaggregated data center architectures from the perspective of the applications that would run on these data centers, and challenges the abstractions that have been proposed to date. In particular, we argue that operating systems
Externí odkaz:
http://arxiv.org/abs/1910.13056