• Patching vulnerabilities with sanitization synthesis2012-06-12
• Applications of Context-Sensitive Program Analysis and Verification Techniques2012-06-08
• Context-sensitive models for multi-thread programs2012-06-08
• Trace Driven Approach for Testing and Debugging Concurrent Programs2012-05-24
• Invigorating Console Logs: Logs as THE Debugging Tool for Large-scale Systems2012-05-14
• Interaction-Based Concurrency2012-05-10
• Controllers with Minimal Observation Power (Application to Timed Systems)2012-05-09
• Commutative Data Automata2012-04-18
• Hard-Real-Time Scheduling on a Weakly Programmable Multi-core Processor with Application to Multi-standard Channel Decoding2012-04-18
• Techniques on System-Level Design of Hard Real-Time Embedded Systems2012-04-18
• Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding2012-04-06
• Information Visualization and Its Applications to Analytics Systems2012-04-06
• 实验室研究生龙震岳的论文获ETAPS Best Paper Award2012-04-05
• Width-parameterized SAT: time-space tradeoffs2012-02-26
• Turing Year in China2012-01-12
• 先进列车运行控制技术的研究与发展2012-01-08
• Multiparty session types and Multiparty Session Automata2012-01-04
• Degrees of non-determinacy of computable games and linear logic2011-12-27
• Redundant Synchronization Event Removal for Data Race Detection2011-12-15
• Fault Localization Inspired by the PIE Model2011-12-13