Follow
Dong Wang
Dong Wang
Matroid Inc.
Verified email at matroid.com - Homepage
Title
Cited by
Cited by
Year
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
6192013
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
1932002
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
1062001
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
941999
SAT based predicate abstraction for hardware verification
E Clarke, M Talupur, H Veith, D Wang
International Conference on Theory and Applications of Satisfiability …, 2003
732003
Discovering similar users on twitter
A Goel, A Sharma, D Wang, Z Yin
11th Workshop on Mining and Learning with Graphs, 2013
502013
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
482001
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
442015
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
402013
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
332001
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
292001
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
251999
Making predicate abstraction efficient
E Clarke, O Grumberg, M Talupur, D Wang
International Conference on Computer Aided Verification, 126-140, 2003
242003
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
232000
SAT based Abstraction Refinement for Hardware Verification
D Wang
PhD thesis, Carnegie Mellon University, 2003
202003
RealGraph: User interaction prediction at twitter
K Kamath, A Sharma, D Wang, Z Yin
User Engagement Optimization Workshop@ KDD, 2014
172014
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
172005
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
141999
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
52004
Formal model construction using HDL simulation semantics
J Buck, D Wang, Y Zhu
IEEE, 2007
32007
The system can't perform the operation now. Try again later.
Articles 1–20