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
DBLP: Chen:Jia
Contributed to:
2014
1999
2017
2018
2019Wrote 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.