Sotabase

Career

· Founder, MobiSocial (Current)
· Co-Founder, Omlet Arcade (Current)

Publications (415)

A data locality optimizing algorithm
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 1991
1,254
cited
Compilers: Principles, Techniques, and Tools (2nd Edition)
2006
1,202
cited
The cache performance and optimizations of blocked algorithms
ASPLOS IV · 1991
1,114
cited
The Stanford Dash multiprocessor
Computer · 1992
1,085
cited
Software pipelining: an effective scheduling technique for VLIW machines
SIGP · 1988
888
cited
Design and evaluation of a compiler algorithm for prefetching
ASPLOS V · 1992
826
cited
A Loop Transformation Theory and an Algorithm to Maximize Parallelism
IEEE Trans. Parallel Distributed Syst. · 1991
792
cited
Finding Security Vulnerabilities in Java Applications with Static Analysis
USENIX Security Symposium · 2005
760
cited
Tracking down software bugs using automatic anomaly detection
Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 · 2002
716
cited
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2004
658
cited
Maximizing Multiprocessor Performance with the SUIF Compiler
Digital technical journal of Digital Equipment Corporation · 1996
642
cited
Efficient context-sensitive pointer analysis for C programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 1995
631
cited
SUIF: an infrastructure for research on parallelizing and optimizing compilers
SIGP · 1994
626
cited
Optimizing the migration of virtual computers
USENIX Symposium on Operating Systems Design and Implementation · 2002
498
cited
Limits of Control Flow on Parallelism
[1992] Proceedings the 19th Annual International Symposium on Computer Architecture · 1992
441
cited
Global optimizations for parallelism and locality on scalable parallel machines
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 1993
422
cited
A Practical Dynamic Buffer Overflow Detector
Network and Distributed System Security Symposium · 2004
396
cited
The Warp Computer: Architecture, Implementation, and Performance
IEEE transactions on computers · 1987
327
cited
Jade: a high-level, machine-independent language for parallel programming
Computer · 1993
310
cited
The design, implementation and evaluation of SMART: a scheduler for multimedia applications
Symposium on Operating Systems Principles · 1997
299
cited
Sotabase