Concepedia

Jeffrey S. Fischer

JS

Statistics

Publications

5

Citations

213

H-Index

5

Active since

1996

Affiliations

UC San Diego Health System(Current)

UtopiaCompression (United States)

Jeffrey S. Fischer is an author at UC San Diego Health System specializing in program analysis, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringVerificationFormal MethodsSystem SoftwareAutomated Reasoning

Publications per year

1996–2007

5

Publications

5

Lock allocation

Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala et al. · ACM SIGPLAN Notices · 2007 · 65 citations

Hardware Security, Engineering, Lock Assignment +15

Joining dataflow with predicates

Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar · 2005 · 58 citations

Program Checking, Engineering, Verification +25

Lock allocation

Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala et al. · 2007 · 55 citations

Hardware Security, Engineering, Lock Assignment +15

Compositional verification by model checking for counter-examples

Tevfik Bultan, Jeffrey S. Fischer, R. Gerber · ACM SIGSOFT Software Engineering Notes · 1996 · 21 citations · Full text

Engineering, Verification, Computer-aided Verification +20

Joining dataflow with predicates

Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar · ACM SIGSOFT Software Engineering Notes · 2005 · 14 citations

Program Checking, Engineering, Verification +25

1–5 of 5