HIGH LEVEL ABSTRACTIONS
Experts
- Germán Puebla
- Elvira Albert
- Manuel V. Hermenegildo
- Seohong Park
- Sergey Levine
- Nick Benton
- Xutao Guo
- Daniel Kroening
- Dag Johansen
- Adrian Rebmann
- Han van der Aa
- Matthias Weidlich
- Jeremiah Willcock
- Jiesi Hu
- Yanwu Yang
- Dominic Marcello
- Jeremy Lovejoy
- Robbert van Renesse
- John Biddiscombe
- Hartmut Kaiser
- Chunhua Liao
- Daniel J. Quinlan
- David Pfander
- Oleg Kiselyov
- Kevin A. Huck
- Parsa Amini
- Juhan Frank
- Håvard D. Johansen
- Jacques Carette
- Thomas Panas
- Gregor Daiß
- Dirk Pflüger
- Nihar Naigaonkar
- Patrick Diehl
- Gagan Agrawal
- Wonwoo Park
- Marco Paviotti
- Szymon Jaroszewicz
- Adriana Ferraro
Venues
- CoRR
- J. Comb. Theory, Ser. A
- Eur. J. Comb.
- Electron. Notes Theor. Comput. Sci.
- LPAR
- VMCAI
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
- ECSA
- VMIL@SPLASH
- ICS
- ICSE
- GECCO
- Formal Aspects Comput.
- SEFM
- J. Comput. Lang.
- EMSOFT
- ICCBR
- POPL
- ETCD@ASPLOS
- Informatica (Slovenia)
- IEEE Trans. Consumer Electron.
- OSDI
- Softw. Eng. J.
- PDP
- IWOMP
- INFOCOM
- ICECCS
- IEEE Trans. Image Process.
- STACS
- PPDP
- ACSE
- Sci. Comput. Program.
- Notre Dame J. Formal Log.
- ECOOP
- PLATEAU
- Concurr. Comput. Pract. Exp.
- SC
- PLDI
- WACC
Related Topics
Related Keywords
Popularity