Search: theory.stanford.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Introduction to A* (1997)

theory.stanford.edu

8 years ago

337 points

2.

Introduction to A*

theory.stanford.edu

12 years ago

298 points

3.

Programming the Z3 SMT solver

theory.stanford.edu

7 years ago

251 points

4.

Basics of Proofs (2017) [pdf]

theory.stanford.edu

3 years ago

145 points

5.

Stochastic Superoptimization [pdf]

theory.stanford.edu

12 years ago

75 points

6.

Recursive Program Synthesis using Paramorphisms [pdf]

theory.stanford.edu

2 years ago

63 points

7.

Verifying Bit-Manipulations of Floating-Point [pdf]

theory.stanford.edu

10 years ago

60 points

8.

Winnowing: Local Algorithms for Document Fingerprinting (2003) [pdf]

theory.stanford.edu

12 years ago

39 points

9.

Daylight Savings Time (2020)

theory.stanford.edu

5 years ago

36 points

10.

Singe: Leveraging Warp Specialization for High Performance on GPUs [pdf]

theory.stanford.edu

12 years ago

36 points

11.

How Bad Is Selfish Routing? (2001) [pdf]

theory.stanford.edu

8 years ago

31 points

12.

Measuring Empirical Computational Complexity (2007) [pdf]

theory.stanford.edu

9 years ago

23 points

13.

Pathfinding with A*

theory.stanford.edu

18 years ago

18 points

14.

The FL Project: The Design of a Function Language (1989) [pdf]

theory.stanford.edu

7 years ago

16 points

15.

A System for Detecting Software Plagiarism

theory.stanford.edu

11 years ago

9 points

16.

Heuristics (An essay on changing the heuristic function of the A* algorithm)

theory.stanford.edu

17 years ago

7 points

17.

First-Class Runtime Generation of High-Performance Types Using Exotypes [pdf]

theory.stanford.edu

11 years ago

4 points

18.

On Automatically Proving the Correctness of Math.h Implementations [pdf]

theory.stanford.edu

9 years ago

4 points

19.

Stanford CS364B: Frontiers in Mechanism Design

theory.stanford.edu

9 years ago

4 points

20.

Regent: A high-productivity programming language for HPC with logical regions [pdf]

theory.stanford.edu

7 years ago

3 points

21.

FL Project: Design of a Functional Programming Language (1989) [pdf]

theory.stanford.edu

11 years ago

3 points

22.

First-class Runtime Generation of High-performance Types using Exotypes

theory.stanford.edu

12 years ago

3 points

23.

High-Performance Branch-Free Algorithms for Extended-Precision Floating-Point [pdf]

theory.stanford.edu

9 months ago

3 points

24.

theory.stanford.edu

4 years ago

3 points

25.

Stanford CS Chair's Commencement Speech 2018 [pdf]

theory.stanford.edu

8 years ago

3 points

26.

The A* algorithm – Implementation notes

theory.stanford.edu

8 years ago

3 points

27.

CS364A: Algorithmic Game Theory

theory.stanford.edu

8 years ago

3 points

28.

ML: Detecting Clusters of Fake Accounts in Online Social Networks [pdf]

theory.stanford.edu

10 years ago

3 points

29.

Heuristics (A* Pathfinding)

theory.stanford.edu

10 years ago

3 points

30.

How Bad Is Selfish Routing? (2001) [pdf]

theory.stanford.edu

9 years ago

2 points