Pradeep Kumar Nalla
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIGCOMM | Replacing NVMe Staging in LLM Inference with a High-Bandwidth CXL Memory Expander with an On-Device DMA Controller. | Veerasenareddy Burru, Pradeep Kumar Nalla, Alok Prasad |
| 2016 | ICCAD | The art of semi-formal bug hunting. | Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii |
| 2016 | ISLPED | FVCAG: A framework for formal verification driven power modeling and verification. | Arun Joseph, Spandana Rachamalla, Rahul M. Rao, Anand Haridass, Pradeep Kumar Nalla |
| 2014 | VLSID | Effective Liveness Verification Using a Transformation-Based Framework. | Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman |
| 2013 | DATE | GLA: gate-level abstraction revisited. | Alan Mishchenko, Niklas En, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla |
| 2009 | DATE | Semiformal verification of temporal properties in automotive hardware dependent software. | Djones Lettnin, Pradeep Kumar Nalla, Jrg Behrend, Jrgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schnknecht, Stephan Reitemeyer |
| 2008 | DATE | Verification of Temporal Properties in Automotive Embedded Software. | Djones Lettnin, Pradeep Kumar Nalla, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schnknecht, Stephan Reitemeyer |
| 2008 | ICDCN | Design of Concurrent Utilities in Jackal: A Software DSM Implementation. | Pradeep Kumar Nalla, Rajeev Wankar, Arun Agarwal |
| 2007 | FDL | Grid Based Fast Falsification For Bounded Property Checking. | Pradeep Kumar Nalla, Jrg Behrend, Prakash Mohan Peranandam, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2006 | DAC | Fast falsification based on symbolic bounded property checking. | Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jrgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel |