Solving longest common subsequence and related problems on graphical processing units.
KAL: kernel-assisted non-invasive memory leak tolerance with a general-purpose memory allocator.
Towards a new approach to query search engines: the
Document-centric XML workflows with fragment digital signatures.
Behavioral profiles - a way to model and validate program behavior.
An algorithmic mitigation of large spurious interprocedural cycles in static analysis.
Temporal vertical profiling.