Concepedia

Jeremy Condit

JC

16

Publications

2.7K

Citations

14

H-Index

2000

Active since

Affiliations

University of California, Berkeley(Current)

Microsoft (United States)

University of Rochester

Stanford University

Jeremy Condit is an author at University of California, Berkeley specializing in computer science, computer engineering, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringProgram AnalysisSystem SoftwareSoftware AnalysisFormal VerificationFormal MethodsSoftware TestingHardware Security

Publications per year

2000–2010

16

Publications

16

Better I/O through byte-addressable, persistent memory

Jeremy Condit, Edmund B. Nightingale, Christopher Frost et al. · 2009 · 829 citations

Hardware Security, Non-volatile Memory, Persistent Memory Technologies +15

CCured: type-safe retrofitting of legacy software

George C. Necula, Jeremy Condit, Matthew Harren et al. · ACM Transactions on Programming Languages and Systems · 2005 · 363 citations

Software Maintenance, Engineering, Compiler Technology +22

Capriccio

Rob von Behren, Jeremy Condit, Feng Zhou et al. · ACM SIGOPS Operating Systems Review · 2003 · 252 citations

Cluster Computing, Cooperative Thread Package, Engineering +13

Why events are a bad idea (for high-concurrency servers)

Rob von Behren, Jeremy Condit · 2003 · 235 citations

SafeDrive: safe and recoverable extensions using language-based techniques

Feng Zhou, Jeremy Condit, Zachary Anderson et al. · Operating Systems Design and Implementation · 2006 · 170 citations

Engineering, Information Security, Computer Architecture +22

Rows per page

1–5 of 16