VLDB 2026 Research / reviewers in the wild / expert
Gregory Wilsenach
dblp:218/5249
· DBLP profile ↗
4ranked-venue papers
0as first author
2since 2021 · last 2022
0000-0002-4797-2777ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Lower Bounds for Symmetric Circuits for the Determinant
Anuj Dawar, Gregory Wilsenach |
ITCS | 2 |
| 2022 | Symmetric Circuits for Rank LogicabstractFixed-point logic with rank (FPR) is an extension of fixed-point logic with counting (FPC) with operators for computing the rank of a matrix over a finit field. The expressive power of FPR properly extends that of FPC and is contained in P, but it is not known if that containment is proper. We give a circuit characterization for FPR in terms of families of symmetric circuits with rank gates, along the lines of that for FPC given by Anderson and Dawar in 2017. This requires the development of a broad framework of circuits in which the individual gates compute functions that are not symmetric (i.e., invariant under all permutations of their inputs). This framework also necessitates the development of novel techniques to prove the equivalence of circuits and logic. Both the framework and the techniques are of greater generality than the main result. Anuj Dawar, Gregory Wilsenach |
ACM Trans. Comput. Log. | 2 |
| 2020 | Symmetric Arithmetic Circuits
Anuj Dawar, Gregory Wilsenach |
ICALP | 2 |
| 2018 | Symmetric Circuits for Rank Logic
Anuj Dawar, Gregory Wilsenach |
CSL | 2 |