~/talk

SEALS: A framework for building Self-Adaptive Virtual Machines

on YouTube 12m
Talkat SLE 2021 · 2021-10-17..10-18· [compilers-and-language-design]

speaker

name:Jouneaux et al.
links:none on file

resources

video:https://youtu.be/sJnOaYFaP3Q
slides:none on file

summary

SEALS is a Java framework that reifies a MAPE-K loop into DSL virtual machines, supplying concrete concepts—Node, Operation, and a correctness envelope—and generating a generated adaptive visitor that applies adaptations at runtime. Three VMs are built (MiniJava, RobLANG, HTML); correctness envelopes force default semantics and bound allowed changes, preventing unsafe adaptations. Code size generally shrinks but Operations-as-classes inflate LOC for large languages; runtime overhead is small and performance is mixed but favorable for HTML and RobLANG versus manual implementations.

AI-written summary · about

chapters (14)

  1. 0:00Intro
  2. 0:22Context
  3. 1:13Contribution overview
  4. 1:48What are Self-Adaptable Virtual Machines
  5. 2:29Motivating Examples
  6. 3:37Approach overview
  7. 4:17Modeling of domain concepts
  8. 5:56Specialize the adaptation process
  9. 6:53Java Implementation
  10. 7:18Correctness envelope implementation
  11. 8:32Abstraction
  12. 10:15Performances and code size
  13. 10:57Conclusion The SEALS Framework
  14. 11:22Perspectives

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.