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

• 2025
• 
  Derrick Quinn, Mohammad Nouri, Neel Patel, John Salihu, Alireza Salemi, Sukhan Lee, Hamed Zamani, Mohammad Alian:
  Accelerating Retrieval-Augmented Generation. ASPLOS (1) 2025: 15-32
• 
  Zhongnan Fang, Andrew Johnston, Lina Cheuy, Hye Sun Na, Magdalini Paschali, Camila González, Bonnie A. Armstrong, Arogya Koirala, Derrick Laurel, Andrew Campion, Michael Iv, Akshay S. Chaudhari, David B. Larson:
  Automated Real-time Assessment of Intracranial Hemorrhage Detection AI Using an Ensembled Monitoring Model (EMM). CoRR abs/2505.11738 (2025)
• 2024
• 
  Lawrence Nderu, Ruth Oginga, Bonface Butichi, John Rono, Florence Njau, Felista Mogire, Derrick Matindo, Daniel Muiruri, Agnes Kiragga:
  DataLawCompanion: Enhancing Data Protection Law Compliance in the Digital Age. Data Sci. J. 23 (2024)
• 
  Jessica Schwartz-Dillard, Travis Ng, Joann Villegas, Derrick Johnson, Mary P. T. Murray-Weir:
  Electronic documentation burden among outpatient rehabilitation therapists: a qualitative descriptive study and quality improvement initiative. J. Am. Medical Informatics Assoc. 31(10): 2347-2355 (2024)
• 
  Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
  A Fully Verified Persistency Library. VMCAI (2) 2024: 26-47
• 
  Derrick Quinn, Mohammad Nouri, Neel Patel, John Salihu, Alireza Salemi, Sukhan Lee, Hamed Zamani, Mohammad Alian:
  Accelerating Retrieval-Augmented Generation. CoRR abs/2412.15246 (2024)
• 2023
• 
  Prachi Shukla, Derrick Aguren, Tom Burd, Ayse K. Coskun, John Kalamatianos:
  Temperature-Aware Sizing of Multi-Chip Module Accelerators for Multi-DNN Workloads. DATE 2023: 1-6
• 
  Philip John Gorinski, Matthieu Zimmer, Gerasimos Lampouras, Derrick-Goh-Xin Deik, Ignacio Iacobacci:
  Automatic Unit Test Data Generation and Actor-Critic Reinforcement Learning for Code Synthesis. EMNLP (Findings) 2023: 370-384
• 
  Gabriel H. Loh, Michael J. Schulte, Mike Ignatowski, Vignesh Adhinarayanan, Shaizeen Aga, Derrick Aguren, Varun Agrawal, Ashwin M. Aji, Johnathan Alsop, Paul T. Bauman, Bradford M. Beckmann, Majed Valad Beigi, Sergey Blagodurov, Travis Boraten, Michael Boyer, William C. Brantley, Noel Chalmers, Shaoming Chen, Kevin Cheng, Michael L. Chu, David Cownie, Nicholas Curtis, Joris Del Pino, Nam Duong, Alexandru Dutu, Yasuko Eckert, Christopher Erb, Chip Freitag, Joseph L. Greathouse, Sudhanva Gurumurthi, Anthony Gutierrez, Khaled Hamidouche, Sachin Hossamani, Wei Huang, Mahzabeen Islam, Nuwan Jayasena, John Kalamatianos, Onur Kayiran, Jagadish Kotra, Alan Lee, Daniel Lowell, Niti Madan, Abhinandan Majumdar, Nicholas Malaya, Srilatha Manne, Susumu Mashimo, Damon McDougall, Elliot Mednick, Michael Mishkin, Mark Nutter, Indrani Paul, Matthew Poremba, Brandon Potter, Kishore Punniyamurthy, Sooraj Puthoor, Steven E. Raasch, Karthik Rao, Gregory Rodgers, Marko Scrbak, Mohammad Seyedzadeh, John Slice, Vilas Sridharan, René van Oostrum, Eric Van Tassell, Abhinav Vishnu, Samuel Wasmundt, Mark Wilkening, Noah Wolfe, Mark Wyse, Adithya Yalavarti, Dmitri Yudanov:
  A Research Retrospective on AMD's Exascale Computing Journey. ISCA 2023: 81:1-81:14
• 
  Philip John Gorinski, Matthieu Zimmer, Gerasimos Lampouras, Derrick-Goh-Xin Deik, Ignacio Iacobacci:
  Automatic Unit Test Data Generation and Actor-Critic Reinforcement Learning for Code Synthesis. CoRR abs/2310.13669 (2023)
• 2022
• 
  Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
  Modularising Verification Of Durable Opacity. Log. Methods Comput. Sci. 18(3) (2022)
• 
  Derrick A. Chu, John R. Barry:
  The case against alphabet awareness for detection of direct-sequence spread-spectrum signals. Signal Process. 194: 108449 (2022)
• 2021
• 
  John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
  Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects Comput. 33(4-5): 547-573 (2021)
• 
  Daniel J. A. Derrick, Kathryn Wolton, Richard A. Currie, Marcus John Tindall:
  A mathematical model of the role of aggregation in sonic hedgehog signalling. PLoS Comput. Biol. 17(2) (2021)
• 
  Hugo F. Posada-Quintero, Bruce J. Derrick, Christopher Winstead-Derlega, Sara I. Gonzalez, M. Claire Ellis, John J. Freiberger, Ki H. Chon:
  Time-varying Spectral Index of Electrodermal Activity to Predict Central Nervous System Oxygen Toxicity Symptoms in Divers: Preliminary results. EMBC 2021: 1242-1245
• 
  Derrick A. Chu, John R. Barry:
  Direct-Sequence Spread-Spectrum Acquisition for High Dynamic Environments via Signal Partitioning. MILCOM 2021: 378-383
• 
  Michael Foster, John Derrick, Neil Walkinshaw:
  Reverse-Engineering EFSMs with Data Dependencies. ICTSS 2021: 37-54
• 
  John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
  Brief Announcement: On Strong Observational Refinement and Forward Simulation. DISC 2021: 55:1-55:4
• 
  John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
  On Strong Observational Refinement and Forward Simulation. CoRR abs/2107.14509 (2021)
• 2020
• 
  Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick:
  Inference of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
• 
  Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick:
  A Formal Model of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
• 
  Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim:
  Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. FORTE 2020: 39-58
• 
  Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim:
  Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. CoRR abs/2004.08200 (2020)
• 
  Ramesh Raskar, Greg Nadeau, John Werner, Rachel Barbar, Ashley Mehra, Gabriel Harp, Markus Leopoldseder, Bryan Wilson, Derrick Flakoll, Praneeth Vepakomma, Deepti Pahwa, Robson Beaudry, Emelin Flores, Maciej Popielarz, Akanksha Bhatia, Andrea Nuzzo, Matt Gee, Jay Summet, Rajeev Surati, Bikram Khastgir, Francesco Maria Benedetti, Kristen Vilcans, Sienna Leis, Khahlil Louisy:
  COVID-19 Contact-Tracing Mobile Apps: Evaluation and Assessment for Decision Makers. CoRR abs/2006.05812 (2020)
• 
  Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
  Modularising Verification Of Durable Opacity. CoRR abs/2011.15013 (2020)
• 2019
• 
  Andrew Haslam, Kurt M. English, Alexander Derrickson, John F. McDonald:
  Automated Verification and Optimization of SFQ Superconducting Circuits. IEEE Access 7: 22843-22855 (2019)
• 
  Kirsten Winter, Graeme Smith, John Derrick:
  Modelling concurrent objects running on the TSO and ARMv8 memory models. Sci. Comput. Program. 184 (2019)
• 
  John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
  Verifying Correctness of Persistent Concurrent Data Structures. FM 2019: 179-195
• 
  Mary Jane C. Samonte, Renz A. Gazmin, John Derrick S. Soriano, Martela Nicolai O. Valencia:
  BridgeApp: An Assistive Mobile Communication Application for the Deaf and Mute. ICTC 2019: 1310-1315
• 
  Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick:
  Verifying C11 programs operationally. PPoPP 2019: 355-365

skipping 203 more matches