Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Aseem Rastogi

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 Guido Martínez

> Home > Persons > Aseem Rastogi

Publications

2021
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/FromherzRSGMMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/FromherzRSGMMR21
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro:
Steel: proof-oriented programming in a dependently typed concurrent separation logic. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-15149
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-15149
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez:
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs. CoRR abs/2111.15149 (2021)
2020
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/SwamyRFMAM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/SwamyRFMAM20
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez:
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. Proc. ACM Program. Lang. 4(ICFP): 121:1-121:30 (2020)
2019
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/MartinezADGHHNP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/MartinezADGHHNP19
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy:
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. ESOP 2019: 30-59
2018
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-06547
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-06547
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy:
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. CoRR abs/1803.06547 (2018)
2017
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AhmanHMMPPRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AhmanHMMPPRS17
Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy:
Dijkstra monads for free. POPL 2017: 515-529
2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AhmanHMPPRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AhmanHMPPRS16
Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy:
Dijkstra Monads for Free. CoRR abs/1608.06499 (2016)

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.