◍wovepaper
SearchResearchersInstitutions
Sign in
institution

GrammaTech (United States)

United States

8 papers here159 citations across 8
fields
  • cs.SE4
  • cs.AI1
  • cs.LO1
  • cs.NE1
  • cs.PL1
ROR 03mwfxd89OpenAlex

affiliations via OpenAlex

output
20142022
most citedOpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse

62 citations

researchers with a paper here
  • D. Cok3 · h 21
  • T. Reps2 · h 71
  • Alexey Loginov1 · h 12
  • B. Liblit1 · h 29
  • C. Timperley1 · h 15
  • Eric M. Schulte1 · h 8
  • Eric Schulte1 · h 7
  • Gabin An1 · h 9
  • Insup Lee1 · h 69
  • Jordan Henkel1 · h 7
  • Kevin Leach1 · h 19
  • Matthew Amodio1 · h 10
collaborating institutions
  • University of Wisconsin–MadisonUS2 papers
  • Carnegie Mellon UniversityUS1 paper
  • Concordia UniversityCA1 paper
  • Korea Advanced Institute of Science and TechnologyKR1 paper
  • Microsoft (United States)US1 paper
  • Rice UniversityUS1 paper
  • Southern University of Science and TechnologyCN1 paper
  • University College LondonGB1 paper
  • University of Applied Sciences Upper AustriaAT1 paper
  • University of MichiganUS1 paper
  • University of PennsylvaniaUS1 paper
  • University of PittsburghUS1 paper
Showing 2017Show all

1 paper · 1 filter

cs.AI2017★ 19 cited

Neural Attribute Machines for Program Generation

Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps

Recurrent neural networks have achieved remarkable success at generating sequences with complex structures, thanks to advances that include richer embeddings of input and cures for…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.