BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Croatia
1 × Cyprus
1 × New Zealand
1 × United Kingdom
2 × China
5 × USA
Collaborated with:
T.Bultan M.Alkhalaf O.H.Ibarra F.Wang J.D.Davis Z.Tan L.Zhang H.Wang J.R.Jiang W.Wu D.Y.Chao E.Peterson G.Hwang C.Wang A.Gupta S.Chen S.Yang G.Chen C.Chan T.Tsai C.Lin A.Aydin W.Eiers L.Bang T.Brennan M.Gavrilov
Talks about:
string (9) analysi (8) automata (5) symbol (5) verif (4) use (4) constraint (2) program (2) manipul (2) hardwar (2)

Person: Fang Yu

DBLP DBLP: Yu:Fang

Contributed to:

CASE 20132013
LCTES 20122012
ICSE 20112011
CIAA 20102010
CIAA 20102011
TACAS 20102010
ASE 20092009
TACAS 20092009
DAC 20082008
FSE 20082008
SAT 20082008
ESEC/FSE 20072007
CIAA 20032003
ASE 20182018
ESEC/FSE 20182018
CAV (1) 20162016

Wrote 16 papers:

CASE-2013-WuCY #analysis #policy #reachability
A control policy for γ-nets without reachability analysis and siphon enumeration (WW, DYC, FY), pp. 1133–1138.
LCTES-2012-YuYWCC #consistency #parallel #source code
Symbolic consistency checking of OpenMp parallel programs (FY, SCY, FW, GCC, CCC), pp. 139–148.
ICSE-2011-YuAB #synthesis
Patching vulnerabilities with sanitization synthesis (FY, MA, TB), pp. 251–260.
CIAA-2010-YuBI #automaton #multi #relational #string #using #verification
Relational String Verification Using Multi-track Automata (FY, TB, OHI), pp. 290–299.
CIAA-J-2010-YuBI11 #automaton #multi #relational #string #using #verification
Relational String Verification Using Multi-Track Automata (FY, TB, OHI), pp. 1909–1924.
TACAS-2010-YuAB #analysis #named #php #string
Stranger: An Automata-Based String Analysis Tool for PHP (FY, MA, TB), pp. 154–157.
ASE-2009-YuAB #analysis #generative #source code #string #using
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses (FY, MA, TB), pp. 605–609.
TACAS-2009-YuBI #analysis #string #verification
Symbolic String Verification: Combining String Analysis and Size Analysis (FY, TB, OHI), pp. 322–336.
DAC-2008-DavisTYZ #configuration management #hardware #satisfiability
A practical reconfigurable hardware accelerator for Boolean satisfiability solvers (JDD, ZT, FY, LZ), pp. 780–785.
FSE-2008-YuWGB #composition #encoding #performance #summary #using #verification #web #web service
Modular verification of web services using efficient symbolic encoding and summarization (FY, CW, AG, TB), pp. 192–202.
SAT-2008-DavisTYZ #design #hardware #performance #satisfiability
Designing an Efficient Hardware Implication Accelerator for SAT Solving (JDD, ZT, FY, LZ), pp. 48–62.
ESEC-FSE-2007-YuBP #analysis #automation #ocl
Automated size analysis for OCL (FY, TB, EP), pp. 331–340.
CIAA-2003-WangHY #analysis
TCTL Inevitability Analysis of Dense-Time Systems (FW, GDH, FY), pp. 176–187.
ASE-2018-WangCYJ #analysis #approach #constraints #model checking #string
A symbolic model checking approach to the analysis of string and length constraints (HEW, SYC, FY, JHRJ), pp. 623–633.
ESEC-FSE-2018-AydinEBBGBY #constraints #string
Parameterized model counting for string and numeric constraints (AA, WE, LB, TB, MG, TB, FY), pp. 400–410.
CAV-2016-WangTLYJ #analysis #automaton #logic #representation #string
String Analysis via Automata Manipulation with Logic Circuit Representation (HEW, TLT, CHL, FY, JHRJ), pp. 241–260.

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.