lang-en 44
- Web Program Analysis I: From a URL to an Interaction
- Formalization in Software Engineering (7): A Short History of Formal Methods
- Formalization in Software Engineering (6): AI Wrote the Code. Who Checks It?
- Formalization in Software Engineering (5): Precision, Speed, and Soundness
- Formalization in Software Engineering (4): Why Does the Analyzer Stop? Transfer Functions and Fixed Points
- Formalization in Software Engineering (3): From Concrete States to Abstract Interpretation
- Formalization in Software Engineering (2): Where Can a Program Go? From Code and CFGs to Program Semantics
- Formalization in Software Engineering (1): Reading Sets, Mappings, and Program States
- A Beginner's Guide to Formalization in Software Engineering
- Denotational Semantics of Typed Lambda Calculus V — CPO Model for Imperative Programs
- Denotational Semantics of Typed Lambda Calculus IV — CPO Model for PCF
- Denotational Semantics of Typed Lambda Calculus III — Full Continuous Hierarchy
- Denotational Semantics of Typed Lambda Calculus II — Partial Orders and Continuous Functions
- Denotational Semantics of Typed Lambda Calculus I — Henkin Models
- Easy Foundations for Programming Languages X — Imperative Programs
- Easy Foundations for Programming Languages IX — Universal Algebra and Algebraic Data Types
- Easy Foundations for Programming Languages VIII — Proof Systems
- PLDI 2023 Distinguished Papers Comments
- Easy Foundations for Programming Languages VII — Simply-Typed Lambda Calculus
- Easy Foundations for Programming Languages VI — PCF Extensions (Unit, Sum, Recursive Types)
- Easy Foundations for Programming Languages V — PCF Iteration and Recursion
- Easy Foundations for Programming Languages IV — PCF Semantics
- Randomized Algorithm XII — Prediction with Expert Advice
- Randomized Algorithm XI — 2-SAT & Markov Chain
- Easy Foundations for Programming Languages III — The Language PCF & Its Syntax
- Randomized Algorithm X — DNF & Monte Carlo Method
- Randomized Algorithm IX — Hashing
- Randomized Algorithm VIII — Balls into Bins
- Easy Foundations for Programming Languages II — Notation and Mathematical Conventions
- Easy Foundations for Programming Languages I — Introduction
- Randomized Algorithm VII — Fingerprinting
- Randomized Algorithm VI — Bipartite Perfect Matching & Parallel Algorithm
- Randomized Algorithm V — Polynomial Identity Testing
- Programming Language Pragmatics
- Randomized Algorithm IV— Integer Programming
- Randomized Algorithm III— Concentration Inequalities
- Randomized Algorithm II — Global Min Cut & Median
- Randomized Algorithm I — Introduction
- GO Concurrent Programming Practice — Raft
- Academic Writing III — Revising
- Academic Writing II — Error-prone Style Details
- Academic Writing I — Thinking about the Research
- The Difference in Common Usage between JavaScript and Python
- Selenium Source Code Analysis