Gautham Shenoy R

Employment

• Advanced Micro Devices Principal Member of Technical Staff
  2021 - Present
• IBM (India) Senior Engineer
  2014 - 2021

Education

• Chennai Mathematical Institute Ph.D
  2012 - 2022
• Chennai Mathematical Institute Master of Computer Science
  2010 - 2012
• National Institute of Technology Karnataka, Surathkal Bachelor of Engineering (B.E)
  2002 - 2006

Projects & Funding

Projects & funding information is unavailable.

Publications (7)

• TokenSmart: Distributed, Scalable Power Management in the Many-Core Era
  IEEE Comput. Archit. Lett. 2021 DOI: 10.1109/LCA.2021.3064441
  +Save
• Bounded Version Vectors Using Mazurkiewicz Traces
  Advanced Computing and Systems for Security - Volume Eleven, 7th International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2020, Kolkata, India, February 28-29, 2020 2020 DOI: 10.1007/978-981-15-5747-7\_3
  +Save
• Formalizing and Checking Multilevel Consistency
  Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings 2020 DOI: 10.1007/978-3-030-39322-9\_18
  +Save
• Bounded Implementations of Replicated Data Types
  Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings 2015 DOI: 10.1007/978-3-662-46081-8\_20
  +Save
• Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)
  Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings 2015 DOI: 10.1007/978-3-319-24953-7\_23
  +Save
• Optimized OR-Sets without Ordering Constraints
  Distributed Computing and Networking - 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings 2014 DOI: 10.1007/978-3-642-45249-9\_15
  +Save
• Energy-aware task and interrupt management in linux
  In Ottawa Linux Symposium 2008
  +Save