Search: theory.stanford.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Introduction to A* (1997) (theory.stanford.edu)

337 points

8 years ago

2.

Introduction to A* (theory.stanford.edu)

298 points

12 years ago

3.

Programming the Z3 SMT solver (theory.stanford.edu)

251 points

7 years ago

4.

Basics of Proofs (2017) [pdf] (theory.stanford.edu)

145 points

3 years ago

5.

Stochastic Superoptimization [pdf] (theory.stanford.edu)

75 points

12 years ago

6.

Recursive Program Synthesis using Paramorphisms [pdf] (theory.stanford.edu)

63 points

2 years ago

7.

Verifying Bit-Manipulations of Floating-Point [pdf] (theory.stanford.edu)

60 points

10 years ago

8.

Winnowing: Local Algorithms for Document Fingerprinting (2003) [pdf] (theory.stanford.edu)

39 points

12 years ago

9.

Daylight Savings Time (2020) (theory.stanford.edu)

36 points

5 years ago

10.

Singe: Leveraging Warp Specialization for High Performance on GPUs [pdf] (theory.stanford.edu)

36 points

12 years ago

11.

How Bad Is Selfish Routing? (2001) [pdf] (theory.stanford.edu)

31 points

8 years ago

12.

Measuring Empirical Computational Complexity (2007) [pdf] (theory.stanford.edu)

23 points

9 years ago

13.

Pathfinding with A* (theory.stanford.edu)

18 points

18 years ago

14.

The FL Project: The Design of a Function Language (1989) [pdf] (theory.stanford.edu)

16 points

7 years ago

15.

A System for Detecting Software Plagiarism (theory.stanford.edu)

9 points

11 years ago

16.

Heuristics (An essay on changing the heuristic function of the A* algorithm) (theory.stanford.edu)

7 points

17 years ago

17.

First-Class Runtime Generation of High-Performance Types Using Exotypes [pdf] (theory.stanford.edu)

4 points

11 years ago

18.

On Automatically Proving the Correctness of Math.h Implementations [pdf] (theory.stanford.edu)

4 points

9 years ago

19.

Stanford CS364B: Frontiers in Mechanism Design (theory.stanford.edu)

4 points

9 years ago

20.

Regent: A high-productivity programming language for HPC with logical regions [pdf] (theory.stanford.edu)

3 points

7 years ago

21.

FL Project: Design of a Functional Programming Language (1989) [pdf] (theory.stanford.edu)

3 points

11 years ago

22.

First-class Runtime Generation of High-performance Types using Exotypes (theory.stanford.edu)

3 points

12 years ago

23.

High-Performance Branch-Free Algorithms for Extended-Precision Floating-Point [pdf] (theory.stanford.edu)

3 points

9 months ago

24.

Programming Z3 (theory.stanford.edu)

3 points

4 years ago

25.

Stanford CS Chair's Commencement Speech 2018 [pdf] (theory.stanford.edu)

3 points

8 years ago

26.

The A* algorithm – Implementation notes (theory.stanford.edu)

3 points

8 years ago

27.

CS364A: Algorithmic Game Theory (theory.stanford.edu)

3 points

8 years ago

28.

ML: Detecting Clusters of Fake Accounts in Online Social Networks [pdf] (theory.stanford.edu)

3 points

10 years ago

29.

Heuristics (A* Pathfinding) (theory.stanford.edu)

3 points

10 years ago

30.

How Bad Is Selfish Routing? (2001) [pdf] (theory.stanford.edu)

2 points

9 years ago