Satisfiability Modulo Theories: Introduction and Applications

• DARPA Seeks Holy Grail: Quantum-Based Data Security System
  Network World
• Possible Hadoop Trajectories
  Michael Stonebraker and Jeremy Kepner
• Scale Failure
  George V. Neville-Neil

Conferences:

• ECOOP 2012: 26th European Conference on Object-Oriented Programming - June 11 – 16, 2012;  Beijing, China

Courses:

• Word 2003: Working with Tables and Data - In this course, you will increase the complexity of your Microsoft Word 2003 documents by adding components such as customized lists, tables, and charts. You …

• Report from the 2nd international workshop on replication in empirical software engineering research (RESER 2011)
  SIGSOFT Software Engineering Notes
• SIG: end-user programming
  CHI EA '12: Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts
• A static technique for fault localization using character n-gram based information retrieval model
  ISEC '12: Proceedings of the 5th India Software Engineering Conference