Susan Eisenbach
Imperial College London
H-index: 26
Europe-United Kingdom
Top articles of Susan Eisenbach
Necessity specifications for robustness
Proceedings of the ACM on Programming Languages
2022/10/31
Reshape your layouts, not your programs: A safe language extension for better cache locality
Science of Computer Programming
2020/10/1
Alexandros Tasos
H-Index: 2
Sophia Drossopoulou
H-Index: 17
Tobias Wrigstad
H-Index: 14
Susan Eisenbach
H-Index: 9
Modern garbage collector for HashLink and its formal verification
2020/6/15
Susan Eisenbach
H-Index: 9
Sophia Drossopoulou
H-Index: 17
Holistic Specifications for Robust Programs.
2020/3/13
Implementation of SHAPES Case Studies (Artifact)
2020
Alexandros Tasos
H-Index: 2
Sophia Drossopoulou
H-Index: 17
Tobias Wrigstad
H-Index: 14
Susan Eisenbach
H-Index: 9