Statements (38)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:affiliation |
gptkb:University_of_Washington
|
| gptkbp:awards |
gptkb:NSF_CAREER_Award
|
| gptkbp:contribution |
C# Language
Haskell Language ML Language |
| gptkbp:education |
gptkb:University_of_Pennsylvania
|
| gptkbp:fieldOfStudy |
Programming Languages
|
| https://www.w3.org/2000/01/rdf-schema#label |
Dan Grossman
|
| gptkbp:notableWork |
Software Verification
Programming_Language_Design Type_Systems |
| gptkbp:occupation |
Computer_Scientist
|
| gptkbp:patentDescription |
Type_Systems_for_Programming_Languages
|
| gptkbp:publications |
ICFP 2009
ICFP 2017 ICSE 2007 ICSE 2013 ICSE 2021 OOPSLA 2008 OOPSLA 2012 OOPSLA 2016 OOPSLA 2020 PLDI 2005 PLDI 2010 PLDI 2014 PLDI 2018 PLDI 2022 POPL 2006 POPL 2011 POPL 2015 POPL 2019 POPL 2023 |
| gptkbp:researchInterest |
Software Engineering
Static Analysis Concurrency Type Safety |
| gptkbp:studentSupportServices |
gptkb:Benjamin_C._Pierce
|