Travelled to:1 × Greece
1 × Romania
1 × South Korea
1 × Sweden
1 × United Kingdom
2 × USA
Collaborated with:J.H.0002 E.A.Rundensteiner R.T.Ellison X.Zhang Y.He J.F.Naughton S.Govindan A.Sivasubramaniam Peng Wang 0048 A.Chlipala T.W.Reps J.Ma T.Lian L.Guo B.Urgaonkar S.Barman B.Li D.Qiu S.Ji H.Wang Tristan Knoth N.Polikarpova A.Kansal J.Liu B.Khessib H.Tang Y.Xiong L.Zhang X.Wang L.Z.0023
Talks about:complex (5) event (5) process (3) analysi (3) datacent (2) program (2) generat (2) stream (2) power (2) activ (2)
Person: Di Wang
DBLP: Wang:Di
Contributed to:
2015
2014
2014
20132012
2011
2011
20102010
2017
2017
20182019
2019Wrote 14 papers:
- CASE-2015-WangZ #modelling #predict #simulation
- A prediction method for interior temperature of grain storage via dynamics models: A simulation study (DW, XZ), pp. 1477–1483.
- ASPLOS-2014-WangGSKLK #framework
- Underprovisioning backup power infrastructure for datacenters (DW, SG, AS, AK, JL, BK), pp. 177–192.
- SAC-2014-WangMLG #recommendation #social
- Recommendation based on weighted social trusts and item relationships (DW, JM, TL, LG), pp. 254–259.
- SIGMOD-2013-WangHRN
- Utility-maximizing event stream suppression (DW, YH, EAR, JFN), pp. 589–600.
- ASPLOS-2012-GovindanWSU #energy
- Leveraging stored energy for handling power emergencies in aggressively provisioned datacenters (SG, DW, AS, BU), pp. 75–86.
- PODS-2011-HeBWN #complexity #on the #privacy
- On the complexity of privacy-preserving complex event processing (YH, SB, DW, JFN), pp. 165–174.
- VLDB-2011-WangRE
- Active Complex Event Processing over Event Streams (DW, EAR, RTE), pp. 634–645.
- ICSM-2010-LiQJW #automation #generative #graph #testing
- Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph (BL, DQ, SJ, DW), pp. 1–10.
- VLDB-2010-WangREW #health #realtime
- Active Complex Event Processing: Applications in Real-Time Health Care (DW, EAR, RTE, HW), pp. 1545–1548.
- ESOP-2017-TangWXZW0 #analysis #library #performance #reachability #summary
- Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization (HT, DW, YX, LZ, XW, LZ0), pp. 880–908.
- OOPSLA-2017-WangWC #analysis #complexity #functional #invariant #named
- TiML: a functional language for practical complexity analysis with invariants (PW0, DW, AC), p. 26.
- PLDI-2018-WangHR #algebra #framework #named #probability #source code #static analysis
- PMAF: an algebraic framework for static analysis of probabilistic programs (DW, JH0, TWR), pp. 513–528.
- PLDI-2019-KnothWP0 #synthesis
- Resource-guided program synthesis (TK, DW, NP, JH0), pp. 253–268.
- POPL-2019-WangH #generative #worst-case
- Type-guided worst-case input generation (DW, JH0), p. 30.