David Gries

Known as: Gries 
David Gries (born 26 April 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States primarily known… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Compositional abstractions underly many reasoning principles for concurrent programs: the concurrent environment is abstracted in… (More)
  • figure 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory… (More)
  • figure 4
  • figure 5
  • figure 7
  • figure 8
  • figure 9
Is this relevant?
2006
2006
This discussion note argues that distinctive collexeme analysis (Gries and Stefanowitsch 2004) can be applied to analyses of… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
It is challenge to maintain frequent items over a data stream, with a small bounded memory, in a dynamic environment where both… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2003
2003
Programming network processors remains an art due to the variety of different network processor architectures and due to little… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2002
2002
This thesis presents the first formalization of the Owicki-Gries method and its compositional version, the rely-guarantee method… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Compositional proof systems for shared variable concurrent programs can be devised by including the interference information in… (More)
Is this relevant?
1976
1976
It is requested to design a program that will generate the N! permutations of the values from 0 through N — 1 in such an order… (More)
Is this relevant?
Highly Cited
1974
Highly Cited
1974
The inherent computational complexity of a va r i e ty of decision problems i n mathematical logic and the theory of automata i s… (More)
  • table 4.2
Is this relevant?