P. Ledak is an author at IBM (United States) specializing in engineering, formal methods, and machine translation.
Top concepts
CompilersEngineeringFormal MethodsComputer ScienceProgram AnalysisHardware SecurityParallel ComputingFormal VerificationMachine TranslationSystems Engineering
Publications per year
1999–2000
2
2
Dynamic and transparent binary translation
Michael Gschwind, Erik Altman, S. Sathaye et al. · Computer · 2000 · 110 citations
BOA: Targeting Multi-Gigahertz with Binary Translation
S. Sathaye, P. Ledak, Stephen Kosonocky et al. · 1999 · 25 citations
Rows per page
1–2 of 2