Author image not provided
 Greg Morrisett

Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article10.33
Citation Count31
Publication count3
Publication years2007-2013
Available for download2
Average downloads per article613.00
Downloads (cumulative)1,226
Downloads (12 Months)92
Downloads (6 Weeks)6
Arrow RightAuthor only
· Advisor only
· All roles

See all colleagues of this author

See all subject areas


3 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 3 of 3
Sort by:

1 published by ACM
December 2013 ACM Transactions on Information and System Security (TISSEC): Volume 16 Issue 3, November 2013
Publisher: ACM
Citation Count: 4
Downloads (6 Weeks): 3,   Downloads (12 Months): 25,   Downloads (Overall): 413

Full text available: PDFPDF
For performance and for incorporating legacy libraries, many Java applications contain native-code components written in unsafe languages such as C and C++. Native-code components interoperate with Java components through the Java Native Interface (JNI). As native code is not regulated by Java's security model, it poses serious security threats to ...
Keywords: Java native interface, software-based fault isolation, Java virtual machine

2 published by ACM
June 2012 PLDI '12: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
Publisher: ACM
Citation Count: 27
Downloads (6 Weeks): 3,   Downloads (12 Months): 67,   Downloads (Overall): 813

Full text available: PDFPDF
Software-based fault isolation (SFI), as used in Google's Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for complicated architectures such as the x86, it is all too easy to get the details of the analysis wrong. We have built a new checker ...
Keywords: domain-specific languages, software fault isolation
Also published in:
August 2012  ACM SIGPLAN Notices - PLDI '12: Volume 47 Issue 6, June 2012

December 2007 Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers: Volume 77 Issue 4, December 2007
Publisher: IOS Press
Citation Count: 0

We present a simple, but expressive type system that supports strong updates - updating a memory cell to hold values of unrelated types at different points in time. Our formulation is based upon a standard linear lambda calculus and, as a result, enjoys a simple semantic interpretation for types that ...

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us