Concepedia

Sigmund Cherem

SC

7

Publications

510

Citations

7

H-Index

2004

Active since

Affiliations

Cornell University(Current)

Microsoft (United States)

Sigmund Cherem is an author at Cornell University specializing in computer science, computer engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisComputer EngineeringSystem SoftwareSoftware AnalysisComputer ArchitectureFormal MethodsSoftware TestingFormal Verification

Publications per year

2004–2008

7

Publications

7

Practical memory leak detection using guarded value-flow analysis

Sigmund Cherem, Lonnie Princehouse, Radu Rugina · 2007 · 168 citations

Engineering, Information Security, Computer Architecture +22

Inferring locks for atomic sections

Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani · 2008 · 140 citations

Engineering, Computer Architecture, Atomic Sections +19

Region analysis and transformation for Java programs

Sigmund Cherem, Radu Rugina · 2004 · 94 citations

Engineering, Compiler Technology, Computer Architecture +23

Compile-time deallocation of individual objects

Sigmund Cherem, Radu Rugina · 2006 · 43 citations

Mathematical Programming, Engineering, Compiler Technology +24

Uniqueness inference for compile-time object deallocation

Sigmund Cherem, Radu Rugina · 2007 · 24 citations

Software Maintenance, Uniqueness Information, Engineering +20

Rows per page

1–5 of 7