Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Jason Gross

Jason Gross
Alert button

Department of Mechanical and Aerospace Engineering, West Virginia University, Morgantown, USA

CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives


Nov 19, 2022
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom

Add code
Alert button

Figure 1 for CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives
Figure 2 for CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives
Figure 3 for CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives
Figure 4 for CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers


Dec 15, 2021
Shounak Das, Cagri Kilic, Ryan Watson, Jason Gross

Add code
Alert button

Figure 1 for A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers
Figure 2 for A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers
Figure 3 for A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers
Figure 4 for A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Review of Factor Graphs for Robust GNSS Applications


Dec 14, 2021
Shounak Das, Ryan Watson, Jason Gross

Add code
Alert button

Figure 1 for Review of Factor Graphs for Robust GNSS Applications

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots


Dec 14, 2021
Cagri Kilic, Shounak Das, Eduardo Gutierrez, Ryan Watson, Jason Gross

Add code
Alert button

Figure 1 for ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots
Figure 2 for ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots
Figure 3 for ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots
Figure 4 for ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots
* 9 pages, 8 figures, Preprint Version. Published in ION GNSS+ 2021 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Design of an Autonomous Precision Pollination Robot


Aug 29, 2018
Nicholas Ohi, Kyle Lassak, Ryan Watson, Jared Strader, Yixin Du, Chizhao Yang, Gabrielle Hedrick, Jennifer Nguyen, Scott Harper, Dylan Reynolds, Cagri Kilic, Jacob Hikes, Sarah Mills, Conner Castle, Benjamin Buzzo, Nicole Waterland, Jason Gross, Yong-Lak Park, Xin Li, Yu Gu

Add code
Alert button

Figure 1 for Design of an Autonomous Precision Pollination Robot
Figure 2 for Design of an Autonomous Precision Pollination Robot
Figure 3 for Design of an Autonomous Precision Pollination Robot
Figure 4 for Design of an Autonomous Precision Pollination Robot
* Accepted at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Madrid, Spain 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email