acm / sigplan notices (32)
compiler construction (22)
acm sigplan notices (21)
communications of the acm (8)
ieee micro (7)
acm sigarch computer architecture news (4)
international journal of parallel programming (4)
proceedings of the acm sigplan 1997 conference: programming language design & implementation (4)
acm sigops operating systems review (3)
cell reports (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
international journal on software tools for technology transfer (3)
journal of computational & graphical statistics (3)
journal of computational and graphical statistics (3)
proceedings of the 2005 acm sigplan conference: programming language design & implementation (3)
proceedings of the 2007 acm sigplan conference: programming language design & implementation (3)
formal methods in system design (2)
icse: international conference on software engineering (2)
proceedings 28th annual international symposium on computer architecture (2)
proceedings of the 12th international conference: architectural support for programming languages & operating systems (2)
proceedings of the 20th annual acm sigplan conference: object-oriented programming, systems, languages & applications (2)
proceedings of the 28th annual international symposium computer architecture (2)
proceedings of the 29th acm sigplan-sihact symposium: principles of programming languages (2)
proceedings of the 35th acm sigplan conference programming language design & implementation (2)
proceedings of the 6th european software engineering conference held jointly with the 5th acm sigsoft international symposium: foundations of software engineering (2)
proceedings of the acm sigplan 1998 conference: programming language design & implementation (2)
proceedings of the acm sigplan 2000 conference: programming language design & implementation (2)
2009 46th acm/ieee design automation conference (1)
2009 46th acm/ieee design automation conference, design automation conference, 2009. dac '09. 46th acm/ieee (1)
2011 33rd international conference on software engineering (icse) (1)
2011 33rd international conference on software engineering (icse), software engineering (icse), 2011 33rd international conference on (1)
2013 formal methods in computer-aided design (1)
2013 formal methods in computer-aided design, formal methods in computer-aided design (fmcad), 2013 (1)
2017 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2017 (1)
2020 35th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2020 35th ieee/acm international conference on, ase (1)
2nd summit on advances in programming languages (1)
acm transactions on architecture & code optimization (1)
acm/sigplan workshop partial evaluation & semantics-based program manipulation (1)
computer aided verification (1)
computer aided verification (9783642314230) (1)
dac: annual acm/ieee design automation conference (1)
formal methods in system design: an international journal (1)
ieee micro, micro, ieee (1)
proceedings 36th annual ieee/acm international symposium on microarchitecture, 2003 (micro-36) (1)
proceedings fifth workshop on synthesis (1)
proceedings of the 13th acm sigplan symposium: principles & practice of parallel programming (1)
proceedings of the 15th acm sigplan international conference: functional programming (1)
proceedings of the 19th international conference: world wide web (1)
proceedings of the 43rd acm sigplan international conference on programming language design and implementation (1)
static analysis (1)