acm sigplan notices (7)
acm sigsoft software engineering notes (7)
acm / sigplan notices (6)
communications of the acm (6)
international journal on software tools for technology transfer (6)
proceedings of the acm on programming languages (5)
acm computing surveys (4)
ieee micro (4)
acm transactions on autonomous and adaptive systems (3)
acm transactions on embedded computing systems (3)
icse: international conference on software engineering (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
proceedings of the acm international conference on object oriented programming systems languages and applications (2)
proceedings of the twenty-fourth international conference on architectural support for programming languages and operating systems (2)
2010 acm/ieee 32nd international conference on software engineering, software engineering, 2010 acm/ieee 32nd international conference on (1)
2015 ieee/acm 10th international symposium on software engineering for adaptive and self-managing systems, software engineering for adaptive and self-managing systems (seams), 2015 ieee/acm 10th international symposium on (1)
2015 international conference on compilers, architecture and synthesis for embedded systems (cases), compilers, architecture and synthesis for embedded systems (cases), 2015 international conference on (1)
2017 ieee/acm international symposium on code generation and optimization (cgo), code generation and optimization (cgo), 2017 ieee/acm international symposium on (1)
2018 ieee 11th international conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2018 ieee 11th international conference on, icst (1)
2019 12th ieee conference on software testing, validation and verification (icst), software testing, validation and verification (icst), 2019 12th ieee conference on (1)
2019 49th annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2019 49th annual ieee/ifip international conference on, dsn (1)
2019 ieee 37th vlsi test symposium (vts), vlsi test symposium (vts), 2019 ieee 37th (1)
2019 ieee/acm 41st international conference on software engineering (icse), software engineering (icse), 2019 ieee/acm 41st international conference on, icse (1)
2020 ieee/acm 42nd international conference on software engineering: new ideas and emerging results (icse-nier), software engineering: new ideas and emerging results (icse-nier), 2020 ieee/acm 42nd international conference on, icse-nier (1)
2021 58th acm/ieee design automation conference (dac), design automation conference (dac), 2021 58th acm/ieee (1)
2021 ieee international symposium on high-performance computer architecture (hpca), high-performance computer architecture (hpca), 2021 ieee international symposium on, hpca (1)
2022 ieee conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2022 ieee conference on, icst (1)
2023 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2023 (1)
2023 ieee/acm 45th international conference on software engineering (icse), software engineering (icse), 2023 ieee/acm 45th international conference on, icse (1)
29th international conference on software engineering (icse'07), software engineering, 2007. icse 2007. 29th international conference on (1)
acm transactions on autonomous and adaptive systems (taas) (1)
acm transactions on embedded computing systems (tecs) - special section on probabilistic embedded computing (1)
computer aided verification. part i (1)
innovations in systems and software engineering: a nasa journal (1)
proceedings of the 10th international symposium on software engineering for adaptive and self-managing systems (1)
proceedings of the 18th acm/ieee international symposium on code generation and optimization (1)
proceedings of the 19th acm sigsoft symposium and the 13th european conference on foundations of software engineering (1)
proceedings of the 2012 acm workshop on relaxing synchronization for multicore and manycore scalability (1)
proceedings of the 2013 acm sigplan international conference on object oriented programming systems languages & applications (1)
proceedings of the 2014 acm international conference on object oriented programming systems languages & applications (1)
proceedings of the 2015 international conference on compilers, architecture and synthesis for embedded systems (1)
proceedings of the 2017 international conference on compilers, architectures and synthesis for embedded systems companion (1)
proceedings of the 2017 international symposium on code generation and optimization (1)
proceedings of the 2018 26th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering (1)
proceedings of the 2018 workshop on advanced tools, programming languages, and platforms for implementing and evaluating algorithms for distributed systems (1)
proceedings of the 2019 27th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering (1)
proceedings of the 25th european conference on object-oriented programming (1)
proceedings of the 26th acm sigplan symposium on principles and practice of parallel programming (1)
runtime verification (1)
static analysis (1)