Branding/Logomark minus arrow-point-to-down Citation Combined Shape Icon/Bookmark-empty Icon/Copy Icon/Collection Icon/Close Copy 7 Icon/List no author result Created with Sketch.
Loading Scinapse...
2013 in Symposium on Operating Systems Principles
Xi Wang12
Estimated H-index: 12
(Massachusetts Institute of Technology),
Nickolai Zeldovich40
Estimated H-index: 40
(Massachusetts Institute of Technology)
+ 1 AuthorsArmando Solar-Lezama18
Estimated H-index: 18
(Massachusetts Institute of Technology)
This paper studies an emerging class of software bugs called optimization-unstable code : code that is unexpectedly discarded by compiler optimizations due to undefined behavior in the program. Unstable code is present in many systems, including the Linux kernel and the Postgres database. The consequences of unstable code range from incorrect functionality to missing security checks. To reason about unstable code, this paper proposes a novel model, which views unstable code in terms of op...
51 Citations Download PDF Cite
2013 in International Joint Conference on Artificial Intelligence
Chia-Li Kuo1
Estimated H-index: 1
(University of British Columbia),
David Buchman5
Estimated H-index: 5
(University of British Columbia)
+ 1 AuthorsDavid Poole37
Estimated H-index: 37
(University of British Columbia)
This paper concerns building probabilistic models with an underlying ontology that defines the classes and properties used in the model. In particular, it considers the problem of reasoning with properties that may not always be defined. Furthermore, we may even be uncertain about whether a property is defined for a given individual. One approach is to explicitly add a value "undefined" to the range of random variables, forming extended belief networks; however, adding an extra value to a...
5 Citations Download PDF Cite
Xi Wang12
Estimated H-index: 12
(Massachusetts Institute of Technology),
Nickolai Zeldovich40
Estimated H-index: 40
(Massachusetts Institute of Technology)
+ 1 AuthorsArmando Solar-Lezama18
Estimated H-index: 18
(Massachusetts Institute of Technology)
This article studies undefined behavior arising in systems programming languages such as C/Cpp. Undefined behavior bugs lead to unpredictable and subtle systems behavior, and their effects can be further amplified by compiler optimizations. Undefined behavior bugs are present in many systems, including the Linux kernel and the Postgres database. The consequences range from incorrect functionality to missing security checks. This article proposes a formal and practical approa...
12 Citations Download PDF Cite
2018 in Computer and Communications Security
Carmine Abate1
Estimated H-index: 1
(University of Trento),
Arthur Azevedo de Amorim6
Estimated H-index: 6
(Carnegie Mellon University)
+ 7 AuthorsAndrew Tolmach18
Estimated H-index: 18
(Portland State University)
We propose a new formal criterion for secure compilation, giving strong end-to-end security guarantees for software components written in unsafe, low-level languages with C-style undefined behavior. Our criterion is the first to model_dynamic_ compromise in a system of mutually distrustful components running with least privilege. Each component is protected from all the others---in particular, from components that have encountered undefined behavior and become compromised. Each com...
2 Citations Download PDF Cite
2014 in Microbial Cell FactoriesIF: 3.83
Eddy J. Smid43
Estimated H-index: 43
(Wageningen University and Research Centre),
Oylum Erkus4
Estimated H-index: 4
+ 3 AuthorsMichiel Kleerebezem73
Estimated H-index: 73
(Wageningen University and Research Centre)
This review describes the recent advances made in the studies of the microbial community of complex and undefined cheese starter cultures. We report on work related to the composition of the cultures at the level of genetic lineages, on the presence and activity of bacteriophages and on the population dynamics during cheese making and during starter culture propagation. Furthermore, the link between starter composition and starter functionality will be discussed. Finally, recent advances ...
39 Citations Source Cite
2011 in Trends in BiotechnologyIF: 13.58
Matthew T. Agler12
Estimated H-index: 12
(Cornell University),
Brian A. Wrenn5
Estimated H-index: 5
(Temple University)
+ 1 AuthorsLargus T. Angenent41
Estimated H-index: 41
(Cornell University)
Our societies generate increasing volumes of organic wastes. Considering that we also need alternatives to oil, an opportunity exists to extract liquid fuels or even industrial solvents from these abundant wastes. Anaerobic undefined mixed cultures can handle the complexity and variability of organic wastes, which produces carboxylates that can be efficiently converted to useful bioproducts. However, to date, barriers, such as inefficient liquid product separation and persistence of metha...
289 Citations Download PDF Cite
Marika Ruponen18
Estimated H-index: 18
(University of Eastern Finland),
Arto Urtti52
Estimated H-index: 52
(University of Helsinki)
Abstract Mucus layer covers the ocular surface, and soluble mucins are also present in the tear fluid. After topical ocular drug administration, the drugs and formulations may interact with mucus layer that may act as a barrier in ocular drug delivery. In this mini-review, we illustrate the mucin composition of the ocular surface and discuss the influence of mucus layer on ocular drug absorption. Based on the current knowledge the role of mucus barrier in drug delivery is still undefined....
20 Citations Source Cite
Eugenio Parente27
Estimated H-index: 27
Angela Guidone9
Estimated H-index: 9
+ 3 AuthorsAnnamaria Ricciardi22
Estimated H-index: 22
Abstract Model undefined thermophilic starter cultures were produced from raw milk of nine pasta-filata cheesemaking plants using a selective procedure based on pasteurization and incubation at high temperature with the objective of studying the microbial community dynamics and the variability in performances under repeated (7–13) reproduction cycles with backslopping. The traditional culture-dependent approach, based on random isolation and molecular characterization of isolates was coup...
8 Citations Source Cite
Michael E. Himmel59
Estimated H-index: 59
(National Renewable Energy Laboratory),
Charles Abbas1
Estimated H-index: 1
(University of Illinois at Urbana–Champaign)
+ 12 AuthorsStephen R. Decker30
Estimated H-index: 30
(National Renewable Energy Laboratory)
In the shadow of a burgeoning biomass-to-fuels industry, biological conversion of lignocellulose to fermentable sugars in a cost-effective manner is key to the success of second-generation and advanced biofuel production. For the effective comparison of one cellulase preparation to another, cellulase assays are typically carried out with one or more engineered cellulase formulations or natural exoproteomes of known performance serving as positive controls. When these formulations have unknown co...
2 Citations Source Cite
2017 in ChemsuschemIF: 7.41
Marianna Villano14
Estimated H-index: 14
(Sapienza University of Rome),
Paola Paiano2
Estimated H-index: 2
(Sapienza University of Rome)
+ 2 AuthorsMauro Majone42
Estimated H-index: 42
(Sapienza University of Rome)
Growing scientific interest in mixed microbial culture-based anaerobic biotechnologies for the production of value-added chemicals and fuels from waste organic residues requires a parallel focus on the development and implementation of strategies to control products distribution. This study examined the feasibility of an electro-fermentation approach, based on the introduction of a polarized (-700 mV vs. the standard hydrogen electrode) graphite electrode in the fermentation medium, to steer pro...
5 Citations Source Cite