Wtf: The who to follow service at twitter P Gupta, A Goel, J Lin, A Sharma, D Wang, R Zadeh Proceedings of the 22nd international conference on World Wide Web, 505-514, 2013 | 630 | 2013 |
Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis P Chauhan, E Clarke, J Kukula, S Sapra, H Veith, D Wang International Conference on Formal Methods in Computer-Aided Design, 33-51, 2002 | 195 | 2002 |
Formal property verification by abstraction refinement with formal, simulation and hybrid engines D Wang, PH Jiang, J Kukula, Y Zhu, T Ma, R Damiano Proceedings of the 38th annual Design Automation Conference, 35-40, 2001 | 106 | 2001 |
Verifying IP-core based system-on-chip designs P Chauhan, EM Clarke, Y Lu, D Wang ASIC/SOC Conference, 1999. Proceedings. Twelfth Annual IEEE International, 27-31, 1999 | 94 | 1999 |
SAT based predicate abstraction for hardware verification E Clarke, M Talupur, H Veith, D Wang International Conference on Theory and Applications of Satisfiability …, 2003 | 73 | 2003 |
Discovering similar users on twitter A Goel, A Sharma, D Wang, Z Yin 11th Workshop on Mining and Learning with Graphs, 2013 | 50 | 2013 |
Non-linear quantification scheduling in image computation P Chauhan, EM Clarke, S Jha, J Kukula, T Shiple, H Veith, D Wang Proceedings of the 2001 IEEE/ACM international conference on Computer-aided …, 2001 | 49 | 2001 |
The who-to-follow system at twitter: Strategy, algorithms, and revenue impact A Goel, P Gupta, J Sirois, D Wang, A Sharma, S Gurumurthy Interfaces 45 (1), 98-107, 2015 | 44 | 2015 |
WTF: The who-to-follow system at Twitter P Gupta, A Goel, J Lin, A Sharma, D Wang, RB Zadeh Proceedings of the 22nd international conference on World Wide Web WWW, 2013 | 41 | 2013 |
Using cutwidth to improve symbolic simulation and boolean satisfiability D Wang, E Clarke, Y Zhu, J Kukula High-Level Design Validation and Test Workshop, 2001. Proceedings. Sixth …, 2001 | 32 | 2001 |
Using combinatorial optimization methods for quantification scheduling P Chauhan, E Clarke, S Jha, J Kukula, H Veith, D Wang Advanced Research Working Conference on Correct Hardware Design and …, 2001 | 29 | 2001 |
Making predicate abstraction efficient E Clarke, O Grumberg, M Talupur, D Wang International Conference on Computer Aided Verification, 126-140, 2003 | 24 | 2003 |
Abstract BDDs: a technique for using abstraction in model checking E Clarke, S Jha, Y Lu, D Wang Advanced Research Working Conference on Correct Hardware Design and …, 1999 | 24 | 1999 |
Executable protocol specification in ESL E Clarke, S German, Y Lu, H Veith, D Wang International Conference on Formal Methods in Computer-Aided Design, 217-236, 2000 | 23 | 2000 |
SAT based Abstraction Refinement for Hardware Verification D Wang PhD thesis, Carnegie Mellon University, 2003 | 20 | 2003 |
RealGraph: User interaction prediction at twitter K Kamath, A Sharma, D Wang, Z Yin User Engagement Optimization Workshop@ KDD, 2014 | 19 | 2014 |
Highlevel verification of control intensive systems using predicate abstraction E Clarke, O Grumberg, M Talupur, D Wang Formal methods and models for system design, 159-179, 2004 | 19 | 2004 |
Automatic assume guarantee analysis for assertion-based formal verification D Wang, J Levitt Proceedings of the 2005 Asia and South Pacific Design Automation Conference …, 2005 | 18 | 2005 |
Formal verification of the PCI local bus: A step towards ip core based system-on-chip design verification D Wang Master's Thesis, Department of Electrical and Computer Engineering, Carnegie …, 1999 | 14 | 1999 |
Formal model construction using HDL simulation semantics J Buck, D Wang, Y Zhu IEEE, 2007 | 3 | 2007 |