david's pl notes
Search
Search
Dark mode
Light mode
Explorer
misc reading notes
Java Implementation and HotSpot Optimizations
reading notes
ahoDragon10112007
ahoDragonBookBasic2007
ahoDragonBookGrammars2007
ahoDragonBookMachineindependent2007
appelCritiqueStandardML1993
appelSSAFunctionalProgramming1998
backusCanProgrammingBe1978
barrettSatisfiabilityModuloTheories2008
blellochProgrammingParallelAlgorithms1996
brachaMirrorsDesignPrinciples2004
carlssonImplementingPrologFunctional1984
chakravartyDataParallelHaskell2007
clarkeVerificationToolsFinitestate1994
ferranteProgramDependenceGraph1987
flanaganEssenceCompilingContinuations1993
fordPackratParsingSimple2002
gabrielLispGoodNews1991
godefroidDARTDirectedAutomated2005
grafConstructionAbstractState1997
henzingerLazyAbstraction2002
hoareHintsProgrammingLanguage1983
hughesWhyFunctionalProgramming1989
kowalskiAlgorithmLogicControl1979
krishnamurthiAutomataMacros2006
mitchellModelsTypedCalculus1996
mouraCoroutinesLua2004
nielsonPrinciplesProgramAnalysis1999a
nielsonPrinciplesProgramAnalysis1999b
nieuwenhuisSolvingSATSAT2006
ocallahanHybridDynamicData2003
pierceATAPLDependentTypes2005
pierceATAPLEffectTypes2005
pierceTAPL11Simplytyped2002
pierceTAPL2002
pierceTAPL12132002
pierceTAPL15182002
pierceTAPL20222002
repsProgramAnalysisGraph1998
sridharanAliasAnalysisObjectOriented2013
tipSurveyProgramSlicing1994
wadlerHowEnterprisesUse
wilsonUniprocessorGarbageCollection1992
winskelLectureNotesDenotational2005
winskelWinskelAxiomaticSemantics1993
winskelWinskelDenotationalSemantics1993
wobbrockResearchContributionsHumancomputer2016a
zhangBetterTogetherUnifying2023a
2024-03-14 • CS 294, 7Th – How to design languages
2024-04-02 • CS 294, 11Tu – SMT
2024-04-11 • CS 294, 12Th – Projectional Editors
2024-04-16 • CS 294, 13Tu – Program Slicing
2024-06-17 • lambda calc
2024-06-26 • type system extensions
2024-07-03 • denotational semantics and fancy types
2024-07-10 • optimizations and gc
2024-07-17 • axiomatic semantics, domain theory
2024-07-24 • dependent & effect types
2024-07-31 • attribute grammars, ssa, cps
2024-07-31 • Prelim, Justin targeted - abstract interpretation
2024-08-05 • Prelim, Justin grab bag
2024-08-07 • control flow analysis & abstract interpretation
2024-08-07 • Prelim, Justin targeted - program slicing
2024-08-09 • Prelim, Parker grab bag - axiomatic semantics
2024-08-12 • Prelim, Justin grab bag
2024-08-14 • Prelim, Justin targeted - auto-parallelization
2024-08-14 • program dependence graphs, program slicing, lazy abstraction
2024-08-20 • Prelim review - STLC and friends
2024-08-21 • auto-parallelization
2024-08-21 • Prelim, Federico grab bag
2024-08-22 • Prelim review - type-checking and inference
2024-08-23 • Prelim review - imperative semantics
2024-08-24 • Prelim review - program analysis
2024-08-25 • Prelim review - compiler innards
2024-08-25 • Prelim review - language design and features
2024-08-26 • Prelim review - testing and verification
compiler
continuation-passing style
CS 263 - Introduction to Denotational Semantics
CS 264 Notes
CS 294
dataflow programming
Datalog
denotational semantics and domain theory
escape analysis
inlining
interprocedural analysis
lattice
parsing
program slicing
program synthesis
register allocation
SAT and SMT solving
semantic analysis
value numbering
Home
❯
reading notes
Folder: reading-notes
47 items under this folder.
Sep 02, 2024
ocallahanHybridDynamicData2003
reading
Sep 02, 2024
pierceATAPLDependentTypes2005
reading
Sep 02, 2024
pierceATAPLEffectTypes2005
reading
Sep 02, 2024
pierceTAPL11Simplytyped2002
reading
Sep 02, 2024
pierceTAPL12132002
reading
Sep 02, 2024
pierceTAPL15182002
reading
Sep 02, 2024
pierceTAPL2002
reading
Sep 02, 2024
pierceTAPL20222002
reading
Sep 02, 2024
repsProgramAnalysisGraph1998
reading
Sep 02, 2024
sridharanAliasAnalysisObjectOriented2013
reading
access-path
alias-analysis
allocation-site
call-graph
call-site
Sep 02, 2024
tipSurveyProgramSlicing1994
reading
Sep 02, 2024
wadlerHowEnterprisesUse
reading
Sep 02, 2024
wilsonUniprocessorGarbageCollection1992
reading
Sep 02, 2024
winskelLectureNotesDenotational2005
reading
Sep 02, 2024
winskelWinskelAxiomaticSemantics1993
reading
semantics
Sep 02, 2024
winskelWinskelDenotationalSemantics1993
reading
semantics
Sep 02, 2024
wobbrockResearchContributionsHumancomputer2016a
reading
Sep 02, 2024
zhangBetterTogetherUnifying2023a
reading
computer-science---programming-languages
Sep 02, 2024
ahoDragon10112007
reading
Sep 02, 2024
ahoDragonBookBasic2007
reading
Sep 02, 2024
ahoDragonBookGrammars2007
reading
Sep 02, 2024
ahoDragonBookMachineindependent2007
reading
Sep 02, 2024
appelCritiqueStandardML1993
reading
Sep 02, 2024
appelSSAFunctionalProgramming1998
reading
Sep 02, 2024
backusCanProgrammingBe1978
reading
Sep 02, 2024
barrettSatisfiabilityModuloTheories2008
reading
Sep 02, 2024
blellochProgrammingParallelAlgorithms1996
reading
Sep 02, 2024
brachaMirrorsDesignPrinciples2004
reading
Sep 02, 2024
carlssonImplementingPrologFunctional1984
reading
artificial-intelligence
continuations
functional-programming
interpreters
logic-programming
prolog
Sep 02, 2024
chakravartyDataParallelHaskell2007
reading
Sep 02, 2024
clarkeVerificationToolsFinitestate1994
reading
automatic-verification
binary-decision-diagrams
model-checking
temporal-logic
Sep 02, 2024
ferranteProgramDependenceGraph1987
reading
Sep 02, 2024
flanaganEssenceCompilingContinuations1993
reading
Sep 02, 2024
fordPackratParsingSimple2002
reading
Sep 02, 2024
gabrielLispGoodNews1991
reading
Sep 02, 2024
godefroidDARTDirectedAutomated2005
reading
Sep 02, 2024
grafConstructionAbstractState1997
reading
Sep 02, 2024
henzingerLazyAbstraction2002
reading
Sep 02, 2024
hoareHintsProgrammingLanguage1983
reading
Sep 02, 2024
hughesWhyFunctionalProgramming1989
reading
Sep 02, 2024
kowalskiAlgorithmLogicControl1979
reading
Sep 02, 2024
krishnamurthiAutomataMacros2006
reading
Sep 02, 2024
mitchellModelsTypedCalculus1996
reading
Sep 02, 2024
mouraCoroutinesLua2004
reading
Sep 02, 2024
nielsonPrinciplesProgramAnalysis1999a
reading
Sep 02, 2024
nielsonPrinciplesProgramAnalysis1999b
reading
Sep 02, 2024
nieuwenhuisSolvingSATSAT2006
reading