Sotabase

Career

· Chair, Department of Electrical and Computer Engineering, Princeton University2012–2021
· George Van Ness Lothrop Professor of Engineering, Princeton University2005–
· Associate Professor, Princeton University1996–1999
· Assistant Professor, Princeton University1991–1996
· PhD in Computer Science, University of California, Berkeley1990–
· Intern, AT&T Bell Labs1989–1989
· M.S., Computer Science, University of California, Berkeley1987–
· Post-Graduate Researcher, University of California, Berkeley1986–1990
· B.Tech., Electrical Engineering, Indian Institute of Technology, New Delhi1985–
· Teaching Assistant, University of California, Berkeley1985–1986

Publications (321)

Chaff: engineering an efficient SAT solver
Proceedings - Design Automation Conference · 2001
3,805
cited
Power Analysis Of Embedded Software: A First Step Towards Software Power Minimization
IEEE/ACM International Conference on Computer-Aided Design · 1994
1,155
cited
Efficient conflict driven learning in a Boolean satisfiability solver
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281) · 2001
893
cited
Orion: a power-performance simulator for interconnection networks
35th Annual IEEE/ACM International Symposium on Microarchitecture, 2002. (MICRO-35). Proceedings. · 2002
842
cited
Cha : Engineering an e cient SAT solver
Design Automation Conference · 2001
726
cited
Evaluating the security of logic encryption algorithms
IEEE International Symposium on Hardware Oriented Security and Trust · 2015
699
cited
Performance analysis of embedded software using implicit path enumeration
Design Automation Conference · 1995
687
cited
Conflict-Driven Clause Learning SAT Solvers
Handbook of Satisfiability · 2021
608
cited
Instruction level power analysis and optimization of software
Proceedings of 9th International Conference on VLSI Design · 1996
591
cited
Logic verification using binary decision diagrams in a logic synthesis environment
[1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers · 1988
528
cited
Addressing the system-on-a-chip interconnect woes through communication-based design
Proceedings - Design Automation Conference · 2001
405
cited
The Quest for Efficient Boolean Satisfiability Solvers
International Conference on Computer Aided Verification · 2002
355
cited
Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications
2003 Design, Automation and Test in Europe Conference and Exhibition · 2003
337
cited
Algorithms for discrete function manipulation
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers · 1990
318
cited
On Solving the Partial MAX-SAT Problem
International Conference on Theory and Applications of Satisfiability Testing · 2006
309
cited
Cache miss equations: a compiler framework for analyzing and tuning memory behavior
TOPL · 1999
301
cited
A Survey of Optimization Techniques Targeting Low Power VLSI Circuits
Design Automation Conference · 1995
298
cited
Power analysis and minimization techniques for embedded DSP software
IEEE Transactions on Very Large Scale Integration (vlsi) Systems · 1997
298
cited
Cache miss equations: an analytical representation of cache misses
International Conference on Supercomputing · 1997
241
cited
Conflict driven learning in a quantified Boolean satisfiability solver
IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002. · 2002
235
cited
Sotabase