PROGRAM SYNTHESIS
Experts
- Armando Solar-Lezama
- Moshe Y. Vardi
- Roderick Bloem
- Isil Dillig
- Sumit Gulwani
- Bernd Finkbeiner
- Rolf Drechsler
- Jean-François Raskin
- Robert Wille
- Rishabh Singh
- Giovanni De Micheli
- Nadia Polikarpova
- Swen Jacobs
- Ufuk Topcu
- Krishnendu Chatterjee
- Rüdiger Ehlers
- Sanjit A. Seshia
- Zohar Manna
- Orna Kupferman
- Rong Su
- Alberto L. Sangiovanni-Vincentelli
- Thomas A. Henzinger
- Qingxia Li
- Emmanuel Filiot
- Robert K. Brayton
- Rajeev Alur
- Vesa Välimäki
- Taewhan Kim
- Kevin Ellis
- Daniel Kroening
- Ranga Vemuri
- Majid Zamani
- Viktor Kuncak
- Robert Könighofer
- Arjun Radhakrishna
- Niraj K. Jha
- Guillermo A. Pérez
- Liyong Lin
- Kung-Kiu Lau
Venues
- CoRR
- ICMC
- DAC
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ICASSP
- LOPSTR
- ICCAD
- DATE
- INTERSPEECH
- VLSI Design
- Proc. ACM Program. Lang.
- CDC
- Sensors
- IEEE Trans. Ind. Electron.
- ASP-DAC
- ICCD
- ISCAS
- IJCAI
- IEEE Trans. Computers
- AAAI
- IEEE Access
- EURO-DAC
- PLDI
- ACC
- ICRA
- IEEE Trans. Very Large Scale Integr. Syst.
- Comput. Chem. Eng.
- ACM Trans. Graph.
- FPL
- IGARSS
- Autom.
- IEEE Trans. Autom. Control.
- Symmetry
- CAV (1)
- NeurIPS
- Commun. ACM
- J. Symb. Log.
- DSD
- Theor. Comput. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend