An extensible framework for synthesizing efficient, verified parsers

An extensible framework for synthesizing efficient, verified parsers

Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.

Bibliographic Details
Main Author:	Gross, Jason S
Other Authors:	Adam Chlipala.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2016
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/101581

Similar Items

A fast approach for generating efficient parsers on FPGAs
by: Cao, Zhuang, et al.
Published: (2020)

Using a symbolic language parser to Improve Markov language models
by: Townsend, Duncan Clarke McIntire
Published: (2016)

SolidVC : a decentralized framework for Verifiable Credentials on the web
by: Ezike, Kayode Yadilichi.
Published: (2019)

A framework for specifying and formally verifying application security policies
by: Shao, Christopher,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

Incrementally verifiable computation or knowledge implies time/space efficiency
by: Valiant, Paul (Paul Andrew)
Published: (2007)

The unified plausibility parser : how story-understanding systems can read stories written for humans
by: Ceccarelli, Emanuele
Published: (2018)

VLSI implementation of a parser for MPEG-2 systems program stream
by: Ashwin Pai Ballambettu.
Published: (2008)

PoEM : a parser of emotion metaphors
by: Hiyakumoto, Laurie Satsue, 1969-
Published: (2011)

Toward a Principle-Based Parser
by: Barton, G. Edward, Jr.
Published: (2004)

Algorithms for verifying the integrity of untrusted storage
by: Sudan Ajay, 1980-
Published: (2005)

Theory and practice of verifiable secret sharing
by: Gennaro, Rosario
Published: (2005)

Voter verifiability in homomorphic election schemes
by: Forsythe, Joy Marie
Published: (2007)

Verified compilation of abstract network policies
by: Katz, Theodore(Theodore Robert)
Published: (2019)

An extensible integration framework for the capture of multimedia assets
by: Hu, Jeffrey (Jeffrey J.), 1976-
Published: (2013)

Implementing a verified FTP client and server
by: Ramseyer, Jennifer
Published: (2016)

Verifying an I/O-concurrent file system
by: Chajed, Tej
Published: (2017)

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

Verifying information flow control in Java bytecodes
by: Mathewson, Nicholas A. (Nicholas Albert), 1977-
Published: (2014)

Performance optimization of the VDFS verified file system
by: Konradi, Alexander V.
Published: (2018)

The UML model for parser in program understanding system.
by: Rosidi, Norazimah, et al.
Published: (2011)

An OOAD model of program understanding system’s parser.
by: Rosidi, Norazimah, et al.
Published: (2013)

Synthesizing framework uses from program behavior data
by: Xu, Zhilei
Published: (2011)

The implementation of a split-value verifiable voting system
by: Pedroso, Marco Antonio L
Published: (2016)

End-to-end verifiability for optical scan voting systems
by: Shen, Emily (Emily Huei-Yi)
Published: (2009)

Zephyr extensibility in small workstation oriented computer networks
by: Hunter, Jason T. (Jason Todd), 1974-
Published: (2009)

Using a denotational proof language to verify dataflow analyses
by: Hao, Melissa B. (Melissa Betty), 1979-
Published: (2014)

SNARKs for C : verifying program executions succinctly and in zero knowledge
by: Virza, Madars
Published: (2014)

Verifiable compilation of I/O automata without global synchronization
by: Tauber, Joshua A. (Joshua Allen)
Published: (2006)

If the Current Clique Algorithms Are Optimal, so Is Valiant's Parser
by: Abboud, Amir, et al.
Published: (2021)

From Natural Language Specifications to Program Input Parsers
by: Lei, Tao, et al.
Published: (2013)

A framework for synthesizing transactional database implementations in a proof assistant
by: Suriyakarn, Sorawit
Published: (2018)

Bismuth : a blockchain-based program for verifying responsible data usage
by: Erhardt, Keeley Donovan
Published: (2018)

Convergent scheduling : a flexible and extensible scheduling framework for clustered VLIW architectures
by: Puppin, Diego, 1976-
Published: (2014)

Extracting and optimizing low-level bytecode from high-level verified Coq
by: Ioannidis, Eleftherios Ioannis.
Published: (2019)

Issues with implementation based design and the classical mistakes of software engineering : a case study on the development of a web parser
by: Garg, Shiva.
Published: (2011)

TESLA : a transparent, extensible session-layer framework for end-to-end network services
by: Salz, Jonathan Michael, 1979-
Published: (2014)

Using mouse strokes to verify user identity
by: Toh, Jing Sheng.
Published: (2013)

A comparison of designs for extensible and extension-oriented compilers
by: Clements, Austin T., S.M. Massachusetts Institute of Technology
Published: (2009)

Using mouse strokes to verify user identity
by: Cheong, Lichang.
Published: (2011)

Kronos : verifying leak-free reset for a system-on-chip with multiple clock domains
by: Moroze, Noah(Noah F.)
Published: (2021)