Open AccessDissertation
Toward Automatic Operating System Ports via Code Generation and Synthesis
David Andrew Holland
- 14 May 2020
2
About: The article was published on 14 May 2020. and is currently open access. The article focuses on the topics: Code generation & Software portability.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Towards Porting Operating Systems with Program Synthesis
Jingmei Hu,Eric Lu,David Ames Holland,Ming Kawaguchi,Stephen Chong,Margo Seltzer +5 more
TL;DR: This work designed two domain-specific languages: Alewife for machine-independent specifications of machine-dependent operating system functionality and Cassiopea for describing instruction set architecture semantics and developed a toolchain that synthesizes an implementation in assembly language with a customized symbolic execution engine.
Assuage: Assembly Synthesis Using A Guided Exploration
Jingmei Hu,Priyan Vaithilingam,Stephen Chong,Margo Seltzer,Elena L. Glassman +4 more
- 10 Oct 2021
TL;DR: Assuage as discussed by the authors is a parallel interactive assembly synthesizer that engages the user as an active collaborator, enabling assembly programming to scale beyond current limits, and exposes information about the underlying synthesis process using multiple representations to help users guide synthesis.
References
•Proceedings Article
Meltdown: reading kernel memory from user space
Moritz Lipp,Michael Schwarz,Daniel Gruss,Thomas Prescher,Werner Haas,Anders Fogh,Jann Horn,Stefan Mangard,Paul C. Kocher,Daniel Genkin,Yuval Yarom,Mike Hamburg +11 more
- 15 Aug 2018
TL;DR: It is shown that the KAISER defense mechanism for KASLR has the important (but inadvertent) side effect of impeding Meltdown, which breaks all security guarantees provided by address space isolation as well as paravirtualized environments.
Automating string processing in spreadsheets using input-output examples
Sumit Gulwani
- 26 Jan 2011
TL;DR: The design of a string programming/expression language that supports restricted forms of regular expressions, conditionals and loops is described and an algorithm based on several novel concepts for synthesizing a desired program in this language is described from input-output examples.
A new golden age for computer architecture
TL;DR: Innovations like domain-specific hardware, enhanced security, open instruction sets, and agile chip development will lead the way.
645
Program synthesis by sketching
Rastislav Bodik,Armando Solar-Lezama +1 more
- 01 Jan 2008
TL;DR: Sketching is introduced, a new style of synthesis that offers a fresh approach to the synergy problem and shows that sketching is a viable approach to making synthesis practical in a general programming context.
503
Synthesizing data structure transformations from input-output examples
John Feser,Swarat Chaudhuri,Isil Dillig +2 more
- 03 Jun 2015
TL;DR: A method for example-guided synthesis of functional programs over recursive data structures given a set of input-output examples that synthesizes a program in a functional language with higher-order combinators like map and fold.
368