Conference Paper

Conference 2014

    1. 韩先培,孙乐,Semantic Consistency: A Local Subspace Based Method for Distant Supervised Relation Extraction,the 52nd Annual Meeting of the Association for Computational Linguistics,2014.6.23-6.25
    2. 孙乐,韩先培,A Feature-Enriched Tree Kernel for Relation Extraction,the 52nd Annual Meeting of the Association for Computational Linguistics,2014.6.23-6.25
    3. 石贝,张振中,孙乐,韩先培,A Probabilistic Co-Bootstrapping Method for Entity Set Expansion,the 25th International Conference on Computational Linguistics,20114.2.24-8.29
    4. Weifeng Wang,Li Jiao,Trace Abstraction Refinement for Timed Automata,12th International Symposium on Automated Technology for Verification and Analysis,Sydney,201411.3-11.7
    5. Xue-Yang Zhu,Marc Geilen,Twan Basten,Sander Stuijk,Memory-Constrained Static Rate-Optimal Scheduling of Synchronous Dataflow Graphs via Retiming,DATE 14,Germany,3.24-3.28
    6. Gaogao Yan,Xue-Yang Zhu,Rongjie Yan,Guangyuan Li,Formal Throughput and Response Time Analysis of MARTE Models,16th International Conference on Formal Engineering Methods (ICFEM 2014),Luxembourg,11.3-11.7
    7. Tianyong Wu,Jun Yan,Jian Zhang,Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion,2014 Eighth International Conference on Software Security and Reliability,”
    8. Zhengbo Xu,Jian Zhang,Zhongxing Xu,Jiteng Wang,Canalyze: A Static Bug-Finding Tool for C Programs ,ISSTA 2014,USA,7.21-7.25
    9. Jianfeng Du,Kewen Wang,Yi-Dong Shen,A Tractable Approach to ABox Abduction over Description Logic Ontologies,The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14),Canada,7.14-8.14
    10. J.Zhang,ZF.Zhang,Y.Chen,YF. Guo,ZY. Zhang,Black-box Separations for One-More (Static) CDH and Its Generalization,ASIACRYPT,Taiwan,12.7-12.11
    11. G. Barmpalias,R. Elwes,A.E.M. Lewis,Digital Morphogenesis via Schelling Segregation,FOCS 2014, 55th Annual IEEE Symposium on Foundations of Computer Science,10.18-10.21
    12. 吕毅,孙鲁明,叶笑春,范东睿,吴鹏,Efficiently and Completely Verifying Synchronized Consistency Models,12th International Symposium on Automated Technology for Verification and Analysis,Australia,11.3-11.7
    13. 吴振华,马文静,龙国平,李玉成,唐秋艳,王中杰,High performance two-dimensional phase unwrapping on GPUs,Computing Frontiers,Italy,5.20-5.22
    14. Yifan Hu,Lei Shi,A Coloring Algorithm for Disambiguating Graph and Map Drawings,22nd International Symposium on Graph Drawing,Germany,9.24-9.26
    15. Weishan Dong,Renjie Yao,Chunyang Ma,Changsheng Li,Lei Shi,Maximizing Multi-scale Spatial Statistical Discrepancy,ACM CIKM,China,11.3-11.7
    16. Lei Shi,Qi Liao,Hanghang Tong,Yifan Hu,Yue Zhao,Hierarchical Focus+Context Heterogeneous Network Visualization,IEEE PacificVis,Japan,3.4-3.7
    17. Tao Zhang,Qi Liao,Lei Shi,Bridging the gap of network management and anomaly detection through interactive visualization,IEEE PacificVis,Japan,3.4-3.7
    18. Zhongyi Hu,Hongan Wang,Jiaqi Zhu,Maozhen Li,Ying Qiao,Changzhi Deng,Discovery of Rare Sequential Topic Patterns in Document Stream,2014 SIAM International Conference on Data Mining (SIAM SDM 2014),Philadelphia, Pennsylvania, US,4.24-4.26
    19. Zhensong Zhang,Fengjun Zhang, Hui Chen, Jiasheng Liu,Hongan Wang,Guozhong Dai,Left and right hand distinction for multi-touch tabletop interactions,ACM Conference on Intelligent User Interfaces (IUI),Haifa,Israel,2.24
    20. Hao Wang,Wei Wang,Chen Zhang,Fanjiang Xu,Cross-Domain Metric Learning Based on Information Theory. AAAI 2014,AAAI,Québec, Canada,7.27-7.31
    21. Qiyun Zhao, Hao Wang,Pin Lv,Chen Zhang,A Bootstrapping Based Refinement Framework For Mining Opinion Words and Targets,CIKM,Shanghai, China,11.3-11.7
    22. Hao Wang,Chen Zhang,Wei Wang,Xiaohui Hu,Fanjiang Xu,Human-Centric Computational Knowledge Enviroment for Complex and Ill-Stutured Problem Solving,SMC,Sadiego, USA,10.5-10.8
    23. Miao Hua,Xiaohui Bie,Minying Zhang,Wencheng Wang,Edge-aware gradient domain optimization framework for image filtering by local propagation,the 27th IEEE Conference on Computer Vision and Pattern Recognition (CVPR’2014),Columbus, USA,6.24-6.29
    24. Guoquan WU,Jun Wei,Hua Zhong,Tao Huang,Runtime Enforcement of Data-centric Properties for Concurrent Service-based Applications,2014 IEEE International Conference on Web Services,Anchorage,AK,USA,6.27-7.2
    25. Rongjie Yan,De Ma,Kai Huang,Xiaoxu Zhang,Siwen Xiu,Annotation and analysis combined cache modeling for native simulation,19th Asia and South Pacific Design Automation Conference,Singapore,1.20-1.23
    26. Wei Xue,Chao Yang,Haohuan Fu,Xinliang Wang,Yangtong Xu,Lin Gan,Yutong Lu,Xiaoqian Zhu,Enabling and scaling a global shallow-water atmospheric model on Tianhe-2,International Parallel and Distributed Processing Symposium (IPDPS), 2014 IEEE 28th International
    27. Qiao Sun,Chao Yang,Optimization of Scan Algorithms on Multi- and Many-Processors,High Performance Computing (HiPC 2014), The 21st annual IEEE International Conference on
    28. Xianyi Zhang,Chao Yang,Yiqun Liu,Fangfang Liu,Yutong Lu,Optimizing and Scaling HPCG on Tianhe-2: Early Experience ,Algorithms and Architectures for Parallel Processing (ICA3PP’14), the 14th International Conference on
    29. Li Gan,Haohuan Fu,Chao Yang,Wayne Luk,Wei Xue,Oskar Mencer,Xiaomeng Huang,Guangwen Yang,A Highly-Efficient and Green Data Flow Engine for Solving Euler Atmospheric Equations,Field Programmable Logic and Applications (FPL), 2014 24th International Conference
    30. Fangfang Liu,Chao Yang,Xianyi Zhang,Yiqun Liu,Yutong Lu,Reducing Communication Overhead in the High Performance Conjugate Gradient Benchmark on Tianhe-2,Distributed Computing and Applications to Business, Engineering and Science (DCABES), the 13th International Symposium on
    31. Ke Zhan,Chao Yang,Changyou Zhang,Jingjing Zheng,Ting Wang,PLDSRC: A Multi-threaded Compressor/Decompressor for Massive DNA Sequencing Data,Distributed Computing and Applications to Business, Engineering and Science (DCABES), the 13th International Symposium on
    32. Junjie Wang,Juan Li,Qing Wang,Da Yang,He Zhang,Can Requirements Dependency Network be Used as Early Indicator of Software Integration Bugs,International Requirements Engineering Conference,Sweden,8.25-8.29
    33. Naiju Zeng,Wenhui Zhang,An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS,the 19th International Conference on Engineering of Complex Computer Systems,Tianjin, China,8.5-8.7
    34. Wenhui Zhang,QBF Encoding of Temporal Properties and QBF-Based Verification,the 7th International Joint Conference on Automated Reasoning,Vienna, Austria,8.19-8.22
    35. 龙腾,张文辉,Termination Analysis with Recursive Calling Graphs,Computing, Communications and IT Applications Conference ,Beijing,10.20-10.22
    36. Lifeng Zhang,Beihong Jin,Yanling Cui,A Concurrent Transmission Enabled Cooperative MAC protocol for Vehicular Ad Hoc Networks,IWQoS 2014, the IEEE/ACM International Symposium on Quality of Service 2014,Hong Kong,5.26-5.27
    37. 赵恒军,詹乃军,Deepak Kapur,Kim G. Larsen,A “hybrid” approach for synthesizing optimal controllers of hybrid systems: A Case study of the oil pump industrial example,TAMC 2014
    38. 董如振,Johannes Farber,刘志明,Jiri Srba,詹乃军,朱嘉奇,Unblockable compositions of software components,CBSE 2014
    39. 顾斌,邹亮,A Refinement Calculus for Hybrid Systems,ICECCS 2014
    40. 王淑灵,Flemming Nielson,Hanne Riis Nielson,Denial of Service in the Continuous-Time World,FORTE 2014
    41. Yuan Feng,Lijun Zhang,A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman’s Algorithm,The 25th Conference on Concurrency Theory,Rome, Italy,9.1-9.6
    42. Jianwen Li,Lijun Zhang,Geguang Pu,Moshe Vardi,Jifeng He,Ltlf satisfiability checking,European Conference on Artificial Intelligence,Prague, Czech Republic,8.18-8.22
    43. Joost-Pieter Katoen,Lei Song,Lijun Zhang,Probably Safe or Life,ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE,Viena,Austria,7.14-7.18
    44. Ernst Moritz Hahn,Yi Li,Sven Schewe,Andrea Turrini,Lijun Zhang,IscasMC: A Web-Based Probabilistic Model Checker,International Symposium on the Formal Methods Europe association (FM),Singapore,3.12-3.16
    45. Yuan Feng,Lijun Zhang,When Equivalence and Bisimulation Join Forces in Probabilistic Automata,International Symposium on the Formal Methods Europe association (FM),Singapore,3.12-3.16
    46. Lei Song,Lijun Zhang,Jens Chr. Godskesen,Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes,International Conference on Verification, Model Checking, and Abstract Interpretation,San Diego,USA,1.19-1.21
    47. David Spieler,Ernst Moritz Hahn,Lijun Zhang,Model checking csl for markov population models,International Workshop on Quantitative Aspects of Programming Languages and Systems,Grenoble,France,4.12-4.13
    48. Haijiang Wu,Jie Liu,Dan Ye,Jun Wei,Hua Zhong,Scalable Horn-Like Rule Inference of Semantic Data Using MapReduce,KSEM 2014
    49. Shaowei Cai,Chuan Luo,Kaile Su,Tailoring Local Search for Partial MaxSAT,AAAI
    50. Chuan Luo,Shaowei Cai,Wei Wu,Kaile Su,Double Configuration Checking in Stochastic Local Search for Satisfiability,AAAI
    51. Honglei Han,Jing Li,Wencheng Wang,Huiwen Zhao,Miao Hua,Reasonable Viewpoint Ranking via Saliency-based Segmentation,International Conference on Virtual Reality and Visualization 2014 (ICVRV2014),ShenYang, China,8.30-8.31
    52. Jie Chen,Junchao Xiao,Qing Wang,Leon J. Osterweil,Mingshu Li,Refactoring planning and practice in agile software development: an empirical study,International Conference on Software and Systems Process,南京,5.26-5.28
    53. Ke Li,Junchao Xiao,Yongji Wang,Qing Wang,Analysis of the Key Factors for Software Quality in Crowdsourcing Development: An Empirical Study on,2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC2013),日本京都,7.21-7.25
    54. Junchao Xiao,Leon J.Osterweil,Jie Chen,Qing Wang,Mingshu Li, Search Based Risk Mitigation Planning in Project Portfolio Management,International Conference on Software and Systems Process,美国旧金山,5.18-5.19
    55. Chuanyan Haoand Enhua Wu,Wen Wu ,Enhua Wu,Large-scale Texture Synthesis and Manipulations Based on an Iterated Coherent-Random Search,31st Computer Graphics international,Sydney, Australia,6.10-6.13
    56. Li Shen,Gang Sun,Shuhui Wang,Enhua Wu ,Sharing modelwith multi-level featur representations, IEEE International Conference on Image Processing,Paris, France,6.8-6.15
    57. 詹乃军,邹亮,Formal verification of Simulink/Stateflow diagrams,ESWEEK 2014,印度
    58. Ehsan Ahmad,董云卫,王淑灵,詹乃军,邹亮,Adding Formal Meanings to AADL Models with Hybrid Annex.,FACS 2014,意大利
    59. Ehsan Ahmad,Brian Larson,Stephen Barrett,詹乃军,董云卫,An AADL Extension for Continuous Behavior and Cyber-Physical Interaction Modeling,HILT 2014,美国
    60. 赵恒军,杨孟飞,詹乃军,顾斌,邹亮,陈尧,Formal verification of a descent guidance control program of a lunar lander,FM 2014,新加坡
    61. Liang Wu,Hui Xiong,Liang Du,Bo Liu,Guandong Xu,Yong Ge,Yanjie Fu,Yuanchun Zhou、Jianhui Li,Heterogeneous Metric Learning with Content-based Regularization for Software Artifact Retrieval,The Fourteenth IEEE International Conference on Data Mining (ICDM-14) ,China
    62. Giuseppe Castagna,Kim Nguyễn,Zhiwu Xu,Hyeonseung Im,Serguei Lenglet,Luca Padovani,Polymorphic Functions with Set-Theoretic Types,POPL ’14,,USA,1.22-1.24
    63. Wensheng Dou,Shing-Chi Cheung,Jun Wei,Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation,ICSE 2014.