~/talk

JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution

on YouTube 15m
Talkat LCTES 2025 · 2025-06-16..06-17· [compilers-and-language-design]

speakers

name:Arman Cham Heidari
links:none on file
name:Mehran Alidoost Nia
website:https://scholar.google.com/citations?user=Gx87T8wAAAAJ&hl=en

resources

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

summary

JetCert is a framework that switches between formally certified compilation (Concert) and a JIT-style compiler (Namba) at runtime using a MAPE-K control loop to maximize utility under changing conditions. An embedded demo implements four self-adaptive modules (login, cryptography, finance, physics) with multiple versions; periods are 16 seconds and experiments run 100 periods showing automatic shifts to safer versions when attack probability exceeds thresholds. JetCert also uses a priority-based CI/CD pipeline and a version priority queue.

AI-written summary · about

chapters (11)

  1. 0:00JetCert framework intro
  2. 1:49Motivation for JetCert
  3. 2:55Self-adaptive systems background
  4. 3:40Certified vs JIT compilation
  5. 4:46JetCert architecture
  6. 6:55Module versioning in JetCert
  7. 8:26MAPK control loop
  8. 9:10MAPK rules and changes
  9. 11:00JetCert experiments
  10. 13:31Embedded pipelines results
  11. 14:15Conclusion and future

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.