dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sharad Malik Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYavuz Yetim, Sharad Malik, Margaret Martonosi: EPROF: An energy/performance/reliability optimization framework for streaming applications. ASP-DAC 2012: 769-774
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik: Specification and synthesis of hardware checkpointing and rollback mechanisms. DAC 2012: 1226-1232
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Weissenbacher, Daniel Kroening, Sharad Malik: Wolverine: Battling Bugs with Interpolants - (Competition Contribution). TACAS 2012: 556-558
2011
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharlie Shucheng Zhu, Georg Weissenbacher, Divjyot Sethi, Sharad Malik: SAT-based techniques for determining backbones for post-silicon fault localisation. HLDVT 2011: 84-91
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Schwartz-Narbonne, Feng Liu, Tarun Pondicherry, David I. August, Sharad Malik: Parallel assertions for debugging parallel programs. MEMOCODE 2011: 181-190
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta: Predictive analysis for detecting serializability violations through Trace Segmentation. MEMOCODE 2011: 99-108
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik: Runtime Verification: A Computer Architecture Perspective. RV 2011: 49-62
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDivjyot Sethi, Yogesh S. Mahajan, Sharad Malik: Specification and encoding of transaction interaction properties. Formal Methods in System Design 39(2): 144-164 (2011)
2010
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYogesh S. Mahajan, Sharad Malik: Utility of transaction-level hardware models in refinement checking. HLDVT 2010: 121-128
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnab Sinha, Sharad Malik: Runtime checking of serializability in software transactional memory. IPDPS 2010: 1-12
2009
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik: Supporting RTL flow compatibility in a microarchitecture-level design framework. CODES+ISSS 2009: 343-352
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão P. Marques Silva, Inês Lynce, Sharad Malik: Conflict-Driven Clause Learning SAT Solvers. Handbook of Satisfiability 2009: 131-153
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Lintao Zhang: Boolean satisfiability from theoretical hardness to practical success. Commun. ACM 52(8): 76-82 (2009)
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarti Gupta, Sharad Malik: Preface. Formal Methods in System Design 35(1): 1 (2009)
2008
171no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarti Gupta, Sharad Malik: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings Springer 2008
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Chen, Sharad Malik, Priyadarsan Patra: Runtime validation of memory ordering using constraint graph checking. HPCA 2008: 415-426
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Chen, Sharad Malik, Priyadarsan Patra: Runtime Validation of Transactional Memory Systems. ISQED 2008: 750-756
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik: Hardware Verification: Techniques, Methodology and Solutions. TACAS 2008: 1
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYinlei Yu, Cameron Brien, Sharad Malik: Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers. VLSI Design 2008: 461-468
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan M. Rabaey, Sharad Malik: Challenges and Solutions for Late- and Post-Silicon Design. IEEE Design & Test of Computers 25(4): 296-302 (2008)
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul: Declarative Infrastructure Configuration Synthesis and Debugging. J. Network Syst. Manage. 16(3): 235-258 (2008)
2007
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYogesh S. Mahajan, Sharad Malik: Automating Hazard Checking in Transaction-Level Microarchitecture Models. FMCAD 2007: 62-65
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin: Verification Driven Formal Architecture and Microarchitecture Modeling. MEMOCODE 2007: 123-132
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhaohui Fu, Sharad Malik: Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions. VLSI Design 2007: 37-42
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinping Zhu, Sharad Malik: A hierarchical modeling framework for on-chip communication architectures of multiprocessing SoCs. ACM Trans. Design Autom. Electr. Syst. 12(1): (2007)
2006
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCameron Brien, Sharad Malik: Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis. FMCAD 2006: 49-50
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhaohui Fu, Sharad Malik: Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search. ICCAD 2006: 852-859
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Chen, Sharad Malik: Dependable Multithreaded Processing Using Runtime Validation. PRDC 2006: 275-286
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYinlei Yu, Sharad Malik: Lemma Learning in SMT on Linear Constraints. SAT 2006: 142-155
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhaohui Fu, Sharad Malik: On Solving the Partial MAX-SAT Problem. SAT 2006: 252-265
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaijue Tang, Sharad Malik: Solving Quantified Boolean Formulas with Circuit Observability Don't Cares. SAT 2006: 368-381
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManish Vachharajani, Neil Vachharajani, David A. Penry, Jason A. Blome, Sharad Malik, David I. August: The Liberty Simulation Environment: A deliberate approach to high-level system modeling. ACM Trans. Comput. Syst. 24(3): 211-249 (2006)
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinping Zhu, Wei Qin, Sharad Malik: Modeling operation and microarchitecture concurrency for communication architectures with application to retargetable simulation. IEEE Trans. VLSI Syst. 14(7): 707-716 (2006)
2005
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYinlei Yu, Sharad Malik: Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice. ASP-DAC 2005: 1047-1051
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip: Symmetry Reduction in SAT-Based Model Checking. CAV 2005: 125-138
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFen Xie, Margaret Martonosi, Sharad Malik: Efficient behavior-driven runtime dynamic voltage scaling policies. CODES+ISSS 2005: 105-110
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhaohui Fu, Yinlei Yu, Sharad Malik: Considering Circuit Observability Don't Cares in CNF Satisfiability. DATE 2005: 1108-1113
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHangsheng Wang, Li-Shiuan Peh, Sharad Malik: A Technology-Aware and Energy-Oriented Topology Exploration for On-Chip Networks. DATE 2005: 1238-1243
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik: A Case for Runtime Validation of Hardware. Haifa Verification Conference 2005: 30-42
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Alphan Bayazit, Sharad Malik: Complementary use of runtime validation and model checking. ICCAD 2005: 1052-1059
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFen Xie, Margaret Martonosi, Sharad Malik: Bounds on power savings using runtime dynamic voltage scaling: an exact algorithm and a linear-time heuristic approximation. ISLPED 2005: 287-292
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Qin, Sharad Malik: A Study of Architecture Description Languages from a Model-based Perspective. MTV 2005: 3-11
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid I. August, Sharad Malik, Li-Shiuan Peh, Vijay S. Pai, Manish Vachharajani, Paul Willmann: Achieving Structural and Composable Modeling of Complex Systems. International Journal of Parallel Programming 33(2-3): 81-101 (2005)
2004
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Limor Fix, Andrew B. Kahng: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004 ACM 2004
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinping Zhu, Wei Qin, Sharad Malik: Modeling operation and microarchitecture concurrency for communication architectures with application to retargetable simulation. CODES+ISSS 2004: 66-71
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManish Vachharajani, Neil Vachharajani, Sharad Malik, David I. August: Facilitating reuse in hardware models with enhanced type inference. CODES+ISSS 2004: 86-91
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinping Zhu, Sharad Malik: Using a Communication Architecture Specification in an Application-Driven Retargetable Prototyping Platform for Multiprocessing. DATE 2004: 1244-1249
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid I. August, Sharad Malik, Li-Shiuan Peh, Vijay S. Pai: Achieving Structural and Composable Modeling of Complex Systems. IPDPS Next Generation Software Program - NSFNGS - PI Workshop 2004
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Qin, Subramanian Rajagopalan, Sharad Malik: A formal concurrency model based architecture description language for synthesis of software development tools. LCTES 2004: 47-56
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDarsh P. Ranjan, Daijue Tang, Sharad Malik: A Comparative Study of 2QBF Algorithms. SAT 2004
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik: Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. SAT 2004
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik: Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. SAT (Selected Papers 2004: 292-305
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYogesh S. Mahajan, Zhaohui Fu, Sharad Malik: Zchaff2004: An Efficient SAT Solver. SAT (Selected Papers 2004: 360-375
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhining Huang, Sharad Malik, Nahri Moreano, Guido Araujo: The design of dynamically reconfigurable datapath coprocessors. ACM Trans. Embedded Comput. Syst. 3(2): 361-384 (2004)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl Pixley, Sharad Malik: Guest Editors' Introduction: Exploring Synergies for Design Verification. IEEE Design & Test of Computers 21(6): 461-463 (2004)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFen Xie, Margaret Martonosi, Sharad Malik: Intraprogram dynamic voltage scaling: Bounding opportunities with analytic modeling. TACO 1(3): 323-367 (2004)
2003
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaojie Wang, Sharad Malik: Synthesizing operating system based device drivers in embedded systems. CODES+ISSS 2003: 37-44
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Qin, Sharad Malik: Automated synthesis of efficient binary decoders for retargetable software toolkits. DAC 2003: 764-769
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaojie Wang, Sharad Malik, Reinaldo A. Bergamaschi: Modeling and Integration of Peripheral Devices in Embedded Systems. DATE 2003: 10136-10141
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Qin, Sharad Malik: Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation. DATE 2003: 10556-10561
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLintao Zhang, Sharad Malik: Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications. DATE 2003: 10880-10885
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHangsheng Wang, Li-Shiuan Peh, Sharad Malik: Power-driven Design of Router Microarchitectures in On-chip Networks. MICRO 2003: 105-116
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFen Xie, Margaret Martonosi, Sharad Malik: Compile-time dynamic voltage scaling settings: opportunities and limits. PLDI 2003: 49-62
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLintao Zhang, Sharad Malik: Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms. SAT 2003: 287-298
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHangsheng Wang, Li-Shiuan Peh, Sharad Malik: A Power Model for Routers: Modeling Alpha 21364 and InfiniBand Routers. IEEE Micro 23(1): 26-35 (2003)
2002
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLintao Zhang, Sharad Malik: The Quest for Efficient Boolean Satisfiability Solvers. CADE 2002: 295-313
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLintao Zhang, Sharad Malik: The Quest for Efficient Boolean Satisfiability Solvers. CAV 2002: 17-36
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLintao Zhang, Sharad Malik: Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. CP 2002: 200-215
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhining Huang, Sharad Malik: Exploiting operation level parallelism through dynamically reconfigurable datapaths. DAC 2002: 337-342
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary Smith, Daya Nadamuni, Sharad Malik, Rick Chapman, John Fogelin, Kurt Keutzer, Grant Martin, Brian Bailey: Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant? DAC 2002: 479
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik: Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver. DAC 2002: 747-750
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Qin, Subramanian Rajagopalan, Manish Vachharajani, Hangsheng Wang, Xinping Zhu, David I. August, Kurt Keutzer, Sharad Malik, Li-Shiuan Peh: Design Tools for Application Specific Embedded Processors. EMSOFT 2002: 319-333
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHangsheng Wang, Li-Shiuan Peh, Sharad Malik: A Power Model for Routers: Modeling Alpha 21364 and InfiniBand Routers. Hot Interconnects 2002: 21-27
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLintao Zhang, Sharad Malik: Conflict driven learning in a quantified Boolean Satisfiability solver. ICCAD 2002: 442-449
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinping Zhu, Sharad Malik: A hierarchical modeling framework for on-chip communication architectures. ICCAD 2002: 663-671
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Keutzer, Sharad Malik, A. Richard Newton: From ASIC to ASIP: The Next Design Discontinuity. ICCD 2002: 84-90
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Araujo, Sharad Malik, Zhining Huang, Nahri Moreano: Datapath Merging and Interconnection Sharing for Reconfigurable Architectures. ISSS 2002: 38-43
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHangsheng Wang, Xinping Zhu, Li-Shiuan Peh, Sharad Malik: Orion: a power-performance simulator for interconnection networks. MICRO 2002: 294-305
107no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Qin, Sharad Malik: Architecture Description Languages for Retargetable Compilation. The Compiler Design Handbook 2002: 535-564
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubramanian Rajagopalan, Sharad Malik: Retargetable Very Long Instuction Word Compiler Framework for Digital Signal Processors. The Compiler Design Handbook 2002: 603-630
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanett Mohnke, Paul Molitor, Sharad Malik: Limits of Using Signatures for Permutation Independent Boolean Comparison. Formal Methods in System Design 21(2): 167-191 (2002)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Mihal, Chidamber Kulkarni, Matthew W. Moskewicz, Mel M. Tsai, Niraj Shah, Scott J. Weber, Yujia Jin, Kurt Keutzer, Christian Sauer, Kees A. Vissers, Sharad Malik: Developing Architectural Platforms: A Disciplined Approach. IEEE Design & Test of Computers 19(6): 6-16 (2002)
2001
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuilherme Ottoni, Sandro Rigo, Guido Araujo, Subramanian Rajagopalan, Sharad Malik: Optimal Live Range Merge for Address Register Allocation in Embedded Programs. CC 2001: 274-288
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik: Chaff: Engineering an Efficient SAT Solver. DAC 2001: 530-535
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Sgroi, Michael Sheets, Andrew Mihal, Kurt Keutzer, Sharad Malik, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli: Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design. DAC 2001: 667-672
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhining Huang, Sharad Malik: Managing dynamic reconfiguration overhead in systems-on-a-chip design using reconfigurable datapaths and optimized interconnection networks. DATE 2001: 735
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik: Embedded Software Implementation Tools for Fully Programmable Application Specific Systems. EMSOFT 2001: 254-256
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik: Efficient Conflict Driven Learning in Boolean Satisfiability Solver. ICCAD 2001: 279-285
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik: Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. ICCAD 2001: 286-292
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYing Zhao, Sharad Malik, Albert Wang, Matthew W. Moskewicz, Conor F. Madigan: Matching Architecture to Application Via Configurable Processors: A Case Study with Boolean Satisfiability Problem. ICCD 2001: 447-452
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYing Zhao, Sharad Malik, Matthew W. Moskewicz, Conor F. Madigan: Accelerating boolean satisfiability through application specific processing. ISSS 2001: 244-249
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Chen, Sharad Malik, David I. August: Retargetable static timing analysis for embedded software. ISSS 2001: 39-44
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPranav Ashar, Aarti Gupta, Sharad Malik: Using complete-1-distinguishability for FSM equivalence checking. ACM Trans. Design Autom. Electr. Syst. 6(4): 569-590 (2001)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubramanian Rajagopalan, Sreeranga P. Rajan, Sharad Malik, Sandro Rigo, Guido Araujo, Koichiro Takayama: A retargetable VLIW compiler framework for DSPs withinstruction-level parallelism. IEEE Trans. on CAD of Integrated Circuits and Systems 20(11): 1319-1328 (2001)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanett Mohnke, Paul Molitor, Sharad Malik: Application of BDDs in Boolean matching techniques for formal logic combinational verification. STTT 3(2): 207-216 (2001)
2000
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubramanian Rajagopalan, Manish Vachharajani, Sharad Malik: Handling irregular ILP within conventional VLIW schedulers using artificial resource constraints. CASES 2000: 157-164
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf: Embedded systems education (panel abstract). DAC 2000: 519
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Coudert, Jason Cong, Sharad Malik, Majid Sarrafzadeh: Incremental CAD. ICCAD 2000: 236-243
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSomnath Ghosh, Margaret Martonosi, Sharad Malik: Automated cache optimizations using CME driven diagnosis. ICS 2000: 316-326
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. Vinod Kumar Gupta, Purvesh Sharma, M. Balakrishnan, Sharad Malik: Processor Evaluation in an Embedded Systems Design Environment. VLSI Design 2000: 98-103
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok Sudarsanam, Sharad Malik: Simultaneous reference allocation in code generation for dual data memory bank ASIPs. ACM Trans. Design Autom. Electr. Syst. 5(2): 242-264 (2000)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYing Zhao, Sharad Malik: Exact memory size estimation for array computations. IEEE Trans. VLSI Syst. 8(5): 517-521 (2000)
1999
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYau-Tsun Steven Li, Sharad Malik: Performance analysis of real-time embedded software. Springer 1999: I-XVI, 1-146
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarti Gupta, Pranav Ashar, Sharad Malik: Exploiting Retiming in a Guided Simulation Based Validation Methodology. CHARME 1999: 350-353
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSreeranga P. Rajan, Masahiro Fujita, Ashok Sudarsanam, Sharad Malik: Development of an optimizing compiler for a Fujitsu fixed-point digital signal processor. CODES 1999: 2-6
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYing Zhao, Sharad Malik: Exact Memory Size Estimation for Array Computations without Loop Unrolling. DAC 1999: 811-816
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Sharad Malik, José C. Monteiro, Luciano Lavagno: CAD Techniques for Embedded System Design. VLSI Design 1999: 608
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYau-Tsun Steven Li, Sharad Malik, Andrew Wolfe: Performance estimation of embedded software with instruction cache modeling. ACM Trans. Design Autom. Electr. Syst. 4(3): 257-279 (1999)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSomnath Ghosh, Margaret Martonosi, Sharad Malik: Cache miss equations: a compiler framework for analyzing and tuning memory behavior. ACM Trans. Program. Lang. Syst. 21(4): 703-746 (1999)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok Sudarsanam, Sharad Malik, Steven W. K. Tjiang, Stan Y. Liao: Paged Absolute Addressing Mode Optimizations for Embedded Digital Signal Processors Using Post-pass Data-flow Analysis. Design Autom. for Emb. Sys. 4(1): 41-59 (1999)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok Sudarsanam, Sharad Malik, Masahiro Fujita: A Retargetable Compilation Methodology for Embedded Digital Signal Processors Using a Machine-Dependent Code Optimization Library. Design Autom. for Emb. Sys. 4(2-3): 187-206 (1999)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik: Using configurable computing to accelerate Boolean satisfiability. IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 861-868 (1999)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanett Mohnke, Paul Molitor, Sharad Malik: Establishing latch correspondence for sequential circuits using distinguishing signatures. Integration 27(1): 33-46 (1999)
1998
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSomnath Ghosh, Margaret Martonosi, Sharad Malik: Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity. ASPLOS 1998: 228-239
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeixin Zhong, Pranav Ashar, Sharad Malik, Margaret Martonosi: Using Reconfigurable Computing Techniques to Accelerate Problems in the CAD Domain: A Case Study with Boolean Satisfiability. DAC 1998: 194-199
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik: Accelerating Boolean Satisfiability with Configurable Hardware. FCCM 1998: 186-195
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik: Solving Boolean Satisfiability with Dynamic Hardware Configurations. FPL 1998: 326-335
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Araujo, Sharad Malik: Code generation for fixed-point DSPs. ACM Trans. Design Autom. Electr. Syst. 3(2): 136-161 (1998)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Tiwari, Sharad Malik, Pranav Ashar: Guarded evaluation: pushing power management to logic synthesis/design. IEEE Trans. on CAD of Integrated Circuits and Systems 17(10): 1051-1060 (1998)
1997
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Margaret Martonosi, Yau-Tsun Steven Li: Static Timing Analysis of Embedded Software. DAC 1997: 147-152
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarti Gupta, Sharad Malik, Pranav Ashar: Toward Formalizing a Validation Methodology Using Simulation Coverage. DAC 1997: 740-745
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYau-Tsun Steven Li, Sharad Malik, Andrew Wolfe: Cinderella: A Retargetable Environment for Performance Analysis of Real-Time Software. Euro-Par 1997: 1308-1315
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSomnath Ghosh, Margaret Martonosi, Sharad Malik: Cache Miss Equations: An Analytical Representation of Cache Misses. International Conference on Supercomputing 1997: 317-324
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Tiwari, Ryan Donnelly, Sharad Malik, Ricardo Gonzalez: Dynamic Power Management for Microprocessors: A Case Study. VLSI Design 1997: 185-192
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Tien-Chien Lee, Vivek Tiwari, Sharad Malik, Masahiro Fujita: Power analysis and minimization techniques for embedded DSP software. IEEE Trans. VLSI Syst. 5(1): 123-135 (1997)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoriya Kobayashi, Sharad Malik: Delay abstraction in combinational logic circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 16(10): 1205-1212 (1997)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYau-Tsun Steven Li, Sharad Malik: Performance analysis of embedded software using implicit path enumeration. IEEE Trans. on CAD of Integrated Circuits and Systems 16(12): 1477-1487 (1997)
1996
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Araujo, Sharad Malik, Mike Tien-Chien Lee: Using Register-Transfer Paths in Code Generation for Heterogeneous Memory-Register Architectures. DAC 1996: 591-596
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPranav Ashar, Aarti Gupta, Sharad Malik: Using complete-1-distinguishability for FSM equivalence checking. ICCAD 1996: 346-353
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVigyan Singhal, Sharad Malik, Robert K. Brayton: The case for retiming with explicit reset circuitry. ICCAD 1996: 618-625
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYau-Tsun Steven Li, Sharad Malik, Andrew Wolfe: Cache modeling for real-time software: beyond direct mapped instruction caches. IEEE Real-Time Systems Symposium 1996: 254-263
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Araujo, Ashok Sudarsanam, Sharad Malik: Instruction Set Design and Optimizations for Address Computation in DSP Architectures. ISSS 1996: 102-107
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Keutzer, Sharad Malik: Register Transfer Level Synthesis: From Theory to Practice. VLSI Design 1996: 2
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Tiwari, Sharad Malik, Andrew Wolfe, Mike Tien-Chien Lee: Instruction Level Power Analysis and Optimization of Software. VLSI Design 1996: 326-328
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Tiwari, Pranav Ashar, Sharad Malik: Technology mapping for low power in logic synthesis. Integration 20(3): 243-268 (1996)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Tiwari, Sharad Malik, Andrew Wolfe, Mike Tien-Chien Lee: Instruction level power analysis and optimization of software. VLSI Signal Processing 13(2-3): 223-238 (1996)
1995
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoriya Kobayashi, Sharad Malik: Delay abstraction in combinational logic circuits. ASP-DAC 1995
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanett Mohnke, Paul Molitor, Sharad Malik: Limits of using signatures for permutation independent Boolean comparison. ASP-DAC 1995
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Sharad Malik: A Survey of Optimization Techniques Targeting Low Power VLSI Circuits. DAC 1995: 242-247
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYau-Tsun Steven Li, Sharad Malik: Performance Analysis of Embedded Software Using Implicit Path Enumeration. DAC 1995: 456-461
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYau-Tsun Steven Li, Sharad Malik, Andrew Wolfe: Performance estimation of embedded software with instruction cache modeling. ICCAD 1995: 380-387
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok Sudarsanam, Sharad Malik: Memory bank and register allocation in software synthesis for ASIPs. ICCAD 1995: 388-392
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPranav Ashar, Sharad Malik: Fast functional simulation using branching programs. ICCAD 1995: 408-412
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYau-Tsun Steven Li, Sharad Malik, Andrew Wolfe: Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software. IEEE Real-Time Systems Symposium 1995: 298-307
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Tiwari, Sharad Malik, Pranav Ashar: Guarded evaluation: pushing power management to logic synthesis/design. ISLPD 1995: 221-226
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Tien-Chien Lee, Vivek Tiwari, Sharad Malik, Masahiro Fujita: Power analysis and low-power scheduling techniques for embedded DSP software. ISSS 1995: 110-115
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Araujo, Sharad Malik: Optimal code generation for embedded memory non-homogeneous register architectures. ISSS 1995: 36-41
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnand Raghunathan, Pranav Ashar, Sharad Malik: Test generation for cyclic combinational circuits. VLSI Design 1995: 104-109
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYau-Tsun Steven Li, Sharad Malik: Performance Analysis of Embedded Software Using Implicit Path Enumeration. Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 88-98
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLN. Nandhakumar, Sharad Malik: Multisensor Integration for Underwater Scene Classification. Appl. Intell. 5(3): 207-216 (1995)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnand Raghunathan, Pranav Ashar, Sharad Malik: Test generation for cyclic combinational circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 14(11): 1408-1414 (1995)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPranav Ashar, Sharad Malik: Functional timing analysis using ATPG. IEEE Trans. on CAD of Integrated Circuits and Systems 14(8): 1025-1030 (1995)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPranav Ashar, Sujit Dey, Sharad Malik: Exploiting multicycle false paths in the performance optimization of sequential logic circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 14(9): 1067-1075 (1995)
1994
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Araujo, Srinivas Devadas, Kurt Keutzer, Stan Y. Liao, Sharad Malik, Ashok Sudarsanam, Steven W. K. Tjiang, Albert Wang: Challenges in code generation for embedded processors. Code Generation for Embedded Processors 1994: 48-64
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHorng-Fei Jyu, Sharad Malik: Statistical Delay Modeling in Logic Design and Synthesis. DAC 1994: 126-130
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPranav Ashar, Sharad Malik: Implicit Computation of Minimum-Cost Feedback-Vertex Sets for Partial Scan and Other Applications. DAC 1994: 77-80
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Tiwari, Sharad Malik, Andrew Wolfe: Power analysis of embedded software: a first step towards software power minimization. ICCAD 1994: 384-390
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Certified timing verification and the transition delay of a logic circuit. IEEE Trans. VLSI Syst. 2(3): 333-342 (1994)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Tiwari, Sharad Malik, Andrew Wolfe: Power analysis of embedded software: a first step towards software power minimization. IEEE Trans. VLSI Syst. 2(4): 437-445 (1994)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Event suppression: improving the efficiency of timing simulation for synchronous digital circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 13(6): 814-822 (1994)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik: Analysis of cyclic combinational circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 13(7): 950-956 (1994)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Verification of asynchronous interface circuits with bounded wire delays. VLSI Signal Processing 7(1-2): 161-182 (1994)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTeresa H. Y. Meng, Sharad Malik: Editorial. VLSI Signal Processing 7(1-2): 5-6 (1994)
1993
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Tiwari, Pranav Ashar, Sharad Malik: Technology Mapping for Lower Power. DAC 1993: 74-79
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik: Analysis of cyclic combinational circuits. ICCAD 1993: 618-625
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHorng-Fei Jyu, Sharad Malik: Statistical Timing Optimization of Combinatorial Logic Circuits. ICCD 1993: 77-80
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHorng-Fei Jyu, Sharad Malik, Srinivas Devadas, Kurt Keutzer: Statistical timing analysis of combinational logic circuits. IEEE Trans. VLSI Syst. 1(2): 126-137 (1993)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Kurt Keutzer, Sharad Malik: Computation of floating mode delay in combinational circuits: theory and algorithms. IEEE Trans. on CAD of Integrated Circuits and Systems 12(12): 1913-1923 (1993)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Computation of floating mode delay in combinational circuits: practice and implementation. IEEE Trans. on CAD of Integrated Circuits and Systems 12(12): 1924-1936 (1993)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance optimization of pipelined logic circuits using peripheral retiming and resynthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 12(5): 568-578 (1993)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanett Mohnke, Sharad Malik: Permutation and phase independent Boolean comparison. Integration 16(2): 109-129 (1993)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Kurt Keutzer, Sharad Malik: A synthesis-based test generation and compaction algorithm for multifaults. J. Electronic Testing 4(1): 91-104 (1993)
1992
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Certified Timing Verification and the Transition Delay of a Logic Circuit. DAC 1992: 549-555
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Verification of asynchronous interface circuits with bounded wire delays. ICCAD 1992: 188-195
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPranav Ashar, Sujit Dey, Sharad Malik: Exploiting multi-cycle false paths in the performance optimization of sequential circuits. ICCAD 1992: 510-517
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Horng-Fei Jyu, Kurt Keutzer, Sharad Malik: Statistical Timing Analysis of Combinational Circuits. ICCD 1992: 38-43
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Luciano Lavagno, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Symbolic minimization of multilevel logic and the input encoding problem. IEEE Trans. on CAD of Integrated Circuits and Systems 11(7): 825-843 (1992)
1991
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Kurt Keutzer, Sharad Malik: A Synthesis-Based Test Generation and Compaction Algorithm for Multifaults. DAC 1991: 359-365
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Kurt Keutzer, Sharad Malik: Delay Computation in Combinational Logic Circuits: Theory and Algorithms. ICCAD 1991: 176-179
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Ellen M. Sentovich, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Retiming and resynthesis: optimizing sequential networks with combinational techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 74-84 (1991)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Keutzer, Sharad Malik, Alexander Saldanha: Is redundancy necessary to reduce delay? IEEE Trans. on CAD of Integrated Circuits and Systems 10(4): 427-435 (1991)
1990
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Keutzer, Sharad Malik, Alexander Saldanha: Is Redundancy Necessary to Reduce Delay. DAC 1990: 228-234
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance Optimization of Pipelined Circuits. ICCAD 1990: 410-413
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Sharad Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued Inputs. ICCAD 1990: 560-563
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvind Srinivasan, Timothy Kam, Sharad Malik, Robert K. Brayton: Algorithms for Discrete Function Manipulation. ICCAD 1990: 92-95

Coauthor Index

1Guido Araujo [32] [39] [54] [58] [68] [92] [103] [109] [132]
2D. K. Arvind (Damal Kandadai Arvind) [89]
3Pranav Ashar [11] [22] [30] [33] [34] [35] [38] [41] [43] [51] [57] [65] [67] [69] [70] [71] [74] [82] [93] [97] [115]
4David I. August [94] [114] [138] [140] [143] [154] [181]
5Brian Bailey [116]
6M. Balakrishnan [86]
7Ali Alphan Bayazit [146] [163]
8Reinaldo A. Bergamaschi [127]
9Jason A. Blome [154]
10Robert K. Brayton [1] [2] [3] [6] [9] [16] [56]
11Cameron Brien [160] [167]
12Carven Chan [163] [175] [184]
13Rick Chapman [116]
14Kaiyu Chen [94] [158] [169] [170]
15Jason Cong [88]
16Olivier Coudert [88]
17Srinivas Devadas [7] [8] [10] [12] [13] [14] [17] [18] [19] [24] [26] [28] [32] [47] [79]
18Sujit Dey [11] [33]
19Ryan Donnelly [62]
20Limor Fix [142]
21John Fogelin [116]
22Zhaohui Fu [133] [149] [156] [159] [162]
23Masahiro Fujita [40] [61] [75] [81]
24Malay K. Ganai [115]
25Somnath Ghosh [63] [72] [77] [87]
26Ricardo Gonzalez [62]
27Aarti Gupta [57] [65] [82] [93] [97] [115] [151] [171] [172] [180]
28T. Vinod Kumar Gupta [86]
29Zhining Huang [100] [109] [117] [132]
30C. Norris Ip [151]
31Yujia Jin [104]
32Horng-Fei Jyu [10] [19] [20] [31]
33Andrew B. Kahng [142]
34Timothy Kam [1]
35Vikram Kaul [165]
36Kurt Keutzer [4] [5] [7] [8] [10] [12] [13] [14] [17] [18] [19] [24] [26] [28] [32] [53] [101] [104] [110] [114] [116]
37Noriya Kobayashi [49] [60]
38Philip Koopman (Phil Koopman, Philip J. Koopman Jr.) [89]
39Daniel Kroening (Daniel Kröning) [183]
40Chidamber Kulkarni [104]
41Luciano Lavagno [2] [9] [79]
42Edward A. Lee [89]
43Mike Tien-Chien Lee [40] [50] [52] [58] [61]
44Gary Levin [165]
45Yau-Tsun Steven Li [37] [42] [45] [46] [55] [59] [64] [66] [78] [83]
46Stan Y. Liao [32] [76]
47Feng Liu [181]
48Inês Lynce [174]
49Conor F. Madigan [95] [96] [98] [102]
50Yogesh S. Mahajan [133] [163] [164] [175] [177] [178]
51Grant Martin [116]
52Margaret Martonosi [63] [66] [69] [70] [71] [72] [74] [77] [87] [123] [130] [145] [150] [185]
53Teresa H. Y. Meng [23]
54Andrew Mihal [101] [104]
55Janett Mohnke [15] [48] [73] [91] [105]
56Paul Molitor [48] [73] [91] [105]
57José C. Monteiro (José Monteiro) [79]
58Nahri Moreano [109] [132]
59Matthew W. Moskewicz [95] [96] [98] [102] [104]
60Daya Nadamuni [116]
61N. Nandhakumar [36]
62Sanjai Narain [165]
63A. Richard Newton [110]
64Guilherme Ottoni [103]
65Vijay S. Pai [138] [143]
66Priyadarsan Patra [169] [170]
67Li-Shiuan Peh [108] [113] [114] [121] [124] [138] [143] [148]
68David A. Penry [154]
69Carl Pixley [131]
70Tarun Pondicherry [181]
71Wei Qin [107] [114] [126] [128] [137] [141] [144] [153] [163]
72Jan M. Rabaey [101] [166]
73Anand Raghunathan [35] [38]
74Subramanian Rajagopalan [90] [92] [103] [106] [114] [137]
75Sreeranga P. Rajan [81] [92]
76Darsh Ranjan [134] [135]
77Darsh P. Ranjan [136]
78Sandro Rigo [92] [103]
79Alexander Saldanha [4] [5]
80Alberto L. Sangiovanni-Vincentelli [2] [3] [6] [9] [16] [89] [101]
81Majid Sarrafzadeh [88]
82Christian Sauer [104]
83Daniel Schwartz-Narbonne [175] [181] [184]
84Ellen Sentovich (Ellen M. Sentovich) [6]
85Divjyot Sethi [178] [182] [184]
86Marco Sgroi [101]
87Niraj Shah [104]
88Purvesh Sharma [86]
89Michael Sheets [101]
90João P. Marques Silva (João Marques-Silva) [174]
91Kanwar Jit Singh [3] [16]
92Vigyan Singhal [56]
93Arnab Sinha [176] [180]
94Gary Smith [116]
95Arvind Srinivasan [1]
96Ashok Sudarsanam [32] [44] [54] [75] [76] [81] [85]
97Koichiro Takayama [92]
98Daijue Tang [134] [135] [136] [151] [155]
99Vivek Tiwari [22] [27] [29] [40] [41] [50] [51] [52] [61] [62] [67]
100Steven W. K. Tjiang [32] [76]
101Mel M. Tsai [104]
102Manish Vachharajani [90] [114] [140] [143] [154]
103Neil Vachharajani [140] [154]
104Kees A. Vissers [104]
105Albert Wang [12] [13] [17] [24] [26] [28] [32] [96]
106Chao Wang [180]
107Hangsheng Wang [108] [113] [114] [121] [124] [148]
108Shaojie Wang [127] [129]
109Scott J. Weber [104]
110Georg Weissenbacher [182] [183]
111Paul Willmann [143]
112Marilyn Wolf (Wayne Wolf, Wayne Hendrix Wolf) [89]
113Andrew Wolfe [27] [29] [42] [45] [50] [52] [55] [64] [78]
114Fen Xie [123] [130] [145] [150]
115Zijiang Yang [97]
116Yavuz Yetim [185]
117Yinlei Yu [134] [135] [149] [152] [157] [167]
118Lintao Zhang [97] [98] [102] [112] [115] [118] [119] [120] [122] [125] [173]
119Ying Zhao [80] [84] [95] [96] [102]
120Peixin Zhong [69] [70] [71] [74]
121Charlie Shucheng Zhu [182]
122Xinping Zhu [108] [111] [114] [139] [141] [153] [161]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page