The undefined quest for full memory safety

The undefined quest for full memory safety

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.

Bibliographic Details
Main Author:	Gil, Ronald, M. Eng. Massachusetts Institute of Technology
Other Authors:	Howard E. Shrobe and Hamed Okhravi.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2018
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/119551

Similar Items

A differential approach to undefined behavior detection
by: Wang, Xi, Ph. D. Massachusetts Institute of Technology
Published: (2015)

Intuitive fully integrated platform for designing interactive objects in Quest Atlantis
by: Lam, David, M. Eng. Massachusetts Institute of Technology
Published: (2011)

Undefined behavior: what happened to my code?
by: Wang, Xi, et al.
Published: (2014)

Towards optimization-safe systems: analyzing the impact of undefined behavior
by: Wang, Xi, et al.
Published: (2014)

Architectural support to exploit commutativity in shared-memory systems
by: Zhang, Guowei, Ph. D. Massachusetts Institute of Technology
Published: (2016)

Energy-efficient smart embedded memory design for IoT and AI
by: Biswas, Avishek, Ph. D. Massachusetts Institute of Technology
Published: (2018)

Fast, compatible, complete memory safety For C programs
by: Davis, Eli Bristol
Published: (2017)

Globally Synchronized Frames for guaranteed Quality-of-Service in shared memory systems
by: Lee, Jae Wook, Ph. D. Massachusetts Institute of Technology
Published: (2010)

P-TAXI : enforcing memory safety with programmable tagged architecture
by: Kamolpornwijit, Witchakorn
Published: (2016)

NeverMind : an interface for human Memory augmentation
by: Rosello, Oscar (Rosello Gil)
Published: (2017)

An analysis of MRAM based memory technologies
by: Vijayaraghavan, Rangarajan, M. Eng. Massachusetts Institute of Technology
Published: (2007)

Ecology and evolution simulation and quest design for an educational massive multiplayer online game
by: Zhang, Mark (Mark A.)
Published: (2014)

Full lead time mapping, analysis and improvement for packaging product manufacturing
by: Jin, Yi, M. Eng. Massachusetts Institute of Technology
Published: (2009)

Orthopaedic applications of ferromagnetic shape memory alloys
by: Guo, Weimin, M. Eng. Massachusetts Institute of Technology
Published: (2009)

Multiplayer prototyping and quest design for an educational massively multiplayer online role-playing game
by: LaVan, Michaela (Michaela S.)
Published: (2014)

Quest of Love
by: Tan, Li Rong
Published: (2017)

India's quest for multipolarity
by: Suryanarayana, P. S.
Published: (2022)

Japan's quest for security
by: Satake, Tomohiko
Published: (2023)

First principles study of ternary skutterudites
by: Li, An, M. Eng. Massachusetts Institute of Technology
Published: (2013)

Quest for knowledge
by: Abd Razak, Dzulkifli
Published: (2005)

Quest in jeopardy
by: Singh, Ajitpal
Published: (2014)

The quest for questions
by: Quek, Joanne Mei-Xian
Published: (2017)

Quest of Love
by: Ong, Jaye Yu Ying
Published: (2017)

A fast 3D full-wave solver for nanophotonics
by: Zhang, Lei, Ph. D. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.
Published: (2008)

Adding sorting and grouping to the Mavo framework for end user web application authoring
by: Sanchez, Daniel, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Collaboration in design optimization
by: Lin, Eunice, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Improving the ability of StarLogo Nova users to save and organize their work
by: Suzuki, Ami, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Large scale video action understanding
by: Yan, Tom, M. Eng. Massachusetts Institute of Technology
Published: (2018)

An ultrasonic sensing and indentation apparatus for assessment of tissue geometry and mechanical properties
by: Liu, Zixi, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Leveraging smartphones to incentivize city-wide, energy ecient transportation
by: Srinivasan, Arjun, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Towards abstractive captioning of infographics
by: Landman, Nathan, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Cooperation and competition : modeling intention and behavior in dual-agent interactions
by: Zhang, Lily, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Senti : a wearable sensor for physiological data acquisition in early education
by: Koren, Gal, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Design and testing of a UAV-based, through-rubble vital sign detection RADAR using metaheuristic topology optimization
by: Pantazis, George, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Millimeter wave communications : from point-to-point links to agile network connections
by: Rodriguez, Michael, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Making localization work for smart homes
by: Jain, Anubhav, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Investigation of multiple-input single-output power conversion for advanced solar cell systems
by: Martynov, Konstantin,M. Eng.Massachusetts Institute of Technology.
Published: (2018)

Algorithmically supported moderation in children's online communities
by: Tan, Flora, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Towards an automated attack tree generator for the IoT
by: Caldera, Carlos, M. Eng. Massachusetts Institute of Technology
Published: (2018)

A flexible framework for composing end to end machine learning pipelines
by: Xue, William, M. Eng. Massachusetts Institute of Technology
Published: (2018)