Boundless Memory Blocks Cristian Cadar M. Rinard, D. Dumitran Massachusetts Institute of Technology

Source URL: www.doc.ic.ac.uk

Data Size Optimizations for Java Programs C. Scott Ananian Martin Rinard Laboratory for Computer Science

Source URL: cscott.net

Write Barrier Removal by Static Analysis Karen Zee and Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 {~=-. rJ.uard}@lcs.mit, edu

Source URL: flex.cscott.net

Write Barrier Removal by Static Analysis ∗ Karen Zee and Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 {kkz,

Source URL: flex.cscott.net

An Implementation of Scoped Memory for Real-Time Java William S. Beebee, Jr. and Martin Rinard MIT Laboratory for Computer Science Massachusetts Institute of Technology, Cambridge MA, 02139 , rinard@l

Source URL: flex.cscott.net

An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard

Source URL: lara.epfl.ch

• Applied mathematics
• Formal methods
• Logic in computer science
• Reasoning
• Proof assistant
• Formal verification
• KeY
• Isabelle
• Reasoning system
• Theoretical computer science
• Mathematics
• Automated theorem proving

Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard

Source URL: lara.epfl.ch

• Automated theorem proving
• Formal methods
• Logic in computer science
• Model theory
• KeY
• First-order logic
• Isabelle
• Formal verification
• Predicate transformer semantics
• Mathematics
• Theoretical computer science
• Mathematical logic

From Natural Language Specifications to Program Input Parsers Tao Lei, Fan Long, Regina Barzilay, and Martin Rinard Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {taolei,

Source URL: people.csail.mit.edu

• Compiler construction
• Markup languages
• Bottom-up parsing
• Syntax
• Top-down parsing
• Compiler-compiler
• Natural language processing
• Programming language
• HTML
• Computing
• Parsing
• Linguistics

Information-Flow Analysis of Android Applications in DroidSafe Michael I. Gordon∗ , Deokhwan Kim∗ , Jeff Perkins∗ , Limei Gilham† , Nguyen Nguyen‡ , and Martin Rinard∗ ∗ Massachusetts Institute of Technolo

Source URL: www.internetsociety.org

• Android
• Embedded Linux
• Smartphones
• Scripting languages
• Java
• Application programming interface
• Dalvik
• Object-oriented design
• Lua
• Computing
• Software
• Cross-platform software

Data Structure Fusion Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv Stanford University, AT&T Labs Research, MIT, Tel Aviv University Abstract. We consider the problem of specifying data stru

Source URL: theory.stanford.edu

• Mathematics
• Data modeling
• SQL
• Relational algebra
• Extension
• Tree decomposition
• Finitary relation
• Relation
• Table
• Graph theory
• Data management
• Relational model