Travelled to:
1 × Portugal
Collaborated with:
C.D.Roover W.D.Meuter Noah Van Es J.Nicolay M.Vandercammen
Talks about:
abstract (3) interpret (1) framework (1) program (1) mailbox (1) analysi (1) static (1) garbag (1) experi (1) compil (1)
Person: Quentin Stiévenart
DBLP: Sti=eacute=venart:Quentin
Contributed to:
Wrote 3 papers:
- ECOOP-2017-StievenartNMR #abstraction #source code #static analysis
- Mailbox Abstractions for Static Analysis of Actor Programs (QS, JN, WDM, CDR), p. 30.
- ECOOP-2019-EsSR #abstract interpretation
- Garbage-Free Abstract Interpretation Through Abstract Reference Counting (NVE, QS, CDR), p. 33.
- GTTSE-2015-VandercammenSMR #compilation #framework #jit #named #scala
- STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation (MV, QS, WDM, CDR), pp. 223–234.