编译器课程的内容包括：
Fear of serious injury cannot alone justify suppression of free speech and assembly. Louis Brandeis Whitney v. California, 1927 Assemblers, Linkers, and the SPIM Simulator James R. Larus Microsoft Research Microsoft Appendix A Source file Source file Source file Assemblers, Linkers, and the SPIM Simulator Object file Object file Object file Program library Executable file […]
Alistair receives a text message from his friend Beatrice, who is very excited because she has received word of a happy event. She texts: i talked to my dad’s second cousin in toronto on good friday and he was just good newsed! Consider each of the following linguistic concepts. For each one, briefly explain what
NLP Viterbi CKY algorithm Read More »
# Scalable Surfstore ## Extend your surfstore project 1. Make a copy of your solution if you want to: mkdir proj4 cp -r proj3/* proj4 2. copy over consistent hashing files and new new .proto service defination mkdir cmd/SurfstorePrintBlockMapping cp /yourPath/starter-code/cmd/SurfstorePrintBlockMapping/main.go cmd/SurfstorePrintBlockMapping/ cp /yourPath/starter-code/pkg/surfstore/ConsistentHashRing.go pkg/surfstore cp /yourPath/starter-code/pkg/surfstore/SurfStore.proto pkg/surfstore cp /yourPath/starter-code/pkg/surfstore/SurfstoreInterfaces.go pkg/surfstore 4. manually change MetaStore.go
Scalable Surfstore Golang Project 4 Read More »
# Project 3 Surfstore GoLang This is the starter code for the SurfStore project Before you get started, make sure you understand the following 2 things about Go. (These will also be covered in class and in discussions) 1. Interfaces: They are named collections of method signatures. Here are some good resources to understand interfaces
Project 3 Surfstore GoLang Read More »
# Programming Assignment 2: Bismuth interpreter **See Canvas for the due date** In this assignment, you are going to write an interpreter for an _external_ domain specific language for image manipulation: Bismuth. The goals of this assignment are: – Seeing the difference between embedded vs external DSLs, – Recursively traversing ASTs, – Following a formal
Programming Assignment 2 Bismuth interpreter Read More »
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE DerivingVia, OverloadedRecordDot, FlexibleContexts #-} {-# LANGUAGE NamedFieldPuns #-} — | The interpreter for bismuth programs. module Eval where import Control.Applicative (liftA2, liftA3) import Control.Monad import Data.List (intersperse) import Data.Maybe (fromMaybe, fromJust) import Data.Map.Strict (Map, (!?)) import qualified Data.Map.Strict as M import qualified Codec.Picture as P import Point import Image
Bismuth interpreter Eval Read More »
CIS 547 – The LLVM Framework CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow
CIS 547 The LLVM Framework Read More »
CIS 547 – Statistical Debugging CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow Analysis
CIS 547 Statistical Debugging Read More »
CIS 547 – Dynamic Symbolic Execution CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow
CIS 547 Dynamic Symbolic Execution Read More »
CIS 547 – Dataflow Analysis CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow Analysis
CIS 547 Dataflow Analysis Read More »