Skip to main content
Radu GRIGore's user avatar
Radu GRIGore's user avatar
Radu GRIGore's user avatar
Radu GRIGore
  • Member for 13 years, 8 months
  • Last seen more than a month ago
48 votes

Algorithms from the Book

44 votes

What's new in purely functional data structures since Okasaki?

37 votes

What papers should everyone read?

29 votes
Accepted

Symbolic Execution is a case of Abstract Interpretation?

28 votes
Accepted

What is the theoretical basis of imperative programming?

22 votes

Books on programming language semantics

18 votes

What is the enlightenment I'm supposed to attain after studying finite automata?

14 votes
Accepted

Are innermost reductions perpetual in untyped λ-calculus?

13 votes

Relationship between contracts and dependent typing

13 votes
Accepted

Is it possible to generate a collision free hash function from an equality function?

13 votes

How important is knowing how to program for TCS?

13 votes
Accepted

Original Hoare Logic termination paper

12 votes

What do we know about provably correct programs?

11 votes
Accepted

Limits on lock-free collections?

11 votes

#SAT Solver download

11 votes

For which algorithms is there a large gap between the theoretical analysis and reality?

11 votes

Small steps for better TCS conferences?

11 votes

How to Create Mission Critical Software?

10 votes

Where and how did computers help prove a theorem?

9 votes
Accepted

How to find the cycles which, together, involve the biggest number of non-shared edges in a directed graph?

8 votes

Proof assistant for writing mathematics

8 votes

Practical applications of the Theory of Equality with Uninterpreted Functions (EUF)

7 votes

Well known classes of boolean formulas that require exponentially long resolution proofs

6 votes

Heuristics for estimating the efficiency of Reduced Ordered Binary Decision Diagrams?

6 votes

Reference Request: Application of Block Designs to Software Testing

6 votes

Complexity of n-queens-completion?

5 votes
Accepted

Graph with minimum number of edges having given sets of nodes as its paths

5 votes

Unary parametricity vs. binary parametricity

5 votes

Can words in regular languages be generated by automata in a unique way?

5 votes

Streaming algorithms suitable for undergrad course