Concepedia

Susan Eisenbach

SE

20

Publications

489

Citations

13

H-Index

1996

Active since

Affiliations

Imperial College London(Current)

Imperial Valley College

Susan Eisenbach is an author at Imperial College London specializing in system software, formal methods, and program analysis.

Top concepts

EngineeringFormal MethodsProgram AnalysisFormal VerificationSystem SoftwareComputer ScienceSoftware AnalysisSoftware DesignSoftware EngineeringAutomated Reasoning

Publications per year

1996–2019

20

Publications

20

Is the Java type system sound?

Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid · Theory and Practice of Object Systems · 1999 · 69 citations

Music, Engineering, Information Security +20

What is Java binary compatibility?

Sophia Drossopoulou, David Wragg, Susan Eisenbach · 1998 · 51 citations · Full text

Engineering, Compiler Technology, Verification +21

Writing safe smart contracts in Flint

Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou · 2018 · 49 citations

Engineering, Ethereum Support, Information Security +23

A fragment calculus-towards a model of separate compilation, linking and binary compatibility

Sophia Drossopoulou, Susan Eisenbach, David Wragg · 2003 · 46 citations

Engineering, Compiler Technology, Verification +20

Java Type Soundness Revisited

Sophia Drossopoulou, Susan Eisenbach, T Valkevych · 2000 · 38 citations · Full text

Rows per page

1–5 of 20