AUTOMATIC PROGRAMMING
Experts
- Michael O'Neill
- Conor Ryan
- Anthony Brabazon
- Osman Hasan
- Sofiène Tahar
- Miguel Nicolau
- Nuno Lourenço
- Mingsheng Ying
- José Ignacio Hidalgo
- Maurizio Gabbrielli
- Gilles Barthe
- J. Manuel Colmenar
- Peter Müller
- Harald Ganzinger
- David R. Barstow
- Jieh Hsiang
- Penousal Machado
- David Fagan
- Mengjie Zhang
- Maria Paola Bonacina
- David A. Plaisted
- Oscar Garnica
- Roland Olsson
- Bertrand Meyer
- Erik Hemberg
- Josef Urban
- Uwe Waldmann
- Ali Mili
- Hongwei Xi
- Sandro Etalle
- James McDermott
- Geoff W. Hamilton
- Jürgen Giesl
- Armando Solar-Lezama
- Manuel Alfonseca
- Zohar Manna
- Peter B. Andrews
- Marta Franová
- David Harel
Venues
- CoRR
- Commun. ACM
- IJCAI
- CADE
- EuroGP
- Theor. Comput. Sci.
- IEEE Trans. Software Eng.
- GECCO
- GECCO (Companion)
- ACM SIGPLAN Notices
- SIGCSE
- Proc. ACM Program. Lang.
- J. Autom. Reason.
- TPHOLs
- ICSE
- Softw. Pract. Exp.
- Comput. J.
- J. Symb. Comput.
- ACM Trans. Program. Lang. Syst.
- Electron. Notes Theor. Comput. Sci.
- LOPSTR
- POPL
- J. ACM
- Sci. Comput. Program.
- CEC
- PLDI
- IEEE Congress on Evolutionary Computation
- Acta Informatica
- ACM SIGSOFT Softw. Eng. Notes
- ACM National Conference
- Artif. Intell.
- MFCS
- ESOP
- Oper. Res.
- J. Syst. Softw.
- Computer
- ICALP
- DAC
- CAV
Related Topics
Related Keywords
Popularity