BibSLEIGH — exclamation tag

exclamation

exclamation

Tag #exclamation

360 papers:

POPL-2020-SozeauBFTW #coq #type checking #verification: Coq Coq correct! verification of type checking and erasure for Coq, in Coq (MS, SB, YF0, NT, TW), p. 28.
EDM-2019-JacobsenS #recommendation #student: It's a Match! Reciprocal Recommender System for Graduating Students and Jobs (AJ, GS).
SANER-2019-WlodarskiPPFZ #legacy #scalability: Qualify First! A Large Scale Modernisation Report (LW, BP, IP, JF, VZ), pp. 569–573.
SANER-2019-YukizawaTT #case study #proving #social: Please Help! A Preliminary Study on the Effect of Social Proof and Legitimization of Paltry Contributions in Donations to OSS (UY, MT, AT), pp. 609–613.
SCAM-2019-StorerB #automation #behaviour #development #generative #testing: Behave Nicely! Automatic Generation of Code for Behaviour Driven Development Test Suites (TS, RB), pp. 228–237.
FSCD-2019-CiaffaglioneGHL #calculus: lambda!-calculus, Intersection Types, and Involutions (AC, PDG, FH, ML, IS), p. 16.
VS-Games-2019-PanzoliRF #artificial reality #interactive: Hand-based interactions in Virtual Reality: No better feeling than the real thing! (DP, PR, MF), pp. 1–2.
CIKM-2019-VergoulisCKDTD #ranking: BIP! Finder: Facilitating Scientific Literature Search by Exploiting Impact-Based Ranking (TV, SC, IK, PD, CT, TD), pp. 2937–2940.
ECIR-p2-2019-ElsayedNBHSMA #automation #identification #verification: CheckThat! at CLEF 2019: Automatic Identification and Verification of Claims (TE, PN, ABC, MH, RS, GDSM, PA), pp. 309–315.
ICML-2019-IpsenH: Phase transition in PCA with missing data: Reduced signal-to-noise ratio, not sample size! (NBI, LKH), pp. 2951–2960.
ICST-2019-LiuKB0KT #automation #benchmark #bias #fault #locality #metric #program repair #what: You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems (KL0, AK, TFB, DK0, JK, YLT), pp. 102–113.
ICFP-2018-BreitnerSLRWW #case study #experience #haskell #set #verification: Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) (JB, ASZ, YL0, CR, JW, SW), p. 16.
CIKM-2018-GaurKASDTP #classification #health #quote: “Let Me Tell You About Your Mental Health!”: Contextualized Classification of Reddit Posts to DSM-5 for Web-based Intervention (MG, UK, AA, APS, RD, KT, JP), pp. 753–762.
ECIR-2018-0001MPJNJ18a #automation #independence #keyword: YAKE! Collection-Independent Automatic Keyword Extractor (RC0, VM, AP, AMJ, CN, AJ), pp. 806–810.
ICML-2018-NguyenNDRST #bound #convergence: SGD and Hogwild! Convergence Without the Bounded Gradients Assumption (LMN, PHN, MvD, PR, KS, MT), pp. 3747–3755.
ICPR-2018-ArtaudSDOD #contest #detection: Find it! Fraud Detection Contest Report (CA, NS, AD, JMO, VPD), pp. 13–18.
KDD-2018-FanHZYA #detection: Gotcha - Sly Malware!: Scorpion A Metagraph2vec Based Malware Detection System (YF, SH, YZ, YY, MA), pp. 253–262.
KDD-2018-GargR #recommendation: Route Recommendations for Idle Taxi Drivers: Find Me the Shortest Route to a Customer! (NG, SR), pp. 1425–1434.
PLDI-2018-SteindorferV #functional #multi #performance: To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries (MJS, JJV), pp. 283–295.
CAV-2018-MeyerSL #named #synthesis: Strix: Explicit Reactive Synthesis Strikes Back! (PJM, SS, ML), pp. 578–586.
CAV-2018-ArndtJKMN #graph #java #pointer #source code #verification: Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs (HA, CJ, JPK, CM, TN0), pp. 3–11.
ICPC-2017-HozanoGAFC #detection #developer #performance #smell: Smells are sensitive to developers!: on the efficiency of (un)guided customized detection (MH, AG, NA, BF, EdBC), pp. 110–120.
ICPC-2017-MilojkovicGN17a #type system: It's duck (typing) season! (NM, MG, ON), pp. 312–315.
IFM-2017-UttingPG: Making Whiley Boogie! (MU, DJP, LG), pp. 69–84.
Haskell-2017-KarachaliasS #dependence #functional: Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! (GK, TS), pp. 133–147.
CHI-PLAY-2017-SeeleMBHS #artificial reality #behaviour #game studies #how #question #social: Here's Looking At You Anyway!: How Important is Realistic Gaze Behavior in Co-located Social Virtual Reality Games? (SS, SM, HB, RH, JS), pp. 531–540.
ECIR-2017-Anand0P #detection #network #what: We Used Neural Networks to Detect Clickbaits: You Won't Believe What Happened Next! (AA, TC0, NP), pp. 541–547.
ECIR-2017-GoelGRTS #multimodal #retrieval #user interface #video: “Hey, vitrivr!” - A Multimodal UI for Video Retrieval (PG, IG, LR, CT, HS), pp. 749–752.
ICML-2017-MaystreG #approach #effectiveness #learning: Just Sort It! A Simple and Effective Approach to Active Preference Learning (LM, MG), pp. 2344–2353.
KDD-2017-ManzoorA: RUSH!: Targeted Time-limited Coupons via Purchase Forecasts (EAM, LA), pp. 1923–1931.
KDD-2017-PaulLTYF #analysis #named #sentiment #twitter #what: Compass: Spatio Temporal Sentiment Analysis of US Election What Twitter Says! (DP, FL0, MKT, XY, RF), pp. 1585–1594.
PPDP-2017-BelangerA #performance: Shrink fast correctly! (OSB, AWA), pp. 49–60.
ASE-2017-ToffolaSP #effectiveness #generative #mining #testing: Saying 'hi!' is not enough: mining inputs for effective test generation (LDT, CAS, MP), pp. 44–49.
ICST-2017-GambiGZ #in the cloud #low cost #testing: O!Snap: Cost-Efficient Testing in the Cloud (AG, AG, AZ), pp. 454–459.
EDM-2016-ZhengSP #learning #student: Perfect Scores Indicate Good Students !? The Case of One Hundred Percenters in a Math Learning System (ZZ, MS, NP), pp. 660–661.
ICPC-2016-OguraYHHK #detection #injection #java: Hey! Are you injecting side effect?: A tool for detecting purity changes in java methods (NO, JY, KH, YH, SK), pp. 1–3.
ICFP-2016-EmotoMHMI #domain-specific language #functional #graph: Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing (KE, KM, ZH, AM, HI), pp. 200–213.
CHI-PLAY-2016-CollinsCL #game studies #network #student: Say Cheese!: Games for Successful Academic and Student Networking (EIMC, ALC, FJL), pp. 105–115.
VS-Games-2016-Brooks #design #game studies #named: Zoom: A Serious Games Intervention Design Model - When Games Alone Are Not Enough! (ALB), pp. 1–6.
CIKM-2016-ZhangFR #information retrieval #knowledge base: XKnowSearch!: Exploiting Knowledge Bases for Entity-based Cross-lingual Information Retrieval (LZ0, MF0, AR), pp. 2425–2428.
PPDP-2016-GiachinoHLM: Actors may synchronize, safely! (EG, LH, CL, VM), pp. 118–131.
QAPL-2016-LarsenLZ15 #bound #energy #game studies: Limit Your Consumption! Finding Bounds in Average-energy Games (KGL, SL, MZ0), pp. 1–14.
ICSE-2016-PonzanelliBMPOH #development #video: Too long; didn't watch!: extracting relevant fragments from software development video tutorials (LP, GB, AM, MDP, RO, MAH, BR, SH, ML), pp. 261–272.
GPCE-2016-Rompf #composition #lightweight #staging: Lightweight modular staging (LMS): generate all the things! (TR), p. 1.
FASE-2016-WeckesserLSRS #automation #bound #detection #feature model #modelling: Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models (MW, ML, TS, BR, AS), pp. 158–175.
TAP-2016-Slama #automation #certification #testing #what: Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant! (FS), pp. 191–198.
DocEng-2015-Sire #documentation #web: Developing Web Applications with Document Engineering Technologies and Enjoying It! (SS), pp. 231–232.
VLDB-2015-MitliagkasBDC #approximate #graph #performance #rank: FrogWild! — Fast PageRank Approximations on Graph Engines (IM, MB, AGD, CC), pp. 874–885.
VLDB-2015-SharovSMS #distributed #online #optimisation: Take me to your leader! Online Optimization of Distributed Storage Configurations (AS, AS, AM, MS), pp. 1490–1501.
SIGITE-2015-Forster #education #geometry #programming: Programming in Scratch and Mathematics: Augmenting Your Geometry Curriculum, Today! (KTF), p. 97.
SIGITE-2015-LeleuxHSYSG #programming: Work in Progress: Programming is a SNAP! Increasing Knowledge and Interest in Computer Science (HL, TH, AS, GY, CS, TG), p. 101.
ICSME-2015-PalombaVBOPPL #crowdsourcing #evolution #matter: User reviews matter! Tracking crowdsourced reviews to support evolution of successful apps (FP, MLV, GB, RO, MDP, DP, ADL), pp. 291–300.
TLCA-2015-Santo #calculus: Curry-Howard for Sequent Calculus at Last! (JES), pp. 165–179.
CEFP-2015-FernandesCSP #deforestation #tutorial: Watch Out for that Tree! A Tutorial on Shortcut Deforestation (JPF, JC, JS, AP), pp. 1–41.
ICFP-2015-PloegC: Practical principled FRP: forget the past, change the future, FRPNow! (AvdP, KC), pp. 302–314.
CHI-PLAY-2015-AbeeleWGGG #assessment #game studies: Game-based Assessment of Psycho-acoustic Thresholds: Not All Games Are Equal! (VVA, JW, PG, AG, LG), pp. 331–341.
CHI-PLAY-2015-BaskinZ #analysis #behaviour #interactive #tablet #towards: The Player is Chewing the Tablet!: Towards a Systematic Analysis of User Behavior in Animal-Computer Interaction (SB, AZ), pp. 463–468.
CHI-PLAY-2015-DumeljicPRDD: Penguin Peril: The Fun of Queuing Up! (DD, DvP, JR, OD, SD), pp. 771–774.
CHI-PLAY-2015-HarrisHS #game studies #prototype #quote #symmetry: “Beam Me 'Round, Scotty!”: Studying Asymmetry and Interdependence in a Prototype Cooperative Game (JH, MSH, SDS), pp. 775–778.
CIG-2015-SequeiraMP #collaboration #game studies #multi #quote: “Let's save resources!”: A dynamic, collaborative AI for a multiplayer environmental awareness game (PS, FSM, AP), pp. 399–406.
GaM-2015-KissingerZ: !-graphs with trivial overlap are context-free (AK, VZ), pp. 16–31.
CHI-2015-AlmuhimediSSAAG #case study #mobile #privacy: Your Location has been Shared 5, 398 Times!: A Field Study on Mobile App Privacy Nudging (HA, FS, NMS, IA, AA, JG, LFC, YA), pp. 787–796.
CHI-2015-HangLH #authentication #security #smarttech #what: I Know What You Did Last Week! Do You?: Dynamic Security Questions for Fallback Authentication on Smartphones (AH, ADL, HH), pp. 1383–1392.
CHI-2015-HourcadeMWP #analysis #using: Look, My Baby Is Using an iPad! An Analysis of YouTube Videos of Infants and Toddlers Using Tablets (JPH, SLM, DW, LP), pp. 1915–1924.
CHI-2015-KoemanKR #approach #distributed #quote #visualisation: “Everyone Is Talking about It!”: A Distributed Approach to Urban Voting Technology and Visualisations (LK, VK, YR), pp. 3127–3136.
CHI-2015-LeeBCCWPSBR #interactive: Trap it!: A Playful Human-Biology Interaction for a Museum Installation (SAL, EB, AMC, NC, BW, JYP, BS, PB, IHRK), pp. 2593–2602.
CHI-2015-LucaHZH #authentication #comprehension #smarttech #towards: I Feel Like I’m Taking Selfies All Day!: Towards Understanding Biometric Authentication on Smartphones (ADL, AH, EvZ, HH), pp. 1411–1414.
CHI-2015-NevesFMBN #communication #evaluation #quote: “My Hand Doesn’t Listen to Me!”: Adoption and Evaluation of a Communication Technology for the “Oldest Old” (BBN, RLF, CM, RB, MN), pp. 1593–1602.
CSCW-2015-Anya #design #question #what: Bridge the Gap!: What Can Work Design in Crowdwork Learn from Work Design Theories? (OA), pp. 612–627.
CSCW-2015-EpsteinJBMM #design #framework #social: From “nobody cares” to “way to go!”: A Design Framework for Social Sharing in Personal Informatics (DAE, BHJ, EB, DWM, SAM), pp. 1622–1636.
CSCW-2015-MillerCT #experience #quote #user interface: “I LOVE THIS SITE!” vs. “It’s a little girly”: Perceptions of and Initial User Experience with Pinterest (HJM, SC, LGT), pp. 1728–1740.
CSCW-2015-SolomonMW #coordination #how: Don’t Wait!: How Timing Affects Coordination of Crowdfunding Donations (JS, WM, RW), pp. 547–556.
DUXU-DD-2015-Mesbahi #interactive: Human-Robot Interaction Ethics in Sci-Fi Movies: Ethics Are Not “There”, We Are the Ethics! (MEM), pp. 590–598.
ECIR-2015-HarveyC #hashtag #personalisation #twitter: Long Time, No Tweets! Time-aware Personalised Hashtag Suggestion (MH, FC), pp. 581–592.
RecSys-2015-BetzalelSR #quote #recommendation: “Please, Not Now!”: A Model for Timing Recommendations (NDB, BS, LR), pp. 297–300.
ESEC-FSE-2015-XuJFZPT #comprehension: Hey, you have given me too many knobs!: understanding and dealing with over-designed configuration in system software (TX, LJ, XF, YZ, SP, RT), pp. 307–319.
ICSE-v1-2015-SmithBZ #scalability #tool support: Build It Yourself! Homegrown Tools in a Large Software Company (EKS, CB, TZ), pp. 369–379.
FASE-2015-CzechJW #verification #what: Just Test What You Cannot Verify! (MC, MCJ, HW), pp. 100–114.
CSL-2015-GradelP #logic #rank: Rank Logic is Dead, Long Live Rank Logic! (EG, WP), pp. 390–404.
ICST-2015-ZhangAC #model checking #verification: Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.
LICS-2015-HackettH #source code: Programs for Cheap! (JH, GH), pp. 115–126.
VLDB-2014-GaoP #algorithm: Finish Them!: Pricing Algorithms for Human Computation (YG, AGP), pp. 1965–1976.
VLDB-2014-GeertsMPS #open source: That’s All Folks! LLUNATIC Goes Open Source (FG, GM, PP, DS), pp. 1565–1568.
VLDB-2014-JindalR0MDS #graph #named #relational: VERTEXICA: Your Relational Friend for Graph Analytics! (AJ, PR, EW, SM, AD, MS), pp. 1669–1672.
VLDB-2015-SidlauskasJ14 #implementation #in memory #matter #memory management: Spatial Joins in Main Memory: Implementation Matters! (DS, CSJ), pp. 97–100.
ICPC-2014-KirinukiHHK #commit #question: Hey! are you committing tangled changes? (HK, YH, KH, SK), pp. 262–265.
ICSME-2014-MeuriceRWC #information management #legacy: Establishing Referential Integrity in Legacy Information Systems — Reality Bites! (LM, FJBR, JHW, AC), pp. 461–465.
MSR-2014-GuoLM #question: Oops! where did that code snippet come from? (LG, JLL, GM), pp. 52–61.
MSR-2014-JoorabchiMM #debugging: Works for me! characterizing non-reproducible bug reports (MEJ, MM, AM), pp. 62–71.
AIIDE-2014-CernyBBA #constraints #simulation #using: Spice It Up! Enriching Open World NPC Simulation Using Constraint Satisfaction (MC0, CB, RB, MA).
CHI-PLAY-2014-BakkerCEHSBBK #named #social: BloxAR: augment your social life! (NCB, JRSdC, MvE, LJH, GS, IJvB, RB, BAK), pp. 319–322.
CHI-PLAY-2014-HarrisHS #game studies #quote #symmetry: “beam me 'round, Scotty!”: exploring the effect of interdependence in asymmetric cooperative games (JH, MSH, SDS), pp. 417–418.
VS-Games-2014-PereiraPP #case study #social: Disaster Prevention Social Awareness: The Stop Disasters! Case Study (GDGP, RP, AP), pp. 1–8.
CHI-2014-GlueckKW #navigation #realtime #visualisation: Dive in!: enabling progressive loading for real-time navigation of data visualizations (MG, AK, DJW), pp. 561–570.
CHI-2014-HakkilaPSAGS #3d #interactive #mobile: Let me catch this!: experiencing interactive 3D cinema through collecting content with a mobile phone (JH, MP, SS, FA, KG, AS), pp. 1011–1020.
CHI-2014-HunterMTIH #distance #game studies #video: WaaZam!: supporting creative play at a distance in customized video environments (SEH, PM, AT, KMI, SMH), pp. 1197–1206.
CHI-2014-PerinVF #navigation #ranking: A table!: improving temporal navigation in soccer ranking tables (CP, RV, JDF), pp. 887–896.
CHI-2014-SilpasuwanchaiR #gesture: Jump and shoot!: prioritizing primary and alternative body gestures for intense gameplay (CS, XR), pp. 951–954.
CHI-2014-StawarzCB #design #effectiveness: Don’t forget your pill!: designing effective medication reminder apps that support users’ daily routines (KS, ALC, AB), pp. 2269–2278.
CHI-2014-XuYRFHB #analysis: Show me the money!: an analysis of project updates during crowdfunding campaigns (AX, XY, HR, WTF, SWH, BPB), pp. 591–600.
DUXU-DP-2014-SauckenMKL #design: Motive-Oriented Design — Helping Automobile Engineers to Take the User’s Perspective! (CvS, IM, SK, UL), pp. 370–377.
HCI-AS-2014-ZiesemerMS #gamification #recommendation: Just Rate It! Gamification as Part of Recommendation (AdCAZ, LM, MSS), pp. 786–796.
LCT-TRE-2014-LorenzK #online: If I Do Not Like Your Online Profile I Will Not Hire You! (BL, KK), pp. 429–439.
ECIR-2014-Koolen #ll #quote: “User Reviews in the Search Index? That’ll Never Work!” (MK), pp. 323–334.
RecSys-2014-WaldnerV #game studies #recommendation #timeline #twitter: Emphasize, don’t filter!: displaying recommendations in Twitter timelines (WW, JV), pp. 313–316.
SIGIR-2014-KoopmanZ14a #assessment #information retrieval #open source: Relevation!: an open source system for information retrieval relevance assessment} (BK, GZ), pp. 1243–1244.
SIGIR-2014-ZerrSPHZ: NicePic!: a system for extracting attractive photos from flickr streams (SZ, SS, JSP, JSH, XZ), pp. 1259–1260.
PEPM-2014-AdamsFM #optimisation #scrap your boilerplate: Optimizing SYB is easy! (MDA, AF, JPM), pp. 71–82.
SAS-2014-AbdullaHH #verification: Block Me If You Can! — Context-Sensitive Parameterized Verification (PAA, FH, LH), pp. 1–17.
ICSE-2014-BegelZ #re-engineering: Analyze this! 145 questions for data scientists in software engineering (AB, TZ), pp. 12–13.
ICLP-J-2014-MantadelisRM #induction: Tabling, Rational Terms, and Coinduction Finally Together! (TM, RR, PM), pp. 429–443.
ICTSS-2014-WotawaB #automation #security #testing: Plan It! Automated Security Testing Based on Planning (FW, JB), pp. 48–62.
LICS-CSL-2014-GrathwohlKM: KAT + B! (NBBG, DK, KM), p. 10.
HT-2013-GuerreiroG #quote #what: “Tell me what I want to know!”: the effect of relationship closeness on the relevance of profile attributes (JG, DG), pp. 230–235.
ICDAR-2013-DovgalecsBTNH #documentation #word: Spot It! Finding Words and Patterns in Historical Documents (VD, AB, PT, SN, LH), pp. 1039–1043.
SIGMOD-2013-BarnettCDDFGMP #big data #interactive: Stat!: an interactive analytics environment for big data (MB, BC, RD, SMD, DF, JG, PM, JCP), pp. 1013–1016.
VLDB-2013-NambiarP: Keeping the TPC Relevant! (RON, MP), pp. 1186–1187.
SIGITE-2013-Settle #development #recursion #web: Reaching the “aha!” moment: web development as a motivator for recursion (AS), pp. 69–70.
MSR-2013-DemeyerMWL #analysis: Happy birthday! a trend analysis on past MSR papers (SD, AM, KW, AL), pp. 353–362.
DiGRA-2013-FortimG #community #identification #women: Attention whore! Perception of female players who identify themselves as women in the communities of MMOs (IF, CdMG).
DiGRA-2013-Karhulahti #challenge #game studies: Puzzle Is Not a Game! Basic Structures of Challenge (VMK).
CHI-2013-AnnettB #gesture #symmetry: Your left hand can do it too!: investigating intermanual, symmetric gesture transfer on touchscreens (MA, WFB), pp. 1119–1128.
CHI-2013-BirnholtzSP #case study #collaboration #maintenance: Write here, write now!: an experimental study of group maintenance in collaborative writing (JPB, SBS, AP), pp. 961–970.
CHI-2013-CafaroPLRR #interactive: I see you there!: developing identity-preserving embodied interaction for museum exhibits (FC, AP, LL, JR, JR), pp. 1911–1920.
CHI-2013-Egelman #facebook #privacy #trade-off #verification: My profile is my password, verify me!: the privacy/convenience tradeoff of facebook connect (SE), pp. 2369–2378.
CHI-2013-HartSA: Love it or hate it!: interactivity and user types (JH, AGS, ADA), pp. 2059–2068.
CHI-2013-HuangF #crowdsourcing #social: Don’t hide in the crowd!: increasing social transparency between peer workers improves crowdsourcing outcomes (SWH, WTF), pp. 621–630.
CHI-2013-PaneelsOBC #usability #what: Listen to it yourself!: evaluating usability of what’s around me? for the blind (SAP, AO, JRB, JRC), pp. 2107–2116.
CHI-2013-ValkanovaJTM #social #visualisation: Reveal-it!: the impact of a social visualization projection on public awareness and discourse (NV, SJ, MT, AVM), pp. 3461–3470.
CHI-2013-YangPCLNC #design #developer #development #tool support: I can do text analytics!: designing development tools for novice developers (HY, DPW, LC, YL, BN, ACF), pp. 1599–1608.
CSCW-2013-DimondDLB #online #social: Hollaback!: the role of storytelling online in a social movement organization (JPD, MD, DL, AB), pp. 477–490.
CSCW-2013-HsiehHCT #community #online #predict #quote #social #volunteer: “Welcome!”: social and psychological predictors of volunteer socializers in online communities (GH, YH, IC, KNT), pp. 827–838.
CSCW-2013-LarsonRSS #game studies #student: I want to be Sachin Tendulkar!: a spoken english cricket game for rural students (ML, NR, AS, SS), pp. 1353–1364.
CSCW-2013-MasonC #contest: Friends FTW! friendship and competition in halo: reach (WAM, AC), pp. 375–386.
CSCW-2013-YaroshMZE #enterprise #process #taxonomy: I need someone to help!: a taxonomy of helper-finding activities in the enterprise (SY, TM, MXZ, KE), pp. 1375–1386.
DUXU-CXC-2013-KuramotoIYT #gamification #people: Stand Up, Heroes! : Gamification for Standing People on Crowded Public Transportation (IK, TI, KY, YT), pp. 538–547.
DUXU-CXC-2013-MouraVCBSTLK #game studies #how #learning #mobile: Luz, Câmera, Libras!: How a Mobile Game Can Improve the Learning of Sign Languages (GdSM, LAV, AC, FB, DdS, JMXNT, CWML, JK), pp. 266–275.
DUXU-CXC-2013-SakamotoN13a #game studies #persuasion: Augmenting Yu-Gi-Oh! Trading Card Game as Persuasive Transmedia Storytelling (MS, TN), pp. 587–596.
DUXU-NTE-2013-ArningZM #design #framework #guidelines #interface #platform #requirements: Join the Ride! User Requirements and Interface Design Guidelines for a Commuter Carpooling Platform (KA, MZ, HM), pp. 10–19.
HCI-III-2013-DasG #sentiment: Sentimental Eyes! (AD, BG), pp. 310–318.
ICEIS-J-2013-HarbuschP13a #optimisation #smarttech #usability #user interface: Optimizing the User Interface of a First-Aid App: A “Realistic” Usability Study with the Smartphone Application “Defi Now!” (KH, JP), pp. 421–437.
ICEIS-v2-2013-CuzzocreaF #analysis #comparative #metamodelling #power of #state of the art: Comparative Analysis of State-of-the-Art Spatial Data Warehouse Meta-models — Catching the Expressive Power of SDW Schemas! (AC, RdNF), pp. 302–309.
ICEIS-v3-2013-HarbuschP #smarttech #usability #user interface: The User Interface of a Medical First Aid Application — A Close-to-Realistic Usability Study with the Smartphone Application “Defi Now!” (KH, JP), pp. 91–98.
ICEIS-v3-2013-Traverson #architecture #enterprise #integration: EASI! Enterprise Architecture for Seamless Integration (BT), pp. 231–235.
CIKM-2013-SpeicherBG #interactive #predict #web: TellMyRelevance!: predicting the relevance of web search results from cursor interactions (MS, AB, MG), pp. 1281–1290.
ECIR-2013-DowieA #framework #information management: Re-leashed! The PuppyIR Framework for Developing Information Services for Children, Adults and Dogs (DD, LA), pp. 824–827.
ICML-c3-2013-CovielloMCL #performance: That was fast! Speeding up NN search of high dimensional distributions (EC, AM, ABC, GRGL), pp. 468–476.
SIGIR-2013-RaueAJ #requirements #social #social media: #trapped!: social media search system requirements for emergency management professionals (SR, LA, CWJ), pp. 1073–1076.
PEPM-2013-MartinezVP #compilation #haskell #performance: Just do it while compiling!: fast extensible records in haskell (BM, MV, AP), pp. 77–86.
PLDI-2013-BurckhardtFHMMTK #feedback #programming #user interface: It’s alive! continuous feedback in UI programming (SB, MF, PdH, SM, MM, NT, JK), pp. 95–104.
PLDI-2013-Larus #in the cloud: Look up!: your future is in the cloud (JRL), pp. 1–2.
DAC-2013-GeierBYDSGC: Let’s put the car in your phone! (MG, MB, DY, BD, RS, DG, SC), p. 2.
PLOS-2013-KellerMAOCRKH #file system #verification: File systems deserve verification too! (GK, TCM, SA, LO, ZC, LR, GK, GH), p. 7.
FDG-2012-IsbisterKF #using: Scoop!: using movement to reduce math anxiety and affect confidence (KI, MK, JF), pp. 228–230.
CHI-2012-CoyleMKFB #experience: I did that!: measuring users’ experience of agency in their own actions (DC, JWM, POK, PF, AB), pp. 2025–2034.
CHI-2012-DellVMCT #bias #human-computer #quote: “Yours is better!”: participant response bias in HCI (ND, VV, IM, EC, WT), pp. 1321–1330.
CHI-2012-DuganGMVJLCDB #enterprise #quote: “I’d never get out of this !?$%# office”: redesigning time management for the enterprise (CD, WG, MJM, ANV, KJ, SL, LTC, EMD, BB), pp. 1755–1764.
CHI-2012-FourneyLMT #documentation #interface #online #quote: “Then click ok!”: extracting references to interface elements in online documentation (AF, BL, RM, MAT), pp. 35–38.
CHI-2012-KlempererLMSUBCGR #data access #using: Tag, you can see it!: using tags for access control in photo sharing (PFK, YL, MLM, MS, BU, LB, LFC, NG, MKR), pp. 377–386.
CHI-2012-LeivaA #automation: Monsieur, azonnal kövessen engem bitte!: an automatically generated interlanguage tailored to speakers of minority but culturally influenced languages (LAL, VA), pp. 31–34.
CHI-2012-LucaHBLH #authentication: Touch me once and i know it’s you!: implicit authentication based on touch screen patterns (ADL, AH, FB, CL, HH), pp. 987–996.
CHI-2012-OganFMDMC #interactive #learning #quote #social: “Oh dear Stacy!”: social interaction, elaboration, and learning with teachable agents (AO, SLF, EM, CD, NM, JC), pp. 39–48.
CHI-2012-PedroS #social: Your opinion counts!: leveraging social comments for analyzing aesthetic perception of photographs (JSP, PS), pp. 2519–2522.
CHI-2012-SzafirM #adaptation #design #monitoring: Pay attention!: designing adaptive agents that monitor and improve user engagement (DS, BM), pp. 11–20.
CHI-2012-WangK #development #topic #twitter: Twitter and the development of an audience: those who stay on topic thrive! (YCW, RK), pp. 1515–1518.
CIKM-2012-Baeza-YatesL #matter #network: User engagement: the network effect matters! (RABY, ML), pp. 1–2.
CIKM-2012-BiyaniCSM #online #thread #what: I want what i need!: analyzing subjectivity of online forum threads (PB, CC, AS, PM), pp. 2495–2498.
CIKM-2012-BlancoCLPS #recommendation #why: You should read this! let me explain you why: explaining news recommendations to users (RB, DC, CL, RP, FS), pp. 1995–1999.
CIKM-2012-LiSG #network #online #social: Collective intelligence in the online social network of yahoo!answers and its implications (ZL, HS, JEG), pp. 455–464.
CIKM-2012-ZerrSH #classification #image #privacy #retrieval: PicAlert!: a system for privacy-aware image classification and retrieval (SZ, SS, JSH), pp. 2710–2712.
SIGIR-2012-Brown #challenge #named: Watson: the Jeopardy! challenge and beyond (EWB0), p. 1020.
SIGIR-2012-TanGS #identification: $100, 000 prize jackpot. call now!: identifying the pertinent features of SMS spam (HT, NG, MS), pp. 1175–1176.
OOPSLA-2012-MeawadRMV #automation #javascript #source code: Eval begone!: semi-automated removal of eval from javascript programs (FM, GR, FM, JV), pp. 607–620.
PADL-2012-Stewart #functional #haskell #programming: Make Things Now! Pragmatic Functional Programming in Haskell (DS), p. 17.
RE-2012-GrossD #requirements #specification #what: What you need is what you get!: The vision of view-based requirements specifications (AG, JD), pp. 171–180.
DAC-2012-JoubertDBTH #3d #problem: Capacitance of TSVs in 3-D stacked chips a problem?: not for neuromorphic systems! (AJ, MD, BB, OT, RH), pp. 1264–1265.
DAC-2012-PalemA #what: What to do about the end of Moore’s law, probably! (KVP, LA), pp. 924–929.
ISMM-2012-YangBFH: Barriers reconsidered, friendlier still! (XY, SMB, DF, ALH), pp. 37–48.
FoSSaCS-2012-JagadeesanPR: Brookes Is Relaxed, Almost! (RJ, GP, JR), pp. 180–194.
IJCAR-2012-LatteL #branch: Branching Time? Pruning Time! (ML, ML), pp. 393–407.
ITiCSE-2011-PauHGW #case study #experience #programming #student: Female students’ experiences of programming: it’s not all bad! (RP, WH, MG, JW), pp. 323–327.
ICFP-2011-GaboardiPP #semantics: Linearity and PCF: a semantic insight! (MG, LP, MP), pp. 372–384.
DiGRA-2011-BoschRL #game studies: Doing It Themselves! A Mixed-Method Study into the Motivations of Players to 'Create' in the Context of Gaming (FVDB, WR, JVL).
DiGRA-2011-Huiberts #design #game studies: Listen! - Improving the Cooperation between Game Designers and Audio Designers (SH).
DiGRA-2011-Shaw #game studies #identification #quote #representation #video: “He could be a bunny rabbit for all I care!”: Identification with video game characters and arguments for diversity in representation (AS).
FDG-2011-CanossaDS #detection: Arrrgghh!!!: blending quantitative and qualitative methods to detect player frustration (AC, AD, JRMS), pp. 61–68.
CHI-2011-IqbalHJM: Hang on a sec!: effects of proactive mediation of phone conversations while driving (STI, EH, YCJ, EM), pp. 463–472.
CHI-2011-RaffleRMBBHKCFGS #chat #product line #video: Hello, is grandma there? let’s read! StoryVisit: family video chat and connected e-books (HR, GR, KM, RB, KB, HH, JK, KC, NF, JG, MS), pp. 1195–1204.
CHI-2011-WahidMDEH: Don’t drop it!: pick it up and storyboard (SW, DSM, JD, NE, SH), pp. 1571–1580.
CSCW-2011-GuoZNM #debugging: “Not my bug!” and other reasons for software bug report reassignments (PJG, TZ, NN, BM), pp. 395–404.
CSCW-2011-Johri #communication #distributed #email #tool support: Look ma, no email!: blogs and IRC as primary and preferred communication tools in a distributed firm (AJ), pp. 305–308.
CSCW-2011-KowN #community #online: Forget online communities?: revisit cooperative work! (YMK, BAN), pp. 351–354.
DUXU-v1-2011-SimpsonP #experience #user interface: Approaching Warp Speed!: Examining the User Experience in the Age of 4G (QS, SP), pp. 658–667.
DUXU-v2-2011-ArdavanC #3d #safety #towards: Listen! Somebody Is Walking towards Your Car (Introducing the Awareness-3D Sound System into the Driver to Increase the Pedestrian’s Safety) (MA, FC), pp. 89–98.
ICEIS-v3-2011-MansarWS #collaboration #design #distributed #student: Getting to Global Yes! — Designing a Distributed Student Collaboration (SLM, RW, BGKS), pp. 229–234.
ECIR-2011-HefnyDA #query: Is a Query Worth Translating: Ask the Users! (AH, KD, AA), pp. 238–250.
ICML-2011-LiP #clustering: Time Series Clustering: Complex is Simpler! (LL, BAP), pp. 185–192.
KDD-2011-DrorKMS #recommendation: I want to answer; who has a question?: Yahoo! answers recommender system (GD, YK, YM, IS), pp. 1109–1117.
RecSys-2011-KoenigsteinDK #modelling #music #recommendation #taxonomy: Yahoo! music recommendations: modeling music ratings with temporal dynamics and item taxonomy (NK, GD, YK), pp. 165–172.
SIGIR-2011-LvZ #documentation: When documents are very long, BM25 fails! (YL, CZ), pp. 1103–1104.
MoDELS-2011-FahrenbergLW #difference #semantics: Vision Paper: Make a Difference! (Semantically) (UF, AL, AW), pp. 490–500.
RE-2011-Cleland-HuangD #requirements: Ready-set-transfer! Technology transfer in the requirements engineering domain (JCH, DD), pp. 327–328.
ESEC-FSE-2011-BirdNMGD #quality: Don’t touch my code!: examining the effects of ownership on software quality (CB, NN, BM, HG, PTD), pp. 4–14.
SLE-2011-ErwigW #design #process #semantics: Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
HT-2010-KondoTU #web: Search your interests everywhere!: wikipedia-based keyphrase extraction from web browsing history (MK, AT, TU), pp. 295–296.
SIGITE-2010-KayamaFKTS #learning: Let’s go! magical spoons: a high school learning program for information coding fundamentals (MK, TF, AK, TT, CS), pp. 95–104.
Haskell-2010-Yorgey: Species and functors and types, oh my! (BAY), pp. 147–158.
ICFP-2010-Felleisen: TeachScheme!: a checkpoint (MF), pp. 129–130.
FDG-2010-ArenaS #game studies #learning #statistics #video: Stats invaders!: learning about statistics by playing a classic video game (DA, DLS), pp. 248–249.
FDG-2010-TreanorMW #design #game studies #logic #using #visual notation: Kaboom! is a many-splendored thing: an interpretation and design methodology for message-driven games using graphical logics (MT, MM, NWF), pp. 224–231.
CHI-2010-DearmanT #why: Why users of yahoo!: answers do not answer questions (DD, KNT), pp. 329–332.
CHI-2010-WangG: Don’t just stare at me! (NW, JG), pp. 1241–1250.
PEPM-2010-MagalhaesHJL #optimisation: Optimizing generics is easy! (JPM, SH, JJ, AL), pp. 33–42.
ICSE-2010-Schneider: Beyond hacking: an SOS! (FBS), p. 2.
SAC-2010-LesnerBBB #detection #framework #novel #source code #student: A novel framework to detect source code plagiarism: now, students have to work for real! (BL, RB, CB, GB), pp. 57–58.
CGO-2010-Zorn #performance: Performance is dead, long live performance! (BGZ), p. 1.
SIGMOD-2009-AhujaCGHHJKPPPU: Peta-scale data warehousing at Yahoo! (MA, CCC, RG, JH, WH, RJ, MK, RP, NP, SP, KU), pp. 855–862.
SIGMOD-2009-ChenGWX #memory management: Search your memory ! — an associative memory based desktop search system (JC, HG, WW, CX), pp. 1099–1102.
CIG-2009-CuadradoS: Chuck Norris rocks! (DC, YS), pp. 69–74.
DiGRA-2009-Jorgensen #empirical: “I'm overburdened!” An Empirical Study of the Player, the Avatar, and the Gameworld (KJ).
DiGRA-2009-WilsonS: Abusing the Player, and Making Them Like it Too! [Abstract] (DW, MS).
FDG-2009-OlsenM #towards: Beep! Beep! Boom!: towards a planning model of Coyote and Road Runner cartoons (DO, MM), pp. 145–152.
CHI-2009-HerringCKB #comprehension #design #how #why: Getting inspired!: understanding how and why examples are used in creative design practice (SRH, CCC, JK, BPB), pp. 87–96.
HCD-2009-Hasegawa #architecture #prototype: Site-it!: An Information Architecture Prototyping Tool (AH), pp. 707–711.
HCI-NIMT-2009-SaitoS #locality: Fly! Little Me: Localization of Body-Image within Reduced-Self (TS, MS), pp. 255–260.
HCI-NT-2009-RaoCJB #concurrent #how #people: “You’ve Got IMs!” How People Manage Concurrent Instant Messages (SR, JC, RJ, RB), pp. 500–509.
HIMI-DIE-2009-TsetserukouNPKIT #communication: iFeel_IM! Emotion Enhancing Garment for Communication in Affect Sensitive Instant Messenger (DT, AN, HP, NK, MI, ST), pp. 628–637.
HIMI-II-2009-WallhoffBGRDR #game studies #interface #statistics: Statistics-Based Cognitive Human-Robot Interfaces for Board Games — Let’s Play! (FW, AB, JG, TR, MD, GR), pp. 708–715.
ICEIS-DISI-2009-Missikoff #question #semantics: Let’s Semanticise the World!!...or not?? (MM), pp. 17–24.
CIKM-2009-ChenPBSM #data mining #lessons learnt #mining: Practical lessons of data mining at Yahoo! (YC, DP, PB, AS, AM), pp. 1047–1056.
ICML-2009-PoczosASGS #learning: Learning when to stop thinking and do something! (BP, YAY, CS, RG, NRS), pp. 825–832.
KDD-2009-ChuPBMPCZ #analysis #behaviour #case study: A case study of behavior-driven conjoint analysis on Yahoo!: front page today module (WC, STP, TB, NM, AP, SC, JZ), pp. 1097–1104.
SIGIR-2009-Savev: A search engine in a few lines.: yes, we can! (SS), pp. 772–773.
PADL-2009-Leshchinskiy #array: Recycle Your Arrays! (RL), pp. 209–223.
POPL-2009-Voigtlander #bidirectional #for free: Bidirectionalization for free! (Pearl) (JV), pp. 165–176.
PPDP-2009-Lammel #prolog #scrap your boilerplate: Scrap your boilerplate: prologically! (RL), pp. 7–12.
ASPLOS-2009-MytkowiczDHS: Producing wrong data without doing anything obviously wrong! (TM, AD, MH, PFS), pp. 265–276.
DATE-2009-LeupersVBHDN #programming: Programming MPSoC platforms: Road works ahead! (RL, AV, MB, SH, RD, AN), pp. 1584–1589.
WICSA-2008-ChristensenHS #architecture #research #set: Ready! Set! Go! An Action Research Agenda for Software Architecture Research (HBC, KMH, KRS), pp. 257–260.
VLDB-2008-CooperRSSBJPWY #framework #named #platform: PNUTS: Yahoo!’s hosted data serving platform (BFC, RR, US, AS, PB, HAJ, NP, DW, RY), pp. 1277–1288.
CSEET-2008-Honig #education #generative #process #quality #re-engineering: Teaching Successful “Real-World” Software Engineering to the “Net” Generation: Process and Quality Win! (WLH), pp. 25–32.
MSR-2008-WeissgerberND: Small patches get in! (PW, DN, SD), pp. 67–76.
CHI-2008-CostabileALABP #challenge #learning #mobile: Explore! possibilities and challenges of mobile learning (MFC, ADA, RL, CA, PB, TP), pp. 145–154.
CHI-2008-DearmanP #multi: It’s on my other computer!: computing with multiple devices (DD, JSP), pp. 767–776.
CHI-2008-MainwaringMM #design: From meiwaku to tokushita!: lessons for digital money design from japan (SDM, WM, BM), pp. 21–24.
CHI-2008-PeltonenKSJIEOS #interactive #multi #scalability: It’s Mine, Don’t Touch!: interactions at a large multi-touch display in a city centre (PP, EK, AS, GJ, TI, JE, AO, PS), pp. 1285–1294.
CHI-2008-ShamiEM: Pick me!: link selection in expertise search results (NSS, KE, DRM), pp. 1089–1092.
ICEIS-SAIC-2008-DranilPHS #concept #integration #web #web service: Get Ready for Mashability! Concepts for Web 2.0 Service Integration (PD, TP, TH, MS), pp. 160–167.
KDD-2008-BouguessaDW #identification: Identifying authoritative actors in question-answering forums: the case of Yahoo! answers (MB, BD, SW), pp. 866–874.
SEKE-2008-Haas #challenge #industrial #research #web: Impact! The Challenge of Industrial Research in Computer Science in a web 2.0 world (LMH), p. 2.
SIGIR-2008-LiuA #community #evolution #on the: On the evolution of the yahoo! answers QA community (YL, EA), pp. 737–738.
SAC-2008-AdaikkalavanC: Events must be complete in event processing! (RA, SC), pp. 1038–1039.
DAC-2008-HaritanHYPWNWM #challenge #design #manycore #question #what: Multicore design is the challenge! what is the solution? (EH, TH, HY, PGP, WW, AN, DW, MM), pp. 128–130.
ESOP-2008-MatthewsA #morphism #parametricity #polymorphism #runtime #theorem: Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (JM, AA), pp. 16–31.
STOC-2008-CaiCL #bound #polynomial #problem: A quadratic lower bound for the permanent and determinant problem over any characteristic != 2 (JyC, XC, DL), pp. 491–498.
ICLP-2008-Schaub #programming #set: Here’s the Beef: Answer Set Programming ! (TS), pp. 93–98.
IJCAR-2008-Dershowitz: Canonicity! (ND), pp. 327–331.
ICSM-2007-TraversoP: Agree or Change! Making Services Evolve (PT, MP), pp. 2–3.
DLT-2007-GruberH #complexity #nondeterminism: Inapproximability of Nondeterministic State and Transition Complexity Assuming P=!NP (HG, MH), pp. 205–216.
ICALP-2007-LuttgenV #concurrent #logic #simulation: Ready Simulation for Concurrency: It’s Logical! (GL, WV), pp. 752–763.
LATA-2007-BaaderHP #automaton #logic: SI! Automata Can Show PSPACE Results for Description Logics (FB, JH, RP), pp. 67–78.
TLCA-2007-JohannG #algebra #semantics: Initial Algebra Semantics Is Enough! (PJ, NG), pp. 207–222.
DiGRA-2007-KafaiCF #design #online: “Blacks Deserve Bodies Too!” Design and Discussion about Diversity and Race in a Tween Online World (YBK, MSC, DAF).
CHI-2007-SchrammelGST #quote #using: “Look!”: using the gaze direction of embodied agents (JS, AG, RS, MT), pp. 1187–1190.
HCI-IPT-2007-ZamanV #design #process: Getting Lost? Touch and You Will Find! The User-Centered Design Process of a Touch Screen (BZ, RV), pp. 197–206.
HIMI-MTT-2007-Encarnacao #interactive: HEI! — The Human Environment Interaction (JLE), pp. 623–631.
CIKM-2007-MihalceaC #documentation: Wikify!: linking documents to encyclopedic knowledge (RM, AC), pp. 233–242.
KDD-2007-ArchakGI #mining #power of: Show me the money!: deriving the pricing power of product features by mining consumer reviews (NA, AG, PGI), pp. 56–65.
PEPM-2007-FogartyPST #named: Concoqtion: indexed types now! (SF, EP, JGS, WT), pp. 112–121.
CAV-2007-BehrmannCDFLL #game studies #named: UPPAAL-Tiga: Time for Playing Games! (GB, AC, AD, EF, KGL, DL), pp. 121–125.
HT-2006-BraSS #design: The design of AHA! (PDB, DS, NS), pp. 133–134.
HT-2006-BraSS06a #design: The Design of AHA! (PDB, DS, NS), pp. 171–195.
ITiCSE-2006-Bibby #feedback: Getting feedback: no pressure! (PB), p. 346.
SIGIR-2006-KurlandL #clustering #modelling: Respect my authority!: HITS without hyperlinks, utilizing cluster-based language models (OK, LL), pp. 83–90.
MoDELS-2006-BezivinBGJKL #model transformation #modelling: Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
MoDELS-2006-BezivinBGJKL #model transformation #modelling: Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
SIGAda-2006-Taft #ada #using #why: Why you should be using Ada 2005 now! (STT), p. 75.
PPoPP-2006-KahanK #architecture #memory management #parallel #quote #thread: “MAMA!”: a memory allocator for multithreaded architectures (SK, PK), pp. 178–186.
ISSTA-2006-YorshBS #abstraction #proving #testing #theorem proving: Testing, abstraction, theorem proving: better together! (GY, TB, MS), pp. 145–156.
PODS-2005-AbiteboulAHM #datalog: Diagnosis of asynchronous discrete event systems: datalog to the rescue! (SA, ZA, SH, TM), pp. 358–367.
DiGRA-2005-Flanagan #design #game studies: “Cinderella Was A Hacker!” and Other Notes from the Edge of Game Design (MF).
DiGRA-2005-Grimes #game studies #online #quote: “No Fair!”: Intellectual Property and Cultural Participation in Children's Online Gaming (SMG).
DiGRA-2005-McGonigal #collaboration #design #distributed #game studies #why: SuperGaming! Distributed Design for Massively Collaborative Play, or, Why I Love Bees (JM).
DiGRA-2005-Rushkoff #perspective: 3. Renaissance Now! The Gamers' Perspective (DR).
DiGRA-2005-Sotamaa #contest #game studies #quote: “Have Fun Working with Our Product!”: Critical Perspectives On Computer Game Mod Competitions (OS).
CIKM-2005-KraftMC: Y!Q: contextual search at the point of inspiration (RK, FM, CCC), pp. 816–823.
ICSE-2005-HenkelD #api #evolution #game studies #refactoring: CatchUp!: capturing and replaying refactorings to support API evolution (JH, AD), pp. 274–283.
SAC-2005-ToKS #mobile #network: Mobile agents for network management: when and when not! (HHT, SK, BS), pp. 47–53.
DAC-2005-NassifZMMPV #what: The Titanic: what went wrong! (SRN, PSZ, CM, MM, SDP, WV), pp. 349–350.
DAC-2005-SherwaniMABGLRS: DFM rules! (NAS, SLM, AA, PB, CG, HL, PR, AS), pp. 168–169.
STOC-2005-Scheideler #how: How to spread adversarial nodes?: rotate! (CS), pp. 704–713.
ECDL-2004-Kelly #library: Interoperable Digital Library Programmes? We Must Have QA! (BK), pp. 80–85.
SIGMOD-2004-FernandezOSH #xquery: Yoo-Hoo! Building a Presence Service with XQuery and WSDL (MFF, NO, JS), pp. 911–912.
SIGITE-2004-WillisM #tablet #tool support: Tablet PC’s as Instructional Tools or the Pen is Mightier than the ’Board! (CLW, LM), pp. 153–159.
PASTE-2004-Leavens #ml: Invited Talk: JML framed! (GTL), p. 1.
KR-2004-LakemeyerL: Situations, Si! Situation Terms, No! (GL, HJL), pp. 516–526.
OOPSLA-2004-GoldbergFF: Super and inner: together at last! (DSG, RBF, MF), pp. 116–129.
FSE-2004-Marks #problem #usability: The usability problem for home appliances: engineers caused it, engineers can fix it! (JM), p. 95.
SAC-2004-FujinamiYN #case study #cyber-physical #physics #quote: “Take me with you!”: a case study of context-aware application integrating cyber and physical spaces (KF, TY, TN), pp. 1607–1614.
HT-2003-BraABLRSSS #adaptation #architecture #hypermedia: AHA! The adaptive hypermedia architecture (PDB, ATMA, BB, BdL, BR, TS, DS, NS), pp. 81–84.
HT-2003-MillardDWAB #hypermedia: AHA! meets Auld Linky: integrating designed and free-form hypertext systems (DEM, HCD, MJW, KA, PDB), pp. 161–169.
ITiCSE-2003-Christensen #education #testing #topic: Systematic testing should not be a topic in the computer science curriculum! (HBC), pp. 7–10.
RTA-2003-BrandMV #for free #term rewriting: Environments for Term Rewriting Engines for Free! (MvdB, PEM, JJV), pp. 424–435.
DiGRA-2003-Grimes #game studies #quote #video #women: “You Shoot Like A Girl!”: The Female Protagonist in Action-Adventure Video Games (SMG).
DiGRA-2003-Swalwell #game studies #quote: “This isn't a computer game you know!”: revisiting the computer games/televised war analogy (MS).
RE-2003-Stoewer #industrial: Modern Systems Engineering: A Driving Force for Industrial Competitivity! (HS), p. 6.
ICSE-2003-NuseibehKF #named: ViewPoints: meaningful relationships are difficult! (BN, JK, AF), pp. 676–683.
PPoPP-2003-Nienaltowski: SCOOP It up! (PN), p. 3.
CADE-2003-AvenhausKSW #how #induction #theorem: How to Prove Inductive Theorems? QUODLIBET! (JA, UK, TSS, CPW), pp. 328–333.
TestCom-2003-CavalliON #named: TestNet: Let’s Test Together! (ARC, EMdO, MN), pp. 258–264.
HT-2002-BraASS #generative: AHA! the next generation (PDB, ATMA, DS, NS), pp. 21–22.
ITiCSE-2002-AlmBEOS #c# #set: You’d better set down for this!: creating a set type for CS1 & CS2 in C# (JA, RB, SE, CDO, AS), pp. 14–18.
UML-2002-Garlan: Software, Heal Thyself! (DG), p. 351.
Ada-2002-Thom #ada #integration #modelling #programming language #standard #uml #using: Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.
LCTES-SCOPES-2002-Fettweis #named #why: DSPs: why don’t they just go away! (GF), p. 93.
SCAM-2001-Knight #analysis #java #smell: Smell the Coffee! Uncovering Java Analysis Issues (CK), pp. 163–169.
TOOLS-EUROPE-2001-Abom01b #component #process: Building Business Process Components in the e-Age (Business rules! don’t be an e-diot.) (LA), pp. 163–164.
TOOLS-USA-2001-Abom01a: Business Rules! Don’t Be an e-diot (LA), p. 393.
LICS-2001-AdlerI #bound: An n! Lower Bound on Formula Size (MA, NI), pp. 197–206.
ITiCSE-2000-Abi-Raad #analysis: Systems analysis with attitude! (MAR), pp. 57–60.
ITiCSE-2000-Hilburn #process: Teams need a process! (TBH), pp. 53–56.
ICSM-2000-Kajko-Mattsson #maintenance #question #what: Preventive Maintenance! Do We Know What It Is? (MKM), pp. 12–14.
AGTIVE-1999-ZamperoniE #aspect-oriented #experience #graph grammar #integration #re-engineering #term rewriting #using: Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems — A Typical Experience?! (AZ, GE), pp. 359–367.
CIKM-1999-LabrouF #category theory #documentation #ontology #using: Yahoo! As an Ontology: Using Yahoo! Categories to Describe Documents (YL, TWF), pp. 180–187.
TOOLS-EUROPE-1999-Mitchell99a #analysis #contract #uml: Analysis by Contract: UML with Attitude! (RM), p. 407.
SIGMOD-1998-CluetDSS: Your Mediators Need Data Conversion! (SC, CD, JS, KS), pp. 177–188.
SIGMOD-1998-LacroixSC #web #what: User-oriented smart-cache for the Web: What You Seek is What You Get! (ZL, AS, RC), pp. 572–574.
CHI-1998-FriedlanderSM: Bullseye! when Fitts’ Law Doesn’t Fit (NF, KS, MMM), pp. 257–264.
CHI-1998-HarrisonFGMW #user interface: Squeeze Me, Hold Me, Tilt Me! An Exploration of Manipulative User Interfaces (BLH, KPF, AG, CM, RW), pp. 17–24.
OOPSLA-1998-CockburnF #case study: Question time! about Use Cases (AC, MF), pp. 226–229.
ASE-1998-OHalloranS #verification: Don’t Verify, Abstract! (CO, AS), pp. 53–62.
ESOP-1998-JayS #functional #imperative: The Functional Imperative: Shape! (CBJ, PS), pp. 139–153.
SIGMOD-1997-CareyK #on the #sql: On Saying “Enough Already!” in SQL (MJC, DK), pp. 219–230.
VLDB-1997-RothS #architecture #data flow #legacy: Don’t Scrap It, Wrap It! A Wrapper Architecture for Legacy Data Sources (MTR, PMS), pp. 266–275.
ITiCSE-1997-Naps #algorithm #difference #java #visualisation #web: Algorithm visualization on the World Wide Web — the difference Java makes! (TLN), pp. 59–61.
STOC-1997-Mulmuley #algebra #proving #question: Is There an Algebraic Proof for P != NC? (KM), pp. 210–219.
TACAS-1997-DArgenioKRT #bound #protocol: The Bounded Retransmission Protocol Must Be on Time! (PRD, JPK, TCR, JT), pp. 416–431.
TAPSOFT-1997-Maibaum: Conservative Extensions, Interpretations Between Theories and All That! (TSEM), pp. 40–66.
HT-1996-CellaryDHHVW #editing #version control: Things Change: Deal with it! Versioning, Cooperative Editing and Hzpertext (WC, DGD, AH, DLH, FV, EJWJ), p. 259.
AdaEurope-1996-Waroquiers #ada #memory management: Ada Tasking and Dynamic Memory: To Use or Not To Use, That’s a Question! (PW), pp. 460–470.
PLILP-1996-Meertens: Calculate Polytypically! (LGLTM), pp. 1–16.
RTA-1995-Asperti #implementation #optimisation #λ-calculus: deltao!Epsilon = 1 — Optimizing Optimal λ-Calculus Implementations (AA), pp. 102–116.
TACAS-1995-KnoopSV #analysis #explosion #for free #parallel: Parallelism for Free: Bitvector Analyses -> No State Explosion! (JK, BS, JV), pp. 264–289.
TAPSOFT-1995-BrandV #asf+sdf #documentation #for free #ide #tool support: The Asf+Sdf Meta-Environment Documentation Tools for Free! (MvdB, EV), pp. 803–804.
PODS-1994-Afrati #bound #datalog #graph #query: Bounded Arity Datalog (!=) Queries on Graphs (FNA), pp. 97–106.
SEKE-1994-FarrellRT #object-oriented: Giving KBS an OO! — object-oriented techniques and KADS (VF, DR, ST), pp. 298–305.
AdaEurope-1994-WardS #object-oriented: Object Orientation is not Always Best! (RW, JS), pp. 104–110.
KR-1992-Koubarakis #constraints: Dense Time and Temporal Constraints with != (MK), pp. 24–35.
TRI-Ada-C-1992-Fussichen #ada #cics: Ada and CICS: or (yes! Ada can be done on an IBM Mainframe) (KF), pp. 415–422.
DAC-1992-AbramoviciRM #approach #testing: Freeze!: A New Approach for Testing Sequential Circuits (MA, KBR, DTM), pp. 22–25.
STOC-1992-DworkW #bound #concurrent #performance: Simple and Efficient Bounded Concurrent Timestamping or Bounded Concurrent Timestamp Systems are Comprehensible! (CD, OW), pp. 655–666.
SIGMOD-1991-LohmanLLACMMPW: Starburst II: The Extender Strikes Back! (GML, GL, TJL, RA, RC, JM, CM, HP, JW), p. 447.
GG-1990-GottlerGN #design #graph grammar: Use Graph Grammars to Design CAD-Systems! (HG, JG, GN), pp. 396–410.
OOPSLA-ECOOP-1990-AndreoliP #concurrent #process: LO and Behold! Concurrent Structured Processes (JMA, RP), pp. 44–56.
ESOP-1990-NielsonN #for free: Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations (HRN, FN), pp. 291–305.
FPCA-1989-Wadler #for free #theorem: Theorems for Free! (PW), pp. 347–359.
CAiSE-1989-Bergkvist #development #idea: The mistakes — where systems development doesn’t support business idea! (TB).
PODS-1988-Morris #algorithm: An Algorithm for Ordering Subgoals in NAIL! (KAM), pp. 82–88.
JICSCP-1988-KlingerS88 #algorithm #compilation: A Decision Tree Compilation Algorithm for FCP(!, : , ?) (SK, EYS), pp. 1315–1336.
ICLP-1986-MorrisUG86 #design #overview: Design Overview of the NAIL! System (KAM, JDU, AVG), pp. 554–568.