Ravi Chugh

Learn More
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in these languages are compiled without explicit security proofs, limiting their utility in settings where proofs are necessary, e.g., proof-carrying authorization. Others languages do(More)
When the semantics for pure lambda-terms is defined with dynamic scope, instead of the more conventional lexical scope, recursive computations can be expressed directly without the need for a fix operator, either as a native function or as a lambda-term. In this report, we sketch the design of a type system for a dynamically scoped lambda-calculus based on(More)
Programs written in dynamic languages make heavy use of features — run-time type tests, value-indexed dictionaries, polymorphism, and higher-order functions — that are beyond the reach of type systems that employ either purely syntactic or purely semantic reasoning. We present a core calculus, System D, that merges these two modes of reasoning into a single(More)
This document is a preprint of a paper to appear in the proceedings of the 24th Euro-pean Symposium on Programming (ESOP 2015) extended with appendices. The final publication will be available at http://link.springer.com. Abstract. A fundamental aspect of object-oriented languages is how recursive functions are defined. One semantic approach is to use(More)
Modern systems built for the desktop, the web, and the cloud are increasingly being developed in several languages, share code and data with multiple parties of varying levels of authority and trust, and run in environments split across client and server. My goal is to design programming language tools — including type systems, program analysis, dynamic(More)
This year marks the third edition of the STOP workshop series, and a colo-cation with ECOOP and PLDI in Beijing, China. For this year's STOP, the goal was to take stock of the impressive progress on many fronts in our young area and to hear reports from our colleagues on their current progress and future directions. Therefore, we solicited short(More)
  • 1