Login / Signup
Ramyaa
Publication Activity (10 Years)
Years Active: 2013-2020
Publications (10 Years): 2
Top Topics
Machine Learning
Highly Expressive
Operational Semantics
Functional Language
Top Venues
FSTTCS
AISec@CCS
ICFP
</>
Publications
</>
Michael R. Smith
,
Nicholas T. Johnson
,
Joe B. Ingram
,
Armida J. Carbajal
,
Bridget I. Haus
,
Eva Domschot
,
Ramyaa
,
Christopher C. Lamb
,
Stephen J. Verzi
,
W. Philip Kegelmeyer
Mind the Gap: On Bridging the Semantic Gap between Machine Learning and Malware Analysis.
AISec@CCS
(2020)
Norman Danner
,
Daniel R. Licata
,
Ramyaa
Denotational cost semantics for functional languages with inductive types.
ICFP
(2015)
Martin Hofmann
,
Ramyaa
Computing With a Fixed Number of Pointers (Invited Talk).
FSTTCS
(2013)