Publications associées à Dynamic Link Library

Dynamic Linkers Are the Narrow Waist of Operating Systems

Adrien Ghosn, Charly Nicolas Lucien Castes

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Association for Computing Machinery2023

PlaceNet: A multi-scale semantic-aware model for visual loop closure detection

Hussein Fadl Hassan Hassan Osman

Loop closure detection helps simultaneous localization and mapping systems reduce map and state uncertainty via recognizing previously visited places along the path of a mobile robot. However, visual loop closure detection is susceptible to scenes with dyn ...

PERGAMON-ELSEVIER SCIENCE LTD2022

HP - A code for the calculation of Hubbard parameters using density-functional perturbation theory

Nicola Marzari, Iurii Timrov, Matteo Cococcioni

We introduce HP, an implementation of density-functional perturbation theory, designed to compute Hubbard parameters (on-site U and inter-site V ) in the framework of DFT+U and DFT+U+V. The code does not require the use of computationally expensive superce ...

ELSEVIER2022

Bioluminescent compositions and uses thereof

Elena Goun, Pavlo Khodakivskyi, Hacer Karatas, Aleksey Yevtodiyenko

Compositions and methods for non-invasively monitoring the intracellular processing of a biomolecule are provided. The compositions have a novel thio-luciferin moiety which can be conjugated to the biomolecule directly or via a linker such as disulfide bon ...

2021

Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code

Mathias Josef Payer

Android apps include third-party native libraries to increase performance and to reuse functionality. Native code is directly executed from apps through the Java Native Interface or the Android Native Development Kit. Android developers add precompiled nat ...

IEEE COMPUTER SOC2021

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Mathias Josef Payer

Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...

USENIX ASSOC2020

Swirl number based transposition of flow-induced mechanical stresses from reduced scale to full-size Francis turbine runners

François Avellan, Christian Landry, Arthur Tristan Favrel, Keita Yamamoto, Joao Gomes Pereira Junior

At part load conditions, Francis turbines are subject to the emergence of a hydrodynamic instability in their draft tube, referred to as precessing vortex rope. It induces pressure pulsations in the water passages at the precession frequency of the vortex, ...

2020

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

Mathias Josef Payer, Duo Xu

Analyzing the security of closed source binaries is currently impractical for end-users, or even developers who rely on third-party libraries. Such analysis relies on automatic vulnerability discovery techniques, most notably fuzzing with sanitizers enable ...

IEEE COMPUTER SOC2020

Generation of a Large Peptide Phage Display Library by Self-Ligation of Whole-Plasmid PCR Product

Christian Heinis, Xudong Kong, Vanessa Carle, Cristina Diaz Perlas, Kaycie Marie Butler

The success of phage display, used for developing target-specific binders based on peptides and proteins, depends on the size and diversity of the library screened, but generating large libraries of phage-encoded polypeptides remains challenging. New pepti ...

2020

Self-Organized Laboratories for Smart Campus

Denis Gillet, Christophe Salzmann

A smart campus provides students who are geographically scattered with online tools to get access to learning resources and laboratories. Although these remote laboratories have the potential and capabilities to implement different learning experiments, mo ...

IEEE COMPUTER SOC2020