---
title: "Sanjit Arunkumar Seshia — papers of 2013 — Elamur Research"
description: "Sanjit Arunkumar Seshia — papers of 2013: 1 paper on Elamur Research, the most cited first — what each work is about in our own words."
canonical: "https://research.elamur.ai/free/en/authors/sanjit-arunkumar-seshia/year/2013/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/sanjit-arunkumar-seshia/year/2013/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Sanjit Arunkumar Seshia](https://md.research.elamur.ai/free/en/authors/sanjit-arunkumar-seshia/) / 2013

# Sanjit Arunkumar Seshia — papers of 2013 — Elamur Research

1 paper · [all years of Sanjit Arunkumar Seshia](https://md.research.elamur.ai/free/en/authors/sanjit-arunkumar-seshia/#years)

- [Syntax-Guided Synthesis FMCAD 2013](https://md.research.elamur.ai/free/en/papers/alur-2013-syntax-guided-synthesis/) — Rajeev Alur, Rastislav Bodik, Garvit Juniwal, et al. · 2013 · 633 citations