Travelled to:2 × USA
Collaborated with:G.Clossman P.Shaw M.Hapner J.Klein R.Pledereder S.Tu S.Tankashala S.Oh B.Horton A.Kallem Z.Yang
Talks about:databas (1) system (1) driven (1) world (1) verif (1) relat (1) learn (1) turn (1) sqlj (1) real (1)
Person: Brian Becker
DBLP: Becker:Brian
Contributed to:
2011
1998Wrote 2 papers:
- CSEET-2011-TuTOBHKY #learning
- Turning real-world systems into verification-driven learning cases (ST, ST, SO, BB, BH, AK, ZY), pp. 129–138.
- SIGMOD-1998-ClossmanSHKPB #database #java #relational
- Java and Relational Databases: SQLJ (GC, PS, MH, JK, RP, BB), p. 500.