Travelled to:1 × Estonia
1 × Italy
1 × Spain
Collaborated with:N.Benton A.Kennedy L.Birkedal P.Dagand
Talks about:separ (2) logic (2) level (2) fiction (1) assembl (1) world (1) macro (1) high (1) code (1) best (1)
Person: Jonas Braband Jensen
DBLP: Jensen:Jonas_Braband
Contributed to:
2013
2013
2012Wrote 3 papers:
- POPL-2013-JensenBK #logic #low level
- High-level separation logic for low-level code (JBJ, NB, AK), pp. 301–314.
- PPDP-2013-KennedyBJD #assembly #coq #metaprogramming #named #question
- Coq: the world’s best macro assembler? (AK, NB, JBJ, PÉD), pp. 13–24.
- ESOP-2012-JensenB #logic
- Fictional Separation Logic (JBJ, LB), pp. 377–396.