Travelled to:1 × Canada
1 × Korea
1 × Spain
2 × United Kingdom
3 × USA
Collaborated with:A.Milanova Y.Yajie L.Wenyin W.Liu C.Jiang K.An E.Tilevich W.Zhao L.Zhang J.Sun F.Yang
Talks about:static (5) flow (5) analysi (4) program (3) object (3) infer (3) implicit (2) explicit (2) approach (2) inform (2)
Person: Yin Liu
DBLP: Liu:Yin
Contributed to:
2010
2010
2009
2008
2007
2005
20042004
2018Wrote 9 papers:
- CSMR-2010-LiuM #analysis #case study #data flow
- Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows (YL, AM), pp. 146–155.
- WCRE-2010-MilanovaL #comprehension #concurrent #java #source code #static analysis
- Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs (AM, YL), pp. 45–54.
- ICPC-2009-LiuM #static analysis
- Practical static analysis for inference of security-related program properties (YL, AM), pp. 50–59.
- PASTE-2008-LiuM #data flow #static analysis
- Static analysis for inference of explicit information flow (YL, AM), pp. 50–56.
- ICSE-2007-LiuM #data access #uml
- Ownership and Immutability Inference for UML-Based Object Access Control (YL, AM), pp. 323–332.
- ICDAR-2005-YinYW #online #programming #segmentation
- Online Segmentation of Freehand Stroke by Dynamic Programming (YL, YY, LW), pp. 197–201.
- ICPR-v1-2004-LiuLJ #approach
- A Structural Approach to Recognizing Incomplete Graphic Objects (YL, WL, CJ), pp. 371–375.
- ICSE-2004-ZhaoZLSY #approach #feature model #named #towards
- SNIAFL: Towards a Static Non-Interactive Approach to Feature Location (WZ, LZ, YL, JS, FY), pp. 293–303.
- GPCE-2018-LiuAT #automation #constraints #execution #named #realtime #refactoring
- RT-trust: automated refactoring for trusted execution under real-time constraints (YL, KA, ET), pp. 175–187.