CMEmu: Synthesizing a Cycle-Exact Model of Program Execution on ARM Cortex-M

Prelegent(ci)

Karol Wąsowski

Afiliacja

MIMUW

Język referatu

polski

Termin

12 maja 2026 11:00

Pokój

p. 4060

Tytuł w języku angielskim

CMEmu: Synthesizing a Cycle-Exact Model of Program Execution on ARM Cortex-M

Seminarium

Seminarium "DeSeR: Dane, strumienie, rozpraszanie"

---

W trakcie referatu opowiem o pracy powstałej w zespole systemów rozproszonych na MIMUW. Referat przybliży specyfikę platformy ARM korzystając z porównań do platformy x86. Przedstawione zostaną również metody badawcze wykorzystywane w procesie budowania emulatora dokładnego niemal co do cyklu.

 

---