Sotabase

Career

· Professor, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology1997–
· Co-founder, Lanka Internet Services, Ltd.1994–2001
· PhD in Electrical Engineering, Stanford University1990–1997
· Master's Degree in Electrical Engineering, Stanford University1988–1990
· Bachelor's Degree in Electrical Engineering and Computer Science, Cornell University
· Founder, Determina, Inc.

Publications (478)

Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2013
1,345
cited
StreamIt: A Language for Streaming Applications
International Conference on Compiler Construction · 2002
1,312
cited
Baring It All to Software: Raw Machines
Computer · 1997
689
cited
Maximizing Multiprocessor Performance with the SUIF Compiler
Digital technical journal of Digital Equipment Corporation · 1996
642
cited
Exploiting coarse-grained task, data, and pipeline parallelism in stream programs
ASPLOS XII · 2006
637
cited
Secure Execution via Program Shepherding
USENIX Security Symposium · 2002
637
cited
SUIF: an infrastructure for research on parallelizing and optimizing compilers
SIGP · 1994
626
cited
OpenTuner: An extensible framework for program autotuning
International Conference on Parallel Architectures and Compilation Techniques · 2014
621
cited
An infrastructure for adaptive dynamic optimization
International Symposium on Code Generation and Optimization, 2003. CGO 2003. · 2003
613
cited
Exploiting superword level parallelism with multimedia instruction sets
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2000
441
cited
Automatically patching errors in deployed software
Symposium on Operating Systems Principles · 2009
428
cited
The tensor algebra compiler
Proc. ACM Program. Lang. · 2017
425
cited
PetaBricks: a language and compiler for algorithmic choice
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2009
423
cited
Kendo: efficient deterministic multithreading in software
International Conference on Architectural Support for Programming Languages and Operating Systems · 2009
409
cited
A stream compiler for communication-exposed architectures
ASPLOS X · 2002
385
cited
Meta optimization: improving compiler heuristics with machine learning
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2003
313
cited
DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors
Micro · 2018
312
cited
Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code
IEEE/ACM International Symposium on Code Generation and Optimization · 2018
291
cited
Decoupling algorithms from schedules for easy optimization of image processing pipelines
ACM Transactions on Graphics · 2012
284
cited
Space-time scheduling of instruction-level parallelism on a raw machine
ASPLOS VIII · 1998
281
cited
Sotabase