- 2014-10-24Full Abstraction for a Probabilistic Functional Programming Language
- 2014-10-08对缺陷静态检测的一些思考和探索(Thoughts and Explorations on Static Detection of (Software) Defects)
- 2014-10-08硬件辅助的软件可信性运行时检测技术(Hardware-assisted Runtime Verification of Software Trustworthiness)
- 2014-09-05INTrEPID: A project on energy optimization in buildings
- 2014-09-05A Safety-Critical Java Technology Compatibility Kit
- 2014-08-21Querying Big Data: Theory and Practice
- 2014-08-13Formal Semantics in Modern Type Theories: Is It Model-theoretic, Proof-theoretic, or Both?
- 2014-07-18Reusable tools for formal modeling of machine code
- 2014-07-08Some Problems in Software Safety
- 2014-06-30An Efficient Model Checking Algorithm of FG-LTL
- 2014-06-25Seminars on 30th June 2014 by Hanghang Tong et al.
- 2014-06-23Rabin’s Theorem in the Concurrency Setting: A Conjecture
- 2014-06-05Program Structure-Aware Fault Localization
- 2014-06-03Intuitive Termination Proofs
- 2014-04-16Automatic Verification of Message-Passing Concurrency
- 2014-04-15An Algebraic Regular Parser Generator
- 2014-04-14How to Treat Evolutionary Algorithms as Ordinary Randomized Algorithms
- 2014-04-04NP-Complete Problems and Special Bipartite Graphs
- 2014-04-04Recent Progresses in Local Search for SAT
- 2014-03-14Model-Checking for Malware Detection