|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 15 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala |
Nested refinements: a logic for duck typing.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi Chugh, Ranjit Jhala |
Dependent Types for JavaScript  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala |
System D: Dependent Dynamic Dictionaries  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Juan Chen, Ravi Chugh, Nikhil Swamy |
Type-preserving compilation of end-to-end verification of security enforcement.  |
PLDI  |
2010 |
DBLP DOI BibTeX RDF |
bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security |
| 1 | Nikhil Swamy, Juan Chen, Ravi Chugh |
Enforcing Stateful Authorization and Information Flow Policies in Fine.  |
ESOP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner |
Staged information flow for javascript.  |
PLDI  |
2009 |
DBLP DOI BibTeX RDF |
integrity, web applications, confidentiality, flow analysis, set constraints |
| 1 | Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
Dataflow analysis for concurrent programs using datarace detection.  |
PLDI  |
2008 |
DBLP DOI BibTeX RDF |
locksets, interprocedural analysis, multithreaded programs, summaries |
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|