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

• 2020
• 
  Yannick Suter, Urspeter Knecht, Roland Wiest, Ekkehard Hewer, Philippe Schucht, Mauricio Reyes:
  Towards MRI Progression Features for Glioblastoma Patients: From Automated Volumetry and Classical Radiomics to Deep Feature Learning. MLCN/RNO-AI@MICCAI 2020: 129-138
• 2017
• 
  Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp:
  Identifying Android library dependencies in the presence of code obfuscation and minimization. ICSE (Companion Volume) 2017: 250-252
• 
  Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby:
  Who you gonna call?: analyzing web requests in Android applications. MSR 2017: 80-90
• 
  Ioana Baldini, Perry Cheng, Stephen J. Fink, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter, Olivier Tardieu:
  The serverless trilemma: function composition for serverless computing. Onward! 2017: 89-103
• 
  Ioana Baldini, Paul C. Castro, Kerry Shih-Ping Chang, Perry Cheng, Stephen Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Aleksander Slominski, Philippe Suter:
  Serverless Computing: Current Trends and Open Problems. Research Advances in Cloud Computing 2017: 1-20
• 
  Ioana Baldini, Paul C. Castro, Kerry Shih-Ping Chang, Perry Cheng, Stephen J. Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric M. Rabbah, Aleksander Slominski, Philippe Suter:
  Serverless Computing: Current Trends and Open Problems. CoRR abs/1706.03178 (2017)
• 
  Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby:
  Who you gonna call? Analyzing Web Requests in Android Applications. CoRR abs/1705.06629 (2017)
• 2016
• 
  Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
  Spreadsheets for stream processing with unbounded windows and partitions. DEBS 2016: 49-60
• 
  Ioana Baldini, Paul C. Castro, Perry Cheng, Stephen J. Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter:
  Cloud-native, event-based programming for mobile applications. MOBILESoft 2016: 287-288
• 
  Erik Wittern, Philippe Suter, Shriram Rajagopalan:
  A look at the dynamics of the JavaScript package ecosystem. MSR 2016: 351-361
• 2015
• 
  Philippe Suter, Erik Wittern:
  Inferring Web API Descriptions from Usage Data. HotWeb 2015: 7-12
• 
  Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
  Spreadsheets for Stream Partitions and Windows. SEMS@ICSE 2015: 39-40
• 
  Philippe Suter, Olivier Tardieu, Josh Milthorpe:
  Distributed programming in Scala with APGAS. Scala@PLDI 2015: 13-17
• 
  Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
  Spreadsheets for Stream Partitions and Windows. CoRR abs/1503.04215 (2015)
• 2014
• 
  Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel:
  Stream Processing with a Spreadsheet. ECOOP 2014: 360-384
• 2013
• 
  Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
  Functional synthesis for linear arithmetic and sets. Int. J. Softw. Tools Technol. Transf. 15(5-6): 455-474 (2013)
• 
  Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter:
  An overview of the Leon verification system: verification by translation to recursive functions. SCALA@ECOOP 2013: 1:1-1:10
• 
  Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter:
  Synthesis modulo recursive functions. OOPSLA 2013: 407-426
• 
  Viktor Kuncak, Etienne Kneuss, Philippe Suter:
  Executing Specifications Using Synthesis and Constraint Solving. RV 2013: 1-20
• 
  Swen Jacobs, Viktor Kuncak, Philippe Suter:
  Reductions for Synthesis Procedures. VMCAI 2013: 88-107
• 
  Etienne Kneuss, Viktor Kuncak, Philippe Suter:
  Effect Analysis for Programs with Callbacks. VSTTE 2013: 48-67
• 
  Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter:
  On Integrating Deductive Synthesis and Verification Systems. CoRR abs/1304.5661 (2013)
• 2012
• 
  Philippe Suter:
  Programming with Specifications. EPFL, Switzerland, 2012
• 
  Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
  Software synthesis procedures. Commun. ACM 55(2): 103-111 (2012)
• 
  Ali Sinan Köksal, Viktor Kuncak, Philippe Suter:
  Constraints as control. POPL 2012: 151-164
• 2011
• 
  Ali Sinan Köksal, Viktor Kuncak, Philippe Suter:
  Scala to the Power of Z3: Integrating SMT and Programming. CADE 2011: 400-406
• 
  Philippe Suter, Ali Sinan Köksal, Viktor Kuncak:
  Satisfiability Modulo Recursive Programs. SAS 2011: 298-315
• 
  Philippe Suter, Robin Steiger, Viktor Kuncak:
  Sets with Cardinality Constraints in Satisfiability Modulo Theories. VMCAI 2011: 403-418
• 2010
• 
  Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
  Comfusy: A Tool for Complete Functional Synthesis. CAV 2010: 430-433
• 
  Viktor Kuncak, Ruzica Piskac, Philippe Suter:
  Ordered Sets in the Calculus of Data Structures. CSL 2010: 34-48

skipping 8 more matches