BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × India
11 × USA
2 × Canada
2 × France
2 × Germany
2 × Italy
Collaborated with:
R.Harper K.Crary D.Walker F.Smith D.Grossman N.Glew M.Fluet A.P.Tolmach M.W.Hicks T.Jim S.Zdancewic S.Weirich D.Tarditi P.Cheng C.A.Stone P.Lee Y.Minamide M.Felleisen R.Newton L.Girod M.B.Craig S.Madden Y.Wang J.Cheney
Talks about:
type (12) languag (4) memori (4) compil (4) manag (4) code (4) program (3) cyclon (3) proof (3) ml (3)

Person: J. Gregory Morrisett

DBLP DBLP: Morrisett:J=_Gregory

Facilitated 1 volumes:

POPL 2006Ed

Contributed to:

LCTES 20082008
ICFP 20042004
ISMM 20042004
PEPM 20042004
PPDP 20042004
ICLP 20032003
ESOP 20022002
PASTE 20022002
PLDI 20022002
ESOP 20002000
ICALP 19991999
ICFP 19991999
POPL 19991999
ICFP 19981998
ISMM 19981998
POPL 19981998
Best of PLDI 20041996
PLDI 19961996
POPL 19961996
FPCA 19951995
POPL 19951995
PPoPP 19931993

Wrote 23 papers:

LCTES-2008-NewtonGCMM #compilation #design #embedded #evaluation #source code
Design and evaluation of a compiler for embedded stream programs (RN, LG, MBC, SM, JGM), pp. 131–140.
ICFP-2004-FluetM #monad
Monadic regions (MF, JGM), pp. 103–114.
ISMM-2004-HicksMGJ #experience
Experience with safe manual memory-management in cyclone (MWH, JGM, DG, TJ), pp. 73–84.
PEPM-2004-Morrisett #question #what
Invited talk: what’s the future for proof-carrying code? (JGM), p. 203.
PPDP-2004-Morrisett #question #what
Invited talk: what’s the future for proof-carrying code? (JGM), p. 5.
ICLP-2003-Morrisett #low level #type safety
Achieving Type Safety for Low-Level Code (JGM), pp. 1–2.
ESOP-2002-Morrisett #type checking
Type Checking Systems Code (JGM), pp. 1–5.
PASTE-2002-Morrisett #analysis
Analysis issues for cyclone (JGM), p. 26.
PLDI-2002-GrossmanMJHWC #memory management
Region-Based Memory Management in Cyclone (DG, JGM, TJ, MWH, YW, JC), pp. 282–293.
ESOP-2000-SmithWM #alias
Alias Types (FS, DW, JGM), pp. 366–381.
ICALP-1999-CraryM #low level #programming language
Type Structure for Low-Level Programming Languages (KC, JGM), pp. 40–54.
ICFP-1999-ZdancewicGM #programming language #proving
Principals in Programming Languages: A Syntactic Proof Technique (SZ, DG, JGM), pp. 197–207.
POPL-1999-CraryWM #calculus #memory management
Typed Memory Management in a Calculus of Capabilities (KC, DW, JGM), pp. 262–275.
POPL-1999-GlewM #assembly #composition #type safety
Type-Safe Linking and Modular Assembly Language (NG, JGM), pp. 250–261.
ICFP-1998-CraryWM #morphism #polymorphism #semantics
Intensional Polymorphism in Type-Erasure Semantics (KC, SW, JGM), pp. 301–312.
Comparing Mostly-Copying and Mark-Sweep Conservative Collection (FS, JGM), pp. 68–78.
POPL-1998-MorrisettWCG #assembly #system f
From System F to Typed Assembly Language (JGM, DW, KC, NG), pp. 85–97.
Best-of-PLDI-1996-TarditiMCSHL96a #compilation #ml #named #optimisation
TIL: a type-directed, optimizing compiler for ML (with retrospective) (DT, JGM, PC, CAS, RH, PL), pp. 554–567.
PLDI-1996-TarditiMCSHL #compilation #ml #named #optimisation
TIL: A Type-Directed Optimizing Compiler for ML (DT, JGM, PC, CAS, RH, PL), pp. 181–192.
Typed Closure Conversion (YM, JGM, RH), pp. 271–283.
FPCA-1995-MorrisettFH #memory management #modelling
Abstract Models of Memory Management (JGM, MF, RH), pp. 66–77.
POPL-1995-HarperM #analysis #compilation #morphism #polymorphism #using
Compiling Polymorphism Using Intensional Type Analysis (RH, JGM), pp. 130–141.
PPoPP-1993-MorrisettT #framework #ml #multi #platform #standard
Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.