Concepedia

Language Safety

Language Safety is a programming language property that ensures programs cannot perform operations that violate the integrity of data, memory, or control flow, distinguishing it from related language design principles by its focus on preventing undefined or erroneous behaviors through static or dynamic enforcement mechanisms.

21

Publications

837

Citations

60

Authors

17

Institutions

Publications per year

2017–2026

10

Parents

Publications

21

The typed access matrix model

Ravi Sandhu · 2003 · 241 citations

, , +14

How do programmers use unsafe rust?

Vytautas Astrauskas, Christoph Matheja, Federico Poli et al. · Proceedings of the ACM on Programming Languages · 2020 · 75 citations · Full text

, , +17

Deconstructing process isolation

Mark Aiken, Manuel Fähndrich, Chris Hawblitzel et al. · 2006 · 67 citations · Full text

, , +16

Use at your own risk: the Java unsafe API in the wild

Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci et al. · 2015 · 61 citations

, , +14

Safe haskell

David Terei, Simon Marlow, Simon Peyton Jones et al. · 2012 · 48 citations

, , +13

1–5 of 21

Authors

60

  1. AM
    Andrea Mocci

    Università della Svizzera italiana, Switzerland

    2 publications · 83 citations

    2

    h-index

  2. ML
    Michele Lanza

    Università della Svizzera italiana, Switzerland

    2 publications · 83 citations

    2

    h-index

  3. MH
    Matthias Hauswirth

    Università della Svizzera italiana, Switzerland

    2 publications · 83 citations

    2

    h-index

  4. NN
    Nathaniel Nystrom

    Cornell University, United States

    2 publications · 83 citations

    2

    h-index

  5. LM
    Luis Mastrangelo

    Università della Svizzera italiana, Switzerland

    2 publications · 83 citations

    2

    h-index

1–5 of 60

Institutions

17

  1. Università della Svizzera italiana

    Lugano, Switzerland

    2 h-index

    12 publications

    498 citations

  2. Northeastern University

    Boston, United States

    1 h-index

    4 publications

    84 citations

  3. Microsoft (United States)

    Redmond, United States

    1 h-index

    5 publications

    335 citations

  4. University of British Columbia

    Vancouver, Canada

    1 h-index

    1 publications

    75 citations

  5. Naval Postgraduate School

    Monterey, United States

    1 h-index

    1 publications

    11 citations

  6. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    1 h-index

    2 publications

    96 citations

  7. General Dynamics (Canada)

    Ottawa, Canada

    1 h-index

    1 publications

    14 citations

  8. Fraunhofer Institute for Computer Graphics Research

    Darmstadt, Germany

    1 h-index

    1 publications

    33 citations

1–8 of 17

Venues

  1. arXiv (Cornell University)

    Repository · 3 publications · 81 citations

    4

    h-index

  2. ACM SIGPLAN Notices

    2 publications · 33 citations

    2

    h-index

  3. Safety Science

    1 publications · 15 citations

    1

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 75 citations

    1

    h-index

  5. 1

    h-index

1–5