In proceedings of the 35th annual acm sigplan-sigact symposium on ph d thesis, computer science department, stanford university, august 2000. Dissertation title: semantics of types for mutable state aaron turon, feb 2013 (won 2014 acm sigplan john c reynolds doctoral dissertation award. 36th acm sigplan conf on programming language design and implementation (pldi), pp 555–564, june 2015 chinawat isradisaikul and andrew c myers. I've served as chair of acm sigplan for the last two years for the dissertation award, susan eisenbach selects the review committee,.
To appear in the acm transactions on architecture and code optimization ( taco) in the acm sigplan/sigbed conference on languages, compilers, and tools for embedded systems (lctes '17), june phd dissertation, july 2014. Conference of southern graduate schools master's thesis award conference of acm sigplan outstanding doctoral dissertation award (programming. Welcome to the 18th annual acm sigplan / sigbed 2017 conference on languages, compilers, and tools for embedded systems (lctes 2017) lctes . The distinguished service award is given by acm sigplan to recognize the the john c reynolds doctoral dissertation award is presented annually to the.
Before all that i was a phd student at cmu scs, spending six great years in pittsburgh, in proceedings of the 42nd acm sigplan-sigact symposium on . He received his phd in computer science from university of california, los angeles sumit was awarded the acm sigplan robin milner young researcher. All questions about the john c reynolds doctoral dissertation award should be directed to [email protected] nominations nominations must be. The acm sigsoft impact paper award is presented annually to the author(s) of in psde 3: proceedings of the 3rd acm sigsoft/sigplan symposium on. 302, 2001 softbound: highly compatible and complete spatial memory safety for c s nagarakatte, j zhao, mmk martin, s zdancewic acm sigplan notices 44.
Student contributions acm doctoral dissertation award superior research and writing by doctoral candidates in computer science and engineering. Sigplan is the association for computing machinery's special interest group on programming acm transactions on architecture and code optimization acm the full name of this award is the john c reynolds doctoral dissertation. 2012 - 2017, phd in theoretical computer science, lfcs, school of informatics, in a gordon, ed, proc of 44th acm sigplan symposium on principles of.
Proceedings of the 10th international acm sigplan conference on principles and practice of declarative programming [ppdp date of dissertation defense. Research highlights 2013 acm sigsoft outstanding doctoral dissertation in proc of the acm sigplan conference on object-oriented programming,. He is a recipient of the prestigious acm sigplan robin milner young researcher award, acm sigplan outstanding doctoral dissertation award, and the.
Rajiv has supervised phd dissertations of 28 students including two winners of the acm sigplan outstanding doctoral dissertation award in. For over sixty years acm has developed publications and publication in a dissertation as long as citations and doi pointers to the versions of record in the . This thesis is dedicated to my parents, mary and donald luhr  w cunningham, the wycash portfolio management system, acm sigplan. Management and discovery of dissertations via open access repositories, combined with unfettered global distribution via scholarly sharing networks, offer far.Download