Rose Kunkel
3 papers
· 2019–2021
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(3)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(9)
🏆
Keyword Champion
(2)
Conferences
EMNLP (1)
IJCNLP (1)
OSDI (1)
Top co-authors
Keywords
boolean satisfiability
(2)
phonological process
(2)
unsupervised learning
(2)
information flow control
(1)
type system
(1)
constraint-based learning
(1)
security policy
(1)
refinement type
(1)
web application security
(1)
constraint-based program synthesis
(1)
program synthesis
(1)
constraint satisfaction
(1)