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

• 2023
• 
  Laura Bocchi, Dominic Orchard, A. Laura Voinea:
  A Theory of Composing Protocols. Art Sci. Eng. Program. 7(2) (2023)
• 
  Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, Elisa Gonzalez Boix:
  Out-of-Things Debugging: A Live Debugging Approach for Internet of Things. Art Sci. Eng. Program. 7(2) (2023)
• 
  Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen:
  Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. Art Sci. Eng. Program. 7(2) (2023)
• 
  Ludovic Courtès:
  Building a Secure Software Supply Chain with GNU Guix. Art Sci. Eng. Program. 7(1): 1 (2023)
• 
  Farima Farmahinifarahani, Cristina V. Lopes:
  Black Boxes, White Noise: Similarity Detection for Neural Functions. Art Sci. Eng. Program. 7(3) (2023)
• 
  Richard P. Gabriel:
  Notes on "Notes on the Synthesis of Form": Dawning Insights in Early Christopher Alexander. Art Sci. Eng. Program. 7(3) (2023)
• 
  Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
  Little Tricky Logic: Misconceptions in the Understanding of LTL. Art Sci. Eng. Program. 7(2) (2023)
• 
  Joel Jakubovic, Jonathan Edwards, Tomas Petricek:
  Technical Dimensions of Programming Systems. Art Sci. Eng. Program. 7(3) (2023)
• 
  Sebastian Kloibhofer, Lukas Makor, David Leopoldseder, Daniele Bonetta, Lukas Stadler, Hanspeter Mössenböck:
  Control Flow Duplication for Columnar Arrays in a Dynamic Compiler. Art Sci. Eng. Program. 7(3) (2023)
• 
  Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi:
  Gradual Soundness: Lessons from Static Python. Art Sci. Eng. Program. 7(1): 2 (2023)
• 
  Raphael Mosaner, David Leopoldseder, Wolfgang Kisling, Lukas Stadler, Hanspeter Mössenböck:
  Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks. Art Sci. Eng. Program. 7(1): 3 (2023)
• 
  Xueying Qin, Liam O'Connor, Michel Steuwer:
  Primrose: Selecting Container Data Types by Their Properties. Art Sci. Eng. Program. 7(3) (2023)
• 
  Eduardo Rosales, Matteo Basso, Andrea Rosà, Walter Binder:
  Profiling and Optimizing Java Streams. Art Sci. Eng. Program. 7(3) (2023)
• 
  Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks:
  Symphony: Expressive Secure Multiparty Computation with Coordination. Art Sci. Eng. Program. 7(3) (2023)