Scalable and precise program analysis at NEC

Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivančić, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

The Systems Analysis & Verification Department at NEC Labs engages in foundational as well as applied research in the areas of verification and analysis of software and embedded systems. We have developed several tools and frameworks for scalable and precise analysis of programs, some of which are now used within the company on large software projects. This extended abstract highlights their main features and provides pointers to published papers with more details.

Original languageEnglish (US)
Title of host publicationFormal Methods in Computer Aided Design, FMCAD 2010
Pages273-274
Number of pages2
StatePublished - Dec 1 2010
Externally publishedYes
EventFormal Methods in Computer Aided Design, FMCAD 2010 - Lugano, Switzerland
Duration: Oct 20 2010Oct 23 2010

Publication series

NameFormal Methods in Computer Aided Design, FMCAD 2010

Other

OtherFormal Methods in Computer Aided Design, FMCAD 2010
CountrySwitzerland
CityLugano
Period10/20/1010/23/10

All Science Journal Classification (ASJC) codes

  • Computer Graphics and Computer-Aided Design

Fingerprint Dive into the research topics of 'Scalable and precise program analysis at NEC'. Together they form a unique fingerprint.

  • Cite this

    Balakrishnan, G., Ganai, M. K., Gupta, A., Ivančić, F., Kahlon, V., Li, W., Maeda, N., Papakonstantinou, N., Sankaranarayanan, S., Sinha, N., & Wang, C. (2010). Scalable and precise program analysis at NEC. In Formal Methods in Computer Aided Design, FMCAD 2010 (pp. 273-274). [5770960] (Formal Methods in Computer Aided Design, FMCAD 2010).