A differential approach to undefined behavior detection

A differential approach to undefined behavior detection

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014.

Bibliographic Details
Main Author:	Wang, Xi, Ph. D. Massachusetts Institute of Technology
Other Authors:	M. Frans Kaashoek and Nickolai Zeldovich.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2015
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/93071

Similar Items

The undefined quest for full memory safety
by: Gil, Ronald, M. Eng. Massachusetts Institute of Technology
Published: (2018)

A comparison-based approach to mispronunciation detection
by: Lee, Ann, Ph. D. Massachusetts Institute of Technology
Published: (2012)

ZStream : a cost-based query processor for composite event detection
by: Mei, Yuan, Ph. D. Massachusetts Institute of Technology
Published: (2009)

Microwave engineering in superconducting nanowires for single-photon detection
by: Zhu, Di,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Passive sensing of user behavior and Well-being at home
by: Hsu, Chen-Yu,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Dynamically programmable surfaces for high-speed optical modulation and detection
by: Peng, Cheng, Ph. D. Massachusetts Institute of Technology.
Published: (2021)

Advanced silicon photonic microcavities for routing, detection and lasing applications
by: Su, Zhan, Ph. D. Massachusetts Institute of Technology
Published: (2017)

Cyber-attack detection and resilient state estimation in power systems
by: Jevtić, Ana,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Real-time detection of malicious network activity using stochastic models
by: Jung, Jaeyeon, Ph. D. Massachusetts Institute of Technology
Published: (2007)

Unsupervised speech processing with applications to query-by-example spoken term detection
by: Zhang, Yaodong, Ph. D. Massachusetts Institute of Technology
Published: (2013)

Static detection of deadlock for Java libraries
by: Williams, Amy Lynne, Ph.D. Massachusetts Institute of Technology
Published: (2014)

Merged multi-stage power conversion : a hybrid switched-capacitor/magnetics approach
by: Chen, Minjie, Ph. D. Massachusetts Institute of Technology
Published: (2015)

Design of a continuous-time bandpass delta-sigma modulator
by: Yang, Xi, Ph. D. Massachusetts Institute of Technology
Published: (2014)

Novel machine learning approaches for modeling variations in semiconductor manufacturing
by: Chen, Hongge, Ph. D. Massachusetts Institute of Technology
Published: (2017)

Approaches to multi-agent learning
by: Chang, Yu-Han, Ph. D., Massachusetts Institute of Technology
Published: (2006)

Towards dissecting neural ensembles : development of genetic profiling and targeting approaches
by: Li, Yinqing, Ph. D. Massachusetts Institute of Technology
Published: (2016)

The ChainQueen differentiable physics engine
by: Hu, Yuanming,S. M.Massachusetts Institute of Technology.
Published: (2019)

Flash analog-to-digital converters with time-based techniques
by: Yang, Xi,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

The influence of grades on learning behavior of students in MOOCs
by: Wang, Li,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

Differentiable volume rendering using signed distance functions
by: Kaza, Srinivas,M. Eng.Massachusetts Institute of Technology.
Published: (2020)

Tracking eye behavior in decision-making maze problems
by: Wang, Jing Xian,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

A planning scheme for penetrating embedded generation in power distribution grids
by: Wang, Jiankang, Ph. D. Massachusetts Institute of Technology
Published: (2014)

A demand responsive bidding mechanism with price elasticity matrix in wholesale electricity pools
by: Wang, Jiankang, Ph. D. Massachusetts Institute of Technology
Published: (2010)

Predicting unethical behavior from interview responses : machine learning models versus human judges
by: Wang, Sibo,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

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

Dropped object detection in crowded scenes
by: Bhatnagar, Deepti, S.M. Massachusetts Institute of Technology
Published: (2010)

Ordering prenominal modifiers with a ranking approach
by: Liu, Jingyi, M. Eng. Massachusetts Institute of Technology
Published: (2013)

Vibration detection in turbomachinery using non-contacting sensors
by: Cohen, Eric D., M. Eng. Massachusetts Institute of Technology
Published: (2007)

Steklov geometry processing : an extrinsic approach to spectral shape analysis
by: Yu, Wang, S.M. Massachusetts Institute of Technology
Published: (2018)

TaleBlazer analytics : automated anonymous analytics of mobile users' behavior
by: Sosa, Fidel, M. Eng. Massachusetts Institute of Technology
Published: (2014)

Finding patterns in features and observations : new machine learning models with applications in computational criminology, marketing, and medicine
by: Wang, Tong, Ph. D. Massachusetts Institute of Technology
Published: (2017)

Structure learning in high-dimensional graphical models
by: Wang, Yuhao,Ph.D.Massachusetts Institute of Technology.
Published: (2019)

Computing with unreliable resources : design, analysis and algorithms
by: Wang, Da, Ph. D. Massachusetts Institute of Technology
Published: (2014)

Joint design of multi-resolution codes and intra / inter- layer network coding
by: Wang, Tong, Ph. D. Massachusetts Institute of Technology
Published: (2012)

Robot learning with strong priors
by: Wang, Zi,Ph.D.Massachusetts Institute of Technology.
Published: (2020)

Learning motion patterns using hierarchical Bayesian models
by: Wang, Xiaogang, Ph. D. Massachusetts Institute of Technology
Published: (2010)

Predicting Substrates of [gamma]-secretase in Drosophila/
by: Wang, Yuhao, Ph.D. Massachusetts Institute of Technology
Published: (2016)

Optimization as estimation with Gaussian processes in bandit settings
by: Wang, Zi, Ph.D. Massachusetts Institute of Technology
Published: (2016)

Type system for resource bounds with type-preserving compilation
by: Wang, Peng,Ph. D.Massachusetts Institute of Technology.
Published: (2019)

Terahertz wave-molecule interactions via CMOS chips : from comb gas sensor with absolute specificity to ultra-stable, miniaturized clock
by: Wang, Cheng,Ph.D.Massachusetts Institute of Technology.
Published: (2020)