15 papers · ranked by Valyu relevance
Katarína Kejstová, Petr Ročkai, Jǐŕı Barnat
We describe a novel approach for adapting an existing software model checker to perform precise runtime verification. The software under test is allowed to communicate with the wider environment (including the file system and network). The modifications to the model checker are small and self-contained, making this a…
Viacheslav Dubeyko, Om Rameshwar Gatla, Mai Zheng
Modern operating systems are typically POSIX-compliant with major system calls specified decades ago. The next generation of non-volatile memory (NVM) technologies raise concerns about the efficiency of the traditional POSIX-based systems. As one step toward building high performance NVM systems, we explore the…
Nouman Shamim, Muhammad Asim, Thar Baker, Ali Ismail Awad + 1 more
'Jemal Abawajy'] The Internet of Things (IoT) has shown rapid growth and wide adoption in recent years. However, IoT devices are not designed to address modern security challenges. The weak security of these devices has been exploited by malicious actors and has led to several serious cyber-attacks. In this context…
Till Miemietz, Maksym Planeta, Viktor Laurin Reusch
System calls have no place on the fast path of microsecondscale systems. However, kernel bypass prevents the OS from controlling and supervising access to the hardware. In this paper we introduce the fastcall space, a new layer in the traditional OS architecture, that hosts fastcalls. A fastcall implements the fast…
Ján Veselý, Arkaprava Basu, Abhishek Bhattacharjee, Gabriel H. Loh + 2 more
'Mark Oskin' 'Steven K. Reinhardt'] GPUs are becoming first-class compute citizens and are being tasked to perform increasingly complex work. Modern GPUs increasingly support programmabilityenhancing features such as shared virtual memory and hardware cache coherence, enabling them to run a wider variety of programs.…
Ali Raza, Thomas A. Unger, Matthew Boyd, Eric Munson + 8 more
'Ulrich Drepper' 'Richard W. Jones' 'Daniel Bristot de Oliveira' 'Larry Woodman' 'Renato Mancuso' 'Jonathan Appavoo' 'Orran Krieger'] This paper presentsUnikernel Linux(UKL), a path towardintegrating unikernel optimization techniques in Linux, a general purpose operating system. UKL adds a configuration option to Linux…
Jinghao Jia, Zhu Yi-fei, Dan Williams, Andrea Arcangeli + 6 more
'Claudio Canella' 'Hubertus Franke' 'Tobin Feldman-Fitzthum' 'Dimitrios Skarlatos' 'Daniel Gruss' 'Tianyin Xu'] System call filtering is a widely used security mechanism for protecting a shared OS kernel against untrusted user applications. However, existing system call filtering techniques either are too expensive due…
Francisco J. Ballesteros, Gorka Guardiola, Enrique Soriano
In this paper we present our experience designing and developing two different systems to enable personal pervasive computing environments, Plan B and the Octopus. These systems were fully implemented and have been used on a daily basis for years. Both are based on synthetic (virtual) file system interfaces and provide…
Rylan Simpson, Carlena Orosco, Bryan L. Sykes
Police calls for service are an important conduit by which officers and researchers can obtain insight into public requests for police service. Questions remain, however, about the quality of these data, and, particularly, the prevalence of measurement error in the classifications of events. As part of the present…
Femke Ongenae, Dries Myny, Tom Dhaene, Tom Defloor + 4 more
'Dirk Van Goubergen' 'Piet Verhoeve' 'Johan Decruyenaere' 'Filip De Turck'] Background The current, place-oriented nurse call systems are very static. A patient can only make calls with a button which is fixed to a wall of a room. Moreover, the system does not take into account various factors specific to a situation.…
Rob SG Ong, Johan Post, Harry van Rooij, Jan de Haan
Background Cooperatives delivering out of hours care in the Netherlands are hesitant about the use of expert systems during triage. Apart from the extra costs, cooperatives are not sure that quality of triage is sufficiently enhanced by these systems and believe that call duration will be prolonged drastically. No…
Xinyan Fu, Chunyi Wang, Wen Wen, Jiake Tang + 8 more
'Yongran Cheng' 'Mengyun Zhou' 'Qi Wu' 'Xingwei Zhang' 'Zhanhui Feng' 'Mingwei Wang' 'Ping Yu'] Background Since January 2020, the continuous and severe COVID-19 epidemic has ravaged various countries around the world and affected their emergency medical systems (EMS). The total number of emergency calls and the number…
Zhichu Ren, Zhen Zhang, Yunsheng Tian, Ju Li
Autonomous laboratories were previously controlled mainly by scripting languages such as Python, limiting their usage among experimentalists. The recent release of OpenAI's ChatGPT API's function calling feature has enabled seamless integration and execution of Python subroutines in experimental workflows using voice…
A. Lucas Martins, Alexandre Laborde, Michael Orger
We present Sardine, a software framework built with.NET to control experimental setups through the reliable execution of dynamic networks of independent modules, where each module can interface with a hardware device (e.g., camera, motor) or represent an operation over data (e.g., image filter, data stream). The…
Moritz Steffin, Jiska Classen
The X is Not Unix (XNU) kernel is the basis of Apple's operating systems. Although labeled as a hybrid kernel, it is found to generally operate in a monolithic manner by defining a single privileged trust zone in which all system functionality resides. This has security implications, as a kernel compromise has…