Verifying string manipulating programs is a crucial problem in computer security. String operations are used extensively within web applications to manipulate user input, and their erroneous use is the most common cause of security vulnerabilities in web applications. Unfortunately, verifying string manipulating programs is an undecidable problem in general and any approximate string analysis t...

Implications of string-string dualities to cosmological string vacua are discussed. Cosmological vacua of classical string theories comprise of disjoint classses mapped one another by scale-factor T-duality. Each classes are, however, afflicted with initial/final cosmological singularities. It is argued that quantum string theories and string-string dualities dramatically resolve these cosmolog...