Sciweavers

POPL
2011
ACM
14 years 10 months ago
Correct blame for contracts: no more scapegoating
Christos Dimoulas, Robert Bruce Findler, Cormac Fl...
POPL
2011
ACM
14 years 10 months ago
Dynamic inference of static types for ruby
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
PODS
2011
ACM
165views Database» more  PODS 2011»
14 years 10 months ago
Tight bounds for Lp samplers, finding duplicates in streams, and related problems
Hossein Jowhari, Mert Saglam, Gábor Tardos
PODS
2011
ACM
238views Database» more  PODS 2011»
14 years 10 months ago
Beyond simple aggregates: indexing for summary queries
Database queries can be broadly classified into two categories: reporting queries and aggregation queries. The former retrieves a collection of records from the database that mat...
Zhewei Wei, Ke Yi
PODS
2011
ACM
220views Database» more  PODS 2011»
14 years 10 months ago
Maximizing conjunctive views in deletion propagation
In deletion propagation, tuples from the database are deleted in order to reflect the deletion of a tuple from the view. Such an operation may result in the (often necessary) del...
Benny Kimelfeld, Jan Vondrák, Ryan Williams