• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 16 matches

• 2024
• 
  Satakshi, Vishal V. Henry:
  A novel approach to find simple, pragmatic solutions to transportation problems. Int. J. Math. Oper. Res. 27(4): 496-508 (2024)
• 
  Mathew L. Wymore, Rohit Sahu, Thomas Ruminski, Vishal Deep, Morgan Ambourn, Gregory Ling, Vishak Narayanan, William Asiedu, Daji Qiao, Henry Duwe:
  Lure: A simulator for networks of batteryless intermittent nodes. Perform. Evaluation 166: 102440 (2024)
• 
  Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Gus Henry Smith, Thierry Tambe, Akash Gaonkar, Vishal Canumalla, Andrew Cheung, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik:
  Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. ACM Trans. Design Autom. Electr. Syst. 29(2): 35:1-35:25 (2024)
• 
  Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock:
  FPGA Technology Mapping Using Sketch-Guided Program Synthesis. ASPLOS (2) 2024: 416-432
• 
  Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock:
  FPGA Technology Mapping Using Sketch-Guided Program Synthesis. CoRR abs/2401.16526 (2024)
• 
  Gus Henry Smith, Zachary D. Sisco, Thanawat Techaumnuaiwit, Jingtao Xia, Vishal Canumalla, Andrew Cheung, Zachary Tatlock, Chandrakana Nandi, Jonathan Balkind:
  There and Back Again: A Netlist's Tale with Much Egraphin'. CoRR abs/2404.00786 (2024)
• 2023
• 
  Moritz Neun, Christian Eichenberger, Henry Martin, Markus Spanring, Rahul Siripurapu, Daniel Springer, Leyan Deng, Chenwang Wu, Defu Lian, Min Zhou, Martin Lumiste, Andrei Ilie, Xinhua Wu, Cheng Lyu, Qing-Long Lu, Vishal Mahajan, Yichao Lu, Jiezhang Li, Junjun Li, Yue-Jiao Gong, Florian Grötschla, Joël Mathys, Ye Wei, He Haitao, Hui Fang, Kevin Malm, Fei Tang, Michael Kopp, David P. Kreil, Sepp Hochreiter:
  Traffic4cast at NeurIPS 2022 - Predict Dynamics along Graph Edges from Sparse Node Data: Whole City Traffic and ETA from Stationary Vehicle Detectors. CoRR abs/2303.07758 (2023)
• 
  Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock:
  Generate Compilers from Hardware Models! CoRR abs/2305.09580 (2023)
• 2022
• 
  Vishal Deep, Mathew L. Wymore, Daji Qiao, Henry Duwe:
  Toward a Shared Sense of Time for a Network of Batteryless, Intermittently-powered Nodes. IPCCC 2022: 138-146
• 
  Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Thierry Tambe, Gus Henry Smith, Akash Gaonkar, Vishal Canumalla, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik:
  Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface. CoRR abs/2203.00218 (2022)
• 2021
• 
  Vishal Deep, Mathew L. Wymore, Alexis A. Aurandt, Vishak Narayanan, Shen Fu, Henry Duwe, Daji Qiao:
  Experimental Study of Lifecycle Management Protocols for Batteryless Intermittent Communication. MASS 2021: 355-363
• 
  Moritz Neun, Christian Eichenberger, Henry Martin, Markus Spanring, Rahul Siripurapu, Daniel Springer, Leyan Deng, Chenwang Wu, Defu Lian, Min Zhou, Martin Lumiste, Andrei Ilie, Xinhua Wu, Cheng Lyu, Qing-Long Lu, Vishal Mahajan, Yichao Lu, Jiezhang Li, Junjun Li, Yue-Jiao Gong, Florian Grötschla, Joël Mathys, Ye Wei, He Haitao, Hui Fang, Kevin Malm, Fei Tang, Michael Kopp, David P. Kreil, Sepp Hochreiter:
  Traffic4cast at NeurIPS 2022 – Predict Dynamics along Graph Edges from Sparse Node Data: Whole City Traffic and ETA from Stationary Vehicle Detectors. NeurIPS (Competition and Demos) 2021: 251-278
• 2020
• 
  Mathew L. Wymore, Vishal Deep, Vishak Narayanan, Henry Duwe, Daji Qiao:
  Lifecycle Management Protocols for Batteryless, Intermittent Sensor Nodes. IPCCC 2020: 1-8
• 
  Vishal Deep, Vishak Narayanan, Mathew L. Wymore, Daji Qiao, Henry Duwe:
  HARC: A Heterogeneous Array of Redundant Persistent Clocks for Batteryless, Intermittently-Powered Systems. RTSS 2020: 270-282
• 2019
• 
  Vishal Deep, Aditi Mishra, Daji Qiao, Henry Duwe:
  Revisiting Time Remanence Clocks for Energy Harvesting Wireless Sensor Nodes. ENSsys@SenSys 2019: 58-59
• 2012
• 
  Vishal Patel, Henry Lee, Dave Taylor, Rajesh Aggarwal, James Kinross, Ara Darzi:
  Virtual Worlds Are an Innovative Tool for Medical Device Training in a Simulated Environment. MMVR 2012: 338-343