- 2012-06-12Patching vulnerabilities with sanitization synthesis
- 2012-06-08Applications of Context-Sensitive Program Analysis and Verification Techniques
- 2012-06-08Context-sensitive models for multi-thread programs
- 2012-05-24Trace Driven Approach for Testing and Debugging Concurrent Programs
- 2012-05-14Invigorating Console Logs: Logs as THE Debugging Tool for Large-scale Systems
- 2012-05-10Interaction-Based Concurrency
- 2012-05-09Controllers with Minimal Observation Power (Application to Timed Systems)
- 2012-04-18Commutative Data Automata
- 2012-04-18Hard-Real-Time Scheduling on a Weakly Programmable Multi-core Processor with Application to Multi-standard Channel Decoding
- 2012-04-18Techniques on System-Level Design of Hard Real-Time Embedded Systems
- 2012-04-06Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding
- 2012-04-06Information Visualization and Its Applications to Analytics Systems
- 2012-02-26Width-parameterized SAT: time-space tradeoffs
- 2012-01-08先进列车运行控制技术的研究与发展
- 2012-01-04Multiparty session types and Multiparty Session Automata
- 2011-12-27Degrees of non-determinacy of computable games and linear logic
- 2011-12-15Redundant Synchronization Event Removal for Data Race Detection
- 2011-12-13Fault Localization Inspired by the PIE Model
- 2011-12-08Data-driven display advertising in USA and China
- 2011-12-06Specification Theories of Modal Transition Systems