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 × China
1 × USA
Collaborated with:
I.Dillig R.Martins O.Bastani J.Wei J.Chen T.A.Rahat Y.Tian Y.Chen X.Wang C.Lin S.Anand A.Aiken K.Ferles Jacob Van Geffen S.Chaudhuri Yuepeng Wang 0001 T.W.Reps C.Wang R.Bodík A.Cheung Y.Wang A.Kaushik S.P.Reiss
Talks about:
synthesi (4) base (3) complex (2) android (2) explor (2) exampl (2) driven (2) compon (2) learn (2) use (2)

Person: Yu Feng


Contributed to:

OOPSLA 20152015
FSE 20142014
FSE 20162016
ESEC/FSE 20182018
ASE 20192019
ESEC/FSE 20192019
OOPSLA 20192019
PLDI 20172017
POPL 20172017
PLDI 20182018
POPL 20202020

Wrote 11 papers:

OOPSLA-2015-FengWDL #control flow #interprocedural
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties (YF, XW, ID, CL), pp. 520–534.
FSE-2014-FengADA #android #detection #named #semantics #static analysis
Apposcopy: semantics-based detection of Android malware through static analysis (YF, SA, ID, AA), pp. 576–587.
FSE-2016-WangFMKDR #java #named #reuse
Hunter: next-generation code reuse for Java (YW, YF, RM, AK, ID, SPR), pp. 1028–1032.
ESEC-FSE-2018-WeiCFFD #complexity #fuzzing #named
Singularity: pattern fuzzing for worst case complexity (JW, JC, YF, KF, ID), pp. 213–223.
ASE-2019-RahatFT #android #debugging #empirical #named
OAUTHLINT: An Empirical Study on OAuth Bugs in Android Applications (TAR, YF, YT), pp. 293–304.
ESEC-FSE-2019-ChenMF #multi #specification #synthesis
Maximal multi-layer specification synthesis (YC, RM, YF), pp. 602–612.
OOPSLA-2019-ChenWFBD #learning #relational #using #verification
Relational verification using reinforcement learning (JC, JW, YF, OB, ID), p. 30.
PLDI-2017-FengMGDC #component #synthesis
Component-based synthesis of table consolidation and transformation tasks from examples (YF, RM, JVG, ID, SC), pp. 422–436.
POPL-2017-FengM0DR #api #component #synthesis
Component-based synthesis for complex APIs (YF, RM, YW0, ID, TWR), pp. 599–612.
PLDI-2018-FengMBD #learning #synthesis #using
Program synthesis using conflict-driven learning (YF, RM, OB, ID), pp. 420–435.
POPL-2020-WangFBCD #visualisation
Visualization by example (CW, YF, RB, AC, ID), p. 28.

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.