Greg Morrisett - PDFSEARCH.IO - Document Search Engine

Greg Morrisett
Results: 58

#	Item
1	Formalizing the SAFECode Type System Daniel Huang and Greg Morrisett Harvard University, Cambridge MA 02138, USA, , Add to Reading List Source URL: danehuang.github.io Language: English - Date: 2017-05-24 19:52:40
2	RockSalt: Better, Faster, Stronger SFI for the x86 Greg Morrisett ∗ Add to Reading List Source URL: jtristan.github.io Language: English - Date: 2018-06-24 11:22:27
3	Cyclone: A safe dialect of C Trevor Jim∗ Greg Morrisett† James Cheney† Add to Reading List Source URL: www.cs.cornell.edu - Date: 2002-04-30 11:27:46
4	Region-Based Memory Management in Cyclone ∗ Dan Grossman Michael Hicks Greg Morrisett Trevor Jim† Add to Reading List Source URL: www.cs.cornell.edu - Date: 2002-04-21 13:06:12
5	RockSalt: Better, Faster, Stronger SFI for the x86 Greg Morrisett ∗ Add to Reading List Source URL: www.cse.psu.edu - Date: 2012-03-21 10:31:50
6	Submitted to IEEE Software and presented to the IRC. Attacking Malicious Code: A report to the Infosec Research Council* Gary McGraw (Reliable Software Technologies) and Greg Morrisett (Cornell University) Add to Reading List Source URL: www.cs.cornell.edu - Date: 2001-06-11 07:53:10
7	A Step-Indexed Model of Substructural State Amal Ahmed Matthew Fluet ∗ Greg Morrisett ∗ Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2006-11-13 12:05:59
8	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2006-11-13 17:44:08
9	Robusta: Taming the Native Beast of the JVM Joseph Siefers Gang Tan Greg Morrisett Add to Reading List Source URL: www.cse.lehigh.edu Language: English - Date: 2010-07-27 22:54:56
10	A Step-Indexed Model of Substructural State Amal Ahmed Matthew Fluet ∗ Greg Morrisett ∗ Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-07-22 17:25:29

UPDATE