Branding/Logomark minus Citation Combined Shape Icon/Bookmark-empty Icon/Copy Icon/Collection Icon/Close Copy 7 no author result Created with Sketch. Icon/Back Created with Sketch.
Loading Scinapse...
Published on Jun 14, 2017 in Programming Language Design and Implementation
June-Young Lee7
Estimated H-index: 7
(Seoul National University),
Yoonseung Kim2
Estimated H-index: 2
(Seoul National University)
+ 5 AuthorsNuno P. Lopes12
Estimated H-index: 12
(Microsoft)
A central concern for an optimizing compiler is the design of its intermediate representation (IR) for code. The IR should make it easy to perform transformations, and should also afford efficient and precise static analysis. In this paper we study an aspect of IR design that has received little attention: the role of undefined behavior. The IR for every optimizing compiler we have looked at, including GCC, LLVM, Intel's, and Microsoft's, supports one or more forms of undefined beh...
10 Citations Source Cite
Published on Jun 3, 2015 in Programming Language Design and Implementation
Chris Hathhorn3
Estimated H-index: 3
(University of Missouri),
Chucky Ellison6
Estimated H-index: 6
(University of Illinois at Urbana–Champaign),
Grigore Rosu40
Estimated H-index: 40
(University of Illinois at Urbana–Champaign)
We present a ``negative'' semantics of the C11 language---a semantics that does not just give meaning to correct programs, but also rejects undefined programs. We investigate undefined behavior in C and discuss the techniques and special considerations needed for formally specifying it. We have used these techniques to modify and extend a semantics of C into one that captures undefined behavior. The amount of semantic infrastructure and effort required to achieve this was un...
36 Citations Source Cite
Published on Nov 3, 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 Source Cite
Published on Oct 21, 2007 in Conference on Object-Oriented Programming Systems, Languages, and Applications
Michael D. Bond16
Estimated H-index: 16
(University of Texas at Austin),
Nicholas Nethercote7
Estimated H-index: 7
+ 2 AuthorsKathryn S. McKinley48
Estimated H-index: 48
(University of Texas at Austin)
Programs sometimes crash due to unusable values, for example, when Java and C# programs dereference null pointers and when C and C++ programs use undefined values to affect program behavior. A stack trace produced on such a crash identifies the effect of the unusable value, not its cause, and is often not much help to the programmer. This paper presents efficient origin tracking of unusable values; it shows how to record where these values come into existence, correctly propagate them, an...
48 Citations Source Cite
Published on Aug 3, 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 Source Cite
Published on Mar 11, 2015in ACM Transactions on Computer Systems 1.76
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 Source Cite
Published on Oct 15, 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 Source Cite
Published on Jan 1, 2014in Microbial Cell Factories 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
Published on Feb 1, 2011in Trends in Biotechnology 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 Source 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