Susan Eisenbach

Susan Eisenbach

Imperial College London

H-index: 26

Europe-United Kingdom

About Susan Eisenbach

Susan Eisenbach, With an exceptional h-index of 26 and a recent h-index of 10 (since 2020), a distinguished researcher at Imperial College London, specializes in the field of Programming Languages, Concurrency, Testing, Verification, Smart Contracts.

His recent articles reflect a diverse array of research interests and contributions to the field:

Honorary Chair

Necessity specifications for robustness

Reshape your layouts, not your programs: A safe language extension for better cache locality

Modern garbage collector for HashLink and its formal verification

Holistic Specifications for Robust Programs.

Implementation of SHAPES Case Studies (Artifact)

Susan Eisenbach Information

University

Position

Professor of Computing

Citations(all)

3491

Citations(since 2020)

315

Cited By

3270

hIndex(all)

26

hIndex(since 2020)

10

i10Index(all)

51

i10Index(since 2020)

10

Email

University Profile Page

Google Scholar

Susan Eisenbach Skills & Research Interests

Programming Languages

Concurrency

Testing

Verification

Smart Contracts

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

Modern garbage collector for HashLink and its formal verification

2020/6/15

Susan Eisenbach
Susan Eisenbach

H-Index: 9

Sophia Drossopoulou
Sophia Drossopoulou

H-Index: 17

Holistic Specifications for Robust Programs.

2020/3/13

Implementation of SHAPES Case Studies (Artifact)

2020

See List of Professors in Susan Eisenbach University(Imperial College London)

Co-Authors

academic-engine