Vineet Singh I am currently a Memory & Storage Tools Software Engineer at Intel. I am developing techniques to help developers adapt to latest memory technologies. I received my PhD from University of California, Riverside. My advisors are Professor Rajiv Gupta and Professor Iulian Neamtiu. Email: vsing004 [at] gmail [dot] com Google Scholar Profile | LinkedIn Profile

Research interests

Program Analysis, Developer Tools, Memory Systems

Education

• Doctor of Philosophy, University of California, Riverside
• Bachelor of Technology, Indian Institute of Information Technology, Design and Manufacturing Jabalpur

Work Experience

• Software Engineer at Intel Software and Services Group, OR

• Research Assistant, University of California, Riverside, CA

• Graduate Intern at Intel Software and Services Group, MA

• Graduate Intern at Intel Software and Services Group, MA

• Research Fellow at GCC Resource Center, IIT Bombay, INDIA

Research

Dissertation

User Assisted Data Structure Debugging and Verification.

Publications

• Proving Concurrent Data Structures Linearizable
  Vineet Singh, Iulian Neamtiu, Rajiv Gupta
  Software Reliability Engineering (ISSRE), 2016 IEEE 27th International Symposium on
  

• Automatic fault location for data structures
  Vineet Singh, Rajiv Gupta, Iulian Neamtiu
  Proceedings of the 25th International Conference on Compiler Construction, 2016
  

• Mg++: Memory graphs for analyzing dynamic data structures
  Vineet Singh, Rajiv Gupta, Iulian Neamtiu
  Software Analysis, Evolution and Reengineering (SANER), 2015 IEEE 22nd International Conference on
  

Presentations

• PLDI 2016 Tutorial
  Using PinPlay for Reproducible Analysis and Replay Debugging
  

• ISSRE 2016: Proving Concurrent Data Structures Linearizable
  

• CC 2016: Automatic fault location for data structures
  

• SANER 2015: MG++ Memory Graphs for Analyzing Dynamic Data Structures
  

• SoCal Spring 2014: Programming Languages and Systems
  Automatic Fault Localization for Data Structures
  

Teaching Experience

• Spring 2013
  CS 201 : Compiler Construction
  CS 008 : Introduction to Computing
  

• Winter 2013
  CS 152 : Compiler Design