Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDKai Shen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j29]Wei Su, Xueqiao Wang, Ge Chen, Kai Shen:
Quasi-synchronization of bounded confidence opinion dynamics with a stochastic asynchronous rule. Sci. China Inf. Sci. 65(1) (2022)- [j28]Daniel Amyot, Okhaide Akhigbe, Malak Baslyman, Sepideh Ghanavati, Mahdi Ghasemi, Jameleddine Hassine, Lysanne Lessard, Gunter Mussbacher, Kai Shen, Eric Yu:
Combining Goal modelling with Business Process modelling Two Decades of Experience with the User Requirements Notation Standard. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 17 (2022) - [j27]Yuhui Hu, Kai Shen
, Konstantin Neusypin, Andrey V. Proletarsky, Maria Selezneva:
Hierarchic Controllability Analysis in High-Dynamic Guidance for Autonomous Vehicle Landing. IEEE Trans. Aerosp. Electron. Syst. 58(3): 1545-1557 (2022) - [j26]Jinwen Wang, Zhihong Deng, Zhidong Meng, Kai Shen:
Magnetoresistive Sensor Error Compensation Method Using Geometry-Constraint Contour Scaling. IEEE Trans. Instrum. Meas. 71: 1-9 (2022) - [i5]Xueying Zhang, Kai Shen, Chi Zhang, Xiaochuan Fan, Yun Xiao, Zhen He, Bo Long, Lingfei Wu:
Scenario-based Multi-product Advertising Copywriting Generation for E-Commerce. CoRR abs/2205.10530 (2022) - 2021
- [j25]Kai Shen, Dillard Robertson, Joseph K. Scott:
Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities. Autom. 134: 109911 (2021) - [j24]Chaoyang Zhai, Meiling Wang, Yi Yang, Kai Shen:
Robust Vision-Aided Inertial Navigation System for Protection Against Ego-Motion Uncertainty of Unmanned Ground Vehicle. IEEE Trans. Ind. Electron. 68(12): 12462-12471 (2021) - [c83]Bowen Mu, Xuejiao Yang, Kai Shen, Joseph K. Scott:
Improved Interval Reachability Bounds for Nonlinear Discrete-Time Systems using an Efficient One-Dimensional Partitioning Method. ACC 2021: 3664-3669 - [c82]Kai Shen, Lingfei Wu, Siliang Tang, Yueting Zhuang, Zhen He, Zhuoye Ding, Yun Xiao, Bo Long:
Learning to Generate Visual Questions with Noisy Supervision. NeurIPS 2021: 11604-11617 - [i4]Lingfei Wu, Yu Chen, Kai Shen, Xiaojie Guo, Hanning Gao, Shucheng Li, Jian Pei, Bo Long:
Graph Neural Networks for Natural Language Processing: A Survey. CoRR abs/2106.06090 (2021) - 2020
- [j23]Jinran Wang, Peng Dong, Kai Shen, Xun Song, Xiaodong Wang:
Distributed Consensus Student-t Filter for Sensor Networks With Heavy-Tailed Process and Measurement Noises. IEEE Access 8: 167865-167874 (2020) - [j22]Kai Shen, Joseph K. Scott:
Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities. Math. Control. Signals Syst. 32(1): 101-127 (2020) - [j21]Kai Shen, Meiling Wang, Mengyin Fu, Yi Yang, Zhang Yin:
Observability Analysis and Adaptive Information Fusion for Integrated Navigation of Unmanned Ground Vehicles. IEEE Trans. Ind. Electron. 67(9): 7659-7668 (2020) - [j20]Meng Zhu, Kai Shen:
Interactive Context for Mobile OS Resource Management. IEEE Trans. Mob. Comput. 19(3): 612-623 (2020) - [c81]Kai Shen, Lingfei Wu, Fangli Xu, Siliang Tang, Jun Xiao, Yueting Zhuang:
Hierarchical Attention Based Spatial-Temporal Graph-to-Sequence Learning for Grounded Video Description. IJCAI 2020: 941-947 - [i3]Tong Yang, Kai Shen, Sixuan He, Enyu Li, Peter Sun, Lin Zuo, Jiayue Hu, Yiwen Mo, Weiwei Zhang, Pingying Chen, Haonan Zhang, Jingxue Chen, Yu Guo:
CovidNet: To Bring the Data Transparency in Era of COVID-19. CoRR abs/2005.10948 (2020) - [i2]Wei Su, Xueqiao Wang, Ge Chen, Kai Shen:
Quasi-synchronization of bounded confidence opinion dynamics with stochastic asynchronous rule. CoRR abs/2009.01455 (2020)
2010 – 2019
- 2019
- [j19]Peng Dong, Zhongliang Jing, Henry Leung, Kai Shen, Minzhe Li:
The Labeled Multi-Bernoulli Filter for Multitarget Tracking With Glint Noise. IEEE Trans. Aerosp. Electron. Syst. 55(5): 2253-2268 (2019) - [j18]Peng Dong, Zhongliang Jing, Henry Leung, Kai Shen, Minzhe Li:
Robust Consensus Nonlinear Information Filter for Distributed Sensor Networks With Measurement Outliers. IEEE Trans. Cybern. 49(10): 3731-3743 (2019) - [c80]Mohammad Hedayati, Kai Shen, Michael L. Scott, Mike Marty:
Multi-Queue Fair Queuing. USENIX Annual Technical Conference 2019: 301-314 - [c79]Mohammad Hedayati, Spyridoula Gravani, Ethan Johnson, John Criswell, Michael L. Scott, Kai Shen, Mike Marty:
Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries. USENIX Annual Technical Conference 2019: 489-504 - 2018
- [j17]Jin Zheng, Zhi Zhang, Qiuhao Tao, Kai Shen, Yue Wang:
An Accurate Multi-Row Panorama Generation Using Multi-Point Joint Stitching. IEEE Access 6: 27827-27839 (2018) - [j16]Peng Dong, Zhongliang Jing, Kai Shen, Minzhe Li:
A distributed consensus filter for sensor networks with heavy-tailed measurement noise. Sci. China Inf. Sci. 61(11): 119201:1-119201:3 (2018) - [j15]Qi Zhu, Bo Wu, Xipeng Shen, Kai Shen, Li Shen, Zhiying Wang:
Resolving the GPU responsiveness dilemma through program transformations. Frontiers Comput. Sci. 12(3): 545-559 (2018) - [j14]Peng Dong, Zhongliang Jing, Henry Leung, Kai Shen, Jinran Wang:
Student-t mixture labeled multi-Bernoulli filter for multi-target tracking with heavy-tailed noise. Signal Process. 152: 331-339 (2018) - [j13]Kai Shen, Zhongliang Jing, Peng Dong:
Simultaneous target tracking and sensor location refinement in distributed sensor networks. Signal Process. 153: 123-131 (2018) - [c78]Kai Shen, Joseph K. Scott:
Tight Reachability Bounds for Nonlinear Systems Using Nonlinear and Uncertain Solution Invariants. ACC 2018: 6236-6241 - [c77]Kai Shen, Joseph K. Scott:
Mean Value Form Enclosures for Nonlinear Reachability Analysis. CDC 2018: 7112-7117 - [c76]Kai Shen, Zhongliang Jing, Peng Dong, Yinshuai Sun, Jiyuan Cai:
Consensus and EM Based Sensor Registration in Distributed Sensor Networks. FUSION 2018: 1-5 - 2017
- [j12]Kai Shen, Joseph K. Scott:
Rapid and accurate reachability analysis for nonlinear dynamic systems by exploiting model redundancy. Comput. Chem. Eng. 106: 596-608 (2017) - [j11]Qi Zhu, Bo Wu, Xipeng Shen, Kai Shen, Li Shen, Zhiying Wang:
Understanding co-run performance on CPU-GPU integrated processors: observations, insights, directions. Frontiers Comput. Sci. 11(1): 130-146 (2017) - [j10]Kai Shen, Zhongliang Jing, Peng Dong:
A Consensus Nonlinear Filter With Measurement Uncertainty in Distributed Sensor Networks. IEEE Signal Process. Lett. 24(11): 1631-1635 (2017) - [j9]Peng Dong, Zhongliang Jing, Henry Leung, Kai Shen:
Variational Bayesian Adaptive Cubature Information Filter Based on Wishart Distribution. IEEE Trans. Autom. Control. 62(11): 6051-6057 (2017) - [c75]Ari B. Hayes, Lingda Li, Mohammad Hedayati, Jia-Huan He, Eddy Z. Zhang, Kai Shen:
GPU Taint Tracking. USENIX Annual Technical Conference 2017: 209-220 - 2016
- [c74]Zhuan Chen, Kai Shen:
OrderMergeDedup: Efficient, Failure-Consistent Deduplication on Flash. FAST 2016: 291-299 - [c73]Kai Shen, Renke Wu, Haojie Zhou, Haibo Yu, Hao Zhong:
A failure detection solution for multiple QoS in data center networks. Internetware 2016: 91-94 - [c72]Renke Wu, Linpeng Huang, Peng Yu, Kai Shen, Qiuwei Shi, Haojie Zhou:
Meta-Model Evolution with Self-Adaptation: An Empirical Development Approach for Distributed Parallel Computing Framework. Trustcom/BigDataSE/ISPA 2016: 2227-2234 - [c71]Meng Zhu, Kai Shen:
Energy Discounted Computing on Multicore Smartphones. USENIX Annual Technical Conference 2016: 129-141 - [c70]Sharanyan Srikanthan, Sandhya Dwarkadas, Kai Shen:
Coherence Stalls or Latency Tolerance: Informed CPU Scheduling for Socket and Core Sharing. USENIX Annual Technical Conference 2016: 323-336 - 2015
- [c69]Qi Zhu, Meng Zhu, Bo Wu, Xipeng Shen, Kai Shen, Zhiying Wang:
Software Engagement with Sleeping CPUs. HotOS 2015 - [c68]Sharanyan Srikanthan, Sandhya Dwarkadas, Kai Shen:
Data Sharing or Resource Contention: Toward Performance Transparency on Multicore Systems. USENIX Annual Technical Conference 2015: 529-540 - 2014
- [c67]Konstantinos Menychtas, Kai Shen, Michael L. Scott:
Disengaged scheduling for fair, protected access to fast computational accelerators. ASPLOS 2014: 301-316 - [c66]Kai Shen, Stan Park, Meng Zhu:
Journaling of journal is (almost) free. FAST 2014: 287-293 - 2013
- [c65]Yunqing Wen, Xiang Zhang, Kai Shen, Peng Wang:
Towards Building Virtual Vocabularies in the Semantic Web. ADMA (1) 2013: 193-204 - [c64]Kai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, Xiao Zhang, Zhuan Chen:
Power containers: an OS facility for fine-grained power and energy management on multicore servers. ASPLOS 2013: 65-76 - [c63]Xueqin Zhang, Kai Shen, Chengguang Xu, Kaifang Wang:
Design and Implementation of Parallel FFT on CUDA. DASC 2013: 583-589 - [c62]Yufeng Zhang, Lian Gao, Kai Shen, Kexin Zhang, Jine Yan, Wei Cheng, Junhua Zhang:
A simulator for mixed Doppler ultrasound signals from pulsatile blood flow and vessel wall with mild stenosis. EMBC 2013: 1903-1906 - [c61]Stan Park, Terence Kelly, Kai Shen:
Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable data. EuroSys 2013: 225-238 - [c60]Kai Shen, Stan Park:
FlashFQ: A Fair Queueing I/O Scheduler for Flash-Based SSDs. USENIX Annual Technical Conference 2013: 67-78 - [c59]Konstantinos Menychtas, Kai Shen, Michael L. Scott:
Enabling OS Research by Inferring Interactions in the Black-Box GPU Stack. USENIX Annual Technical Conference 2013: 291-296 - 2012
- [c58]Xiaoya Xiang, Bin Bao, Chen Ding, Kai Shen:
Cache Conscious Task Regrouping on Multicore Processors. CCGRID 2012: 603-611 - [c57]Stan Park, Kai Shen:
FIOS: a fair, efficient flash I/O scheduler. FAST 2012: 13 - [c56]Xiao Zhang, Rongrong Zhong, Sandhya Dwarkadas, Kai Shen:
A Flexible Framework for Throttling-Enabled Multicore Management (TEMM). ICPP 2012: 389-398 - [c55]Amal Fahad, Zhuan Chen, Kai Shen, Jeffrey Bigham, Assmaa Fahad:
An Evaluation of Web Acceleration Techniques for the Developing World. NSDR 2012 - [c54]Kai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, Xiao Zhang:
Power and energy containers for multicore servers. SIGMETRICS 2012: 403-404 - [c53]Amal Fahad, Tolga Soyata, Tai Wang, Gaurav Sharma, Wendi B. Heinzelman, Kai Shen:
SOLARCAP: Super capacitor buffering of solar energy for self-sustainable field systems. SoCC 2012: 236-241 - 2010
- [c52]Kai Shen:
Request behavior variations. ASPLOS 2010: 103-116 - [c51]Christopher Stewart, Kai Shen, Arun Iyengar, Jian Yin:
EntomoModel: Understanding and Avoiding Performance Anomaly Manifestations. MASCOTS 2010: 3-13 - [c50]Xin Li, Michael C. Huang, Kai Shen, Lingkun Chu:
A Realistic Evaluation of Memory Hardware Errors and Software System Susceptibility. USENIX Annual Technical Conference 2010 - [i1]Dongning Guo, Jun Luo, Lei Zhang, Kai Shen:
Compressed Neighbor Discovery for Wireless Networks. CoRR abs/1012.1007 (2010)
2000 – 2009
- 2009
- [c49]Stan Park, Kai Shen:
A performance evaluation of scientific I/O workloads on Flash-based SSDs. CLUSTER 2009: 1-5 - [c48]Xiao Zhang, Sandhya Dwarkadas, Kai Shen:
Towards practical page coloring-based multicore cache management. EuroSys 2009: 89-102 - [c47]Kai Shen, Christopher Stewart, Chuanpeng Li, Xin Li:
Reference-driven performance anomaly identification. SIGMETRICS/Performance 2009: 85-96 - [c46]Xiao Zhang, Sandhya Dwarkadas, Kai Shen:
Hardware Execution Throttling for Multi-core Resource Management. USENIX Annual Technical Conference 2009 - 2008
- [j8]Ming Zhong, Kai Shen, Joel I. Seiferas:
The Convergence-Guaranteed Random Walk and Its Applications in Peer-to-Peer Networks. IEEE Trans. Computers 57(5): 619-633 (2008) - [c45]Kai Shen, Ming Zhong, Sandhya Dwarkadas, Chuanpeng Li, Christopher Stewart, Xiao Zhang:
Hardware counter driven on-the-fly request signatures. ASPLOS 2008: 189-200 - [c44]Xiaoqian Liu, Shoubao Yang, Leitao Guo, Kai Shen:
Profit Sharing Based Routing Trust Evaluation Algorithm in P2P Network. ChinaGrid 2008: 352-359 - [c43]Ming Zhong, Kai Shen, Joel I. Seiferas:
Replication degree customization for high availability. EuroSys 2008: 55-68 - [c42]Shuling Wang, Shoubao Yang, Kai Shen, Lihua Xie:
A Super Node Selecting Mechanism Based on AHP. GCC 2008: 403-406 - [c41]Ming Zhong, Kai Shen, Joel I. Seiferas:
Correlation-Aware Object Placement for Multi-Object Operations. ICDCS 2008: 512-521 - [c40]Christopher Stewart, Matthew Leventi, Kai Shen:
Empirical examination of a collaborative web application. IISWC 2008: 90-96 - [c39]Christopher Stewart, Kai Shen, Arun Iyengar, Jian Yin:
Configuration-space performance anomaly depiction. LADIS 2008: 9:1-9:5 - [c38]Terence Kelly, Kai Shen, Alex Zhang, Christopher Stewart:
Operational Analysis of Parallel Servers. MASCOTS 2008: 227-236 - [c37]Ming Zhong, Pin Lu, Kai Shen, Joel I. Seiferas:
Optimizing data popularity conscious bloom filters. PODC 2008: 355-364 - [c36]Kai Shen, Alex Zhang, Terence Kelly, Christopher Stewart:
Operational analysis of processor speed scaling. SPAA 2008: 179-181 - [c35]Christopher Stewart, Terence Kelly, Alex Zhang, Kai Shen:
A Dollar from 15 Cents: Cross-Platform Management for Internet Services. USENIX Annual Technical Conference 2008: 199-212 - 2007
- [c34]Chuanpeng Li, Kai Shen, Athanasios E. Papathanasiou:
Competitive prefetching for concurrent sequential I/O. EuroSys 2007: 189-202 - [c33]Chuanpeng Li, Chen Ding, Kai Shen:
Quantifying the cost of context switch. Experimental Computer Science 2007: 2 - [c32]Liangmin Guo, Shoubao Yang, Leitao Guo, Kai Shen, Weina Lu:
Trust-aware Adaptive P2P Overlay Topology Based on Superpeer-partition. GCC 2007: 117-124 - [c31]Kai Shen, Shoubao Yang, Wei Chen, Xiaoqian Liu, Bin Wu:
Balancing Risk and Price: An Opportunity-Cost Approach for Job Scheduling in the Grid Market. GCC 2007: 521-527 - [c30]Xiao Zhang, Sandhya Dwarkadas, Girts Folkmanis, Kai Shen:
Processor Hardware Counter Statistics as a First-Class System Resource. HotOS 2007 - [c29]Pin Lu, Kai Shen:
Multi-Layer Event Trace Analysis for Parallel I/O Performance Tuning. ICPP 2007: 12 - [c28]Ming Zhong, Kai Shen, Joel I. Seiferas:
Object replication degree customization for high availability. PODC 2007: 344-345 - [c27]Pin Lu, Kai Shen:
Virtual Machine Memory Access Tracing with Hypervisor Exclusive Cache. USENIX Annual Technical Conference 2007: 29-43 - [c26]Xin Li, Kai Shen, Michael C. Huang, Lingkun Chu:
A Memory Soft Error Measurement on Production Systems. USENIX Annual Technical Conference 2007: 275-280 - 2006
- [j7]Ying Chen, Shoubao Yang, Leitao Guo, Kai Shen:
A Dynamic Access Control Scheme Across Multi-Domains in Grid Environment. J. Comput. Res. Dev. 43(11): 1863-1869 (2006) - [j6]Kai Shen:
Parallel sparse LU factorization on different message passing platforms. J. Parallel Distributed Comput. 66(11): 1387-1403 (2006) - [j5]Ming Zhong, Kai Shen:
Random walk based node sampling in self-organizing networks. ACM SIGOPS Oper. Syst. Rev. 40(3): 49-55 (2006) - [c25]Kai Shen, Shoubao Yang, Minghua Tian, Pengzhan Liu:
Towards a Uniform Monitoring Framework Supporting Interoperability in Grid. GCC 2006: 50-53 - [c24]Christopher Stewart, Ming Zhong, Kai Shen, Thomas O'Neill:
Comprehensive Depiction of Configuration-dependent Performance Anomalies in Distributed Server Systems. HotDep 2006 - [c23]Chen Ding, Sandhya Dwarkadas, Michael C. Huang, Kai Shen, J. B. Carter:
Program phase detection and exploitation. IPDPS 2006 - [c22]Ming Zhong, Kai Shen:
Popularity-Biased Random Walks for Peer-to-Peer Search under the Square-Root Principle. IPTPS 2006 - [c21]Peter DeRosa, Kai Shen, Christopher Stewart, Jonathan Pearson:
Realism and simplicity: disk simulation for instructional OS performance evaluation. SIGCSE 2006: 308-312 - 2005
- [c20]Chuanpeng Li, Kai Shen:
Managing Prefetch Memory for Data-Intensive Online Servers. FAST 2005 - [c19]Kai Shen, Ming Zhong, Chuanpeng Li:
I/O System Performance Debugging Using Model-driven Anomaly Characterization. FAST 2005 - [c18]Kai Shen:
Parallel sparse LU factorization on second-class message passing platforms. ICS 2005: 351-360 - [c17]Lingkun Chu, Kai Shen, Hong Tang, Tao Yang, Jingyu Zhou:
Dependency isolation for thread-based multi-tier Internet services. INFOCOM 2005: 796-806 - [c16]Ming Zhong, Kai Shen, Joel I. Seiferas:
Non-uniform random membership management in peer-to-peer networks. INFOCOM 2005: 1151-1161 - [c15]Ying Chen, Shoubao Yang, Leitao Guo, Pengzhan Liu, Kai Shen:
Design and Implementation of Dynamic-Role Based Access Control Framework in Grid Environment. ITCC (2) 2005: 758-759 - [c14]Christopher Stewart, Kai Shen:
Performance Modeling and System Management for Multi-component Online Services. NSDI 2005 - [c13]Ming Zhong, Justin Moore, Kai Shen, Amy L. Murphy:
An Evaluation and Comparison of Current Peer-to-Peer Full-Text Keyword Search Techniques. WebDB 2005: 61-66 - 2004
- [j4]Christopher Stewart, Kai Shen, Sandhya Dwarkadas, Michael L. Scott, Jian Yin:
Profile-Driven Component Placement for Cluster-Based Online Services. IEEE Distributed Syst. Online 5(10) (2004) - [c12]Kai Shen:
Structure Management for Scalable Overlay Service Construction. NSDI 2004: 281-294 - [c11]Kai Shen, Lingkun Chu, Tao Yang:
Supporting Cluster-Based Network Services on Functionally Symmetric Software Architecture. SC 2004: 9 - [c10]Kai Shen, Yuan Sun:
Distributed Hashtable on Pre-structured Overlay Networks. WCW 2004: 63-81 - 2003
- [j3]Kai Shen, Tao Yang, Lingkun Chu:
Clustering Support and Replication Management for Scalable Network Services. IEEE Trans. Parallel Distributed Syst. 14(11): 1168-1179 (2003) - [c9]Lingkun Chu, Hong Tang, Tao Yang, Kai Shen:
Optimizing data aggregation for cluster-based internet services. PPoPP 2003: 119-130 - 2002
- [c8]Kai Shen, Tao Yang, Lingkun Chu:
Cluster Load Balancing for Fine-Grain Network Services. IPDPS 2002 - [c7]Kai Shen, Hong Tang, Tao Yang, Lingkun Chu:
Integrated Resource Management for Cluster-based Internet Services. OSDI 2002 - 2001
- [c6]Kai Shen, Tao Yang, Lingkun Chu, JoAnne Holliday, Douglas A. Kuschner, Huican Zhu:
Neptune: Scalable Replication Management and Programming Support for Cluster-based Network Services. USITS 2001: 197-208 - 2000
- [j2]Kai Shen, Tao Yang, Xiangmin Jiao:
S+: Efficient 2D Sparse LU Factorization on Parallel Machines. SIAM J. Matrix Anal. Appl. 22(1): 282-305 (2000) - [j1]Hong Tang, Kai Shen, Tao Yang:
Program transformation and runtime support for threaded MPI execution on shared-memory machines. ACM Trans. Program. Lang. Syst. 22(4): 673-700 (2000)
1990 – 1999
- 1999
- [c5]Anurag Acharya, Huican Zhu, Kai Shen:
Adaptive Algorithms for Cache-Efficient Trie Search. ALENEX 1999: 296-311 - [c4]Hong Tang, Kai Shen, Tao Yang:
Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines. PPoPP 1999: 107-118 - [c3]Bin Jiang, Steven Richman, Kai Shen, Tao Yang:
Efficient Sparse LU Factorization with Lazy Space Allocation. PPSC 1999 - [c2]Kai Shen, Hong Tang, Tao Yang:
Adaptive Two-level Thread Management for Fast MPI Execution on Shared Memory Machines. SC 1999: 49 - 1998
- [c1]Kai Shen, Xiangmin Jiao, Tao Yang:
Elimination Forest Guided 2D Sparse LU Factorization. SPAA 1998: 5-15