Verification of correctness properties of programs that read input files

Verification of correctness properties of programs that read input files

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

Bibliographic Details
Main Author:	Kim, Deokhwan,Ph. D.Massachusetts Institute of Technology.
Other Authors:	Martin C. Rinard.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2020
Subjects:	Electrical Engineering and Computer Science.
Online Access:	https://hdl.handle.net/1721.1/124063

Similar Items

Verification of semantic commutativity conditions and inverse operations on linked data structures
by: Kim, Deokhwan, Ph. D. Massachusetts Institute of Technology.
Published: (2012)

Decentralized infrastructure for file storage
by: Greco, Nicola, S.M. Massachusetts Institute of Technology
Published: (2018)

Automatic input rectification
by: Long, Fan, Ph. D. Massachusetts Institute of Technology
Published: (2012)

File system unification using LatticeFS
by: Su, Yang, M. Eng. Massachusetts Institute of Technology
Published: (2010)

New interpretable machine learning techniques and an application to stroke prediction in atrial fibrillation patients
by: Yang, Hongyu,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Large-scale high-density terahertz radiator and receiver Arrays on silicon chips
by: Hu, Zhi,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Infrared detectors based on two-dimensional materials and heterostructures
by: Lin, Yuxuan,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Deep learning with physical and power-spectral priors for robust image inversion
by: Deng, Mo,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

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

Novel electromagnetic scattering phenomena
by: Yang, Yi,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Cognitive optical network architecture in dynamic environments
by: Zheng, Xijia,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

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

Breaking barriers in secret sharing
by: Liu, Tianren,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

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

Technology and applications of 2D materials in micro- and macroscale electronics
by: Hempel, Marek,Ph. D.Massachusetts Institute of Technology.
Published: (2021)

Diversity-inducing probability measures for machine learning
by: Li, Chengtao,Ph. D.Massachusetts Institute of Technology.
Published: (2019)

Intelligible models for learning categorical data via generalized fourier spectrum
by: Zhang, Xuhong,Ph. D.Massachusetts Institute of Technology.
Published: (2019)

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

A cost-effective battery management and monitoring strategy for micro-grids in India
by: Kumar, Rakesh,Ph. D.Massachusetts Institute of Technology.
Published: (2019)

Bayesian distance metric learning on i-vector for speaker verification
by: Fang, Xiao, Ph. D. Massachusetts Institute of Technology
Published: (2014)

Experimental verification for the design of a doubly-fed permanent magnetic generator
by: Lu, Bin, Ph. D. Massachusetts Institute of Technology
Published: (2008)

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

Speech processing with less supervision : learning from weak labels and multiple modalities
by: Hsu, Wei-Ning,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Statistical metrology and process control of quantum devices
by: Walsh, Michael P.,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Improving learning experience in MOOCs with educational content linking
by: Li, Shang-Wen,Ph. D.Massachusetts Institute of Technology.
Published: (2017)

Eclat : automatic generation and classification of test inputs
by: Pacheco, Carlos, S.M. Massachusetts Institute of Technology
Published: (2006)

Verification of d-wave pairing symmetry by microwave intermodulation distortion measurements in yttrium barium copper oxide
by: Park, Sang-Hoon, Ph. D. Massachusetts Institute of Technology
Published: (2007)

Language technologies in speech-enabled second language learning games : from reading to dialogue
by: Xu, Yushi, Ph. D. Massachusetts Institute of Technology
Published: (2012)

Wide common mode input operational amplifier with serially programmable output offset
by: Li, Wendi, M. Eng. Massachusetts Institute of Technology
Published: (2011)

Advancing declarative programming
by: Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Published: (2015)

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

Executable specifications for Java programs
by: Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Published: (2011)

Preventing information leaks with policy-agnostic programming
by: Yang, Jean, Ph. D. Massachusetts Institute of Technology
Published: (2016)

Terahertz laser frequency combs : devices and applications
by: Yang, Yang,Ph. D.Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.
Published: (2019)

Symmetries in algebraic Property Testing
by: Grigorescu, Elena, Ph. D., Massachusetts Institute of Technology
Published: (2011)

Computational perception of physical object properties
by: Wu, Jiajun, Ph.D. Massachusetts Institute of Technology
Published: (2016)

An integrated multi-input single-output buck converter for laterally-arrayed multi-bandgap solar cells
by: Zhang, Haoquan(Electrical and computer science engineer)Massachusetts Institute of Technology.
Published: (2019)

The Hob system for verifying software design properties
by: Lam, Patrick, Ph. D. Massachusetts Institute of Technology
Published: (2007)

Optical properties of two-dimensional transition metal dichalcogenides
by: Lin, Yuxuan, Ph. D. Massachusetts Institute of Technology
Published: (2015)

Optimizations in stream programming for multimedia applications
by: Wong, Eric, M. Eng. Massachusetts Institute of Technology
Published: (2014)