Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
In this work, we propose to apply trust region optimization to deep reinforcement learning using a recently proposed Kronecker-factored approximation to the curvature. We extend the framework of natural policy gradient and propose to optimize…
Knowing which part of a program processes which parts of an input can reveal the structure of the input as well as the structure of the program. In a URL “http://www.example.com/path/”, for instance, the protocol…
The logics required to support program verification go much beyond the class of decidable logics available today, and beyond the quantifier-free logics supported by SMT solvers today. In particular, when dealing with unbounded structures such…
JavaScript is becoming one of the most popular languages, yet it is known for its suboptimal design. To effectively use JavaScript despite its design flaws, lightweight static analyses, implemented in “lint-like” tools, are widely used…
