Concepedia

Kalyan Muthukumar

KM

Statistics

Publications

11

Citations

751

H-Index

11

Active since

1989

Affiliations

The University of Texas at Austin(Current)

Intel (United States)

Universidad Politécnica de Madrid

Kalyan Muthukumar is an author at The University of Texas at Austin specializing in computer science, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsParallel ProgrammingParallel ComputingAutomated ReasoningFormal VerificationComputer Engineering

Publications per year

1989–2010

11

Publications

11

Compile-time derivation of variable dependency using abstract interpretation

Kalyan Muthukumar, Manuel V. Hermenegildo · The Journal of Logic Programming · 1992 · 229 citations

Dependency Analysis, Engineering, Program Analysis +8

Combined determination of sharing and freeness of program variables through abstract interpretation

Kalyan Muthukumar, Manuel V. Hermenegildo · UPM Digital Archive (Technical University of Madrid) · 1991 · 144 citations · Full text

Engineering, Abstract Interpretation Algorithms, Compiler Technology +20

Determination of variable dependence information at compile-time through abstract interpretation

Kalyan Muthukumar, Manuel V. Hermenegildo · 1989 · 68 citations

A compiler framework for restructuring data declarations to enhance cache and TLB effectiveness

David F. Bacon, Jyh-Herng Chow, Dz-ching Roy Ju et al. · 2010 · 54 citations

Engineering, Compiler Technology, In-memory Database +28

The DCG, UDG, and MEL methods for automatic compile-time parallelization of logic programs for independent and-parallelism

Kalyan Muthukumar, Manuel V. Hermenegildo · International Conference on Lightning Protection · 1990 · 45 citations

Engineering, Compiler Technology, Computer Architecture +21

1–5 of 11