Tags
computer science harvard engineering professor university allen cutting associate business address including research project title index maxwell dworkin moved national
Click on a tag to filter search results.
Videos results by 
 
Display all videos
 Article (powered by Wikipedia)
John Gregory Morrisett is the Allen B. Cutting Professor of Computer Science and Associate Dean for Computer Science and Engineering in the Harvard School of Engineering and Applied Sciences.His group at Cornell University created the Cyclone programming language.His current research interests are in the applications of programming language technology for building secure and reliable systems. In particular, he is interested in applications of advanced type systems, model checkers, certifying compilers, proof-carrying code, and inlined reference monitors for building efficient and provably secure systems. He is also interested in the design and application of high-level languages for new or emerging domains, such as sensor networks.He received is PhD under Peter Lee at Carnegie Mellon University in 1995. References^ "John Gregory Morrisett - Harvard School of Engineering and Applied Sciences". SEAS Directory. Harvard School of Engineering and Applied Sciences. http://www.seas.harvard.edu/directory/greg. Retrieved 2010-01-23. ^ Knight, Will (2001-11-16). ""Cyclone" blows computer bugs out of code". NewScientist. http://www.newscientist.com/article/dn1578. Retrieved 2010-01-23.
Wikipedia article
Related people
Oxford Street Maxwell Dworkin Hall Cambridge Susan Welby John Gregory Gregory Malecha Ryan Wisnesky Dan Grossman Trevor Jim Michael Hicks James Cheney Peter Sestoft David Walker Matthew Fluet Dean Guo Tomas Petricek Robert Harper Karl Crary David Tarditi Chris Stone Perry Cheng Peter Lee Amal Ahmed Nick Benton Martin Hofmann Stephen McCamant Sam Madden Matt Welsh Joe Zimmerman Paul Govereau Neal Glew Avi Shinnar Lars Birkedal Richard Samuels Frederick Smith Stephanie Weirich Steve Zdancewic John-Baptiste Tristan Fred Schneider David Wagner David Parkes Matt Tierney Chelsea Zhang Paul Peter Daniel Steinbrook Cornell University Dan Grossmanand Gary McGraw John Viega William Pugh Matthias Felleisen Timothy Harris Jeannette Wing Robert Constable John Guttag Ryan Newton Lewis Girod Michael Craig Samuel Madden An Interactive Kathleen Fisher Gregory Morrisett Norman Ramsey Christopher Richards David Bacon Steve Blackburn Richard Jones Hillel Kolodner Eliot Moss Guy Steele Joseph Ayers Ravi Rajwar David Detlefs Antony Hosking Tony Printezis Hans Boehm Jean-Baptiste Tristan Amanda Strnad Chris White David Wittenberg Albert Kwon Peter Trei Robin Morisset Summer School Ernie Brickell John Mitchell Brendan Traw Christine Paulin Joseph Tassarotti Edward Gan Jeff Foster Andrew Tolmach Matthew Lang Olin Shivers Dexter Kozen John Hubbard Adam Chlipala Geoffrey Mainland Nevin Heintze Bell-Labs Eugenio Cornell Flemming David Sands Chalmers Walid Corina Pasareanu Andreas Podelski Andrey Rybalchenko Helmut Veith Eran Yahav
Websites results by
Search Bing
Greg Morrisett - Harvard University
33 Oxford Street 151 Maxwell Dworkin Hall Cambridge, MA 02138 Assistant: Susan Welby Maxwell Dworkin 239 ...
http://www.eecs.harvard.edu/~greg/
Greg Morrisett - Wikipedia, the free encyclopedia
John Gregory Morrisett is the Allen B. Cutting Professor of Computer Science and Associate Dean for Computer Science and Engineering in the Harvard School of ...
http://en.wikipedia.org/wiki/Greg_Morrisett
Greg Morrisett - Department of Computer Science, Cornell University
I've moved... ... I've moved...
http://www.cs.cornell.edu/home/jgm/
Greg Morrisett, Professor of Computer Science, National Academy ...
Greg Morrisett, Professor of Computer Science, National Academy-Engineering of National Academy-Engineering''s information - including email, business address ...
http://www.spoke.com/info/pFbxzgJ/GregMorrisett
Greg Morrisett | Berkman Center
Greg Morrisett is the Allen B. Cutting Professor of Computer Science and Associate Dean for Computer Science & Engineering in Harvard's SEAS.
http://cyber.law.harvard.edu/people/gmorrisett
Display all resultsGreg Morrisett - Harvard UniversityGreg Morrisett: Allen B. Cutting Professor of Computer Science: Associate Dean for Computer Science and Engineering: School of Engineering and Applied Sciences http://www.eecs.harvard.edu/~greg/bio.htmlGreg Morrisett, Professor, Harvard University | SpokeGreg Morrisett, Professor, Harvard University of Harvard University''s information - including email, business address, business phone, biography, title, company ... http://www.spoke.com/info/p3V27oa/GregMorrisettYnotGregory Malecha, Greg Morrisett, and Ryan Wisnesky Journal of Symbolic Computation. Vol 46, issue 2. Automated Specification and Verification of Web Systems Certified Web ... http://ynot.cs.harvard.edu/Piazza – Ask. Answer. Explore. Whenever.Greg Morrisett Harvard University. Piazza has proven to be an ideal forum for my class. Compared to conventional bulletin boards, the design makes it much easier for ... https://www.piazza.com/Prof. Dr. Greg Morrisett - FB-Informatik (TU-KL): Fachbereich ...Prof. Dr. Greg Morrisett (Harvard University) "Ynot: integrating effects with dependent types" (Vortrag im Rahmen der "Distinguished Lecture Series 07/08" des Max ... http://www.informatik.uni-kl.de/forschung/kolloquien/2008/morrisett/Cyclone (programming language) - Wikipedia, the free encyclopediaCyclone development was started as a joint project of AT&T Labs Research and Greg Morrisett's group at Cornell in 2001. Version 1.0 was released on May 8, 2006. http://en.wikipedia.org/wiki/Cyclone_(programming_language)
Websites, documents results by
Number of related websites: 74 Search Bing
+ www.eecs.harvard.edu (2 pages)
Greg Morrisett - Harvard University33 Oxford Street 151 Maxwell Dworkin Hall Cambridge, MA 02138 Assistant: Susan Welby Maxwell Dworkin 239 ... http://www.eecs.harvard.edu/~greg/Greg Morrisett - Harvard UniversityGreg Morrisett: Allen B. Cutting Professor of Computer Science: Associate Dean for Computer Science and Engineering: School of Engineering and Applied Sciences http://www.eecs.harvard.edu/~greg/bio.html + en.wikipedia.org (2 pages)
Greg Morrisett - Wikipedia, the free encyclopediaJohn Gregory Morrisett is the Allen B. Cutting Professor of Computer Science and Associate Dean for Computer Science and Engineering in the Harvard School of ... http://en.wikipedia.org/wiki/Greg_MorrisettCyclone (programming language) - Wikipedia, the free encyclopediaCyclone development was started as a joint project of AT&T Labs Research and Greg Morrisett's group at Cornell in 2001. Version 1.0 was released on May 8, 2006. http://en.wikipedia.org/wiki/Cyclone_(programming_language) + www.cs.cornell.edu (2 pages)
Greg Morrisett - Department of Computer Science, Cornell UniversityI've moved... ... I've moved... http://www.cs.cornell.edu/home/jgm/Yanling Wang - Department of Computer Science, Cornell UniversityPublications: Region-Based Memory Management in Cyclone. Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney. ACM Conference on ... http://www.cs.cornell.edu/people/wangyl/ + www.spoke.com (2 pages)
Greg Morrisett, Professor of Computer Science, National Academy ...Greg Morrisett, Professor of Computer Science, National Academy-Engineering of National Academy-Engineering''s information - including email, business address ... http://www.spoke.com/info/pFbxzgJ/GregMorrisettGreg Morrisett, Professor, Harvard University | SpokeGreg Morrisett, Professor, Harvard University of Harvard University''s information - including email, business address, business phone, biography, title, company ... http://www.spoke.com/info/p3V27oa/GregMorrisett + cyber.law.harvard.edu (2 pages)
Greg Morrisett | Berkman CenterGreg Morrisett is the Allen B. Cutting Professor of Computer Science and Associate Dean for Computer Science & Engineering in Harvard's SEAS. http://cyber.law.harvard.edu/people/gmorrisettPeople | Berkman CenterGreg Morrisett. Greg Morrisett is the Allen B. Cutting Professor of Computer Science and Associate Dean for Computer Science & Engineering in Harvard's SEAS. http://cyber.law.harvard.edu/people/crcs + ynot.cs.harvard.edu (2 pages)
YnotGregory Malecha, Greg Morrisett, and Ryan Wisnesky Journal of Symbolic Computation. Vol 46, issue 2. Automated Specification and Verification of Web Systems Certified Web ... http://ynot.cs.harvard.edu/Toward a Verified Relational Database Management SystemTowarda Verified Relational Database Management System Gregory Malecha Greg Morrisett Avraham Shinnar Ryan Wisnesky Harvard University, Cambridge, MA, USA fgmalecha ... http://ynot.cs.harvard.edu/papers/popl10.pdf + www.piazza.com (1 page)
Piazza – Ask. Answer. Explore. Whenever.Greg Morrisett Harvard University. Piazza has proven to be an ideal forum for my class. Compared to conventional bulletin boards, the design makes it much easier for ... https://www.piazza.com/ + www.informatik.uni-kl.de (1 page)
+ people.fas.harvard.edu (2 pages)
Gregory MalechaMy research focus is on program verification, formal semantics, and type theory, and I also enjoy machine learning. My advisor is Greg Morrisett. http://people.fas.harvard.edu/~gmalecha/CS153: Principles of Programming Language CompilationGreg Morrisett: greg at eecs.harvard.edu : Office Hours: by appointment, MD 151: Admin. Assistant: Susan Welby: swelby at seas.harvard.edu: Office: MD 239 http://people.fas.harvard.edu/~lib153/ + nobot.cis.upenn.edu (1 page)
NoBot Public Project WiKi | Main / HomePage browseWelcome to the NoBot Project. We address the problem of threats to networked systems from botnets, which are large-scale collection of malware-infected hosts("bots"). http://nobot.cis.upenn.edu/ + academic.research.microsoft.com (2 pages)
+ www.cs.purdue.edu (1 page)
Professor Greg Morrisett - Department of Computer Science, Purdue ...ABSTRACT: Type-safe languages, such as Java, rule out a wide variety of failures and attacks including buffer overruns, format-string attacks, and general memory ... http://www.cs.purdue.edu/news/10-31-05gmorrisett.htm + www.seas.harvard.edu (2 pages)
John Gregory Morrisett — Harvard School of Engineering and ...Profile. Greg Morrisett received his BS in Mathematics and Computer Science from the University of Richmond in 1989, and his Ph.D. from Carnegie Mellon in 1995. http://www.seas.harvard.edu/directory/gregHarvard SEAS Professional Development SeminarDate Speaker(s) Topic Resources; 2/8/2011: Greg Morrisett: Professor Morrisett will talk about the 'Top 10 things I did right or wrong in grad school' http://www.seas.harvard.edu/profdev/ + research.microsoft.com (2 pages)
+ robobees.blogspot.com (1 page)
RoboBees: A Convergence of Body, Brain, and ColonyThis is the official blog of the Harvard RoboBees project, which is building ... Posted by Greg Morrisett at 4:54 AM 0 comments Links to this post http://robobees.blogspot.com/ + citeseerx.ist.psu.edu (2 pages)
+ www.facebook.com (1 page)
+ cs51.seas.harvard.edu (1 page)
Harvard CS51 and CSCI E-250Prof. Greg Morrisett. Spring 2012. Location: Jefferson 250. Tuesdays and Thursdays, 1:00pm-2:30pm. CSCI E-250 webpage: http://www.cs51.seas.harvard.edu/cscie250/index.html http://cs51.seas.harvard.edu/ + articles.wdbj7.com (1 page)
RoboBees invade Hollins University - WDBJ7Greg Morrisett of Harvard University admits making this all a reality won't be easy. He told News 7 "it's a moonshot. It really is a bold and risky piece of research ... http://articles.wdbj7.com/2011-03-31/bee-colony_29368544 + www.informatik.uni-trier.de (2 pages)
+ groups.csail.mit.edu (1 page)
+ people.csail.mit.edu (2 pages)
Ryan Rhodes Newton - Research HomepageI'm advised by Sam Madden and Arvind at MIT, but I also work on Macroprogramming with Matt Welsh and Greg Morrisett at Harvard. I'm the designer and implementor of the ... http://people.csail.mit.edu/newton/MIT PL Working GroupProf. Greg Morrisett: Current projects: 11.22: Thanksgiving Week: 11.29: Professors: Paper-writing panel: Amarasinghe, Arvind, Jackson, Rinard: 12.6: Adam Chlipala http://people.csail.mit.edu/jeanyang/pl/fall10.html + www.ccs.neu.edu (1 page)
Amal Ahmed - College of Computer and Information Science | College ...Amal Ahmed, Matthew Fluet, and Greg Morrisett. Fundamenta Informaticae, 77(4):397--449, June 2007. Abstract Predicates and Mutable ADTs in Hoare Type Theory. http://www.ccs.neu.edu/home/amal/ + www.linkedin.com (1 page)
+ software.imdea.org (1 page)
Aleks Nanevski's HomePage - Instituto Madrileño de Estudios ...Aleksandar Nanevski, Paul Govereau, Greg Morrisett Proceedings of TLDI'09, pages 79-90, Savannah, GA, January 2009. Extended version available as technical report TR-09 ... http://software.imdea.org/~aleks/ + glew.org (2 pages)
Neal Glew's Resume - HostGator Web Hosting Website Startup GuideGreg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In ACM Transactions on Programming Languages and Systems, 21(3):428 ... http://glew.org/nglew/resume.htmlNeal Glew's Papers - HostGator Web Hosting Website Startup GuideGreg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. http://glew.org/nglew/paper-list.html + www.cs.indiana.edu (2 pages)
B629 Language-Based Approaches to Security (Spring 2010)Aleksandar Nanevski, Greg Morrisett, Avi Shinnar, Paul Govereau, and Lars Birkedal ICFP 2008 Separation Logic: See early days and follow links to Concurrency, OOP ... http://www.cs.indiana.edu/classes/b629-amal/Spring_2010/WaveScope + WaveScriptRyan Newton, Lewis Girod, Michael Craig, Samuel Madden, Greg Morrisett, CSAIL Technical Report MIT-CSAIL-TR-2008-005, January 2008. • VoxNet: An Interactive, Rapidly ... http://www.cs.indiana.edu/~rrnewton/wavescope/WaveScope_+_WaveScript/WaveScope_Homepage.html + www.cs.cmu.edu (2 pages)
ConCert Project: Index Page - SCHOOL OF COMPUTER SCIENCE ...Karl Crary and Greg Morrisett. In Proceedings of the International Colloquium on Automata, Languages, and Programming, pages 40-54, Prague, Czech Republic, July 1999. http://www.cs.cmu.edu/~concert/David Walker - SCHOOL OF COMPUTER SCIENCE, Carnegie MellonA significant portion of my tenure as a Ph.D. student at Cornell University was spent working with Greg Morrisett and others on the design and implemention of a type ... http://www.cs.cmu.edu/~dpw/ + www.freebase.com (1 page)
+ llvm-md.org (2 pages)
llvm-md.orgEvaluating Value-Graph Translation Validation for LLVM. John-Baptiste Tristan, Paul Govereau and Greg Morrisett. In PLDI'11: Proceedings of the ACM SIGPLAN Conference ... http://llvm-md.org/pubs.htmlllvm-md.orgJean-Baptiste Tristan; Paul Govereau; Greg Morrisett. Jean-Baptiste Tristan; Paul Govereau; Greg Morrisett http://llvm-md.org/people.html
Display all results + domino.research.ibm.com (1 page) + fiji.eecs.harvard.edu (2 pages) People | Harvard Sensor Networks LabProf. Greg Morrisett; Prof. Radhika Nagpal; Prof. David Parkes; Undergraduate students. Matt Tierney Chelsea Zhang Samir Paul Peter Salas Daniel Steinbrook http://fiji.eecs.harvard.edu/PeopleBiblio | Harvard Sensor Networks LabFlask: Staged Functional Programming for Sensor Networks, Geoffrey Mainland, Greg Morrisett, Matt Welsh, 13th ACM SIGPLAN International Conference on Functional ... http://fiji.eecs.harvard.edu/biblio + www.cs.princeton.edu (2 pages) + crcs.seas.harvard.edu (1 page) Harvard CRCS » ContactFor more information about CRCS or to get involved, please contact us. Greg Morrisett Harvard University School of Engineering and Applied Sciences http://crcs.seas.harvard.edu/contact/ + www.cs.washington.edu (2 pages) + nogin.org (1 page) Fall 2005, CS 101: Language-Based Security2004, Greg Morrisett, Harvard; 2002, David Walker, Princeton; 2002, Greg Morrisett, Cornell. Survey Papers. Gary McGraw and Greg Morrisett. http://nogin.org/cs101-f05/ + www.evri.com (2 pages) + www.softpanorama.org (1 page) + www.cis.upenn.edu (2 pages) Steve Zdancewic's Publications - Computer & Information ScienceSteve Zdancewic, Dan Grossman, and Greg Morrisett. Principals in Programming Languages: A Syntactic Proof Technique. In Proc. of the 4th ACM SIGPLAN International ... http://www.cis.upenn.edu/~stevez/papers/publications.htmlTLDI 2012 - Computer & Information ScienceGreg Morrisett: Harvard University Benjamin C. Pierce : University of Pennsylvania Dimitrios Vytiniotis: Microsoft Research (Cambridge) http://www.cis.upenn.edu/~bcpierce/tldi12/ + www.memorymanagement.org (1 page) The Memory Management Reference: Bibliography: By AuthorGreg Morrisett, Matthias Felleisen, Robert Harper. 1995. Abstract Models of Memory Management. Timothy Harris. E-mail: tlh20@cam.ac.uk. Timothy Harris. 1999. http://www.memorymanagement.org/bib/a.html + cyclone.thelanguage.org:8181 (1 page) Cyclone: Papers - Sign in - POPL 2012Papers Overview. Cyclone: a Type-safe Dialect of C. Dan Grossman, Michael Hicks, Trevor Jim, and Greg Morrisett. C/C++ Users Journal, 23(1), January 2005. http://cyclone.thelanguage.org:8181/wiki/Papers + wavescope.csail.mit.edu (1 page) + dl.acm.org (1 page) Region-based memory management in cycloneTrevor Jim , J. Greg Morrisett , Dan Grossman , Michael W. Hicks , James Cheney , Yanling Wang, Cyclone: A Safe Dialect of C, Proceedings of the General Track: 2002 ... http://dl.acm.org/citation.cfm?id=512563 + www.sigplan.org (1 page) SIGPLAN - Awards2008 (for 1998): From System F to Typed Assembly Language, Greg Morrisett, David Walker, Karl Crary, and Neal Glew. Citation "From System F to Typed Assembly ... http://www.sigplan.org/award-popl.htm + sunsite.informatik.rwth-aachen.de (1 page) + www.utdallas.edu (2 pages) CS 6V81: Language-based Security - The University of Texas at DallasQuiz 1 on: Fred B. Schneider, Greg Morrisett, Robert Harper. A language-based approach to security. Informatics: 10 Years Back, 10 Years Ahead, Lecture Notes in Computer ... http://www.utdallas.edu/~hamlen/cs6V81sp08.htmlKevin Hamlen: Research - The University of Texas at DallasKevin W. Hamlen, Greg Morrisett, and Fred B. Schneider. Computability Classes for Enforcement Mechanisms. ACM Transactions on Programming Languages And Systems (TOPLAS ... http://www.utdallas.edu/~hamlen/research.html + www.cs.virginia.edu (1 page) Claire Le Goues - Home - Computer Science, U.Va. EngineeringMy thesis was entitled "Algebraic Type Isomorphisms," and was advised by Greg Morrisett. Awardification: NSF Graduate Fellowship, May 2009 http://www.cs.virginia.edu/~csl9q/ + sos.cse.lehigh.edu (2 pages) Lehigh University, the SOS LabGreg Morrisett (Harvard) Xinming Ou (Princeton, now KSU) Christopher Richards (Princeton) Anand Raghunathan (NEC, now Purdue) Srivaths Ravi (NEC, now IIT) http://sos.cse.lehigh.edu/people.htmlGoNativeThis is a joint work by Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, and Edward Gan. (11/13/2011) We are glad to release the source code ... http://sos.cse.lehigh.edu/gonative/ + jacm.acm.org (2 pages) + sysrun.haifa.il.ibm.com (1 page) + ftp.informatik.rwth-aachen.de (1 page) + robobees.seas.harvard.edu (1 page) People: Collaborators — Harvard School of Engineering and ...Greg Morrisett Allen B. Cutting Professor of Computer Science Associate Dean for Computer Science and Engineering Harvard SEAS: Joseph Ayers Professor http://robobees.seas.harvard.edu/people + www.cs.technion.ac.il (1 page) ISMM: The 2006 International Symposium on Memory ManagementGreg Morrisett Ravi Rajwar Yannis Smaragdakis Guy Steele: Steering Committee: David Bacon: David Detlefs: Amer Diwan: Antony Hosking: Greg Morrisett http://www.cs.technion.ac.il/~erez/ismm06/ + www.research.ibm.com (1 page) ISMM: The 2004 International Symposium on Memory ManagementGreg Morrisett: Tony Printezis: Mooly Sagiv: Bjarne Steensgaard: Steering Committee: Hans Boehm: David Detlefs: Antony Hosking: Richard Jones: J. Eliot B. Moss http://www.research.ibm.com/ismm04/ + www.coursehero.com (2 pages) + www.crash-safe.org (1 page) People | crash-safe.orgMissing: Amanda Strnad, Chris White, David Wittenberg, Greg Morrisett, Jothy Rosenberg, Albert Kwon, Peter Trei, Robin Morisset, Suraj Iyer, Udit Dhawen. http://www.crash-safe.org/people + www.cs.uoregon.edu (1 page) + scrub.cs.berkeley.edu (1 page) People « SCRUBBoard of Advisors. Ernie Brickell Intel. Sridhar Iyengar Intel. Greg Morrisett Harvard. John Mitchell Stanford. Fred Schneider Cornell. Brendan Traw Intel http://scrub.cs.berkeley.edu/people/ + cseweb.ucsd.edu (1 page) plpv 2011 index - UC San Diego Home PageGreg Morrisett (Harvard University) Christine Paulin-Mohring (Université Paris-Sud) Wouter Swierstra (Radboud University Nijmegen, co-chair) Tachio Terauchi (Tohoku ... http://cseweb.ucsd.edu/plpv11/ + www.citeulike.org (1 page) + www.nae.edu (1 page) Unifying Disparate Tools in Software SecurityThe Unifying Disparate Tools in Software Security Greg Morrisett Lighting Up the Mechanome Matthew Lang Applications of Corn-Based Chemistry Sanjay V. Malhotra ... http://www.nae.edu/File.aspx?id=7414 + www.powells.com (1 page) Types in Compilation: Third International Workshop, Tic 2000 ...... and flexible dynamic linking of native code / Michael Hicks, Stephanie Weirich, Karl Crary — Alias types for recursive data structures / David Walker, Greg Morrisett. http://www.powells.com/biblio?isbn=9783540421962 + ocaml.janestreet.com (1 page) The ML sweet spot | ocaml.janestreet.comI just got back from visiting Northeastern and Harvard where I yet again flogged a version of my POPL talk. Olin Shivers was my host at Northeastern and Greg ... https://ocaml.janestreet.com/?q=node/24 + captainchang.com (1 page) Links [captainchang.com]Greg Morrisett, Harvard University, Computer Science (formerly at Cornell) Dexter Kozen, Cornell University, Computer Science John Hubbard, Cornell University, Mathematics http://captainchang.com/links.html + seclab.cs.washington.edu (1 page) UW Security and Privacy Research LaboratorySafe Manual Memory Management in Cyclone, Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, and Trevor Jim, Science of Computer Programming, Special Issue: Five ... http://seclab.cs.washington.edu/publications.html + compcert.inria.fr (1 page) CompCert - Main pageA short overview of the CompCert verified compiler, published in Communications of the ACM, July 2009, along with a perspective written by Greg Morrisett. http://compcert.inria.fr/ + lambda-the-ultimate.org (1 page) The YNot Project | Lambda the UltimateThis was actually commented on here, by Greg Morrisett himself. Conceptually, this seems like it's related to Adam Chlipala's A Certified Type-Preserving Compiler from ... http://lambda-the-ultimate.org/node/2638 + waatp.com (1 page) Who is David O Gambridge - (412) 854-3451 - Bethel Park - PA ...From System F to Typed Assembly Language* Greg Morrisett David... Gambridge. P niversity Press, 1992. ¤ 3Q¥A. D. Appel and T. §im. ... 12C¥O. http://waatp.com/people/david-o-gambridge/20027051/ + robotics-worldwide.1046236.n5.nabble.com (1 page) + cs-www.cs.yale.edu (1 page) + www.csl.cornell.edu (1 page) + flint.cs.yale.edu (1 page) SPAM Talk: Hoare Type Theory - Yale FLINT Group: HomeAleks Nanevski is a postdoctoral fellow at Harvard University, working with Professor Greg Morrisett. Aleks' research investigates programming languages, type systems ... http://flint.cs.yale.edu/spam/abstract/nanevski.html + www.cs.umd.edu (1 page) Michael Hicks' Publications - Department of Computer ScienceNikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, and Trevor Jim. Science of Computer Programming (SCP), 62(2):122-144, October 2006. http://www.cs.umd.edu/~mwh/papers/mwh.html + lara.epfl.ch (1 page) VMCAI 2012 - Lab for Automated Reasoning and Analysis - LARA: WikiGreg Morrisett; Corina Pasareanu; Andreas Podelski; Sriram Rajamani; Andrey Rybalchenko; Mooly Sagiv; Sriram Sankaranarayanan; Helmut Veith; Heike Wehrheim; Eran Yahav http://lara.epfl.ch/vmcai2012/ |
Documents: 34
[PDF] Toward a Verified Relational Database Management System
[PDF] Safe ManualMemory Management in Cyclone
[PDF] Evaluating Value-Graph Translation Validation for LLVM
[414] Unifying Disparate Tools in Software Security
[PDF] Ryan R. Newton
[PDF] Attacking Malicious Code: A report to the Infosec Research Council*
[PDF] Dependent Type Theory of Stateful Higher-Order Functions
[PDF] Christopher A. Stone
[PDF] A Language-Based Approach to Protocol Construction
[PDF] Alias Types?
[PDF] A Language-Based Approach to Security
[PDF] CS51: Concurrency & Parallelism
[PDF] TIL: A Type-Directed, Optimizing Compiler for ML
[PDF] Nikola: Embedding Compiled GPU Functions in Haskell
[PDF] Annual Report | 2007-2008
[PDF] CS51: Object-Oriented Programming in Java
[PDF] Linear and Affine Typing of Continuation-Passing Style
[PDF] Image courtesy of the lab of Joanna Aizenberg.
[PDF] Preliminary Design of the SAFE Platform
[PDF] 2011/01/27 Session 2: Content-Based Networking (CBN) and Content ...
[PDF] A Report to the Infosec Research Council
[PDF] Design and Evaluation ofa Compiler for Embedded Stream Programs
[PDF] Credit where credit is due …
[PDF] Advanced Topics in Types and Programming Languages
[PDF] L;ﾐｪ┌;ｪW DWゲｷｪﾐ ;ﾐS IﾏヮﾉWﾏWﾐデ ...
[PPT] Cyclone: A Memory-Safe C-Level Programming Language
[PPT] Programming Languages: The Essence of Computer Science
[PPT] Y 0 Y-not Y-knot Y-naught?
[PPT] Security Properties
[PPT] EECS 252 Graduate Computer Architecture Lec 1 - Introduction
Display all results
|
 WebMii Score Statistics
Greg Morrisett has a WebMii Score of 5.096: higher than 81% of people
and a world rank of: 1,259,094,158
Display detailed statistics
Additional search
 Recherche sur FriendFeed
|
|
|