BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
exclamation
Google exclamation

Tag #exclamation

360 papers:

POPLPOPL-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.
EDMEDM-2019-JacobsenS #recommendation #student
It's a Match! Reciprocal Recommender System for Graduating Students and Jobs (AJ, GS).
SANERSANER-2019-WlodarskiPPFZ #legacy #scalability
Qualify First! A Large Scale Modernisation Report (LW, BP, IP, JF, VZ), pp. 569–573.
SANERSANER-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.
SCAMSCAM-2019-StorerB #automation #behaviour #development #generative #testing
Behave Nicely! Automatic Generation of Code for Behaviour Driven Development Test Suites (TS, RB), pp. 228–237.
FSCDFSCD-2019-CiaffaglioneGHL #calculus
lambda!-calculus, Intersection Types, and Involutions (AC, PDG, FH, ML, IS), p. 16.
CoGVS-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.
CIKMCIKM-2019-VergoulisCKDTD #ranking
BIP! Finder: Facilitating Scientific Literature Search by Exploiting Impact-Based Ranking (TV, SC, IK, PD, CT, TD), pp. 2937–2940.
ECIRECIR-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.
ICMLICML-2019-IpsenH
Phase transition in PCA with missing data: Reduced signal-to-noise ratio, not sample size! (NBI, LKH), pp. 2951–2960.
ICSTICST-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.
CIKMCIKM-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.
ECIRECIR-2018-0001MPJNJ18a #automation #independence #keyword
YAKE! Collection-Independent Automatic Keyword Extractor (RC0, VM, AP, AMJ, CN, AJ), pp. 806–810.
ICMLICML-2018-NguyenNDRST #bound #convergence
SGD and Hogwild! Convergence Without the Bounded Gradients Assumption (LMN, PHN, MvD, PR, KS, MT), pp. 3747–3755.
ICPRICPR-2018-ArtaudSDOD #contest #detection
Find it! Fraud Detection Contest Report (CA, NS, AD, JMO, VPD), pp. 13–18.
KDDKDD-2018-FanHZYA #detection
Gotcha - Sly Malware!: Scorpion A Metagraph2vec Based Malware Detection System (YF, SH, YZ, YY, MA), pp. 253–262.
KDDKDD-2018-GargR #recommendation
Route Recommendations for Idle Taxi Drivers: Find Me the Shortest Route to a Customer! (NG, SR), pp. 1425–1434.
PLDIPLDI-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.
CAVCAV-2018-MeyerSL #named #synthesis
Strix: Explicit Reactive Synthesis Strikes Back! (PJM, SS, ML), pp. 578–586.
CAVCAV-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.
ICPCICPC-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.
ICPCICPC-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.
HaskellHaskell-2017-KarachaliasS #dependence #functional
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! (GK, TS), pp. 133–147.
CHI-PLAYCHI-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.
ECIRECIR-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.
ECIRECIR-2017-GoelGRTS #multimodal #retrieval #user interface #video
“Hey, vitrivr!” - A Multimodal UI for Video Retrieval (PG, IG, LR, CT, HS), pp. 749–752.
ICMLICML-2017-MaystreG #approach #effectiveness #learning
Just Sort It! A Simple and Effective Approach to Active Preference Learning (LM, MG), pp. 2344–2353.
KDDKDD-2017-ManzoorA
RUSH!: Targeted Time-limited Coupons via Purchase Forecasts (EAM, LA), pp. 1923–1931.
KDDKDD-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.
PPDPPPDP-2017-BelangerA #performance
Shrink fast correctly! (OSB, AWA), pp. 49–60.
ASEASE-2017-ToffolaSP #effectiveness #generative #mining #testing
Saying 'hi!' is not enough: mining inputs for effective test generation (LDT, CAS, MP), pp. 44–49.
ICSTICST-2017-GambiGZ #in the cloud #low cost #testing
O!Snap: Cost-Efficient Testing in the Cloud (AG, AG, AZ), pp. 454–459.
EDMEDM-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.
ICPCICPC-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-PLAYCHI-PLAY-2016-CollinsCL #game studies #network #student
Say Cheese!: Games for Successful Academic and Student Networking (EIMC, ALC, FJL), pp. 105–115.
CoGVS-Games-2016-Brooks #design #game studies #named
Zoom: A Serious Games Intervention Design Model - When Games Alone Are Not Enough! (ALB), pp. 1–6.
CIKMCIKM-2016-ZhangFR #information retrieval #knowledge base
XKnowSearch!: Exploiting Knowledge Bases for Entity-based Cross-lingual Information Retrieval (LZ0, MF0, AR), pp. 2425–2428.
PPDPPPDP-2016-GiachinoHLM
Actors may synchronize, safely! (EG, LH, CL, VM), pp. 118–131.
QAPLQAPL-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.
GPCEGPCE-2016-Rompf #composition #lightweight #staging
Lightweight modular staging (LMS): generate all the things! (TR), p. 1.
FASEFASE-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.
TAPTAP-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.
DocEngDocEng-2015-Sire #documentation #web
Developing Web Applications with Document Engineering Technologies and Enjoying It! (SS), pp. 231–232.
VLDBVLDB-2015-MitliagkasBDC #approximate #graph #performance #rank
FrogWild! — Fast PageRank Approximations on Graph Engines (IM, MB, AGD, CC), pp. 874–885.
VLDBVLDB-2015-SharovSMS #distributed #online #optimisation
Take me to your leader! Online Optimization of Distributed Storage Configurations (AS, AS, AM, MS), pp. 1490–1501.
SIGITESIGITE-2015-Forster #education #geometry #programming
Programming in Scratch and Mathematics: Augmenting Your Geometry Curriculum, Today! (KTF), p. 97.
SIGITESIGITE-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.
ICSMEICSME-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.
TLCATLCA-2015-Santo #calculus
Curry-Howard for Sequent Calculus at Last! (JES), pp. 165–179.
CEFPCEFP-2015-FernandesCSP #deforestation #tutorial
Watch Out for that Tree! A Tutorial on Shortcut Deforestation (JPF, JC, JS, AP), pp. 1–41.
ICFPICFP-2015-PloegC
Practical principled FRP: forget the past, change the future, FRPNow! (AvdP, KC), pp. 302–314.
CHI-PLAYCHI-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-PLAYCHI-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-PLAYCHI-PLAY-2015-DumeljicPRDD
Penguin Peril: The Fun of Queuing Up! (DD, DvP, JR, OD, SD), pp. 771–774.
CHI-PLAYCHI-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.
CoGCIG-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.
GaMGaM-2015-KissingerZ
!-graphs with trivial overlap are context-free (AK, VZ), pp. 16–31.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CSCWCSCW-2015-Anya #design #question #what
Bridge the Gap!: What Can Work Design in Crowdwork Learn from Work Design Theories? (OA), pp. 612–627.
CSCWCSCW-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.
CSCWCSCW-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.
CSCWCSCW-2015-SolomonMW #coordination #how
Don’t Wait!: How Timing Affects Coordination of Crowdfunding Donations (JS, WM, RW), pp. 547–556.
HCIDUXU-DD-2015-Mesbahi #interactive
Human-Robot Interaction Ethics in Sci-Fi Movies: Ethics Are Not “There”, We Are the Ethics! (MEM), pp. 590–598.
ECIRECIR-2015-HarveyC #hashtag #personalisation #twitter
Long Time, No Tweets! Time-aware Personalised Hashtag Suggestion (MH, FC), pp. 581–592.
RecSysRecSys-2015-BetzalelSR #quote #recommendation
“Please, Not Now!”: A Model for Timing Recommendations (NDB, BS, LR), pp. 297–300.
ESEC-FSEESEC-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.
ICSEICSE-v1-2015-SmithBZ #scalability #tool support
Build It Yourself! Homegrown Tools in a Large Software Company (EKS, CB, TZ), pp. 369–379.
FASEFASE-2015-CzechJW #verification #what
Just Test What You Cannot Verify! (MC, MCJ, HW), pp. 100–114.
CSLCSL-2015-GradelP #logic #rank
Rank Logic is Dead, Long Live Rank Logic! (EG, WP), pp. 390–404.
ICSTICST-2015-ZhangAC #model checking #verification
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.
LICSLICS-2015-HackettH #source code
Programs for Cheap! (JH, GH), pp. 115–126.
VLDBVLDB-2014-GaoP #algorithm
Finish Them!: Pricing Algorithms for Human Computation (YG, AGP), pp. 1965–1976.
VLDBVLDB-2014-GeertsMPS #open source
That’s All Folks! LLUNATIC Goes Open Source (FG, GM, PP, DS), pp. 1565–1568.
VLDBVLDB-2014-JindalR0MDS #graph #named #relational
VERTEXICA: Your Relational Friend for Graph Analytics! (AJ, PR, EW, SM, AD, MS), pp. 1669–1672.
VLDBVLDB-2015-SidlauskasJ14 #implementation #in memory #matter #memory management
Spatial Joins in Main Memory: Implementation Matters! (DS, CSJ), pp. 97–100.
ICPCICPC-2014-KirinukiHHK #commit #question
Hey! are you committing tangled changes? (HK, YH, KH, SK), pp. 262–265.
ICSMEICSME-2014-MeuriceRWC #information management #legacy
Establishing Referential Integrity in Legacy Information Systems — Reality Bites! (LM, FJBR, JHW, AC), pp. 461–465.
MSRMSR-2014-GuoLM #question
Oops! where did that code snippet come from? (LG, JLL, GM), pp. 52–61.
MSRMSR-2014-JoorabchiMM #debugging
Works for me! characterizing non-reproducible bug reports (MEJ, MM, AM), pp. 62–71.
AIIDEAIIDE-2014-CernyBBA #constraints #simulation #using
Spice It Up! Enriching Open World NPC Simulation Using Constraint Satisfaction (MC0, CB, RB, MA).
CHI-PLAYCHI-PLAY-2014-BakkerCEHSBBK #named #social
BloxAR: augment your social life! (NCB, JRSdC, MvE, LJH, GS, IJvB, RB, BAK), pp. 319–322.
CHI-PLAYCHI-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.
CoGVS-Games-2014-PereiraPP #case study #social
Disaster Prevention Social Awareness: The Stop Disasters! Case Study (GDGP, RP, AP), pp. 1–8.
CHICHI-2014-GlueckKW #navigation #realtime #visualisation
Dive in!: enabling progressive loading for real-time navigation of data visualizations (MG, AK, DJW), pp. 561–570.
CHICHI-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.
CHICHI-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.
CHICHI-2014-PerinVF #navigation #ranking
A table!: improving temporal navigation in soccer ranking tables (CP, RV, JDF), pp. 887–896.
CHICHI-2014-SilpasuwanchaiR #gesture
Jump and shoot!: prioritizing primary and alternative body gestures for intense gameplay (CS, XR), pp. 951–954.
CHICHI-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.
CHICHI-2014-XuYRFHB #analysis
Show me the money!: an analysis of project updates during crowdfunding campaigns (AX, XY, HR, WTF, SWH, BPB), pp. 591–600.
HCIDUXU-DP-2014-SauckenMKL #design
Motive-Oriented Design — Helping Automobile Engineers to Take the User’s Perspective! (CvS, IM, SK, UL), pp. 370–377.
HCIHCI-AS-2014-ZiesemerMS #gamification #recommendation
Just Rate It! Gamification as Part of Recommendation (AdCAZ, LM, MSS), pp. 786–796.
HCILCT-TRE-2014-LorenzK #online
If I Do Not Like Your Online Profile I Will Not Hire You! (BL, KK), pp. 429–439.
ECIRECIR-2014-Koolen #ll #quote
“User Reviews in the Search Index? That’ll Never Work!” (MK), pp. 323–334.
RecSysRecSys-2014-WaldnerV #game studies #recommendation #timeline #twitter
Emphasize, don’t filter!: displaying recommendations in Twitter timelines (WW, JV), pp. 313–316.
SIGIRSIGIR-2014-KoopmanZ14a #assessment #information retrieval #open source
Relevation!: an open source system for information retrieval relevance assessment} (BK, GZ), pp. 1243–1244.
SIGIRSIGIR-2014-ZerrSPHZ
NicePic!: a system for extracting attractive photos from flickr streams (SZ, SS, JSP, JSH, XZ), pp. 1259–1260.
PEPMPEPM-2014-AdamsFM #optimisation #scrap your boilerplate
Optimizing SYB is easy! (MDA, AF, JPM), pp. 71–82.
SASSAS-2014-AbdullaHH #verification
Block Me If You Can! — Context-Sensitive Parameterized Verification (PAA, FH, LH), pp. 1–17.
ICSEICSE-2014-BegelZ #re-engineering
Analyze this! 145 questions for data scientists in software engineering (AB, TZ), pp. 12–13.
ICLPICLP-J-2014-MantadelisRM #induction
Tabling, Rational Terms, and Coinduction Finally Together! (TM, RR, PM), pp. 429–443.
ICTSSICTSS-2014-WotawaB #automation #security #testing
Plan It! Automated Security Testing Based on Planning (FW, JB), pp. 48–62.
LICSLICS-CSL-2014-GrathwohlKM
KAT + B! (NBBG, DK, KM), p. 10.
HTHT-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.
ICDARICDAR-2013-DovgalecsBTNH #documentation #word
Spot It! Finding Words and Patterns in Historical Documents (VD, AB, PT, SN, LH), pp. 1039–1043.
SIGMODSIGMOD-2013-BarnettCDDFGMP #big data #interactive
Stat!: an interactive analytics environment for big data (MB, BC, RD, SMD, DF, JG, PM, JCP), pp. 1013–1016.
VLDBVLDB-2013-NambiarP
Keeping the TPC Relevant! (RON, MP), pp. 1186–1187.
SIGITESIGITE-2013-Settle #development #recursion #web
Reaching the “aha!” moment: web development as a motivator for recursion (AS), pp. 69–70.
MSRMSR-2013-DemeyerMWL #analysis
Happy birthday! a trend analysis on past MSR papers (SD, AM, KW, AL), pp. 353–362.
DiGRADiGRA-2013-FortimG #community #identification #women
Attention whore! Perception of female players who identify themselves as women in the communities of MMOs (IF, CdMG).
DiGRADiGRA-2013-Karhulahti #challenge #game studies
Puzzle Is Not a Game! Basic Structures of Challenge (VMK).
CHICHI-2013-AnnettB #gesture #symmetry
Your left hand can do it too!: investigating intermanual, symmetric gesture transfer on touchscreens (MA, WFB), pp. 1119–1128.
CHICHI-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.
CHICHI-2013-CafaroPLRR #interactive
I see you there!: developing identity-preserving embodied interaction for museum exhibits (FC, AP, LL, JR, JR), pp. 1911–1920.
CHICHI-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.
CHICHI-2013-HartSA
Love it or hate it!: interactivity and user types (JH, AGS, ADA), pp. 2059–2068.
CHICHI-2013-HuangF #crowdsourcing #social
Don’t hide in the crowd!: increasing social transparency between peer workers improves crowdsourcing outcomes (SWH, WTF), pp. 621–630.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CSCWCSCW-2013-DimondDLB #online #social
Hollaback!: the role of storytelling online in a social movement organization (JPD, MD, DL, AB), pp. 477–490.
CSCWCSCW-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.
CSCWCSCW-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.
CSCWCSCW-2013-MasonC #contest
Friends FTW! friendship and competition in halo: reach (WAM, AC), pp. 375–386.
CSCWCSCW-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.
HCIDUXU-CXC-2013-KuramotoIYT #gamification #people
Stand Up, Heroes! : Gamification for Standing People on Crowded Public Transportation (IK, TI, KY, YT), pp. 538–547.
HCIDUXU-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.
HCIDUXU-CXC-2013-SakamotoN13a #game studies #persuasion
Augmenting Yu-Gi-Oh! Trading Card Game as Persuasive Transmedia Storytelling (MS, TN), pp. 587–596.
HCIDUXU-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.
HCIHCI-III-2013-DasG #sentiment
Sentimental Eyes! (AD, BG), pp. 310–318.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2013-Traverson #architecture #enterprise #integration
EASI! Enterprise Architecture for Seamless Integration (BT), pp. 231–235.
CIKMCIKM-2013-SpeicherBG #interactive #predict #web
TellMyRelevance!: predicting the relevance of web search results from cursor interactions (MS, AB, MG), pp. 1281–1290.
ECIRECIR-2013-DowieA #framework #information management
Re-leashed! The PuppyIR Framework for Developing Information Services for Children, Adults and Dogs (DD, LA), pp. 824–827.
ICMLICML-c3-2013-CovielloMCL #performance
That was fast! Speeding up NN search of high dimensional distributions (EC, AM, ABC, GRGL), pp. 468–476.
SIGIRSIGIR-2013-RaueAJ #requirements #social #social media
#trapped!: social media search system requirements for emergency management professionals (SR, LA, CWJ), pp. 1073–1076.
PEPMPEPM-2013-MartinezVP #compilation #haskell #performance
Just do it while compiling!: fast extensible records in haskell (BM, MV, AP), pp. 77–86.
PLDIPLDI-2013-BurckhardtFHMMTK #feedback #programming #user interface
It’s alive! continuous feedback in UI programming (SB, MF, PdH, SM, MM, NT, JK), pp. 95–104.
PLDIPLDI-2013-Larus #in the cloud
Look up!: your future is in the cloud (JRL), pp. 1–2.
DACDAC-2013-GeierBYDSGC
Let’s put the car in your phone! (MG, MB, DY, BD, RS, DG, SC), p. 2.
PLOSPLOS-2013-KellerMAOCRKH #file system #verification
File systems deserve verification too! (GK, TCM, SA, LO, ZC, LR, GK, GH), p. 7.
FDGFDG-2012-IsbisterKF #using
Scoop!: using movement to reduce math anxiety and affect confidence (KI, MK, JF), pp. 228–230.
CHICHI-2012-CoyleMKFB #experience
I did that!: measuring users’ experience of agency in their own actions (DC, JWM, POK, PF, AB), pp. 2025–2034.
CHICHI-2012-DellVMCT #bias #human-computer #quote
“Yours is better!”: participant response bias in HCI (ND, VV, IM, EC, WT), pp. 1321–1330.
CHICHI-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.
CHICHI-2012-FourneyLMT #documentation #interface #online #quote
“Then click ok!”: extracting references to interface elements in online documentation (AF, BL, RM, MAT), pp. 35–38.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-2012-PedroS #social
Your opinion counts!: leveraging social comments for analyzing aesthetic perception of photographs (JSP, PS), pp. 2519–2522.
CHICHI-2012-SzafirM #adaptation #design #monitoring
Pay attention!: designing adaptive agents that monitor and improve user engagement (DS, BM), pp. 11–20.
CHICHI-2012-WangK #development #topic #twitter
Twitter and the development of an audience: those who stay on topic thrive! (YCW, RK), pp. 1515–1518.
CIKMCIKM-2012-Baeza-YatesL #matter #network
User engagement: the network effect matters! (RABY, ML), pp. 1–2.
CIKMCIKM-2012-BiyaniCSM #online #thread #what
I want what i need!: analyzing subjectivity of online forum threads (PB, CC, AS, PM), pp. 2495–2498.
CIKMCIKM-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.
CIKMCIKM-2012-LiSG #network #online #social
Collective intelligence in the online social network of yahoo!answers and its implications (ZL, HS, JEG), pp. 455–464.
CIKMCIKM-2012-ZerrSH #classification #image #privacy #retrieval
PicAlert!: a system for privacy-aware image classification and retrieval (SZ, SS, JSH), pp. 2710–2712.
SIGIRSIGIR-2012-Brown #challenge #named
Watson: the Jeopardy! challenge and beyond (EWB0), p. 1020.
SIGIRSIGIR-2012-TanGS #identification
$100, 000 prize jackpot. call now!: identifying the pertinent features of SMS spam (HT, NG, MS), pp. 1175–1176.
OOPSLAOOPSLA-2012-MeawadRMV #automation #javascript #source code
Eval begone!: semi-automated removal of eval from javascript programs (FM, GR, FM, JV), pp. 607–620.
PADLPADL-2012-Stewart #functional #haskell #programming
Make Things Now! Pragmatic Functional Programming in Haskell (DS), p. 17.
RERE-2012-GrossD #requirements #specification #what
What you need is what you get!: The vision of view-based requirements specifications (AG, JD), pp. 171–180.
DACDAC-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.
DACDAC-2012-PalemA #what
What to do about the end of Moore’s law, probably! (KVP, LA), pp. 924–929.
ISMMISMM-2012-YangBFH
Barriers reconsidered, friendlier still! (XY, SMB, DF, ALH), pp. 37–48.
FoSSaCSFoSSaCS-2012-JagadeesanPR
Brookes Is Relaxed, Almost! (RJ, GP, JR), pp. 180–194.
IJCARIJCAR-2012-LatteL #branch
Branching Time? Pruning Time! (ML, ML), pp. 393–407.
ITiCSEITiCSE-2011-PauHGW #case study #experience #programming #student
Female students’ experiences of programming: it’s not all bad! (RP, WH, MG, JW), pp. 323–327.
ICFPICFP-2011-GaboardiPP #semantics
Linearity and PCF: a semantic insight! (MG, LP, MP), pp. 372–384.
DiGRADiGRA-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).
DiGRADiGRA-2011-Huiberts #design #game studies
Listen! - Improving the Cooperation between Game Designers and Audio Designers (SH).
DiGRADiGRA-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).
FDGFDG-2011-CanossaDS #detection
Arrrgghh!!!: blending quantitative and qualitative methods to detect player frustration (AC, AD, JRMS), pp. 61–68.
CHICHI-2011-IqbalHJM
Hang on a sec!: effects of proactive mediation of phone conversations while driving (STI, EH, YCJ, EM), pp. 463–472.
CHICHI-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.
CHICHI-2011-WahidMDEH
Don’t drop it!: pick it up and storyboard (SW, DSM, JD, NE, SH), pp. 1571–1580.
CSCWCSCW-2011-GuoZNM #debugging
“Not my bug!” and other reasons for software bug report reassignments (PJG, TZ, NN, BM), pp. 395–404.
CSCWCSCW-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.
CSCWCSCW-2011-KowN #community #online
Forget online communities?: revisit cooperative work! (YMK, BAN), pp. 351–354.
HCIDUXU-v1-2011-SimpsonP #experience #user interface
Approaching Warp Speed!: Examining the User Experience in the Age of 4G (QS, SP), pp. 658–667.
HCIDUXU-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.
ICEISICEIS-v3-2011-MansarWS #collaboration #design #distributed #student
Getting to Global Yes! — Designing a Distributed Student Collaboration (SLM, RW, BGKS), pp. 229–234.
ECIRECIR-2011-HefnyDA #query
Is a Query Worth Translating: Ask the Users! (AH, KD, AA), pp. 238–250.
ICMLICML-2011-LiP #clustering
Time Series Clustering: Complex is Simpler! (LL, BAP), pp. 185–192.
KDDKDD-2011-DrorKMS #recommendation
I want to answer; who has a question?: Yahoo! answers recommender system (GD, YK, YM, IS), pp. 1109–1117.
RecSysRecSys-2011-KoenigsteinDK #modelling #music #recommendation #taxonomy
Yahoo! music recommendations: modeling music ratings with temporal dynamics and item taxonomy (NK, GD, YK), pp. 165–172.
SIGIRSIGIR-2011-LvZ #documentation
When documents are very long, BM25 fails! (YL, CZ), pp. 1103–1104.
MODELSMoDELS-2011-FahrenbergLW #difference #semantics
Vision Paper: Make a Difference! (Semantically) (UF, AL, AW), pp. 490–500.
RERE-2011-Cleland-HuangD #requirements
Ready-set-transfer! Technology transfer in the requirements engineering domain (JCH, DD), pp. 327–328.
ESEC-FSEESEC-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.
SLESLE-2011-ErwigW #design #process #semantics
Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
HTHT-2010-KondoTU #web
Search your interests everywhere!: wikipedia-based keyphrase extraction from web browsing history (MK, AT, TU), pp. 295–296.
SIGITESIGITE-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.
HaskellHaskell-2010-Yorgey
Species and functors and types, oh my! (BAY), pp. 147–158.
ICFPICFP-2010-Felleisen
TeachScheme!: a checkpoint (MF), pp. 129–130.
FDGFDG-2010-ArenaS #game studies #learning #statistics #video
Stats invaders!: learning about statistics by playing a classic video game (DA, DLS), pp. 248–249.
FDGFDG-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.
CHICHI-2010-DearmanT #why
Why users of yahoo!: answers do not answer questions (DD, KNT), pp. 329–332.
CHICHI-2010-WangG
Don’t just stare at me! (NW, JG), pp. 1241–1250.
PEPMPEPM-2010-MagalhaesHJL #optimisation
Optimizing generics is easy! (JPM, SH, JJ, AL), pp. 33–42.
ICSEICSE-2010-Schneider
Beyond hacking: an SOS! (FBS), p. 2.
SACSAC-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.
CGOCGO-2010-Zorn #performance
Performance is dead, long live performance! (BGZ), p. 1.
SIGMODSIGMOD-2009-AhujaCGHHJKPPPU
Peta-scale data warehousing at Yahoo! (MA, CCC, RG, JH, WH, RJ, MK, RP, NP, SP, KU), pp. 855–862.
SIGMODSIGMOD-2009-ChenGWX #memory management
Search your memory ! — an associative memory based desktop search system (JC, HG, WW, CX), pp. 1099–1102.
CoGCIG-2009-CuadradoS
Chuck Norris rocks! (DC, YS), pp. 69–74.
DiGRADiGRA-2009-Jorgensen #empirical
“I'm overburdened!” An Empirical Study of the Player, the Avatar, and the Gameworld (KJ).
DiGRADiGRA-2009-WilsonS
Abusing the Player, and Making Them Like it Too! [Abstract] (DW, MS).
FDGFDG-2009-OlsenM #towards
Beep! Beep! Boom!: towards a planning model of Coyote and Road Runner cartoons (DO, MM), pp. 145–152.
CHICHI-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.
HCIHCD-2009-Hasegawa #architecture #prototype
Site-it!: An Information Architecture Prototyping Tool (AH), pp. 707–711.
HCIHCI-NIMT-2009-SaitoS #locality
Fly! Little Me: Localization of Body-Image within Reduced-Self (TS, MS), pp. 255–260.
HCIHCI-NT-2009-RaoCJB #concurrent #how #people
“You’ve Got IMs!” How People Manage Concurrent Instant Messages (SR, JC, RJ, RB), pp. 500–509.
HCIHIMI-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.
HCIHIMI-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.
ICEISICEIS-DISI-2009-Missikoff #question #semantics
Let’s Semanticise the World!!...or not?? (MM), pp. 17–24.
CIKMCIKM-2009-ChenPBSM #data mining #lessons learnt #mining
Practical lessons of data mining at Yahoo! (YC, DP, PB, AS, AM), pp. 1047–1056.
ICMLICML-2009-PoczosASGS #learning
Learning when to stop thinking and do something! (BP, YAY, CS, RG, NRS), pp. 825–832.
KDDKDD-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.
SIGIRSIGIR-2009-Savev
A search engine in a few lines.: yes, we can! (SS), pp. 772–773.
PADLPADL-2009-Leshchinskiy #array
Recycle Your Arrays! (RL), pp. 209–223.
POPLPOPL-2009-Voigtlander #bidirectional #for free
Bidirectionalization for free! (Pearl) (JV), pp. 165–176.
PPDPPPDP-2009-Lammel #prolog #scrap your boilerplate
Scrap your boilerplate: prologically! (RL), pp. 7–12.
ASPLOSASPLOS-2009-MytkowiczDHS
Producing wrong data without doing anything obviously wrong! (TM, AD, MH, PFS), pp. 265–276.
DATEDATE-2009-LeupersVBHDN #programming
Programming MPSoC platforms: Road works ahead! (RL, AV, MB, SH, RD, AN), pp. 1584–1589.
WICSAWICSA-2008-ChristensenHS #architecture #research #set
Ready! Set! Go! An Action Research Agenda for Software Architecture Research (HBC, KMH, KRS), pp. 257–260.
VLDBVLDB-2008-CooperRSSBJPWY #framework #named #platform
PNUTS: Yahoo!’s hosted data serving platform (BFC, RR, US, AS, PB, HAJ, NP, DW, RY), pp. 1277–1288.
CSEETCSEET-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.
MSRMSR-2008-WeissgerberND
Small patches get in! (PW, DN, SD), pp. 67–76.
CHICHI-2008-CostabileALABP #challenge #learning #mobile
Explore! possibilities and challenges of mobile learning (MFC, ADA, RL, CA, PB, TP), pp. 145–154.
CHICHI-2008-DearmanP #multi
It’s on my other computer!: computing with multiple devices (DD, JSP), pp. 767–776.
CHICHI-2008-MainwaringMM #design
From meiwaku to tokushita!: lessons for digital money design from japan (SDM, WM, BM), pp. 21–24.
CHICHI-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.
CHICHI-2008-ShamiEM
Pick me!: link selection in expertise search results (NSS, KE, DRM), pp. 1089–1092.
ICEISICEIS-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.
KDDKDD-2008-BouguessaDW #identification
Identifying authoritative actors in question-answering forums: the case of Yahoo! answers (MB, BD, SW), pp. 866–874.
SEKESEKE-2008-Haas #challenge #industrial #research #web
Impact! The Challenge of Industrial Research in Computer Science in a web 2.0 world (LMH), p. 2.
SIGIRSIGIR-2008-LiuA #community #evolution #on the
On the evolution of the yahoo! answers QA community (YL, EA), pp. 737–738.
SACSAC-2008-AdaikkalavanC
Events must be complete in event processing! (RA, SC), pp. 1038–1039.
DACDAC-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.
ESOPESOP-2008-MatthewsA #morphism #parametricity #polymorphism #runtime #theorem
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (JM, AA), pp. 16–31.
STOCSTOC-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.
ICLPICLP-2008-Schaub #programming #set
Here’s the Beef: Answer Set Programming ! (TS), pp. 93–98.
IJCARIJCAR-2008-Dershowitz
Canonicity! (ND), pp. 327–331.
ICSMEICSM-2007-TraversoP
Agree or Change! Making Services Evolve (PT, MP), pp. 2–3.
DLTDLT-2007-GruberH #complexity #nondeterminism
Inapproximability of Nondeterministic State and Transition Complexity Assuming P=!NP (HG, MH), pp. 205–216.
ICALPICALP-2007-LuttgenV #concurrent #logic #simulation
Ready Simulation for Concurrency: It’s Logical! (GL, WV), pp. 752–763.
LATALATA-2007-BaaderHP #automaton #logic
SI! Automata Can Show PSPACE Results for Description Logics (FB, JH, RP), pp. 67–78.
TLCATLCA-2007-JohannG #algebra #semantics
Initial Algebra Semantics Is Enough! (PJ, NG), pp. 207–222.
DiGRADiGRA-2007-KafaiCF #design #online
“Blacks Deserve Bodies Too!” Design and Discussion about Diversity and Race in a Tween Online World (YBK, MSC, DAF).
CHICHI-2007-SchrammelGST #quote #using
“Look!”: using the gaze direction of embodied agents (JS, AG, RS, MT), pp. 1187–1190.
HCIHCI-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.
HCIHIMI-MTT-2007-Encarnacao #interactive
HEI! — The Human Environment Interaction (JLE), pp. 623–631.
CIKMCIKM-2007-MihalceaC #documentation
Wikify!: linking documents to encyclopedic knowledge (RM, AC), pp. 233–242.
KDDKDD-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.
PEPMPEPM-2007-FogartyPST #named
Concoqtion: indexed types now! (SF, EP, JGS, WT), pp. 112–121.
CAVCAV-2007-BehrmannCDFLL #game studies #named
UPPAAL-Tiga: Time for Playing Games! (GB, AC, AD, EF, KGL, DL), pp. 121–125.
HTHT-2006-BraSS #design
The design of AHA! (PDB, DS, NS), pp. 133–134.
HTHT-2006-BraSS06a #design
The Design of AHA! (PDB, DS, NS), pp. 171–195.
ITiCSEITiCSE-2006-Bibby #feedback
Getting feedback: no pressure! (PB), p. 346.
SIGIRSIGIR-2006-KurlandL #clustering #modelling
Respect my authority!: HITS without hyperlinks, utilizing cluster-based language models (OK, LL), pp. 83–90.
MODELSMoDELS-2006-BezivinBGJKL #model transformation #modelling
Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
MODELSMoDELS-2006-BezivinBGJKL #model transformation #modelling
Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
AdaSIGAda-2006-Taft #ada #using #why
Why you should be using Ada 2005 now! (STT), p. 75.
PPoPPPPoPP-2006-KahanK #architecture #memory management #parallel #quote #thread
“MAMA!”: a memory allocator for multithreaded architectures (SK, PK), pp. 178–186.
ISSTAISSTA-2006-YorshBS #abstraction #proving #testing #theorem proving
Testing, abstraction, theorem proving: better together! (GY, TB, MS), pp. 145–156.
PODSPODS-2005-AbiteboulAHM #datalog
Diagnosis of asynchronous discrete event systems: datalog to the rescue! (SA, ZA, SH, TM), pp. 358–367.
DiGRADiGRA-2005-Flanagan #design #game studies
“Cinderella Was A Hacker!” and Other Notes from the Edge of Game Design (MF).
DiGRADiGRA-2005-Grimes #game studies #online #quote
“No Fair!”: Intellectual Property and Cultural Participation in Children's Online Gaming (SMG).
DiGRADiGRA-2005-McGonigal #collaboration #design #distributed #game studies #why
SuperGaming! Distributed Design for Massively Collaborative Play, or, Why I Love Bees (JM).
DiGRADiGRA-2005-Rushkoff #perspective
3. Renaissance Now! The Gamers' Perspective (DR).
DiGRADiGRA-2005-Sotamaa #contest #game studies #quote
“Have Fun Working with Our Product!”: Critical Perspectives On Computer Game Mod Competitions (OS).
CIKMCIKM-2005-KraftMC
Y!Q: contextual search at the point of inspiration (RK, FM, CCC), pp. 816–823.
ICSEICSE-2005-HenkelD #api #evolution #game studies #refactoring
CatchUp!: capturing and replaying refactorings to support API evolution (JH, AD), pp. 274–283.
SACSAC-2005-ToKS #mobile #network
Mobile agents for network management: when and when not! (HHT, SK, BS), pp. 47–53.
DACDAC-2005-NassifZMMPV #what
The Titanic: what went wrong! (SRN, PSZ, CM, MM, SDP, WV), pp. 349–350.
DACDAC-2005-SherwaniMABGLRS
DFM rules! (NAS, SLM, AA, PB, CG, HL, PR, AS), pp. 168–169.
STOCSTOC-2005-Scheideler #how
How to spread adversarial nodes?: rotate! (CS), pp. 704–713.
TPDLECDL-2004-Kelly #library
Interoperable Digital Library Programmes? We Must Have QA! (BK), pp. 80–85.
SIGMODSIGMOD-2004-FernandezOSH #xquery
Yoo-Hoo! Building a Presence Service with XQuery and WSDL (MFF, NO, JS), pp. 911–912.
SIGITESIGITE-2004-WillisM #tablet #tool support
Tablet PC’s as Instructional Tools or the Pen is Mightier than the ’Board! (CLW, LM), pp. 153–159.
PASTEPASTE-2004-Leavens #ml
Invited Talk: JML framed! (GTL), p. 1.
KRKR-2004-LakemeyerL
Situations, Si! Situation Terms, No! (GL, HJL), pp. 516–526.
OOPSLAOOPSLA-2004-GoldbergFF
Super and inner: together at last! (DSG, RBF, MF), pp. 116–129.
FSEFSE-2004-Marks #problem #usability
The usability problem for home appliances: engineers caused it, engineers can fix it! (JM), p. 95.
SACSAC-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.
HTHT-2003-BraABLRSSS #adaptation #architecture #hypermedia
AHA! The adaptive hypermedia architecture (PDB, ATMA, BB, BdL, BR, TS, DS, NS), pp. 81–84.
HTHT-2003-MillardDWAB #hypermedia
AHA! meets Auld Linky: integrating designed and free-form hypertext systems (DEM, HCD, MJW, KA, PDB), pp. 161–169.
ITiCSEITiCSE-2003-Christensen #education #testing #topic
Systematic testing should not be a topic in the computer science curriculum! (HBC), pp. 7–10.
RTARTA-2003-BrandMV #for free #term rewriting
Environments for Term Rewriting Engines for Free! (MvdB, PEM, JJV), pp. 424–435.
DiGRADiGRA-2003-Grimes #game studies #quote #video #women
“You Shoot Like A Girl!”: The Female Protagonist in Action-Adventure Video Games (SMG).
DiGRADiGRA-2003-Swalwell #game studies #quote
“This isn't a computer game you know!”: revisiting the computer games/televised war analogy (MS).
RERE-2003-Stoewer #industrial
Modern Systems Engineering: A Driving Force for Industrial Competitivity! (HS), p. 6.
ICSEICSE-2003-NuseibehKF #named
ViewPoints: meaningful relationships are difficult! (BN, JK, AF), pp. 676–683.
PPoPPPPoPP-2003-Nienaltowski
SCOOP It up! (PN), p. 3.
CADECADE-2003-AvenhausKSW #how #induction #theorem
How to Prove Inductive Theorems? QUODLIBET! (JA, UK, TSS, CPW), pp. 328–333.
ICTSSTestCom-2003-CavalliON #named
TestNet: Let’s Test Together! (ARC, EMdO, MN), pp. 258–264.
HTHT-2002-BraASS #generative
AHA! the next generation (PDB, ATMA, DS, NS), pp. 21–22.
ITiCSEITiCSE-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.
UMLUML-2002-Garlan
Software, Heal Thyself! (DG), p. 351.
AdaEuropeAda-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.
LCTESLCTES-SCOPES-2002-Fettweis #named #why
DSPs: why don’t they just go away! (GF), p. 93.
SCAMSCAM-2001-Knight #analysis #java #smell
Smell the Coffee! Uncovering Java Analysis Issues (CK), pp. 163–169.
TOOLSTOOLS-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.
TOOLSTOOLS-USA-2001-Abom01a
Business Rules! Don’t Be an e-diot (LA), p. 393.
LICSLICS-2001-AdlerI #bound
An n! Lower Bound on Formula Size (MA, NI), pp. 197–206.
ITiCSEITiCSE-2000-Abi-Raad #analysis
Systems analysis with attitude! (MAR), pp. 57–60.
ITiCSEITiCSE-2000-Hilburn #process
Teams need a process! (TBH), pp. 53–56.
ICSMEICSM-2000-Kajko-Mattsson #maintenance #question #what
Preventive Maintenance! Do We Know What It Is? (MKM), pp. 12–14.
AGTIVEAGTIVE-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.
CIKMCIKM-1999-LabrouF #category theory #documentation #ontology #using
Yahoo! As an Ontology: Using Yahoo! Categories to Describe Documents (YL, TWF), pp. 180–187.
TOOLSTOOLS-EUROPE-1999-Mitchell99a #analysis #contract #uml
Analysis by Contract: UML with Attitude! (RM), p. 407.
SIGMODSIGMOD-1998-CluetDSS
Your Mediators Need Data Conversion! (SC, CD, JS, KS), pp. 177–188.
SIGMODSIGMOD-1998-LacroixSC #web #what
User-oriented smart-cache for the Web: What You Seek is What You Get! (ZL, AS, RC), pp. 572–574.
CHICHI-1998-FriedlanderSM
Bullseye! when Fitts’ Law Doesn’t Fit (NF, KS, MMM), pp. 257–264.
CHICHI-1998-HarrisonFGMW #user interface
Squeeze Me, Hold Me, Tilt Me! An Exploration of Manipulative User Interfaces (BLH, KPF, AG, CM, RW), pp. 17–24.
OOPSLAOOPSLA-1998-CockburnF #case study
Question time! about Use Cases (AC, MF), pp. 226–229.
ASEASE-1998-OHalloranS #verification
Don’t Verify, Abstract! (CO, AS), pp. 53–62.
ESOPESOP-1998-JayS #functional #imperative
The Functional Imperative: Shape! (CBJ, PS), pp. 139–153.
SIGMODSIGMOD-1997-CareyK #on the #sql
On Saying “Enough Already!” in SQL (MJC, DK), pp. 219–230.
VLDBVLDB-1997-RothS #architecture #data flow #legacy
Don’t Scrap It, Wrap It! A Wrapper Architecture for Legacy Data Sources (MTR, PMS), pp. 266–275.
ITiCSEITiCSE-1997-Naps #algorithm #difference #java #visualisation #web
Algorithm visualization on the World Wide Web — the difference Java makes! (TLN), pp. 59–61.
STOCSTOC-1997-Mulmuley #algebra #proving #question
Is There an Algebraic Proof for P != NC? (KM), pp. 210–219.
TACASTACAS-1997-DArgenioKRT #bound #protocol
The Bounded Retransmission Protocol Must Be on Time! (PRD, JPK, TCR, JT), pp. 416–431.
TAPSOFTTAPSOFT-1997-Maibaum
Conservative Extensions, Interpretations Between Theories and All That! (TSEM), pp. 40–66.
HTHT-1996-CellaryDHHVW #editing #version control
Things Change: Deal with it! Versioning, Cooperative Editing and Hzpertext (WC, DGD, AH, DLH, FV, EJWJ), p. 259.
AdaEuropeAdaEurope-1996-Waroquiers #ada #memory management
Ada Tasking and Dynamic Memory: To Use or Not To Use, That’s a Question! (PW), pp. 460–470.
PPDPPLILP-1996-Meertens
Calculate Polytypically! (LGLTM), pp. 1–16.
RTARTA-1995-Asperti #implementation #optimisation #λ-calculus
deltao!Epsilon = 1 — Optimizing Optimal λ-Calculus Implementations (AA), pp. 102–116.
TACASTACAS-1995-KnoopSV #analysis #explosion #for free #parallel
Parallelism for Free: Bitvector Analyses -> No State Explosion! (JK, BS, JV), pp. 264–289.
TAPSOFTTAPSOFT-1995-BrandV #asf+sdf #documentation #for free #ide #tool support
The Asf+Sdf Meta-Environment Documentation Tools for Free! (MvdB, EV), pp. 803–804.
PODSPODS-1994-Afrati #bound #datalog #graph #query
Bounded Arity Datalog (!=) Queries on Graphs (FNA), pp. 97–106.
SEKESEKE-1994-FarrellRT #object-oriented
Giving KBS an OO! — object-oriented techniques and KADS (VF, DR, ST), pp. 298–305.
AdaEuropeAdaEurope-1994-WardS #object-oriented
Object Orientation is not Always Best! (RW, JS), pp. 104–110.
KRKR-1992-Koubarakis #constraints
Dense Time and Temporal Constraints with != (MK), pp. 24–35.
AdaTRI-Ada-C-1992-Fussichen #ada #cics
Ada and CICS: or (yes! Ada can be done on an IBM Mainframe) (KF), pp. 415–422.
DACDAC-1992-AbramoviciRM #approach #testing
Freeze!: A New Approach for Testing Sequential Circuits (MA, KBR, DTM), pp. 22–25.
STOCSTOC-1992-DworkW #bound #concurrent #performance
Simple and Efficient Bounded Concurrent Timestamping or Bounded Concurrent Timestamp Systems are Comprehensible! (CD, OW), pp. 655–666.
SIGMODSIGMOD-1991-LohmanLLACMMPW
Starburst II: The Extender Strikes Back! (GML, GL, TJL, RA, RC, JM, CM, HP, JW), p. 447.
ICGTGG-1990-GottlerGN #design #graph grammar
Use Graph Grammars to Design CAD-Systems! (HG, JG, GN), pp. 396–410.
OOPSLAOOPSLA-ECOOP-1990-AndreoliP #concurrent #process
LO and Behold! Concurrent Structured Processes (JMA, RP), pp. 44–56.
ESOPESOP-1990-NielsonN #for free
Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations (HRN, FN), pp. 291–305.
FPCAFPCA-1989-Wadler #for free #theorem
Theorems for Free! (PW), pp. 347–359.
CAiSECAiSE-1989-Bergkvist #development #idea
The mistakes — where systems development doesn’t support business idea! (TB).
PODSPODS-1988-Morris #algorithm
An Algorithm for Ordering Subgoals in NAIL! (KAM), pp. 82–88.
ICLPJICSCP-1988-KlingerS88 #algorithm #compilation
A Decision Tree Compilation Algorithm for FCP(!, : , ?) (SK, EYS), pp. 1315–1336.
ICLPICLP-1986-MorrisUG86 #design #overview
Design Overview of the NAIL! System (KAM, JDU, AVG), pp. 554–568.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.