Ranjit Jhala

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ming Kawaguchi

> Home > Persons > Ranjit Jhala

Publications

2012
[c56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/RondonBKJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/RondonBKJ12
Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala:
CSolve: Verifying C with Liquid Types. CAV 2012: 744-750
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KawaguchiRBJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KawaguchiRBJ12
Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala:
Deterministic parallelism via liquid effects. PLDI 2012: 45-54
2010
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KawaguchiRJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KawaguchiRJ10
Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala:
Dsolve: Safety Verification via Liquid Types. CAV 2010: 123-126
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/RondonKJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/RondonKJ10
Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala:
Low-level liquid types. POPL 2010: 131-144
2009
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KawaguchiRJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KawaguchiRJ09
Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala:
Type-based data structure verification. PLDI 2009: 304-315
2008
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/RondonKJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/RondonKJ08
Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala:
Liquid types. PLDI 2008: 159-169

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.