Travelled to:
3 × USA
Collaborated with:
A.Silberschatz J.M.Hellerstein M.Brucato R.Ramakrishna A.Meliou K.Fernandes D.Angluin C.H.Papadimitriou K.Bajda-Pawlikowski J.Huang D.J.Abadi
Talks about:
packag (4) queri (3) builder (2) tupl (2) play (2) quantifi (1) boolean (1) verifi (1) specif (1) hadoop (1)
Person: Azza Abouzied
DBLP: Abouzied:Azza
Contributed to:
Wrote 5 papers:
- SIGMOD-2014-FernandesBRAM #named #query #tuple
- PackageBuilder: querying for packages of tuples (KF, MB, RR, AA, AM), pp. 1613–1614.
- VLDB-2014-BrucatoRAM #named #tuple
- PackageBuilder: From Tuples to Packages (MB, RR, AA, AM), pp. 1593–1596.
- PODS-2013-AbouziedAPHS #learning #quantifier #query #verification
- Learning and verifying quantified boolean queries by example (AA, DA, CHP, JMH, AS), pp. 49–60.
- VLDB-2012-AbouziedHS #query #specification
- Playful Query Specification with DataPlay (AA, JMH, AS), pp. 1938–1941.
- SIGMOD-2010-AbouziedBHAS
- HadoopDB in action: building real world applications (AA, KBP, JH, DJA, AS), pp. 1111–1114.