Author Morrisett:G [141 articles] Export

Recent papers posted to CiteULike by the author Morrisett:G.

	Ilea: inter-language analysis across java and c [My Copy] In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (2007), pp. 39-56. by Gang Tan, Greg Morrisett posted to no-tag by vazexqi on 2009-11-24 17:44:03 as
	Cyclone: A safe dialect of C [My Copy] by Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, Yanling Wang posted to thesis by deepstar on 2009-11-10 16:25:50 as
	TALx86: A Realistic Typed Assembly Language [My Copy] (1999) by Greg Morrisett, Karl Crary, Neal Glew, et al.Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic posted to tal pcc file-import-09-10-20 by thermostat on 2009-10-20 23:04:40 as
	Polymorphism and separation in hoare type theory [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 62-73. by Aleksandar Nanevski, Greg Morrisett, Lars Birkedal posted to file-import-09-10-05b by jcreed on 2009-10-05 21:42:23 as
	The regiment macroprogramming system [My Copy] In IPSN '07: Proceedings of the 6th international conference on Information processing in sensor networks (2007), pp. 489-498. by Ryan Newton, Greg Morrisett, Matt Welsh posted to programming-model by leosteinfeld on 2009-10-02 01:17:58 as
	Semantics of Memory Management for Polymorphic Languages [My Copy] In Higher Order Operational Techniques in Semantics, Publications of the Newton Institute (1997), pp. 175-226. by Greg Morrisett, Robert Harper posted to typed semantics polymorphism abstract_machine by mgreenbe on 2009-09-22 17:02:40 as along with 1 person amp269
	Polymorphism and separation in Hoare type theory [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN International Conference on Functional programming (2006), pp. 62-73. by Aleksandar Nanevski, Greg Morrisett, Lars Birkedal posted to from-linear-bib by JianzhouZhao on 2009-09-02 17:05:38 as
	L3: A Linear Language with Locations [My Copy] Fundam. Inf., Vol. 77, No. 4. (2007), pp. 397-449. by Amal Ahmed, Matthew Fluet, Greg Morrisett posted to from-linear-bib by JianzhouZhao on 2009-09-02 17:05:38 as
	A step-indexed model of substructural state [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 78-91. by Amal Ahmed, Matthew Fluet, Greg Morrisett posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:49 as
	Experience with safe manual memory-management in Cyclone [My Copy] In ISMM '04: Proceedings of the 4th international symposium on Memory management (2004), pp. 73-84. by Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:49 as
	Principals in Programming Languages: A Syntactic Proof Technique [My Copy] In Proc. of the 4th ACM SIGPLAN International Conference on Functional Programming (September 1999), pp. 197-207. by Steve Zdancewic, Dan Grossman, Greg Morrisett posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:48 as
	Alias Types for Recursive Data Structures [My Copy] In Workshop on Types in Compilation (September 2000) by David Walker, Greg Morrisett posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:47 as
	Alias Types [My Copy] In Proc. of the 9th European Symposium on Programming, Vol. 1782 (2000), pp. 366-381. by Frederick Smith, David Walker, Greg Morrisett posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:46 as
	A Language-Based Approach to Security [My Copy] In Informatics -- 10 Years Back, 10 Years Ahead. Conference on the Occasion of Dagstuhl's 10th Anniversary., Vol. 2000 (August 2000), pp. 86-101. by Fred B. Schneider, Greg Morrisett, Robert Harper edited by Reinhard Wilhelm posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:45 as
	Compiling with Types [My Copy] (December 1995) by Greg Morrisett posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:42 as
	From System F to Typed Assembly Language [My Copy] Transactions on Programming Languages and Systems, Vol. 21, No. 3. (May 1999), pp. 528-569. by Greg Morrisett, David Walker, Karl Crary, Neal Glew posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:42 as
	From System F to Typed Assembly Language [My Copy] In Proc. 25th {ACM} Symp. on Principles of Programming Languages (POPL) (January 1998) by Greg Morrisett, David Walker, Karl Crary, Neal Glew posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:42 as
	Attacking Malicious Code: A Report to the Infosec Research Council [My Copy] IEEE Software, Vol. 17, No. 5. (2000) by Gary Mcgraw, Greg Morrisett posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:41 as
	Abstract Models of Memory Management [My Copy] In Functional Programming & Computer Architecture (1995) by Greg Morrisett, Matthias Felleisen, Robert Harper posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:41 as
	Stack-Based Typed Assembly Language [My Copy] In 1998 Workshop on Types in Compilation, Vol. 1473 (March 1998), pp. 28-52. by Greg Morrisett, Karl Crary, Neal Glew, David Walker edited by Xavier Leroy, Atsushi Ohori posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:41 as
	TALx86: A Realistic Typed Assembly Language [My Copy] In \\(2^{nd}\\) {ACM SIGPLAN} Workshop on Compiler Support for System Software (1999), pp. 25-35. by Greg Morrisett, Karl Crary, Neal Glew, et al.Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:41 as
	Cyclone: A Safe Dialect of C [My Copy] In {USENIX} Annual Technical Conference (June 2002) by Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, Yanling Wang posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:38 as
	Syntactic Type Abstraction [My Copy] Transactions on Programming Languages and Systems, Vol. 22, No. 6. (November 2000), pp. 1037-1080. by Dan Grossman, Greg Morrisett, Steve Zdancewic posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:36 as
	Region-Based Memory Management in Cyclone [My Copy] In Proc. of the {SIGPLAN} Conference on Programming Language Design (June 2002), pp. 282-293. by Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:36 as
	Intensional Polymorphism in Type Erasure Semantics [My Copy] Journal of Functional Programming, Vol. 12, No. 6. (November 2002), pp. 567-600. by Karl Crary, Stephanie Weirich, Greg Morrisett posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:32 as
	Typed Memory Management in a Calculus of Capabilities [My Copy] In Proc. 26th {ACM} Symp. on Principles of Programming Languages (POPL) (January 1999), pp. 262-275. by Karl Crary, David Walker, Greg Morrisett posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:32 as
	Polymorphism and Separation in Hoare Type Theory [My Copy] In {ICFP} '06: Proceedings of the 11th {ACM} {SIGPLAN} International Conference on Functional Programming (September 2006) by Aleksandar Nanevski, Greg Morrisett, Lars Birkedal posted to verification specification separation-logic hoare-type-theory dependent-types by neelk on 2009-09-01 00:33:45 as along with 1 person jsiek
	Abstract Predicates and Mutable ADTs in Hoare Type Theory [My Copy] Programming Languages and Systems (2007), pp. 189-204. by Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal posted to separation-logic refinement-types monads hoare-type-theory dependent-types by neelk on 2009-09-01 00:30:31 as along with 1 group ConcertRG
	Cyclone: A safe dialect of c [My Copy] (2002) by T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, Y. Wang posted to no-tag by mattmight to the group U Combinator on 2009-08-18 03:03:29 as along with 7 people tautologico MattOConnor bdauvergne robennals krisn11 _Anne_ srccheck
	Monadic regions [My Copy] SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 103-114. by Matthew Fluet, Greg Morrisett posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:24:57 as along with 5 people and 1 group JeffreyPalmer zednenem josefs voigt mahler Rightscom
	Intensional polymorphism in type-erasure semantics [My Copy] Journal of Functional Programming, Vol. 12, No. 06. (2002), pp. 567-600. by Karl Crary, Stephanie Weirich, Greg Morrisett posted to rg-2005 by robertjohnsimmons to the group ConcertRG on 2009-08-17 13:07:09 as
	Compiling polymorphism using intensional type analysis [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 130-141. by Robert Harper, Greg Morrisett posted to rg-2005 by robertjohnsimmons to the group ConcertRG on 2009-08-17 13:03:23 as
	Syntactic type abstraction [My Copy] ACM Trans. Program. Lang. Syst., Vol. 22, No. 6. (November 2000), pp. 1037-1080. by Dan Grossman, Greg Morrisett, Steve Zdancewic posted to rg-2004 by robertjohnsimmons to the group ConcertRG on 2009-08-16 04:58:40 as along with 1 person dsilva
	Typed memory management via static capabilities [My Copy] ACM Trans. Program. Lang. Syst., Vol. 22, No. 4. (July 2000), pp. 701-771. by David Walker, Karl Crary, Greg Morrisett posted to possible-concertrg-paper by robertjohnsimmons to the group ConcertRG on 2009-08-08 19:57:59 as along with 2 people dsilva criswell
	Effective Interactive Proofs for Higher-Order Imperative Programs [My Copy] In 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) (2009) by Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky posted to 2009 coq haskell hoare-logic program proof separation-logic ynot by michaelbanks on 2009-08-07 13:04:38 as
	Hoare Type Theory, Polymorphism and Separation [My Copy] by Aleksandar Nanevski, Greg Morrisett posted to type-system by fvogels on 2009-07-19 13:29:19 as
	Polymorphism and separation in hoare type theory [My Copy] In ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (2006), pp. 62-73. by Aleksandar Nanevski, Greg Morrisett, Lars Birkedal posted to dependent-types hoare-logic type-theory verification by mattmight on 2009-07-14 23:05:36 as
	Ynot: Dependent types for imperative programs [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming (2008), pp. 229-240. by Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal posted to dependent-types type-theory by mattmight on 2009-07-14 23:01:55 as along with 2 people jimburton byorgey
	Attacking Malicious Code: A report to the Infosec Research Council [My Copy] IEEE Software, Vol. 17, No. 5. (2000), pp. 33-41. by Gary Mcgraw, Greg Morrisett posted to software-security by jfdm on 2009-07-14 01:48:41 as
	Computability classes for enforcement mechanisms [My Copy] ACM Trans. Program. Lang. Syst., Vol. 28, No. 1. (2006), pp. 175-205. by Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider posted to 2006 complexity enforcement by japarejo on 2009-06-22 12:23:37 as
	The regiment macroprogramming system [My Copy] In Proceedings of the 6th international conference on Information processing in sensor networks (2007), pp. 489-498. by R. Newton, G. Morrisett, M. Welsh posted to file-import-09-06-15 by tierney on 2009-06-15 20:25:32 as
	Linear Regions Are All You Need [My Copy] Programming Languages and Systems (2006), pp. 7-21. by Matthew Fluet, Greg Morrisett, Amal Ahmed posted to side-effects theory types by ama08r on 2009-05-28 14:08:35 as
	A Linearly Typed Assembly Language [My Copy] by James Cheney, Greg Morrisett posted to no-tag by blog01 on 2009-04-22 06:41:27 as along with 1 person collir
	A Portable Multiprocessor Interface for Standard ML of New Jersey [My Copy] (1992) by Gregory J. Morrisett, Andrew Tolmach posted to collir_cs by collir on 2009-04-16 18:25:40 as
	Flask: Staged Functional Programming for Sensor Networks [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 335-346. by Geoffrey Mainland, Greg Morrisett, Matt Welsh posted to domain-specific-languages embedded-systems functional-reactive haskell metaprogramming by spl on 2009-04-01 10:31:23 as
	Typed memory management in a calculus of capabilities [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 262-275. by Karl Crary, David Walker, Greg Morrisett posted to capability file-import-09-03-22 memory-management types by kamotaku78 on 2009-03-22 09:58:54 as
	Typed memory management in a calculus of capabilities [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 262-275. by Karl Crary, David Walker, Greg Morrisett posted to capability memory-management types by pedagand on 2009-03-21 20:18:15 as along with 3 people dsilva jfischer hyas
	Monadic regions [My Copy] J. Funct. Program., Vol. 16, No. 4-5. (2006), pp. 485-545. by Matthew Fluet, Greg Morrisett posted to functional-programming language-haskell monadic-region monads types by pedagand on 2009-02-18 09:56:51 as
	Flask: staged functional programming for sensor networks [My Copy] SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 335-346. by Geoffrey Mainland, Greg Morrisett, Matt Welsh posted to domainspecific embedded embeddedlanguage functionalprogramming haskell by keigoi on 2008-12-25 12:55:51 as along with 1 person pedagand
	Cyclone: A safe dialect of C [My Copy] In USENIX Annual Technical Conference (June 2002), pp. 275-288. by Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, Yanling Wang posted to safelang security by yyounan on 2008-12-21 15:18:33 as

Note: You may cite this page as: http://www.citeulike.org/author/Morrisett:G

Result page: 1 2 3 Next

review	306
evolution	148
model	103
theory	96
network	92
cancer	86
statistics	83
energy	81
social	80
networks	79
simulation	76
software	74
analysis	71
methods	71
bioinformatics	67
dna	67
learning	67
development	65
human	65
protein	65
algorithm	63
science	63
structure	63
survey	62
research	61
of	60
database	56
education	54
memory	54
sequencing	53
genome	52
biology	51
expression	50
genetics	50
language	50
ontology	50
evaluation	49
prediction	49
diffusion	48
alignment	46
and	46
clustering	46
information	46
methodology	46
microarray	46
annotation	44
gene	44
genomics	43
interaction	43
mirna	43
modeling	43
bacteria	42
design	42
web	42
data	41
dynamics	41
imaging	41
proteomics	40
transcription	40
yeast	39
classification	38
community	38
economics	38
environment	38
method	38
bayesian	37
health	37
technology	37
visualization	37
culture	36
disease	36
history	36
metabolism	36
phylogeny	36
renewable	36
brain	35
ethics	35
physics	35
rna	35
systems	35
teaching	35
adaptation	34
time	34
book	33
diversity	33
chromatin	32
management	32
molecular	32
philosophy	32
trust	32
control	31
correlation	31
performance	31
regulation	31
snp	31
cell	30
experiment	30
neuroscience	30
security	30

Author Morrisett:G [141 articles] Export

Everyone's Tags