Concept
P-code machine
Related publications (39)
ACTOR: Action-Guided Kernel Fuzzing
Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...
Berkeley2023SecureCells: A Secure Compartmentalized Architecture
Babak Falsafi, Mathias Josef Payer, Yuanlong Li, Florian Hofhammer, Siddharth Gupta, Atri Bhattacharyya, Andrés Sánchez Marín
Modern programs are monolithic, combining code of varied provenance without isolation, all the while running on network-connected devices. A vulnerability in any component may compromise code and data of all other components. Compartmentalization separates ...
2023On Verified Scala for STIX File System Embedded Code using Stainless
We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...
2022An Optimizing Multi-platform Source-to-source Compiler Framework for the NEURON MODeling Language
Felix Schürmann, James Gonzalo King, Michael Lee Hines, Pramod Shivaji Kumbhar, Jorge Blanco Alonso, Omar Awile, Liam Roger George Keegan
Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit domain knowledge for the generation of more efficient code on target architectures. Here, we describe a new c ...
Springer2020A Practical Unification of Multi-stage Programming and Macros
Martin Odersky, Nicolas Alexander Stucki
Program generation is indispensable. We propose a novel unification of two existing metaprogramming techniques: multi-stage programming and hygienic generative macros. The former supports runtime code generation and execution in a type-safe manner while th ...
2018Code Generation in Computational Neuroscience: A Review of Tools and Techniques
Michael Lee Hines, Pramod Shivaji Kumbhar, Romain Brette
Advances in experimental techniques and computational power allowing researchers to gather anatomical and electrophysiological data at unprecedented levels of detail have fostered the development of increasingly complex models in computational neuroscience ...
2018Cross-Platform Language Design in Scala.js (Keynote)
Have you ever wondered what is the secret sauce of Scala.js? What defines Scala.js, above all else, is the overarching will to make it cross-platform. A cross-platform language is both portable-most source code cross-compiles and behaves the same way on mu ...
ASSOC COMPUTING MACHINERY2018Compressed Sensing for Dose Reduction in STEM Tomography
Michaël Unser, Laurène Donati, Masih Nilchian
We designed a complete acquisition-reconstruction framework to reduce the radiation dosage in 3D scanning transmission electron microscopy (STEM). Projection measurements are acquired by randomly scanning a subset of pixels at every tilt-view (i.e., random ...
IEEE2017Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux
Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program execution while retaining a high-level interface for the programmer. Unfortunately, techniques based on staging suffer from a num ...
ACM2017A Fourier dimensionality reduction model for big data interferometric imaging
Jean-Philippe Thiran, Yves Wiaux, Rafael Eduardo Carrillo Rangel, Vijay Kartik
Data dimensionality reduction in radio interferometry can provide savings of computational resources for image reconstruction through reduced memory footprints and lighter computations per iteration, which is important for the scalability of imaging method ...
Oxford Univ Press2017