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 × Australia
1 × USA
Collaborated with:
I.Dillig J.Wei Y.Feng A.Brodsky V.E.Segal P.A.Exarkhopoulo O.Olivo C.Lin K.Ferles O.Bastani Q.Jin S.Zhao S.Bao L.Zhang Z.Su Y.Yu
Talks about:
constraint (1) recommend (1) waterloo (1) unexplor (1) singular (1) reinforc (1) categori (1) asymptot (1) resourc (1) product (1)

Person: Jia Chen


Contributed to:

SIGIR 20142014
SIGMOD 19991999
ASE 20172017
ESEC/FSE 20182018
OOPSLA 20192019

Wrote 5 papers:

SIGIR-2014-ChenJZBZSY #category theory #recommendation
Does product recommendation meet its waterloo in unexplored categories?: no, price comes to help (JC, QJ, SZ, SB, LZ, ZS, YY), pp. 667–676.
SIGMOD-1999-BrodskySCE #constraints #database #object-oriented
The CCUBE Constraint Object-Oriented Database System (AB, VES, JC, PAE), pp. 577–579.
ASE-2017-ChenODL #detection #static analysis #web
Static detection of asymptotic resource side-channel vulnerabilities in web applications (JC, OO, ID, CL), pp. 229–239.
ESEC-FSE-2018-WeiCFFD #complexity #fuzzing #named
Singularity: pattern fuzzing for worst case complexity (JW, JC, YF, KF, ID), pp. 213–223.
OOPSLA-2019-ChenWFBD #learning #relational #using #verification
Relational verification using reinforcement learning (JC, JW, YF, OB, ID), 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.