SafeOSL: Ensuring memory safety of C via ownership‐based intermediate language

Software Practice and Experience ◽

10.1002/spe.3057 ◽

2021 ◽

Author(s):

Xiaohua Yin ◽

Zhiqiu Huang ◽

Shuanglong Kan ◽

Guohua Shen ◽

Zhe Chen ◽

...

Keyword(s):

Memory Safety ◽

Intermediate Language

Smyrniw, Walter. Ukrainia n Prose Manual: A Text for Intermediate Language Studies. Oakville: Mosaic Press, 1977Smyrniw, Walter. Ukrainia n Prose Manual: A Text for Intermediate Language Studies. Oakville: Mosaic Press, 1977. Pp. 185.

Canadian Modern Language Review/ La Revue canadienne des langues vivantes ◽

10.3138/cmlr.37.1.119 ◽

1980 ◽

Vol 37 (1) ◽

pp. 119-119

Author(s):

Robert Karpiak

Keyword(s):

Intermediate Language ◽

Language Studies

Sequent calculus as a compiler intermediate language

ACM SIGPLAN Notices ◽

10.1145/3022670.2951931 ◽

2016 ◽

Vol 51 (9) ◽

pp. 74-88 ◽

Cited By ~ 1

Author(s):

Paul Downen ◽

Luke Maurer ◽

Zena M. Ariola ◽

Simon Peyton Jones

Keyword(s):

Sequent Calculus ◽

Intermediate Language

Poster: Shielding AppSPEAR - Enhancing Memory Safety for Trusted Application-level Security Policy Enforcement

Proceedings of the 26th ACM Symposium on Access Control Models and Technologies ◽

10.1145/3450569.3464396 ◽

2021 ◽

Author(s):

Marius Schlegel

Keyword(s):

Security Policy ◽

Policy Enforcement ◽

Memory Safety

Representing Java classes in a typed intermediate language

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317798 ◽

1999 ◽

Cited By ~ 8

Author(s):

Christopher League ◽

Zhong Shao ◽

Valery Trifonov

Keyword(s):

Intermediate Language

Static verification for memory safety of Linux kernel drivers

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2018-30(6)-8 ◽

2018 ◽

Vol 30 (6) ◽

pp. 143-160 ◽

Cited By ~ 1

Author(s):

A.A. Vasilyev

Keyword(s):

Linux Kernel ◽

Memory Safety ◽

Static Verification

Transforming the .NET intermediate language using path logic programming

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '02 ◽

10.1145/571157.571171 ◽

2002 ◽

Cited By ~ 9

Author(s):

Stephen Drape ◽

Oege de Moor ◽

Ganesh Sittampalam

Keyword(s):

Logic Programming ◽

Intermediate Language

The intermediate language Diana design and implementation

Ada Software Tools Interfaces - Lecture Notes in Computer Science ◽

10.1007/3-540-13878-1_3 ◽

1984 ◽

pp. 23-34

Author(s):

Guido Persch ◽

Manfred Dausmann

Keyword(s):

Intermediate Language ◽

Design And Implementation

SHORE: Hardware/Software Method for Memory Safety Acceleration on RISC-V

10.1109/dac18074.2021.9586293 ◽

2021 ◽

Author(s):

Hsu-Kang Dow ◽

Tuo Li ◽

William Miles ◽

Sri Parameswaran

Keyword(s):

Memory Safety

OER use in intermediate language instruction: a case study

CALL in a climate of change: adapting to turbulent global conditions – short papers from EUROCALL 2017 ◽

10.14705/rpnet.2017.eurocall2017.701 ◽

2017 ◽

pp. 128-134

Author(s):

Robert Godwin-Jones

Keyword(s):

Language Instruction ◽

Intermediate Language

CTL as an Intermediate Language

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-78163-9_2 ◽

2008 ◽

pp. 4-4

Author(s):

Neil D. Jones ◽

René Rydhof Hansen

Keyword(s):

Intermediate Language