Travelled to:1 × Switzerland
1 × USA
Collaborated with:D.Balasubramaniam C.Jefferson L.Kotthoff I.Miguel L.d.Silva
Talks about:constraint (2) approach (2) generat (2) solver (2) effici (2) architectur (1) dominion (1) driven (1) autom (1)
Person: Peter Nightingale
DBLP: Nightingale:Peter
Contributed to:
2012
2011Wrote 2 papers:
- ICSE-2012-BalasubramaniamJKMN #approach #automation #constraints #generative #performance #theorem proving
- An automated approach to generating efficient constraint solvers (DB, CJ, LK, IM, PN), pp. 661–671.
- WICSA-2011-BalasubramaniamSJKMN #approach #architecture #constraints #generative #named #performance #theorem proving
- Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers (DB, LdS, CJ, LK, IM, PN), pp. 228–231.