2026-09-19T16:57:31Zhttps://dspace.mit.edu/server/oai/request

oai:dspace.mit.edu:1721.1/1298972026-06-06T00:49:38Zcom_1721.1_7582com_1721.1_7581col_1721.1_131023

Armando Solar-Lezama. Kontomah, Isaac. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science 2021-02-19T20:45:18Z 2021-02-19T20:45:18Z 2020 2020 https://hdl.handle.net/1721.1/129897 1237419954 Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, February, 2020 Cataloged from student-submitted PDF of thesis. Includes bibliographical references (pages 112-118). Abstract interpretation of computer programs is an active area of research in program synthesis [11] that involves learning the behavior and characterization of programs given a sequence of inputs/ output examples for the program. One aims to learn as much about a program as possible with very little information on the inputs and outputs the program generates. Abstraction helps in understanding the semantics, which is the mathematical characterization of the behavior of a computer program. This project aims to model a composite set of encoder-decoder neural networks that can learn a sequence of transformations which convert a specfic program input to an output, and from that infer which sequence of transitions one can use to generate an output from a given input. A specfic use case we explore is to take an image or a specfic property of the image .eg. texture and apply a sequence of image transformations to produce an output image/texture, can one learn the sequence of transformations that converts the input image to the output image given only the input/output image pair? In the image domain of this abstract interpretation problem, we want to be able to learn the correct sequence that will transform an input image to its corresponding output image and from that infer which image transformations can be generated by training an encoded image through dierent blocks that correspond to dierent transformations. We expect that an image produced from a given sequence of transformations also has a high probability of being found in the set of images generated from the encoder-decoder network where each block is a neural network trained for a specfic image transformation on a set of images. by Isaac Kontomah. M.Eng. M.Eng. Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science 118 pages eng Massachusetts Institute of Technology MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided. http://dspace.mit.edu/handle/1721.1/7582 Electrical Engineering and Computer Science. Inferring program sequences for texture generation with learned abstractions Thesis application/pdf 2021-02-19T20:44:48Z Publication Master EECS unknown unknown <Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="56f9374b-4aa4-43a7-b058-96cd96c392e5"> <Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type> <Language>eng</Language> <Title>Inferring program sequences for texture generation with learned abstractions</Title> <PublishedIn> <Publication> </Publication> </PublishedIn> <PublicationDate>2020</PublicationDate> <Authors> <Author> <DisplayName>Kontomah, Isaac.</DisplayName> <Affiliation> <OrgUnit> </OrgUnit> </Affiliation> </Author> </Authors> <Editors> </Editors> <Publishers> <Publisher> <DisplayName>Massachusetts Institute of Technology</DisplayName> <OrgUnit /> </Publisher> </Publishers> <License>http://dspace.mit.edu/handle/1721.1/7582</License> <Keyword>Electrical Engineering and Computer Science.</Keyword> <Abstract>Abstract interpretation of computer programs is an active area of research in program synthesis [11] that involves learning the behavior and characterization of programs given a sequence of inputs/ output examples for the program. One aims to learn as much about a program as possible with very little information on the inputs and outputs the program generates. Abstraction helps in understanding the semantics, which is the mathematical characterization of the behavior of a computer program. This project aims to model a composite set of encoder-decoder neural networks that can learn a sequence of transformations which convert a specfic program input to an output, and from that infer which sequence of transitions one can use to generate an output from a given input. A specfic use case we explore is to take an image or a specfic property of the image .eg. texture and apply a sequence of image transformations to produce an output image/texture, can one learn the sequence of transformations that converts the input image to the output image given only the input/output image pair? In the image domain of this abstract interpretation problem, we want to be able to learn the correct sequence that will transform an input image to its corresponding output image and from that infer which image transformations can be generated by training an encoded image through dierent blocks that correspond to dierent transformations. We expect that an image produced from a given sequence of transformations also has a high probability of being found in the set of images generated from the encoder-decoder network where each block is a neural network trained for a specfic image transformation on a set of images.</Abstract> <Access xmlns="http://purl.org/coar/access_right" > </Access> </Publication>