BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

CASE 20152015
ASPLOS 20142014
SAC 20142014
SIGMOD 20132013
ASPLOS 20122012
PODS 20112011
VLDB 20112011
ICSM 20102010
VLDB 20102010
ESOP 20172017
OOPSLA 20172017
PLDI 20182018
PLDI 20192019
POPL 20192019

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.