• 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 32 matches

• 2024
• 
  Sidney K. D'Mello, Quentin Biddy, Thomas Breideband, Jeffrey B. Bush, Michael Alan Chang, Arturo Cortez, Jeffrey Flanigan, Peter W. Foltz, Jamie C. Gorman, Leanne M. Hirshfield, Monlin Monica Ko, Nikhil Krishnaswamy, Rachel Lieber, James H. Martin, Martha Palmer, William R. Penuel, Thomas M. Philip, Sadhana Puntambekar, James Pustejovsky, Jason G. Reitman, Tamara Sumner, Michael Tissenbaum, Lyn Walker, Jacob Whitehill:
  From learning optimization to learner flourishing: Reimagining AI in Education at the Institute for Student-AI Teaming (iSAT). AI Mag. 45(1): 61-68 (2024)
• 2023
• 
  Golnaz Gharachorlu, Nick Sumner:
  Type Batched Program Reduction. ISSTA 2023: 398-410
• 2021
• 
  Golnaz Gharachorlu, Nick Sumner:
  Leveraging Models to Reduce Test Cases in Software Repositories. MSR 2021: 230-241
• 
  Golnaz Gharachorlu, Nick Sumner:
  Leveraging Models to Reduce Test Cases in Software Repositories. CoRR abs/2103.11534 (2021)
• 2019
• 
  Golnaz Gharachorlu, Nick Sumner:
  : Priority Aware Test Case Reduction. FASE 2019: 409-426
• 2018
• 
  Naveen Vedula, Arrvindh Shriraman, Snehasish Kumar, William N. Sumner:
  NACHOS: Software-Driven Hardware-Assisted Memory Disambiguation for Accelerators. HPCA 2018: 710-723
• 
  Golnaz Gharachorlu, Nick Sumner:
  Avoiding the Familiar to Speed Up Test Case Reduction. QRS 2018: 426-437
• 2017
• 
  Snehasish Kumar, Nick Sumner, Vijayalakshmi Srinivasan, Steve Margerm, Arrvindh Shriraman:
  Needle: Leveraging Program Analysis to Analyze and Extract Accelerators from Whole Programs. HPCA 2017: 565-576
• 2016
• 
  Yonghwi Kwon, Dohyeong Kim, William N. Sumner, Kyungtae Kim, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu:
  LDX: Causality Inference by Lightweight Dual Execution. ASPLOS 2016: 503-515
• 
  David Quigley, Ogheneovo Dibie, Md. Arafat Sultan, Katie Van Horne, William R. Penuel, Tamara Sumner, Ugochi Acholonu, Nichole Pinkard:
  Equity of Learning Opportunities in the Chicago City of Learning Program. EDM 2016: 618-619
• 
  Snehasish Kumar, Vijayalakshmi Srinivasan, Amirali Sharifian, Nick Sumner, Arrvindh Shriraman:
  Peruse and Profit: Estimating the Accelerability of Loops. ICS 2016: 21:1-21:13
• 
  Snehasish Kumar, William N. Sumner, Arrvindh Shriraman:
  SPEC-AX and PARSEC-AX: extracting accelerator benchmarks from microprocessor benchmarks. IISWC 2016: 117-127
• 2015
• 
  Dohyeong Kim, Yonghwi Kwon, William N. Sumner, Xiangyu Zhang, Dongyan Xu:
  Dual Execution for On the Fly Fine Grained Execution Comparison. ASPLOS 2015: 325-338
• 
  Robert D. Cameron, Nigel Medforth, Dan Lin, Dale Denis, William N. Sumner:
  Bitwise Data Parallelism with LLVM: The ICgrep Case Study. ICA3PP (2) 2015: 373-387
• 2014
• 
  Sumner L. Norman, Andrew J. Doxon, Brian T. Gleeson, William R. Provancher:
  Planar Hand Motion Guidance UsingFingertip Skin-Stretch Feedback. IEEE Trans. Haptics 7(2): 121-130 (2014)
• 
  Dohyeong Kim, William N. Sumner, Xiangyu Zhang, Dongyan Xu, Hira Agrawal:
  Reuse-oriented reverse engineering of functional components from x86 binaries. ICSE 2014: 1128-1139
• 2013
• 
  William N. Sumner:
  Automated Failure Explanation Through Execution Comparison. Purdue University, USA, 2013
• 
  Zhongshu Gu, William N. Sumner, Zhui Deng, Xiangyu Zhang, Dongyan Xu:
  DRIP: A framework for purifying trojaned kernel drivers. DSN 2013: 1-12
• 
  William N. Sumner, Xiangyu Zhang:
  Comparative causality: explaining the differences between executions. ICSE 2013: 272-281
• 
  William N. Sumner, Xiangyu Zhang:
  Identifying execution points for dynamic analyses. ASE 2013: 81-91
• 2012
• 
  William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang:
  Precise Calling Context Encoding. IEEE Trans. Software Eng. 38(5): 1160-1177 (2012)
• 
  Dawei Qi, William N. Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, Abhik Roychoudhury:
  Modeling Software Execution Environment. WCRE 2012: 415-424
• 2011
• 
  Kyu Hyung Lee, Nick Sumner, Xiangyu Zhang, Patrick Eugster:
  Unified debugging of distributed systems with Recon. DSN 2011: 85-96
• 
  William N. Sumner, Tao Bao, Xiangyu Zhang, Sunil Prabhakar:
  Coalescing executions for fast uncertainty analysis. ICSE 2011: 581-590
• 
  William N. Sumner, Tao Bao, Xiangyu Zhang:
  Selecting peers for execution comparison. ISSTA 2011: 309-319
• 
  Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang:
  Toward generating reducible replay logs. PLDI 2011: 246-257
• 
  William N. Sumner, Christian Hammer, Julian Dolby:
  Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. RV 2011: 161-176
• 2010
• 
  William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang:
  Precise calling context encoding. ICSE (1) 2010: 525-534
• 
  Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan:
  Analyzing concurrency bugs using dual slicing. ISSTA 2010: 253-264
• 
  William N. Sumner, Xiangyu Zhang:
  Memory indexing: canonicalizing addresses across executions. SIGSOFT FSE 2010: 217-226

skipping 2 more matches