Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. About Us
  3. People
  4. Research
  5. Subodh Sharma
  6. Publications

Subodh Sharma : Publications

Click here to download all publications in a single bibtex file

@inproceedings{sharma_formal_methods_2014,
  title = "Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs",
  author = "Forejt, Vojtech and Kroening, Daniel and Narayanswamy, Ganesh and Sharma, Subodh",
  year = "2014",
  booktitle = "FM 2014: Formal Methods",
  isbn = "978-3-319-06409-3",
  pages = "263-278",
  publisher = "Springer International Publishing",
  series = "Lecture Notes in Computer Science",
  volume = "8442",
}
@inproceedings{sharma_abstract:_2012,
  title = "Abstract: {MAPPED:} Predictive Dynamic Analysis Tool for {MPI} Applications",
  author = "Sharma, S. and Gopalakrishnan, G. and Bronevetsky, G.",
  year = "2012",
  booktitle = "High Performance Computing, Networking, Storage and Analysis ({SCC)}, 2012 {SC} Companion:",
  isbn = "978-1-4673-6218-4",
  keywords = "application program interfaces, bugs, deadlock presence prediction, dynamic verification, dynamic verification techniques, exponential interleaving explosion, formal dynamic analysis, {MAAPED}, message passing, message passing programs, messaging application analysis with predictive error discovery, {MPI}, {MPI} applications, {MPI} programs, nondeterministic communication match, nondeterministic communication operation, predictive dynamic analysis tool, program debugging, program testing, program verification, single program trace, specialized dynamic analysis method, system monitoring, testing tools",
  month = "nov",
  pages = "1425--1426",
  doi = "10.1109/SC.Companion.2012.233",
}
@incollection{sharma_sound_2012,
  title = "A Sound Reduction of Persistent-Sets for Deadlock Detection in {MPI} Applications",
  author = "Sharma, Subodh and Gopalakrishnan, Ganesh and Bronevetsky, Greg",
  year = "2012",
  booktitle = "Formal Methods: Foundations and Applications",
  copyright = "2012 Springer-Verlag Berlin Heidelberg",
  editor = "Gheyi, Rohit and Naumann, David",
  isbn = "978-3-642-33295-1, 978-3-642-33296-8",
  month = "jan",
  pages = "194--209",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
}
@inproceedings{sharma_efficient_2011,
  title = "Efficient Verification Solutions for Message Passing Systems",
  author = "Sharma, S. and Gopalakrishnan, G.",
  year = "2011",
  booktitle = "2011 {IEEE} International Symposium on Parallel and Distributed Processing Workshops and Phd Forum ({IPDPSW)}",
  isbn = "978-1-61284-425-1",
  keywords = "Algorithm design and analysis, computational complexity, dynamic verification schedulers, dynamic verification tools, efficient verification solutions, Explosions, formal verification, interleaving explosion, message passing, message passing interface, message passing systems, Monte Carlo methods, {MPI} {API}, nondeterministic communication, Schedules, scheduling, System recovery, Testing, verification complexity",
  month = "may",
  pages = "2026--2029",
  doi = "10.1109/IPDPS.2011.368",
}
@inproceedings{sharma_dynamic_2009,
  title = "Dynamic verification of Multicore Communication applications in {MCAPI}",
  author = "Sharma, S. and Gopalakrishnan, G. and Mercer, E.",
  year = "2009",
  booktitle = "High Level Design Validation and Test Workshop, 2009. {HLDVT} 2009. {IEEE} International",
  keywords = "application program interfaces, Application software, Cities and towns, Computer science, concurrent programming, dynamic direct code verification tool, dynamic model checker, dynamic verification, Embedded system, formal design tool, Interleaved codes, message passing, model checking, multicore communication, Multicore processing, Partial Order, program verification, Runtime, Software, software verification, Standardization, Yarn",
  month = "nov",
  pages = "100--105",
  doi = "10.1109/HLDVT.2009.5340169",
}
@inproceedings{sharma_mcc:_2009,
  title = "{MCC:} A runtime verification tool for {MCAPI} user applications",
  author = "Sharma, S. and Gopalakrishnan, G. and Mercer, E. and Holt, J.",
  year = "2009",
  booktitle = "Formal Methods in Computer-Aided Design, 2009. {FMCAD} 2009",
  isbn = "978-1-4244-4966-8",
  keywords = "application program interfaces, Application software, Cities and towns, Computer networks, Concurrent computing, dynamic model checker, dynamic partial order reduction algorithm, dynamic verification tool, formal verification, Interleaved codes, {MCAPI} user application, message passing, multicore communication {API} applications, Multicore processing, multiprocessing systems, push button model checker, Runtime environment, runtime verification tool, Yarn",
  month = "nov",
  pages = "41--44",
  doi = "10.1109/FMCAD.2009.5351145",
}
@inproceedings{gopalakrishnan_resources_2009,
  title = "Some Resources for Teaching Concurrency",
  author = "Gopalakrishnan, Ganesh and Yang, Yu and Vakkalanka, Sarvani and Vo, Anh and Aananthakrishnan, Sriram and Szubzda, Grzegorz and Sawaya, Geof and Williams, Jason and Sharma, Subodh and {DeLisi}, Michael and Atzeni, Simone",
  year = "2009",
  address = "New York, {NY}, {USA}",
  booktitle = "Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging",
  isbn = "978-1-60558-655-7",
  keywords = "computer science education, concurrency, dynamic verification, education, memory models, {MPI}, multi-core, pthreads",
  pages = "2:1–2:6",
  publisher = "{ACM}",
  series = "{PADTAD} '09",
  url = "http://doi.acm.org/10.1145/1639622.1639624",
  doi = "10.1145/1639622.1639624",
}
@inproceedings{vakkalanka_isp:_2008,
  title = "{ISP:} A Tool for Model Checking {MPI} Programs",
  author = "Vakkalanka, Sarvani S. and Sharma, Subodh and Gopalakrishnan, Ganesh and Kirby, Robert M.",
  year = "2008",
  address = "New York, {NY}, {USA}",
  booktitle = "Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming",
  editor = "Chatterjee, Siddhartha and Scott, Michael L.",
  isbn = "978-1-59593-795-7",
  keywords = "dynamic partial order reduction, formal verification, model checking, {MPI}",
  pages = "285–286",
  publisher = "{ACM}",
  series = "{PPoPP} '08",
  url = "http://doi.acm.org/10.1145/1345206.1345258",
  doi = "10.1145/1345206.1345258",
}
@inproceedings{sharma_formal_2008,
  title = "A Formal Approach to Detect Functionally Irrelevant Barriers in {MPI} Programs",
  author = "Sharma, Subodh and Vakkalanka, Sarvani S. and Gopalakrishnan, Ganesh and Kirby, Robert M. and Thakur, Rajeev and Gropp, William",
  year = "2008",
  booktitle = "Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European {PVM/MPI} Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings",
  editor = "Lastovetsky, Alexey L. and Kechadi, M. Tahar and Dongarra, Jack",
  isbn = "978-3-540-87474-4",
  pages = "265--273",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5205",
  doi = "10.1007/978-3-540-87475-1_36",
}

About Us

Back to Top