On the Self in Selfie

被引:0
|
作者
Kirsch, Christoph M. [1 ]
机构
[1] Univ Salzburg, Dept Comp Sci, Salzburg, Austria
基金
奥地利科学基金会;
关键词
Self-Referentiality; Symbolic Execution;
D O I
10.1145/3281287.3281288
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Selfie is a self-contained 64-bit, 10-KLOC implementation of (1) a self-compiling compiler written in a tiny subset of C called C* targeting a tiny subset of 64-bit RISC-V called RISC-U, (2) a self-executing RISC-U emulator, (3) a self-hosting hypervisor that virtualizes the emulated RISC-U machine, and (4) a prototypical symbolic execution engine that executes RISC-U symbolically. Selfie can compile, execute, and virtualize itself any number of times in a single invocation of the system given adequate resources. There is also a simple linker, disassembler, debugger, and profiler. C* supports only two data types, uint64_t and uint64_t*, and RISC-U features just 14 instructions, in particular for unsigned arithmetic only, which significantly simplifies reasoning about correctness. Selfie has originally been developed just for educational purposes but has by now become a research platform as well. We discuss how selfie leverages the synergy of integrating compiler, target machine, and hypervisor in one self-referential package while orthogonalizing bootstrapping, virtual and heap memory management, emulated and virtualized concurrency, and even replay debugging and symbolic execution.
引用
收藏
页码:1 / 3
页数:3
相关论文
共 50 条
  • [31] Selfie: Hidden Thoughts, Self-creation Fantasy, Personality Traits
    Barbieri, Gian Luca
    RIVISTA INTERNAZIONALE DI FILOSOFIA E PSICOLOGIA, 2016, 7 (03) : 378 - 389
  • [32] Narcissism and self-esteem: Different motivations for selfie posting behaviors
    Biolcati, Roberta
    Passini, Stefano
    COGENT PSYCHOLOGY, 2018, 5 (01):
  • [33] SELFIE: Self-aware Information Extraction from Digitized Biocollections
    Alzuru, Icaro
    Matsunaga, Andrea
    Tsugawa, Mauricio
    Fortes, Jose A. B.
    2017 IEEE 13TH INTERNATIONAL CONFERENCE ON E-SCIENCE (E-SCIENCE), 2017, : 69 - 78
  • [34] Self-image painting and photography. From the pictorial self-portrait to the selfie
    Santos, Miriam Macias
    Siles, Flora Racionero
    Sarabia, Inmaculada Guerra
    AMBITOS-REVISTA DE ESTUDIOS DE CIENCIAS SOCIALES Y HUMANIDADES, 2023, (50): : 25 - 37
  • [35] 'Check Your Selfie before You Wreck Your Selfie': Personality ratings of Instagram users as a function of self-image posts
    Barry, Christopher T.
    McDougall, Katrina H.
    Anderson, Alexandra C.
    Perkins, Madison D.
    Lee-Rowland, Lauren M.
    Bender, Imani
    Charles, Nora E.
    JOURNAL OF RESEARCH IN PERSONALITY, 2019, 82
  • [36] #selfie: digital self-portraits as commodity form and consumption practice
    Iqani, Mehita
    Schroeder, Jonathan E.
    CONSUMPTION MARKETS & CULTURE, 2016, 19 (05) : 405 - 415
  • [37] Now you see them: Self-representation and the refugee selfie
    Risam, Roopika
    POPULAR COMMUNICATION, 2018, 16 (01) : 58 - 71
  • [38] Selfie retoucher: subject-oriented self-portrait enhancement
    Sifeng Xia
    Shuai Yang
    Jiaying Liu
    Multimedia Tools and Applications, 2019, 78 : 27591 - 27609
  • [39] Insight into the motivation of selfie postings: impression management and self-esteem
    Pounders, Kathrynn
    Kowalczyk, Christine M.
    Stowers, Kirsten
    EUROPEAN JOURNAL OF MARKETING, 2016, 50 (9-10) : 1879 - 1892
  • [40] The Selfie Trust
    Ebeling, Ashlea
    FORBES, 2016, 198 (01): : 56 - +