{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/72052"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/72052","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Request-Based Mediated Execution","abstract":"How do you dynamically customize the programming language available in a context within an existing system, without changing the underlying system? This dissertation introduces a language design approach that addresses this problem. The basic idea is to structure programs as systems of multiple interacting levels of abstraction, where all of the primitive constructs used by higher levels are actually implemented as defined constructs by lower levels. This is accomplished by allowing lower levels to mediate the execution of higher levels. This structure is much like system-level virtualization, but much finer-grained. The approach builds on three existing programming language technologies: delimited continuations, dynamic scoping, and call-by-name nonstrict evaluation. The dissertation examines how to define a variety of different language constructs using this approach, including variable binding, control structures, and basic concurrency features. The approach is then applied to mediating execution of third-party Javascript code on web pages.","abstract_html":"How do you dynamically customize the programming language available in a context within an existing system, without changing the underlying system? This dissertation introduces a language design approach that addresses this problem. The basic idea is to structure programs as systems of multiple interacting levels of abstraction, where all of the primitive constructs used by higher levels are actually implemented as defined constructs by lower levels. This is accomplished by allowing lower levels to mediate the execution of higher levels. This structure is much like system-level virtualization, but much finer-grained. The approach builds on three existing programming language technologies: delimited continuations, dynamic scoping, and call-by-name nonstrict evaluation. The dissertation examines how to define a variety of different language constructs using this approach, including variable binding, control structures, and basic concurrency features. The approach is then applied to mediating execution of third-party Javascript code on web pages.","abstract_has_math":false,"creators":["Sundresh, Sameer"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Agha, Gul A."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-12-17T20:00:15Z","date_published":"2014-12-17T20:00:15Z","updated_at":"2026-07-22T22:26:06Z","subjects":["Computer Science"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(UMI)AAI3395508"],"render_values":[{"text":"(UMI)AAI3395508","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/72052","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Agha, Gul A."]},{"key":"dc:creator","label":"Author","values":["Sundresh, Sameer"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014-12-17T20:00:15Z","10000-01-01","2009"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Science"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/72052","(UMI)AAI3395508"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["How do you dynamically customize the programming language available in a context within an existing system, without changing the underlying system? This dissertation introduces a language design approach that addresses this problem. The basic idea is to structure programs as systems of multiple interacting levels of abstraction, where all of the primitive constructs used by higher levels are actually implemented as defined constructs by lower levels. This is accomplished by allowing lower levels to mediate the execution of higher levels. This structure is much like system-level virtualization, but much finer-grained. The approach builds on three existing programming language technologies: delimited continuations, dynamic scoping, and call-by-name nonstrict evaluation. The dissertation examines how to define a variety of different language constructs using this approach, including variable binding, control structures, and basic concurrency features. The approach is then applied to mediating execution of third-party Javascript code on web pages.","Made available in DSpace on 2014-12-17T20:00:15Z (GMT). No. of bitstreams: 1 3395508.pdf: 1920173 bytes, checksum: bbfd6f8dc094bba866649c5dc79b062d (MD5) Previous issue date: 2009","Embargo set by: Seth Robbins for item 72220 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","126 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2009."]},{"key":"dc:title","label":"Title","values":["Request-Based Mediated Execution"]}]}],"canonical_facts":{"dc:contributor":["Agha, Gul A."],"dc:creator":["Sundresh, Sameer"],"dc:date":["2014-12-17T20:00:15Z","10000-01-01","2009"],"dc:description":["How do you dynamically customize the programming language available in a context within an existing system, without changing the underlying system? This dissertation introduces a language design approach that addresses this problem. The basic idea is to structure programs as systems of multiple interacting levels of abstraction, where all of the primitive constructs used by higher levels are actually implemented as defined constructs by lower levels. This is accomplished by allowing lower levels to mediate the execution of higher levels. This structure is much like system-level virtualization, but much finer-grained. The approach builds on three existing programming language technologies: delimited continuations, dynamic scoping, and call-by-name nonstrict evaluation. The dissertation examines how to define a variety of different language constructs using this approach, including variable binding, control structures, and basic concurrency features. The approach is then applied to mediating execution of third-party Javascript code on web pages.","Made available in DSpace on 2014-12-17T20:00:15Z (GMT). No. of bitstreams: 1 3395508.pdf: 1920173 bytes, checksum: bbfd6f8dc094bba866649c5dc79b062d (MD5) Previous issue date: 2009","Embargo set by: Seth Robbins for item 72220 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","126 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2009."],"dc:identifier":["http://hdl.handle.net/2142/72052","(UMI)AAI3395508"],"dc:subject":["Computer Science"],"dc:title":["Request-Based Mediated Execution"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:26:06Z"}