Programming and verifying a compiler with Coq: an experience report Xavier Leroy INRIA Paris-Rocquencourt Dependently Typed Programming 2008

Source URL: sneezy.cs.nott.ac.uk

Verifying Safety Properties in Assembly Code without Compiler Support Matt Harren George Necula

Source URL: chess.eecs.berkeley.edu

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Source URL: cs.nyu.edu

• Computing
• Computer science
• Software engineering
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• SIGPLAN
• Compiler
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• ACM Transactions on Programming Languages and Systems
• Functional languages

A JML compiler based on AspectJ Henrique Rebˆelo, Ricardo Lima, M´arcio Corn´elio, S´ergio Soares Pernambuco State University Computing Systems Department Rua Benfica, 455, Madalena, Recife - PE, Brazil {hemr,ricardo

Source URL: www.cin.ufpe.br

FILIP PIZLO Resume • filpizlo.com • 1817 47th Ave • Capitola, CA 95010 • Summary. I’m a systems programmer specializing in compilers, programming language runtimes, memory management,

Source URL: www.filpizlo.com

• Computing
• Software
• Java
• Compilers
• Compiler construction
• Programming language implementation
• Cross-platform software
• Jikes RVM
• SIGPLAN
• LLVM
• Just-in-time compilation
• Real time Java

PDF Document

Source URL: www2.lingfil.uu.se

• Parser generators
• Computational linguistics
• Compiler construction
• Parsing
• Programming language implementation
• Syntax
• Treebank
• Natural language processing
• GOLD
• LR parser
• LL parser

PDF Document

Source URL: code.ouroborus.net

• Software engineering
• Computing
• Computer programming
• Data types
• Compiler construction
• Compilers
• LLVM
• Functional languages
• Const
• Aliasing
• Immutable object
• Haskell

PDF Document

Source URL: www.adamwelc.org

• Computing
• Software
• Hadoop
• Compiler construction
• Programming language implementation
• Apache Giraph
• PageRank
• Compiler
• Connected component
• Optimizing compiler
• Algorithm
• Connectivity

All you wanted to know about the HiPE compiler (but might have been afraid to ask) K. Sagonas, M. Pettersson, R. Carlsson, P. Gustafsson, T. Lindahl Information Technology Department, Uppsala University, Sweden hipe@csd

Source URL: user.it.uu.se