Browse by Publisher
Number of items: 451.
Freitas, Alex A. (2024) The case for hybrid multi-objective optimisation in high-stakes machine learning applications. ACM SIGKDD Explorations, 26 (1). pp. 24-33. (doi:10.1145/3682112.3682116) (KAR id:106803) |
Adriko, Rodney, Nurse, Jason R. C. (2024) Does Cyber Insurance promote Cyber Security Best Practice? An Analysis based on Insurance Application Forms. Digital Threats: Research and Practice, . ISSN 2692-1626. (doi:10.1145/3676283) (KAR id:106506) |
Ppali, Sophia, Scorer, Max, Ppali, Elena, Branch, Boyd, Covaci, Alexandra (2024) Remote Rhythms: Audience-informed insights for designing remote music performances. In: DIS '24: Proceedings of the 2024 ACM Designing Interactive Systems Conference. . pp. 2675-2690. ACM ISBN 979-8-4007-0583-0. (doi:10.1145/3643834.3660719) (KAR id:106510) |
Ppali, Sophia, Pasia, Marina, Wolf, Sara, Han, Jihae, Muntean, Reese, Yoo, Minyoung, Rodil, Kasper, Berger, Arne, Papallas, Andreas, Ciolfi, Luigina, and others. (2024) Sensing heritage: Exploring creative approaches for capturing, experiencing and safeguarding the sensorial aspects of cultural heritage. In: Designing Interactive Systems Conference. DIS '24 Companion: Companion Publication of the 2024 ACM Designing Interactive Systems Conference. . pp. 445-448. ACM ISBN 979-8-4007-0632-5. (doi:10.1145/3656156.3658400) (KAR id:106525) |
Koparkar, Chaitanya S., Singhal, Vidush, Gupta, Aditya, Rainey, Mike, Vollmer, Michael, Pelenitsyn, Artem, Tobin-Hochstadt, Sam, Kulkarni, Milind, Newton, Ryan R. (2024) Garbage collection for mostly serialized heaps. In: ISMM 2024: Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Managem. . pp. 1-14. ACM E-ISBN 979-8-4007-0615-8. (doi:10.1145/3652024.3665512) (KAR id:106408) |
Bereczky, Péter, Horpácsi, Dániel, Thompson, Simon (2024) A frame stack semantics for sequential Core Erlang. In: The 35th Symposium on Implementation and Application of Functional Languages. IFL '23: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages. (5). pp. 1-13. ACM, New York, USA (doi:10.1145/3652561.3652566) (KAR id:106442) |
Torrens, Paulo, Orchard, Dominic A., Vasconcellos, Cristiano (2024) On the operational theory of the CPS-calculus: Towards a theoretical foundation for IRs. Proceedings of the ACM on Programming Languages, . E-ISSN 2475-1421. (In press) (KAR id:106878) |
de Lemos, Rogério (2024) Bio-inspired computing systems: handle with care, discard if need it. In: SEAMS '24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. . ACM ISBN 979-8-4007-0585-4. (doi:10.1145/3643915.3644096) (KAR id:106308) |
Boltz, Nicolas, Getir Yaman, Sinem, Inverardi, Paola, de Lemos, Rogério, Van Landuyt, Dimitri, Zisman, Andrea (2024) Human empowerment in self-adaptive socio-technical systems. In: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS '24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. . pp. 200-206. ACM ISBN 979-8-4007-0585-4. (doi:10.1145/3643915.3644082) (KAR id:106307) |
Wang, Yichao, Arief, Budi, Hernandez-Castro, Julio C. (2024) Analysis of Security Mechanisms of Dark Web Markets. In: EICC '24: Proceedings of the 2024 European Interdisciplinary Cybersecurity Conference. . ACM ISBN 979-8-4007-1651-5. (doi:10.1145/3655693.3655700) (KAR id:105237) |
Ozkok, Meryem Berfin, Birinci, Baturay, Cetin, Orcun, Arief, Budi, Hernandez-Castro, Julio (2024) Honeypot's Best Friend? Investigating ChatGPT's Ability to Evaluate Honeypot Logs. In: European Interdisciplinary Cybersecurity Conference. EICC '24: Proceedings of the 2024 European Interdisciplinary Cybersecurity Conference. . ACM ISBN 979-8-4007-1651-5. (doi:10.1145/3655693.3655716) (KAR id:106254) |
Frangulea, George V., Assimakopoulos, Philippos, Bojović, Biljana, Lagén, Sandra (2024) NR-U and Wi-Fi Coexistence in sub-7 GHz bands: Implementation and Evaluation of NR-U Type 1 Channel Access in ns-3. In: WNS3 '24: Proceedings of the 2024 Workshop on ns-3. . pp. 36-44. ACM, New York, USA ISBN 979-8-4007-1763-5. (doi:10.1145/3659111.3659114) (KAR id:106222) |
von Jungenfeld, Rocio (2024) ‘zones of flow (iv)’: horizontal immersion & interactions with water indoors. In: C&C '24: ACM Conference on Creativity & Cognition. . ACM, New York, NY, USA (In press) (doi:10.1145/3635636.3660497) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:105806) |
Yilmaz, Yagiz, Cetin, Orcun, Grigore, Claudia, Arief, Budi, Hernandez-Castro, Julio (2023) Personality Types and Ransomware Victimisation. Digital Threats: Research and Practice, 4 (4). pp. 1-25. ISSN 2692-1626. E-ISSN 2576-5337. (doi:10.1145/3568994) (KAR id:102123) |
Burchell, Humphrey, Larose, Octave, Kaleba, Sophie, Marr, Stefan (2023) Don't Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers. In: MPLR 2023. MPLR'23 . pp. 100-113. ACM (doi:10.1145/3617651.3622985) (KAR id:102818) |
Bhudia, Alpesh, Cartwright, Anna, Cartwright, Edward, Hurley-Smith, Darren, Hernandez-Castro, Julio (2023) Game Theoretic Modelling of a Ransom and Extortion Attack on Ethereum Validators. In: ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security. . ACM ISBN 979-8-4007-0772-8. (doi:10.1145/3600160.3604985) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:102497) |
Cheung, Ethan, Ppali, Sophia, Otkhmezuri, Boris, Thomas, Clare L, Covaci, Alexandra (2023) Co-creating Meaningful Spaces: Stepping into Virtual Worlds Crafted by People Living with Dementia. In: Designing Interactive Systems Conference. DIS '23 Companion: Companion Publication of the 2023 ACM Designing Interactive Systems Conference. . pp. 81-85. ACM (doi:10.1145/3563703.3596645) (KAR id:102104) |
Benton, Laura, Vasalou, Asimina, Turner, Sarah (2023) Location, Location, Security? Exploring Location-Based Smart Device Security Concerns and Mitigations within Low-Rent Homes. In: DIS '23: Proceedings of the 2023 ACM Designing Interactive Systems Conference. . pp. 1060-1077. ACM ISBN 978-1-4503-9893-0. (doi:10.1145/3563657.3596077) (KAR id:102131) |
Cheung, Ethan, Ppali, Sophia, Xygkou, Anna, Covaci, Alexandra, Jawharieh, Hiba H, Thomas, Clare L, Ang, Chee Siang (2023) Meaningful Spaces, Meaningful Places: Co-creating VR Experiences with People Living with Dementia. In: DIS '23 Companion: Companion Publication of the 2023 ACM Designing Interactive Systems Conference. . ACM ISBN 978-1-4503-9898-5. (doi:10.1145/3563703.3596624) (KAR id:102105) |
Ppali, Sophia (2023) Music from anywhere & everywhere: exploring the design space of remote music performance. In: Designing Interactive Systems Conference. DIS '23 Companion: Companion Publication of the 2023 ACM Designing Interactive Systems Conference. . pp. 45-49. ACM ISBN 978-1-4503-9898-5. (doi:10.1145/3563703.3593067) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:102103) |
Wang, Yichao, Arief, Budi, Franqueira, Virginia N. L., Coates, Anna Grace, Ó Ciardha, Caoilte (2023) Investigating the Availability of Child Sexual Abuse Materials in Dark Web Markets: Evidence Gathered and Lessons Learned. In: EICC '23: Proceedings of the 2023 European Interdisciplinary Cybersecurity Conference. . pp. 59-64. ACM ISBN 978-1-4503-9829-9. (doi:10.1145/3590777.3590812) (KAR id:102125) |
Ozturk, Omer Said, Ekmekcioglu, Emre, Cetin, Orcun, Arief, Budi, Hernandez-Castro, Julio C. (2023) New Tricks to Old Codes: Can AI Chatbots Replace Static Code Analysis Tools? In: EICC '23: Proceedings of the 2023 European Interdisciplinary Cybersecurity Conference. . pp. 13-18. ACM ISBN 978-1-4503-9829-9. (doi:10.1145/3590777.3590780) (KAR id:102124) |
Knott, Jamie, Yuan, Haiyue, Boakes, Matthew, Li, Shujun (2023) Cyber Security and Online Safety Education for Schools in the UK: Looking through the Lens of Twitter Data. In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. . 1603- 1606. ACM, New York, USA ISBN 978-1-4503-9517-5. (doi:10.1145/3555776.3577805) (KAR id:101794) |
Raza, Ali, Tran, Kim Phuc, Koehl, Ludovic, Li, Shujun (2023) Proof of Swarm Based Ensemble Learning for Federated Learning Applications. In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. . 152- 155. ACM, New York, USA ISBN 978-1-4503-9517-5. (doi:10.1145/3555776.3578601) (KAR id:101795) |
Gopalakrishnan, Akshay, Verbrugge, Clark, Batty, Mark (2023) Memory Consistency Models for Program Transformations: An Intellectual Abstract. In: ISMM 2023: Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management. . ACM ISBN 979-8-4007-0179-5. (doi:10.1145/3591195.3595274) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:101694) |
Covaci, Alexandra, Alhasan, Khawla, Loonker, Mayank, Farrell, Bernardine, Tabbaa, Luma, Ppali, Sophia, Ang, Chee Siang (2023) No Pie in the (Digital) Sky: Co-Imagining the Food Metaverse. In: CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. 8. pp. 1-17. ACM ISBN 978-1-4503-9421-5. (doi:10.1145/3544548.3581305) (KAR id:101190) |
Huang, Wanhong, Marr, Stefan, Ugawa, Tomoharu (2023) Optimizing the Order of Bytecode Handlers in Interpreters using a Genetic Algorithm. In: The 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23). . ACM ISBN 978-1-4503-9517-5. (doi:10.1145/3555776.3577712) (KAR id:99544) |
Larose, Octave, Kaleba, Sophie, Burchell, Humphrey, Marr, Stefan (2023) AST vs. bytecode: interpreters in the age of meta-compilation. Proceedings of the ACM on Programming Languages, 7 (OOPSLA). pp. 318-346. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3622808) (KAR id:102817) |
Saunders, Jack, Freitas, Alex A. (2022) Evaluating the predictive performance of positive-unlabelled classifiers: a brief critical review and practical recommendations for improvement. ACM SIGKDD Explorations Newsletter, 24 (2). pp. 5-11. (doi:10.1145/3575637.3575642) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:106802) |
Jakubovic, Joel, Petricek, Tomas (2022) Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System. In: Onward! 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. . pp. 240-258. ACM ISBN 978-1-4503-9909-8. (doi:10.1145/3563835.3568736) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:99049) |
Marr, Stefan, Burchell, Humphrey, Niephaus, Fabio (2022) Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic Languages. In: Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages. . ACM (doi:10.1145/3563834.3567537) (KAR id:97486) |
Kaleba, Sophie, Larose, Octave, Jones, Richard, Marr, Stefan (2022) Who You Gonna Call? Analyzing the Run-time Call-site Behaviour of Ruby Applications. In: Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages. . ACM ISBN 978-1-4503-9908-1. (doi:10.1145/3563834.3567538) (KAR id:97522) |
Sharrad, Joanna, Chitil, Olaf (2022) Refining the Delta Debugging of Type Errors. In: 33rd Symposium on Implementation and Application of Functional Languages (IFL '21). IFL '21: Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages. . ACM, New York, NY, USA E-ISBN 978-1-4503-8644-9. (doi:10.1145/3544885.3544888) (KAR id:96134) |
Turner, Sarah, Pattnaik, Nandita, Nurse, Jason R. C., Li, Shujun (2022) "You Just Assume It Is In There, I Guess": UK Families' Application And Knowledge Of Smart Home Cyber Security. Proceedings of the ACM on Human-Computer Interaction, 6 (CSCW2). Article Number 269. E-ISSN 2573-0142. (doi:10.1145/3555159) (KAR id:95346) |
Loonker, Mayank, Ppali, Sophia, von Jungenfeld, Rocio, Efstratiou, Christos, Covaci, Alexandra (2022) "I was Holding a Magic Box": Investigating the Effects of Private and Projected Displays in Outdoor Heritage Walks. In: DIS '22: Designing Interactive Systems Conference. 2022 Proceeding. . pp. 1565-1580. ACM ISBN 978-1-4503-9358-4. (doi:10.1145/3532106.3533468) (KAR id:95534) |
Zahrah, Fatima, Nurse, Jason R. C., Goldsmith, Michael (2022) A Comparison of Online Hate on Reddit and 4chan: A Case Study of the 2020 US Election. In: 2022 ACM/SIGAPP Symposium On Applied Computing. . pp. 1788-1791. ACM (doi:10.1145/3477314.3507226) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:92440) |
Ovchinnik, Sergey, Otero, Fernando E.B., Freitas, Alex A. (2022) Nested Trees for Longitudinal Classification. In: SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. . ACM ISBN 978-1-4503-8713-2. (doi:10.1145/3477314.3507240) (KAR id:92832) |
Turner, Sarah, Nurse, Jason R. C., Li, Shujun (2022) "It was hard to find the words": Using an Autoethnographic Diary Study to Understand the Difficulties of Smart Home Cyber Security Practices. In: ACM Conference on Human Factors in Computing Systems (CHI). 2022 ACM CHI Conference on Human Factors in Computing Systems. . ACM ISBN 978-1-4503-9156-6. (doi:10.1145/3491101.3503577) (KAR id:92356) |
Ppali, Sophia, Lalioti, Vali, Branch, Boyd, Ang, Chee Siang, Thomas, Andrew, Wohl, Bea, Covaci, Alexandra (2022) Keep the VRhythm going: A musician-centred study investigating how Virtual Reality can support creative musical practice. In: CHI '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. . pp. 1-19. ACM ISBN 978-1-4503-9157-3. (doi:10.1145/3491102.3501922) (KAR id:96060) |
Ugawa, Tomoharu, Marr, Stefan, Jones, Richard (2022) Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems. In: ACM. VMIL '22: Virtual Machines and Language Implementations. VMIL . pp. 25-35. ACM (doi:10.1145/3563838.3567678) (KAR id:97523) |
Delgado-Santos, Paula, STRAGAPEDE, GIUSEPPE, Tolosana, Ruben, Guest, Richard, Deravi, Farzin, Vera-Rodriguez, Ruben (2022) A Survey of Privacy Vulnerabilities of Mobile Device Sensors. ACM Computing Surveys, . ISSN 0360-0300. (doi:10.1145/3510579) (KAR id:92768) |
JEFFREY, A, Riely, J, Batty, Mark, Cooksey, Simon, KAYSIN, I, PODKOPAEV, A (2022) The Leaky Semicolon. Principles of Programming Languages, 6 . pp. 1-30. ISSN 0743-9016. (doi:10.1145/3498716) (KAR id:95153) |
Lalioti, Vali, Ppali, Sophia, Thomas, Andrew, Hrafnkelsson, Ragnar, Grierson, Mick, Ang, Chee Siang, Wohl, Bea, Covaci, Alexandra (2021) VR Rehearse & Perform - A platform for rehearsing in Virtual Reality. In: VRST '21: Proceedings of the 27th ACM Symposium on Virtual Reality Software and Technology. . ACM ISBN 978-1-4503-9092-7. (doi:10.1145/3489849.3489896) (KAR id:96064) |
Mahaini, Mohamad Imad, Li, Shujun (2021) Detecting Cyber Security Related Twitter Accounts and Different Sub-Groups: A Multi-Classifier Approach. In: ASONAM '21: Proceedings of the 2021 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. . ACM ISBN 978-1-4503-9128-3. (doi:10.1145/3487351.3492716) (KAR id:90995) |
Koparkar, Chaitanya, Rainey, Mike, Vollmer, Michael, Kulkarni, Milind, Newton, Ryan R. (2021) Efficient tree-traversals: reconciling parallelism and dense data representations. Proceedings of the ACM on Programming Languages, 5 (ICFP). Article Number 91. ISSN 2475-1421. (doi:10.1145/3473596) (KAR id:95504) |
Axon, Louise, Erola, Arnau, Janse van Rensburg, Alastair, Nurse, Jason R. C., Goldsmith, Michael, Creese, Sadie (2021) Practitioners' Views on Cybersecurity Control Adoption and Effectiveness. In: ARES 2021: The 16th International Conference on Availability, Reliability and Security. . ACM ISBN 978-1-4503-9051-4. (doi:10.1145/3465481.3470038) (KAR id:88746) |
Sharma, Suraj, Brennan, Joseph, Nurse, Jason R. C. (2021) StockBabble: A Conversational Financial Agent to support Stock Market Investors. In: Proceedings of the 3rd Conference on Conversational User Interfaces (CUI 2021). . ACM E-ISBN 978145038998. (doi:10.1145/3469595.3469620) (KAR id:88386) |
Bereczky, Péter, Horpácsi, Dániel, K?szegi, Judit, Szeier, Soma, Thompson, Simon (2021) Validating Formal Semantics by Property-Based Cross-Testing. In: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages (IFL ’20),. . pp. 150-161. ACM, New York, NY, USA ISBN 978-1-4503-8963-1. (doi:10.1145/3462172.3462200) (KAR id:89480) |
Chitil, Olaf, ed. (2021) IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages. ICPS . ACM, New York, NY, USA ISBN 978-1-4503-8963-1. (doi:10.1145/3462172) (KAR id:90050) |
Greenwood-Thessman, Erin, Gariano, Isaac Oscar, Roberts, Richard, Marr, Stefan, Homer, Michael, Noble, James (2021) Naïve Transient Cast Insertion Isn’t (That) Bad. In: Proceedings of the 16th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems. . pp. 1-9. ACM ISBN 978-1-4503-8544-2. (doi:10.1145/3464972.3472395) (KAR id:89178) |
von Jungenfeld, Rocio (2021) "zones of flow (iii)": a Paper and Light-based Immersive Water Environment. In: ACM International Conference on Creativity and Cognition (C&C '21). . pp. 1-5. ACM ISBN 978-1-4503-8376-9. (doi:10.1145/3450741.3464391) (KAR id:88533) |
Castro-Perez, David, Ferreira, Francisco, Gheri, Lorenzo, Yoshida, Nobuko (2021) Zooid: A DSL for Certified Multiparty Computation. In: PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. . ACM ISBN 978-1-4503-8391-2. (doi:10.1145/3453483.3454041) (KAR id:88249) |
She, Wan Jou, Siriaraya, Panote, Ang, Chee Siang, Prigerson, Holly (2021) Living Memory Home: Understanding Continuing Bond in the Digital Age through Backstage Grieving. In: CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. . ACM ISBN 978-1-4503-8096-6. (doi:10.1145/3411764.3445336) (KAR id:85592) |
Branch, Boyd, Efstratiou, Christos, Mirowski, Piotr, Mathewson, Kory, Allain, Paul (2021) Tele-Immersive Improv: Effects of Immersive Visualisations on Rehearsing and Performing Theatre Online. In: CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. . ACM ISBN 978-1-4503-8096-6. (doi:10.1145/3411764.3445310) (KAR id:87284) |
Yuan, Haiyue, Li, Shujun, Rusconi, Patrice (2021) CogTool+: Modeling human performance at large scale. ACM Transactions on Computer-Human Interaction, 28 (2). Article Number 7. ISSN 1073-0516. E-ISSN 1557-7325. (doi:10.1145/3447534) (KAR id:87545) |
Yadav, Poonam, Feraudo, Angelo, Arief, Budi, Shahandashti, Siamak F., Vassilakis, Vassilios G. (2020) A systematic framework for categorising IoT device fingerprinting mechanisms. In: AIChallengeIoT '20: Proceedings of the 2nd International Workshop on Challenges in Artificial Intelligence and Machine Learning for Internet of Things. . ACM ISBN 978-1-4503-8134-5. (doi:10.1145/3417313.3429384) (KAR id:84210) |
Marr, Stefan, ed. (2020) MPLR 2020: Proceedings of the 17th International Conference on Managed Programming Languages and Runtimes. ACM, New York, USA, 98 pp. ISBN 978-1-4503-8853-5. (doi:10.1145/3426182) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:83975) |
Chousein, Zeynep, Tetik, Hacı Yakup, Sağlam, Rahime Belen, Bülbül, Abdullah, Li, Shujun (2020) Tension between GDPR and Public Blockchains: A Data-Driven Analysis of Online Discussions. In: Proceedings of the 13th International Conference on Security of Information and Networks. . 17:1-17:8. ACM ISBN 978-1-4503-8751-4. (doi:10.1145/3433174.3433587) (KAR id:89479) |
Aydın, Kübra, Sağlam, Rahime Belen, Li, Shujun, Bülbül, Abdullah (2020) When GDPR Meets CRAs (Credit Reference Agencies): Looking through the Lens of Twitter. In: Proceedings of the 13th International Conference on Security of Information and Networks. . 16:1-16:8. ACM ISBN 978-1-4503-8751-4. (doi:10.1145/3433174.3433586) (KAR id:89476) |
Lakehal, Aymen, Lepreux, Sophie, Efstratiou, Christos, Christophe, Kolski, Nicolaou, Pavlos (2020) Investigating Smartphones and AR Glasses for Pedestrian Navigation and their Effects in Spatial Knowledge Acquisition. In: MobileHCI '20: 22nd International Conference on Human-Computer Interaction with Mobile Devices and Services. . ACM, New York, USA ISBN 978-1-4503-8052-2. E-ISBN 978-1-4503-7516-0. (doi:10.1145/3406324.3410722) (KAR id:83761) |
Intarasirisawat, Jittrapol, Ang, Chee Siang, Efstratiou, Christos, Dickens, Luke, Sriburapar, Naranchaya, Sharma, Dinkar, Asawathaweeboon, Burachai (2020) An Automated Mobile Game-based Screening Tool for Patients with Alcohol Dependence. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 4 (3). Article Number 110. E-ISSN 2474-9567. (doi:10.1145/3411837) (KAR id:82472) |
Bereczky, Péter and Horpácsi, Dániel and Thompson, Simon (2020) Machine-checked natural semantics for Core Erlang: exceptions and side effects. In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang. ACM, pp. 1-13. ISBN 978-1-4503-8049-2. (doi:10.1145/3406085.3409008) (KAR id:82515) |
Belen Sağlam, Rahime, Nurse, Jason R. C. (2020) Is your chatbot GDPR compliant? Open issues in agent design. In: CUI '20: Proceedings of the 2nd Conference on Conversational User Interfaces. . ACM ISBN 978-1-4503-7544-3. (doi:10.1145/3405755.3406131) (KAR id:81313) |
Hone, Andrew N.W. (2020) Efficient ECM Factorization in Parallel with the Lyness Map. In: ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation. . ACM ISBN 978-1-4503-7100-1. (doi:10.1145/3373207.3404044) (KAR id:81862) |
Pérez-Delgado, Carlos A, Perez-Gonzalez, Hector G (2020) Towards a Quantum Software Modeling Language. In: ICSEW'20: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops. . pp. 442-444. ACM, New York, USA ISBN 978-1-4503-7963-2. (doi:10.1145/3387940.3392183) (KAR id:80774) |
Santos, Valeria, Otero, Fernando E.B., Johnson, Colin G., Osorio, Fernando, Toledo, Claudio (2020) Exploratory Path Planning for Mobile Robots in Dynamic Environments with Ant Colony Optimization. In: GECCO '20: Proceedings of the 2020 Genetic and Evolutionary Computation Conference. . ACM ISBN 978-1-4503-7128-5. (doi:10.1145/3377930.3390219) (KAR id:81040) |
de Sá, Alex G. C. and Pimenta, Cristiano G. and Pappa, Gisele L. and Freitas, Alex A. (2020) A robust experimental evaluation of automated multi-label classification methods. In: GECCO '20: Proceedings of the 2020 Genetic and Evolutionary Computation Conference. ACM, New York, USA, pp. 175-183. ISBN 978-1-4503-7128-5. (doi:10.1145/3377930.3390231) (KAR id:82232) |
Mohamed, Ismail, Otero, Fernando E.B. (2020) A Multiobjective Optimization Approach for Market Timing. In: GECCO '20: Proceedings of the 2020 Genetic and Evolutionary Computation Conference. . pp. 22-30. ACM ISBN 978-1-4503-7128-5. (doi:10.1145/3377930.3390156) (KAR id:81041) |
Tsushima, Kanae, Chitil, Olaf, Sharrad, Joanna (2020) Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker. In: IFL '19: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages. ICPS . ACM, New York, NY, USA ISBN 978-1-4503-7562-7. (doi:10.1145/3412932.3412939) (KAR id:81976) |
de Lemos, Rogério (2020) Human in the Loop: What is the Point of no Return? In: 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020). . ACM, New York, USA ISBN 978-1-4503-7962-5. (doi:10.1145/3387939.3391597) (KAR id:80988) |
Kafalı, Özgur, Ajmeri, Nirav, Singh, Munindar P. (2019) Desen: Specification of Sociotechnical Systems via Patterns of Regulation and Control. ACM Transactions on Software Engineering and Methodology, 29 (1). Article Number 7. ISSN 1049-331X. (doi:10.1145/3365664) (KAR id:77232) |
Aumayr, Dominik, Marr, Stefan, Gonzalez Boix, Elisa, Mössenböck, Hanspeter (2019) Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications. In: Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. . pp. 157-171. ACM ISBN 978-1-4503-6977-0. (doi:10.1145/3357390.3361019) (KAR id:77490) |
Marr, Stefan and Fumero, Juan, eds. (2019) DLS 2019: Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages. ACM ISBN 978-1-4503-6996-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:77491) |
Gariano, Isaac Oscar, Roberts, Richard, Marr, Stefan, Homer, Michael, Noble, James (2019) Which of My Transient Type Checks Are Not (Almost) Free? In: VMIL 2019 Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages. . pp. 58-66. ACM ISBN 978-1-4503-6987-9. (doi:10.1145/3358504.3361232) (KAR id:77492) |
Marr, Stefan and Cazzola, Walter, eds. (2019) Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming: <Programming>'19:. ACM, New York, NY, USA, 201 pp. ISBN 978-1-4503-6257-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:77489) |
Intarasirisawat, Jittrapol, Ang, Chee Siang, Efstratiou, Christos, Dickens, Luke, Page, Rupert (2019) Exploring the Touch and Motion Features in Game-Based Cognitive Assessments. Journal of Interactive, Mobile, Wearable and Ubiquitous Technologies, 3 (3). Article Number 87. ISSN 2474-9567. (doi:10.1145/3351245) (KAR id:75919) |
Mahaini, Mohamad Imad, Li, Shujun, Sağlam, Rahime Belen (2019) Building Taxonomies based on Human-Machine Teaming: Cyber Security as an Example. In: ICPS: ACM International Conference Proceeding Series. Proceedings of the 14th International Conference on Availability, Reliability and Security. . ACM ISBN 978-1-4503-7164-3. (doi:10.1145/3339252.3339282) (KAR id:75253) |
Rigger, Manuel, Marr, Stefan, Adams, Bram, Mössenböck, Hanspeter (2019) Understanding GCC Builtins to Develop Better Tools. In: ESEC/FSE 2019 Proceedings of the 2019 27th ACM. Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ESEC/FSE . pp. 74-85. ACM ISBN 978-1-4503-5572-8. (doi:10.1145/3338906.3338907) (KAR id:75258) |
Orchard, Dominic A., Liepelt, Vilem, Eades, Harley (2019) Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages, 3 (ICFP). Article Number 110. E-ISSN 2475-1421. (doi:10.1145/3341714) (KAR id:74450) |
Dziallas, Sebastian, Fincher, Sally (2019) Accountable Disciplinary Knowledge in Computing Education. In: Proceedings of the 2019 ACM Conference on International Computing Education Research. ICER '19 Proceedings of the 2019 ACM Conference on International Computing Education Research. . pp. 1-9. ACM, New York, NY, USA ISBN 978-1-4503-6185-9. (doi:10.1145/3291279.3339403) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77509) |
Alterkawi, Laila, Migliavacca, Matteo (2019) Parallelism and partitioning in large-scale GAs using spark. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference. . pp. 736-744. ACM, New York ISBN 978-1-4503-6111-8. (doi:10.1145/3321707.3321775) (KAR id:75345) |
Saleme, Estêvão, Covaci, Alexandra, Mesfin, Gebremariam, Santos, Celso A. S., Ghinea, Gheorghita (2019) Mulsemedia DIY: A Survey of Devices and a Tutorial for Building Your Own Mulsemedia Environment. ACM Computing Surveys, 52 (3). 58:1-58:29. ISSN 0360-0300. (doi:10.1145/3319853) (KAR id:77597) |
Mesfin, Gebremariam, Hussain, Nadia, Covaci, Alexandra, Ghinea, Gheorghita (2019) Using Eye Tracking and Heart-Rate Activity to Examine Crossmodal Correspondences QoE in Mulsemedia. ACM Transactions on Multimedia Computing, Communications, and Applications, 15 (2). pp. 1-22. ISSN 1551-6857. (doi:10.1145/3303080) (KAR id:77598) |
Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) Characterising Renaming within OCaml’s Module System: Theory and Implementation. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation Proceedings. . pp. 950-965. ACM, ACM New York, NY, USA ©2019 ISBN 978-1-4503-6712-7. (doi:10.1145/3314221.3314600) (KAR id:73526) |
Vollmer, Michael, Koparkar, Chaitanya, Rainey, Mike, Sakka, Laith, Kulkarni, Milind, Newton, Ryan R. (2019) LoCal: a language for programs operating on serialized data. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. . pp. 48-62. ACM ISBN 978-1-4503-6712-7. (doi:10.1145/3314221.3314631) (KAR id:95505) |
Webb, Helena, Nurse, Jason R. C., Bezuidenhout, Louise, Jirotka, Marina (2019) Lab Hackathons to Overcome Laboratory Equipment Shortages in Africa: Opportunities and Challenges. In: 2019 CHI Conference on Human Factors in Computing Systems Extended Abstracts. . ACM ISBN 978-1-4503-5971-9. (doi:10.1145/3290607.3299063) (KAR id:71381) |
Tabbaa, Luma, Ang, Chee Siang, Rose, Vienna, Siriaraya, Panote, Stewart, Inga, Jenkins, Keith, Matsangidou, Maria (2019) Bring the Outside In: Providing Accessible Experiences Through VR for People with Dementia in Locked Psychiatric Hospitals. In: Proceedings of ACM Conference on Human Factors in Computing Systems. . ACM ISBN 978-1-4503-5970-2. (doi:10.1145/3290605.3300466) (KAR id:72034) |
Sharrad, Joanna, Chitil, Olaf, Wang, Meng (2019) Delta Debugging Type Errors with a Blackbox Compiler. In: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages. . pp. 13-24. ACM ISBN 978-1-4503-7143-8. (doi:10.1145/3310232.3310243) (KAR id:74037) |
Memarian, Kayvan, Gomes, Victor B.F., David, Brooks, Kell, Stephen, Richardson, Alexander, Watson, Robert N.M., Sewell, Peter (2019) Exploring C semantics and pointer provenance. In: Proceedings of the ACM on Programming Languages. 3 (POPL). ACM (doi:10.1145/3290380) (KAR id:78086) |
Covaci, Alexandra, Trestian, Ramona, Saleme, Estêvão Bissoli, Comsa, Ioan-Sorin, Assres, Gebremariam, Santos, Celso A. S., Ghinea, Gheorghita (2019) 360° Mulsemedia: A Way to Improve Subjective QoE in 360° Videos. In: MM '19: Proceedings of the 27th ACM International Conference on Multimedia. . pp. 2378-2386. ACM ISBN 978-1-4503-6889-6. (doi:10.1145/3343031.3350954) (KAR id:79190) |
Bertholon, Guillaume, Kell, Stephen (2019) Towards seamless interfacing between dynamic languages and native code. In: VMIL 2019: Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages. . pp. 38-47. ACM ISBN 978-1-4503-6987-9. (doi:10.1145/3358504.3361230) (KAR id:76576) |
Ugawa, Tomoharu, Ritson, Carl G., Jones, Richard E. (2018) Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collection. ACM Transactions on Programming Languages and Systems, 40 (4). Article Number 15. ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3226225) (KAR id:67207) |
Sirur, Sean, Nurse, Jason R. C., Webb, Helena (2018) Are we there yet? Understanding the challenges faced in complying with the General Data Protection Regulation (GDPR). In: International Workshop on Multimedia Privacy and Security (MPS) at the 25th ACM Conference on Computer and Communications Security (CCS). CCS Computer and Communications Security . pp. 88-95. ACM, New York, USA ISBN 978-1-4503-5988-7. (doi:10.1145/3267357.3267368) (KAR id:68765) |
Daloze, Benoit, Tal, Arie, Marr, Stefan, Mössenböck, Hanspeter, Petrank, Erez (2018) Parallelization of Dynamic Languages: Synchronizing Built-in Collections. Proceedings of the ACM on Programming Languages, 2 (OOPSLA). Article Number 108. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3276478) (KAR id:69156) |
Li, Shujun, Ho, Anthony T.S., Wang, Zichi, Zhang, Xinpeng (2018) Lost in the Digital Wild: Hiding Information in Digital Activities. In: Hallman, Roger and Li, Shujun and Chang, Victor, eds. MPS'18: 2nd International Workshop on Multimedia Privacy and Security Proceedings. CCS Computer and Communications Security . pp. 27-37. ACM, New York, USA ISBN 978-1-4503-5988-7. (doi:10.1145/3267357.3267365) (KAR id:69008) |
Covaci, Alexandra, Zou, Longhao, Tal, Irina, Muntean, Gabriel-Miro, Ghinea, Gheorghita (2018) Is Multimedia Multisensorial? - A Review of Mulsemedia Systems. ACM Computing Surveys, 51 (5). Article Number 91. ISSN 0360-0300. (doi:10.1145/3233774) (KAR id:77599) |
Contrastin, Mistral, Orchard, Dominic A., Rice, Andrew C. (2018) Automatic reordering for dataflow safety of Datalog. Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, . (doi:10.1145/3236950.3236954) (KAR id:68499) |
Dziallas, Sebastian and Fincher, Sally (2018) “I told you this last time, right?”: Re-visiting narratives of STEM education. In: Proceedings of the 2018 ACM Conference on International Computing Education Research. ICER International Computing Education Research Workshop . ACM, New York, USA, pp. 223-231. ISBN 978-1-4503-5628-2. (doi:10.1145/3230977.3230989) (KAR id:68567) |
Aslan, Çağrı B. and Sağlam, Rahime Belen and Li, Shujun (2018) Automatic Detection of Cyber Security Related Accounts on Online Social Networks: Twitter as an example. In: Proceedings of the 9th International Conference on Social Media and Society. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA. ISBN 978-1-4503-6334-1. (doi:10.1145/3217804.3217919) (KAR id:66861) |
Johnson, Colin G., Swan, Jerry, Edwin, Brady (2018) Subtype Polymorphism à la carte via Machine Learning on Dependent Types. In: ML4PL. 2nd International Workshop on Machine Learning Techniques for Programming Languages. . ACM ISBN ACM ISBN 123-4567-24-567/08/06. (doi:10.475/123_4) (KAR id:71461) |
Swan, Jerry, Johnson, Colin G., Brady, Edwin C. (2018) Subtype polymorphism à la carte via machine learning on dependent types. In: ISSTA/ECOOP 2018 Workshops. . pp. 14-16. ACM, New York, NY, USA ISBN 978-1-4503-5939-9. (doi:10.1145/3236454.3236469) (KAR id:73791) |
Marr, Stefan and Sartor, Jennifer B., eds. (2018) Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA ISBN 978-1-4503-5513-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:68803) |
Sedgewick, Peter E. and de Lemos, Rogério (2018) Self-adaptation made easy with Blockchains. In: Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems. ICSE International Conference on Software Engineering . ACM, New York, USA. ISBN 978-1-4503-5715-9. (doi:10.1145/3194133.3194150) (KAR id:66569) |
Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko (2018) A Static Verification Framework for Message Passing in Go using Behavioural Types. In: Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training. ICSE International Conference on Software Engineering . pp. 1137-1148. ACM, New York, USA ISBN 978-1-4503-5660-2. (doi:10.1145/3180155.3180157) (KAR id:65587) |
Hanson, Richard J., Hopkins, Tim (2018) Remark on Algorithm 539: A Modern Fortran Reference Implementation for Carefully Computing the Euclidean Norm. ACM Transactions on Mathematical Software, 44 (3). pp. 1-23. ISSN 0098-3500. E-ISSN 1557-7295. (doi:10.1145/3134441) (KAR id:67205) |
Marr, Stefan and Daloze, Benoit (2018) Few Versatile vs. Many Specialized Collections: How to design a collection library for exploratory programming? In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 135-143. ISBN 978-1-4503-5513-1. (doi:10.1145/3191697.3214334) (KAR id:66605) |
Rigger, Manuel, Marr, Stefan, Kell, Stephen, Leopoldseder, David, Mössenböck, Hanspeter (2018) An Analysis of x86-64 Inline Assembly in C Programs. ACM SIGPLAN Notices, 53 (3). pp. 84-99. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/3186411.3186418) (KAR id:66147) |
Rigger, Manuel and Marr, Stefan and Kell, Stephen and Leopoldseder, David and Mössenböck, Hanspeter (2018) A Survey of x86-64 Inline Assembly in C Programs. In: Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. VEE International Conference on Virtual Execution Environments . ACM, New York, USA, pp. 84-99. ISBN 978-1-4503-5579-7. (doi:10.1145/3186411.3186418) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:69697) |
Kell, Stephen (2018) The inevitable death of VMs: a progress report. In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 61-62. ISBN 978-1-4503-5513-1. (doi:10.1145/3191697.3191728) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69709) |
Kafalı, Özgür, Criado, Natalia, Rehak, Martin, Such, Jose M., Yolum, Pinar (2018) Guest Editors' Introduction - Artificial Intelligence for Security and Privacy. ACM Transactions on Internet Technology, 18 (3). Article Number 26. ISSN 1533-5399. (doi:10.1145/3177884) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:66530) |
Férée, Hugo and Hym, Samuel and Mayero, Micaela and Moyen, Jean-Yves and Nowak, David (2018) Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations. In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs. POPL Principles of Programming Languages . ACM, New York, USA. ISBN 978-1-4503-5586-5. (doi:10.1145/3167097) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:66330) |
Covaci, Alexandra, Madeo, Simone, Motylinski, Patrick, Vincent, Stéphane (2018) NECTAR: Non-interactive Smart Contract Protocol Using Blockchain Technology. In: Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain. WETSEB '18 . pp. 17-24. ACM, New York, USA ISBN 978-1-4503-5726-5. (doi:10.1145/3194113.3194116) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77603) |
Baker, Jon, Efstratiou, Christos (2017) Next2Me: Capturing Social Interactions through Smartphone Devices using WiFi and Audio signals. In: Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. . pp. 412-421. ACM ISBN 978-1-4503-5368-7. (doi:10.1145/3144457.3144500) (KAR id:63969) |
Aktypi, Angeliki, Nurse, Jason R. C., Goldsmith, Michael (2017) Unwinding Ariadne's Identity Thread: Privacy Risks with Fitness Trackers and Online Social Networks. In: Proceedings of the 2017 International Workshop on Multimedia Privacy and Security. CCS Computer and Communications Security . ACM, New York, USA ISBN 978-1-4503-5206-2. (doi:10.1145/3137616.3137617) (KAR id:67470) |
Kell, Stephen (2017) Some were meant for C: the endurance of an unmanageable language. In: Onward! 2017 Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. . ACM, New York, NY, USA ISBN 978-1-4503-5530-8. (doi:10.1145/3133850.3133867) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69698) |
Pimás, Javier and Burroni, Javier and Arnaud, Jean Baptiste and Marr, Stefan (2017) Garbage Collection and Efficiency in Dynamic Metacircular Runtimes. In: Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 39-50. ISBN 978-1-4503-5526-1. (doi:10.1145/3133841.3133845) (KAR id:63808) |
Zhang, Xin, Grigore, Radu, Si, Xujie, Naik, Mayur (2017) Effective Interactive Resolution of Static Analysis Alarms. Proceedings of the ACM on Programming Languages, 1 (OOPSLA). Article Number 57. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3133881) (KAR id:62658) |
Howe, Jacob M. and Robbins, Ed and King, Andy (2017) Theory Learning with Symmetry Breaking. In: Pientka, Brigitte, ed. International Symposium on Principles and Practice of Declarative Programming. ACM, Namur, Belgium, pp. 85-96. ISBN 978-1-4503-5291-8. (doi:10.1145/3131851.3131861) (KAR id:62377) |
Marr, Stefan, Torres Lopez, Carmen, Aumayr, Dominik, Gonzalez Boix, Elisa, Mössenböck, Hanspeter (2017) A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools. In: Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages. (doi:10.1145/3133841.3133842) (KAR id:63810) |
Chiba, Shigeru and Gonzalez Boix, Elisa and Marr, Stefan, eds. (2017) Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. ACM ISBN 978-1-4503-5523-0. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:65575) |
Grimmer, Matthias and Marr, Stefan and Kahlhofer, Mario and Wimmer, Christian and Würthinger, Thomas and Mössenböck, Hanspeter (2017) Applying Optimizations for Dynamically-typed Languages to Java. In: Proceedings of the 14th International Conference on Managed Languages and Runtimes. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 12-22. ISBN 978-1-4503-5340-3. (doi:10.1145/3132190.3132202) (KAR id:63809) |
Jordanous, Anna (2017) Review. Review of: Computation and the humanities : towards an oral history of digital humanities by Nyhan, J. and Flinn A., A.. ACM Computing Reviews, (Sep'17). Review #: CR145551. E-ISSN 1530-6585. (KAR id:63489) |
Putjorn, Pruet, Siriaraya, Panote, Ang, Chee Siang, Deravi, Farzin (2017) Designing a ubiquitous sensor-based platform to facilitate learning for young children in Thailand. In: MobileHCI '17: Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services. MobileHCI Human Computer Interaction with Mobile Devices and Services . ACM, New York, USA ISBN 978-1-4503-5075-4. (doi:10.1145/3098279.3098525) (KAR id:61735) |
Eisl, Josef and Marr, Stefan and Würthinger, Thomas and Mössenböck, Hanspeter (2017) Trace Register Allocation Policies: Compile-time vs. Performance Trade-offs. In: Proceedings of the 14th International Conference on Managed Languages and Runtimes. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 92-104. ISBN 978-1-4503-5340-3. (doi:10.1145/3132190.3132209) (KAR id:63807) |
Owens, Scott, Norrish, Michael, Kumar, Ramana, Myreen, Magnus O., Tan, Yong Kiam (2017) Verifying Efficient Function Calls in CakeML. Proceedings of the ACM Programming Languages, 1 (ICFP). Article Number 18. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3110262) (KAR id:62156) |
Thompson, Simon, Li, Huiqing, Baker, Robert, Adams, Stephen, Trinder, Phil, Chechina, Natalia, Papaspyrou, Nikolaos, Sagonas, Konstantinos, Aronis, Stavros, Bihari, Eva, and others. (2017) Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Transactions on Programming Languages and Systems, 39 (4). Article Number 17. ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3107937) (KAR id:63197) |
Alqahtani, Saeed Ibrahim, Li, Shujun (2017) PPAndroid-Benchmarker: Benchmarking Privacy Protection Systems on Android Devices. In: Fischer, Mathias, ed. Proceedings of the 12th International Conference on Availability, Reliability and Security. . Article No. 19. ACM, New York, NY, USA ISBN 978-1-4503-5257-4. (doi:10.1145/3098954.3098984) (KAR id:69561) |
Jameel, Shoaib, Bouraoui, Zied, Schockaert, Steven (2017) MEmbER: Max-Margin Based Embeddings for Entity Retrieval. In: SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Proceedings of the 40th International ACM SIGIR. . pp. 783-792. ACM ISBN 978-1-4503-5022-8. (doi:10.1145/3077136.3080803) (KAR id:69598) |
Tranquille, Dominique, Stapleton, Gem, Burton, Jim, Rodgers, Peter (2017) Evaluating the effects of size in linesets. In: Proceedings of the 10th International Symposium on Visual Information Communication and Interaction. ACM-ICPS International Conference Proceeding Series . pp. 121-128. ACM, New York, USA ISBN 978-1-4503-5292-5. (doi:10.1145/3105971.3105978) (KAR id:63459) |
Otero, Fernando E.B. (2017) MYRA: A Java Ant Colony Optimization Framework for Classification Algorithms. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion. GECCO Genetic and Evolutionary Computation Conference . ACM, New York, USA, pp. 1247-1254. ISBN 978-1-4503-4939-0. (doi:10.1145/3067695.3082471) (KAR id:62289) |
de Sá, Alex G.C. and Pappa, Gisele L. and Freitas, Alex A. (2017) Towards a method for automatically selecting and configuring multi-label classification algorithms. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion. GECCO Genetic and Evolutionary Computation Conference . ACM, New York, USA, pp. 1125-1132. ISBN 978-1-4503-4939-0. (doi:10.1145/3067695.3082053) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62887) |
Zou, Longhao, Tal, Irina, Covaci, Alexandra, Ibarrola, Eva, Ghinea, Gheorghita, Muntean, Gabriel-Miro (2017) Can Multisensorial Media Improve Learner Experience? In: Proceedings of the 8th ACM on Multimedia Systems Conference. . pp. 315-320. ACM, New York ISBN 978-1-4503-5002-0. (doi:10.1145/3083187.3084014) (KAR id:73205) |
Brown, Neil C. C., Altadmri, Amjad (2017) Novice Java Programming Mistakes: Large-Scale Data vs. Educator Beliefs. ACM Transactions on Computing Education (TOCE), 17 (2). Article Number 7. ISSN 1946-6226. (doi:10.1145/2994154) (KAR id:57219) |
Chari, Guido and Garbervetsky, Diego and Marr, Stefan (2017) A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability. In: Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ECOOP European Conference on Object-Oriented Programming . ACM, New York, USA. ISBN 978-1-4503-5088-4. (doi:10.1145/3098572.3098577) (KAR id:63812) |
Grzes, Marek (2017) Reward Shaping in Episodic Reinforcement Learning. In: Proc. of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017). . pp. 565-573. ACM (KAR id:60614) |
Porteous, Julie, Charles, Fred, Smith, Cameron, Cavazza, Marc, Mouw, Jolien, van den Broek, Paul (2017) Using Virtual Narratives to Explore Children’s Story Understanding. In: AAMAS 2017 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. . ACM (KAR id:60533) |
Helal, Ayah and Otero, Fernando E.B. (2017) Automatic design of ant-miner mixed attributes for classification rule discovery. In: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO Genetic and Evolutionary Computation Conference . ACM, New York, USA, pp. 433-440. ISBN 978-1-4503-4920-8. (doi:10.1145/3071178.3071306) (KAR id:62176) |
Burcham, Morgan and Al-Zyoud, Mahran and Carver, Jeffrey C. and Alsaleh, Mohammed and Du, Hongying and Gilani, Fida and Jiang, Jun and Rahman, Akond and Kafalı, Özgur and Al-Shaer, Ehab and Williams, Laurie (2017) Characterizing scientific reporting in security literature: An analysis of ACM CCS and IEEE S&P papers. In: Proceedings of the Hot Topics in Science of Security: Symposium and Bootcamp. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 13-23. ISBN 978-1-4503-5274-1. (doi:10.1145/3055305.3055307) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65876) |
Dziallas, Sebastian and Fincher, Sally and Johnson, Colin G. and Utting, Ian (2017) A First Look at the Year in Computing. In: Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education. ITiCSE Innovation and Technology in Computer Science Education . ACM, New York, USA, pp. 275-280. ISBN 978-1-4503-4704-4. (doi:10.1145/3059009.3059049) (KAR id:61056) |
Chitil, Olaf and Faddegon, Maarten and Runciman, Colin (2017) A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. In: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA. ISBN 978-1-4503-4767-9. (doi:10.1145/3064899.3064904) (KAR id:61147) |
Vollmer, Michael, Scott, Ryan G., Musuvathi, Madanlal, Newton, Ryan R. (2017) SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. ACM SIGPLAN Notices, 52 (8). pp. 283-298. ISSN 0362-1340. (doi:10.1145/3155284.3018746) (KAR id:98981) |
Rowe, Reuben N.S. and Brotherston, James (2017) Automatic cyclic termination proofs for recursive procedures in separation logic. In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. POPL Principles of Programming Languages . ACM, New York, USA, pp. 53-65. ISBN 978-1-4503-4705-1. (doi:10.1145/3018610.3018623) (KAR id:64716) |
Wickerson, John, Batty, Mark, Sorensen, Tyler, Constantinides, George A. (2017) Automatically Comparing Memory Consistency Models. In: ACM SIGPLAN Notices - POPL '17. POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . pp. 190-204. ACM, New York, USA ISBN 978-1-4503-4660-3. (doi:10.1145/3093333.3009838) (KAR id:63503) |
Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko (2017) Fencing off go: liveness and safety for channel-based programming. In: Castagna, Giuseppe and Gordon, Andrew D., eds. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . pp. 748-761. ACM, New York, USA ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009847) (KAR id:62218) |
Grigore, Radu (2017) Java Generics are Turing Complete. In: POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . pp. 73-85. ACM, New York, USA ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009871) (KAR id:58183) |
Flur, Shaked and Sarkar, Susmit and Pulte, Christopher and Nienhuis, Kyndylan and Maranget, Luc and Gray, Kathryn E. and Sezgin, Ali and Batty, Mark and Sewell, Peter (2017) Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 429-442. ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009839) (KAR id:64723) |
Chari, Guido, Garbervetsky, Diego, Marr, Stefan (2016) Building Efficient and Highly Run-time Adaptable Virtual Machines. In: ACM SIGPLAN Notices. DLS 2016 Proceedings of the 12th Symposium on Dynamic Languages. 52 (2). pp. 60-71. ACM ISBN 978-1-4503-4445-6. (doi:10.1145/2989225.2989234) (KAR id:63814) |
Marr, Stefan, Daloze, Benoit, Mössenböck, Hanspeter (2016) Cross-Language Compiler Benchmarking: Are We Fast Yet? In: ACM SIGPLAN Notices. DLS 2016 Proceedings of the 12th Symposium on Dynamic Languages. 52 (2). pp. 120-131. ACM ISBN 978-1-4503-4445-6. (doi:10.1145/2989225.2989232) (KAR id:63815) |
Rashid, Tabish, Agrafiotis, Ioannis, Nurse, Jason R. C. (2016) A New Take on Detecting Insider Threats: Exploring the use of Hidden Markov Models. In: MIST '16: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats. CCS Computer and Communications Security . pp. 47-56. ACM, New York, USA ISBN 978-1-4503-4571-2. (doi:10.1145/2995959.2995964) (KAR id:67482) |
Kell, Stephen (2016) Dynamically Diagnosing Type Errors in Unsafe Code. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 800-819. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2983998) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69699) |
Daloze, Benoit, Marr, Stefan, Bonetta, Daniele, Mössenböck, Hanspeter (2016) Efficient and Thread-Safe Objects for Dynamically-Typed Languages. In: ACM SIGPLAN Notices. OOPSLA 2016 Proceedings of the 2016 ACM International Conference on Object Oriented Programming Systems Languages & Applications. 51. pp. 642-659. ACM, New York, USA ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984001) (KAR id:63818) |
Kell, Stephen, Mulligan, Dominic P., Sewell, Peter (2016) The Missing Link: Explaining ELF Static Linking, Semantically. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . pp. 607-623. ACM, New York, USA ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2983996) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69700) |
Sorensen, Tyler and Donaldson, Alastair F. and Batty, Mark and Gopalakrishnan, Ganesh and Rakamarić, Zvonimir (2016) Portable Inter-workgroup Barrier Synchronisation for GPUs. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 39-58. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984032) (KAR id:57941) |
Prendinger, Helmut, Alvarez, Nahum, Sanchez-Ruiz, Antonio, Cavazza, Marc, Catarino, Joã, Prada, Rui, Fujimoto, Shuji, Shigematsu, Mika (2016) Intelligent Biohazard Training Based on Real-Time Task Recognition. ACM Transactions on Intelligent Interactive Systems, 6 (3). Article Number 21. ISSN 2160-6455. E-ISSN 2160-6463. (doi:10.1145/2883617) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:57813) |
Bonetta, Daniele and Salucci, Luca and Marr, Stefan and Binder, Walter (2016) GEMs: Shared-memory Parallel Programming for Node.js. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 531-547. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984039) (KAR id:63817) |
Blackburn, Stephen M, Diwan, Amer, Hauswirth, Mattias, Sweeney, Peter F, Amaral, Jose Nelson, Brecht, Tim, Bulej, Lubomr, Click, Cliff, Eeckhout, Lieven, Fischmeister, Sebastian, and others. (2016) The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. Transactions on Programming Languages and Systems, 38 (4). ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/2983574) (KAR id:55171) |
Phan, Huy, Hertel, Lars, Maass, Marco, Koch, Philipp, Mertins, Alfred (2016) Label Tree Embeddings for Acoustic Scene Classification. In: Proceedings of the 24th ACM international conference on Multimedia. . pp. 486-490. ACM, Amsterdam, The Netherlands ISBN 978-1-4503-3603-1. (doi:10.1145/2964284.2967268) (KAR id:72682) |
Lee, James Alexander, Efstratiou, Christos, Bai, Lu (2016) OSN Mood Tracking: Exploring the Use of Online Social Network Activity as an Indicator of Mood Changes. In: Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. UbiComp Ubiquitous Computing . pp. 1171-1179. ACM, New York, USA ISBN 978-1-4503-4462-3. (doi:10.1145/2968219.2968304) (KAR id:56207) |
Lamela Seijas, Pablo and Thompson, Simon (2016) Identifying and introducing interfaces and callbacks using Wrangler. In: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA. ISBN 978-1-4503-4767-9. (doi:10.1145/3064899.3064909) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:64632) |
Price, Thomas W., Brown, Neil C.C., Lipovac, Dragan, Barnes, Tiffany, Kölling, Michael (2016) Evaluation of a Frame-based Programming Editor. In: ICER '16 Proceedings of the 2016 ACM Conference on International Computing Education Research. . pp. 33-42. ACM, New York, USA ISBN 978-1-4503-4449-4. (doi:10.1145/2960310.2960319) (KAR id:56259) |
Dziallas, Sebastian (2016) Examining Graduateness through Narratives. In: ICER '16 Proceedings of the 2016 ACM Conference on International Computing Education Research. . pp. 291-292. ACM ISBN 978-1-4503-4449-4. (doi:10.1145/2960310.2960353) (KAR id:56842) |
Møgelberg, Rasmus, Paviotti, Marco (2016) Denotational semantics of recursive types in synthetic guarded domain theory. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. LICS Logic in Computer Science . pp. 317-326. ACM, New York, USA ISBN 978-1-4503-4391-6. (doi:10.1145/2933575.2934516) (KAR id:65016) |
Marr, Stefan and Jul, Eric, eds. (2016) Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ICOOOLPS '16 . ACM ISBN 978-1-4503-4837-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:63816) |
Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic A., Breuvart, Flavien, Uustalu, Tarmo (2016) Combining Effects and Coeffects via Grading. ACM SIGPLAN Notices, 51 (9). pp. 476-489. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/2951913.2951939) (KAR id:57480) |
Kölling, Michael, McKay, Fraser (2016) Heuristic Evaluation for Novice Programming Systems. Transactions of Computing Education, 16 (3). ISSN 1946-6226. (doi:10.1145/2872521) (KAR id:55885) |
Petricek, Tomas, Guerra, Gustavo, Syme, Don (2016) Types from Data: Making Structured Data First-class Citizens in F#. In: PLDI 2016. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . pp. 477-490. ACM, New York, USA ISBN 978-1-4503-4261-2. (doi:10.1145/2908080.2908115) (KAR id:67140) |
Faddegon, Maarten and Chitil, Olaf (2016) Lightweight Computation Tree Tracing for Lazy Functional Languages. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 114-128. ISBN 978-1-4503-4261-2. (doi:10.1145/2908080.2908104) (KAR id:55352) |
Christakis, Maria and Müller, Peter and Wüstholz, Valentin (2016) Guiding Dynamic Symbolic Execution Toward Unverified Program Executions. In: Proceedings of the 38th International Conference on Software Engineering. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 144-155. ISBN 978-1-4503-3900-1. (doi:10.1145/2884781.2884843) (KAR id:58937) |
Kafalı, Özgür and Singh, Munindar P. and Williams, Laurie (2016) Toward a normative approach for forensicability: Extended Abstract. In: Proceedings of the Symposium and Bootcamp on the Science of Security. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 65-67. ISBN 978-1-4503-4277-3. (doi:10.1145/2898375.2898386) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65877) |
Ibrahim, Azhar Mohd, Venkat, Ibrahim, Subramanian, K.G., Khader, Ahamad Tajudin, De Wilde, Philippe (2016) Intelligent evacuation management systems: A review. ACM Transactions on Intelligent Systems and Technology, 7 (3). Article Number 36. ISSN 2157-6904. (doi:10.1145/2842630) (KAR id:58005) |
Otterbacher, Jahna, Ang, Chee Siang, Litvak, Marina, Atkins, David (2016) Show Me You Care: Trait Empathy, Linguistic Style and Mimicry on Facebook. ACM Transactions on Internet Technology, 17 (1). Article Number 6. ISSN 1533-5399. E-ISSN 1557-6051. (doi:10.1145/2996188) (KAR id:57425) |
Salucci, Luca and Bonetta, Daniele and Marr, Stefan and Binder, Walter (2016) Generic Messages: Capability-based Shared Memory Parallelism for Event-loop Systems. In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP Principles and Practice of Parallel Programming . ACM, New York, USA. ISBN 978-1-4503-4092-2. (doi:10.1145/2851141.2851184) (KAR id:63819) |
Seijas, Pablo Lamela and Thompson, Simon and Francisco, Miguel Ángel (2016) Model extraction and test generation from JUnit test suites. In: Proceedings of the 11th International Workshop on Automation of Software Test. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 8-14. ISBN 978-1-4503-4151-6. (doi:10.1145/2896921.2896927) (KAR id:55751) |
Ritson, Carl G. and Owens, Scott (2016) Benchmarking weak memory models. In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP Principles and Practice of Parallel Programming . ACM, New York, USA. ISBN 978-1-4503-4092-2. (doi:10.1145/2851141.2851150) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:51638) |
Vazquez-Alvarez, Yolanda, Aylett, Matthew P., Brewster, Stephen A., von Jungenfeld, Rocio, Virolainen, Antti (2016) Designing Interactions with Multilevel Auditory Displays in Mobile Audio-Augmented Reality. ACM Transactions on Computer-Human Interaction, 23 (1). Article Number 3. ISSN 1073-0516. E-ISSN 1557-7325. (doi:10.1145/2829944) (KAR id:58619) |
Applin, Sally A., Fischer, Michael D. (2016) Cooperating with Algorithms in the Workplace. In: 2016 Computer-Supported Cooperative Work and Social Computing. San Francisco: ACM. . ACM, San Francisco USA (KAR id:58170) |
Batty, Mark and Donaldson, Alastair F. and Wickerson, John (2016) Overhauling SC atomics in C11 and OpenCL. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 634-648. ISBN 978-1-4503-3549-2. (doi:10.1145/2837614.2837637) (KAR id:51385) |
Brotherston, James and Gorogiannis, Nikos and Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 84-96. ISBN 978-1-4503-3549-2. (doi:10.1145/2914770.2837621) (KAR id:59465) |
Grigore, Radu and Yang, Hongseok (2016) Abstraction Refinement Guided by a Learnt Probabilistic Model. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 485-498. ISBN 978-1-4503-3549-2. (doi:10.1145/2837614.2837663) (KAR id:54057) |
Everett, Richard, Nurse, Jason R. C., Erola, Arnau (2016) The Anatomy of Online Deception: What Makes Automated Text Convincing? In: 31st Annual ACM Symposium on Applied Computing (SAC). (doi:10.1145/2851613.2851813) (KAR id:67493) |
Christakis, Maria and Bird, Christian (2016) What Developers Want and Need from Program Analysis: An Empirical Study. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. ASE Automated Software Engineering . ACM, New York, USA, pp. 332-343. ISBN 978-1-4503-3845-5. (doi:10.1145/2970276.2970347) (KAR id:58938) |
Kölling, Michael and Brown, Neil C.C. and Altadmri, Amjad (2015) Frame-Based Editing: Easing the Transition from Blocks to Text-Based Programming. In: Proceedings of the Workshop in Primary and Secondary Computing Education. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 29-38. ISBN 978-1-4503-3753-3. (doi:10.1145/2818314.2818331) (KAR id:50406) |
Aranyi, Gabor, Charles, Fred, Cavazza, Marc (2015) Anger-based BCI Using fNIRS Neurofeedback. In: Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 8-11 November 2015, Charlotte, NC, USA. (doi:10.1145/2807442.2807447) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:55617) |
Sun, Haiyang, Zheng, Yudi, Bulej, Lubomí, Binder, Walter, Kell, Stephen (2015) Custom Full-coverage Dynamic Program Analysis for Android. In: SPLASH Companion 2015 Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. . pp. 7-8. ACM, New York, NY, USA ISBN 978-1-4503-3722-9. (doi:10.1145/2814189.2814190) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69720) |
Marr, Stefan and Ducasse, Stéphane (2015) Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 821-839. ISBN 978-1-4503-3689-5. (doi:10.1145/2814270.2814275) (KAR id:63825) |
Kell, Stephen (2015) Towards a Dynamic Object Model Within Unix Processes. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 224-239. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814238) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69702) |
McGough, Andrew Stephen and Wall, David and Brennan, John and Theodoropoulos, Georgios and Ruck-Keene, Ed and Arief, Budi and Gamble, Carl and Fitzgerald, John and van Moorsel, Aad and Alwis, Sujeewa (2015) Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). In: Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. CCS Computer and Communications Security . ACM, New York, USA, pp. 1-12. ISBN 978-1-4503-3824-0. (doi:10.1145/2808783.2808785) (KAR id:54145) |
Petricek, Tomas (2015) Against a Universal Definition of 'Type'. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 254-266. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814249) (KAR id:67144) |
Vandercammen, Maarten and Nicolay, Jens and Marr, Stefan and De Koster, Joeri and D'Hondt, Theo and De Roover, Coen (2015) A Formal Foundation for Trace-Based JIT Compilers. In: Proceedings of the 13th International Workshop on Dynamic Analysis. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 25-30. ISBN 978-1-4503-3909-4. (doi:10.1145/2823363.2823369) (KAR id:63824) |
De Wael, Mattias and Marr, Stefan and De Koster, Joeri and Sartor, Jennifer B. and De Meuter, Wolfgang (2015) Just-in-Time Data Structures. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 61-75. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814231) (KAR id:63822) |
Wickerson, John and Batty, Mark and Beckmann, Bradford M. and Donaldson, Alastair F. (2015) Remote-scope Promotion: Clarified, Rectified, and Verified. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 731-747. ISBN 978-1-4503-3689-5. (doi:10.1145/2814270.2814283) (KAR id:51384) |
Chari, Guido and Garbervetsky, Diego and Marr, Stefan and Ducasse, Stéphane (2015) Towards Fully Reflective Environments. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 240-253. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814241) (KAR id:63823) |
Gerdes, Alex and Hughes, John and Smallbone, Nick and Wang, Meng (2015) Linking Unit Tests and Properties. In: Proceedings of the 14th ACM SIGPLAN Workshop on Erlang. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 19-26. ISBN 978-1-4503-3805-9. (doi:10.1145/2804295.2804298) (KAR id:50096) |
Vollmer, Michael, Svensson, B.J., Holk, Eric, Newton, Ryan R. (2015) Meta-programming and auto-tuning in the search for high performance GPU code. In: FHPC 2015: Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing. . pp. 1-11. ACM ISBN 978-1-4503-3807-3. (doi:10.1145/2808091.2808092) (KAR id:95046) |
De Wael, Mattias, Marr, Stefan, De Fraine, Bruno, Van Cutsem, Tom, De Meuter, Wolfgang (2015) Partitioned Global Address Space Languages. ACM Computing Surveys, 47 (4). 62:1-62:27. ISSN 0360-0300. (doi:10.1145/2716320) (KAR id:63827) |
Rosenkranz, Markus and Serwa, Nitin (2015) Green's Functions for Stieltjes Boundary Problems. In: Robertz, Daniel, ed. Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation. ISSAC International Symposium on Symbolic and Algebraic Computation . ACM, New York, USA, pp. 315-321. ISBN 978-1-4503-3435-8. (doi:10.1145/2755996.2756681) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:49024) |
Murray-Rust, Dave, von Jungenfeld, Rocio (2015) Lichtsuchende: A Society of Cybernetic, Phototropic Sunflowers. In: 2015 ACM SIGCHI Conference on Creativity and Cognition. C&C Creativity and Cognition . pp. 375-376. ACM, New York, USA ISBN 978-1-4503-3598-0. (doi:10.1145/2757226.2757381) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:58635) |
Marr, Stefan and Seaton, Chris and Ducasse, Stéphane (2015) Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 545-554. ISBN 978-1-4503-3468-6. (doi:10.1145/2737924.2737963) (KAR id:63826) |
Faddegon, Maarten and Chitil, Olaf (2015) Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 33-42. ISBN 978-1-4503-3468-6. (doi:10.1145/2737924.2737985) (KAR id:49003) |
Putjorn, Pruet, Ang, Chee Siang, Deravi, Farzin (2015) Learning IoT without the "I" - Educational Internet of Things in a Developing Context. In: Proceedings of the 2015 Workshop on Do-it-yourself Networking: an Interdisciplinary Approach. MobiSys Mobile Systems, Applications and Services . pp. 11-13. ACM, New York, USA ISBN 978-1-4503-3503-4. (doi:10.1145/2753488.2753489) (KAR id:50576) |
McLoughlin, Ian V., Sharifzadeh, Hamid Reza, Tan, Su Lim, Li, Jingjie, Song, Yan (2015) Reconstruction of Phonated Speech from Whispers Using Formant-Derived Plausible Pitch Modulation. ACM Transactions on Accessible Computing, 6 (4). Article Number 12. ISSN 1936-7228. E-ISSN 1936-7236. (doi:10.1145/2737724) (KAR id:48819) |
Fincher, Sally (2015) What are we doing when we teach computing in schools? Communications of the ACM, 58 (5). pp. 24-26. ISSN 0001-0782. (doi:10.1145/2742693) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48173) |
Song, Yan and McLoughlin, Ian and Dai, Lirong (2015) Deep Bottleneck Feature for Image Classification. In: Proceedings of the 5th ACM on International Conference on Multimedia Retrieval. MM International Multimedia Conference . ACM, New York, USA, pp. 491-494. ISBN 978-1-4503-3274-3. (doi:10.1145/2671188.2749314) (KAR id:55018) |
Nurse, Jason R. C. (2015) Exploring the risks to identity security and privacy in cyberspace. XRDS: Crossroads, The ACM Magazine, 21 (3). pp. 42-47. ISSN 1528-4972. E-ISSN 1528-4980. (doi:10.1145/2730912) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:67507) |
Stapleton, Gem, Plimmer, Beryl, Delaney, Aidan, Rodgers, Peter (2015) Combining Sketching and Traditional Diagram Editing Tools. ACM Transactions on Intelligent Systems and Technology, 6 (1). Article Number 10. ISSN 2157-6904. E-ISSN 2157-6912. (doi:10.1145/2631925) (KAR id:42025) |
Li, Huiqing and Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 103-113. ISBN 978-1-4503-3297-2. (doi:10.1145/2678015.2682533) (KAR id:46579) |
Lange, Julien, Tuosto, E., Yoshida, N. (2015) From Communicating Machines to Graphical Choreographies. In: ACM SIGPLAN NOTICES. POPL 2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 50 (1). pp. 221-232. ACM ISBN 978-1-4503-3300-9. (doi:10.1145/2676726.2676964) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62255) |
Altadmri, Amjad and Brown, Neil C.C. (2015) 37 Million Compilations: Investigating Novice Programming Mistakes in Large-Scale Student Data. In: Proceedings of the 46th ACM Technical Symposium on Computer Science Education. CSE Computer Science Education . ACM, New York, USA, pp. 522-527. ISBN 978-1-4503-2966-8. (doi:10.1145/2676723.2677258) (KAR id:46742) |
Jordanous, Anna (2015) Review: The POINT of creative collaborations between composers and computers. Review of: Patterns of intuition: Musical Creativity in the Light of Algorithmic Composition (Springer, 2015 ) by UNSPECIFIED. ACM Computing Reviews, (184827). p. 1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:51177) |
Gonçalves, Eduardo C. and Plastino, Alexandre and Freitas, Alex A. (2015) Simpler is better: a novel genetic algorithm to induce compact multi-label chain classifiers. In: Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. GECCO Genetic and Evolutionary Computation Conference . ACM, New York, USA, pp. 559-566. ISBN 978-1-4503-3472-3. (doi:10.1145/2739480.2754650) (KAR id:50176) |
Wan, Cen and Freitas, Alex A. (2015) Two methods for constructing a gene ontology-based feature network for a Bayesian network classifier and applications to datasets of aging-related genes. In: Proceedings of the 6th ACM Conference on Bioinformatics, Computational Biology and Health Informatics. BCB Bioinformatics, Computational Biology and Biomedicine . ACM, New York, USA, pp. 27-36. ISBN 978-1-4503-3853-0. (doi:10.1145/2808719.2808722) (KAR id:50807) |
Jungjit, Suwimol and Freitas, Alex A. (2015) A lexicographic multi-objective genetic algorithm for multi-label correlation-based feature selection. In: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation. GECCO Genetic and Evolutionary Computation Conference . ACM, New York, USA, pp. 989-996. ISBN 978-1-4503-3488-4. (doi:10.1145/2739482.2768448) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:50175) |
Mai, Luo, Rupprecht, Lukas, Abdul, Alim, Costa, Paolo, Migliavacca, Matteo, Pietzuch, Peter, Wolf, Alexander L. (2014) NetAgg: Using Middleboxes for Application-specific On-path Aggregation in Data Centres. In: CoNEXT '14 Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies. CoNEXT International Conference on Emerging Networking Experiments and Technologies . pp. 249-262. ACM, New York, USA ISBN 978-1-4503-3279-8. (doi:10.1145/2674005.2674996) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:49289) |
Covaci, Alexandra, Olivier, Anne-Hélène, Multon, Franck (2014) Third person view and guidance for more natural motor behaviour in immersive basketball playing. In: Proceedings of the 20th ACM Symposium on Virtual Reality Software and Technology. . pp. 55-64. ACM ISBN 978-1-4503-3253-8. (doi:10.1145/2671015.2671023) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:68774) |
Emms, Martin, Arief, Budi, Freitas, Leonardo, Hannon, Joseph, van Moorsel, Aad (2014) Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards Without the PIN. In: CCS '14 Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security. Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security (CCS '14). CCS Computer and Communications Security . pp. 716-726. ACM, New York, USA ISBN 978-1-4503-2957-6. (doi:10.1145/2660267.2660312) (KAR id:54148) |
Arief, Budi and Coopamootoo, Kovila P.L. and Emms, Martin and van Moorsel, Aad (2014) Sensible Privacy: How We Can Protect Domestic Violence Survivors Without Facilitating Misuse. In: Proceedings of the 13th Workshop on Privacy in the Electronic Society. CCS Computer and Communications Security . ACM, New York, USA, pp. 201-204. ISBN 978-1-4503-3148-7. (doi:10.1145/2665943.2665965) (KAR id:54149) |
Kell, Stephen (2014) In Search of Types. In: Onward! 2014 Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software. . pp. 227-241. ACM, New York, NY, USA ISBN 978-1-4503-3210-1. (doi:10.1145/2661136.2661154) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69703) |
Rossebø, Judith E.Y. and Houmb, Siv Hilde and Georg, Geri and Franqueira, Virginia N.L. and Serpanos, Dimitrios, eds. (2014) Risk and Trust in Embedded Critical Systems. ACM Transactions on Embedded Computing Systems, 13 (5S). ISSN 1539-9087. (doi:10.1145/2659008) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:79541) |
De Wael, Mattias and Marr, Stefan and Van Cutsem, Tom (2014) Fork/Join Parallelism in the Wild: Documenting Patterns and Anti-Patterns in Java Programs using the Fork/Join Framework. In: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools. PPPJ Principles and Practice of Programming in Java . ACM, New York, USA, pp. 39-50. ISBN 978-1-4503-2926-2. (doi:10.1145/2647508.2647511) (KAR id:63829) |
Brown, Neil C.C. and Altadmri, Amjad (2014) Investigating novice programming mistakes: educator beliefs vs. student data. In: Proceedings of the tenth annual conference on International computing education research. ICER International Computing Education Research Workshop . ACM, New York, USA, pp. 43-50. ISBN 978-1-4503-2755-8. (doi:10.1145/2632320.2632343) (KAR id:42489) |
Leroux, Claris, Otero, Fernando E.B., Johnson, Colin G. (2014) A Genetic Programming Problem Definition Language Code Generator for the EpochX Framework. In: 16th International Conference on Genetic and Evolutionary Computation Companion (GECCO’14 Companion). GECCO Genetic and Evolutionary Computation Conference . pp. 1149-1154. ACM, New York, USA ISBN 978-1-4503-2881-4. (doi:10.1145/2598394.2605691) (KAR id:42143) |
Brookhouse, James and Otero, Fernando E.B. and Kampouridis, Michael (2014) Working with OpenCL to Speed Up a Genetic Programming Financial Forecasting Algorithm: Initial Results. In: Proceedings of the Companion Publication of the 2014 Annual Conference on Genetic and Evolutionary Computation. GECCO Genetic and Evolutionary Computation Conference . ACM, New York, USA, pp. 1117-1124. ISBN 978-1-4503-2881-4. (doi:10.1145/2598394.2605689) (KAR id:42144) |
De Wael, Mattias and Marr, Stefan and De Meuter, Wolfgang (2014) Data Interface + Algorithms = Efficient Programs: Separating Logic from Representation to Improve Performance. In: Proceedings of the 9th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems PLE. ECOOP European Conference on Object-Oriented Programming . ACM, New York, USA. ISBN 978-1-4503-2914-9. (doi:10.1145/2633301.2633303) (KAR id:63830) |
Aaron, Samuel, Orchard, Dominic, Blackwell, Alan F. (2014) Temporal semantics for a live coding language. . pp. 37-47. (doi:10.1145/2633638.2633648) (KAR id:57489) |
Orchard, Dominic, Petricek, Tomas (2014) Embedding effect systems in Haskell. . pp. 13-24. (doi:10.1145/2633357.2633368) (KAR id:57487) |
Ritson, Carl G. and Ugawa, Tomoharu and Jones, Richard E. (2014) Exploring Garbage Collection with Haswell Hardware Transactional Memory. In: ISMM '14: Proceedings of the 2014 international symposium on Memory management. ACM, New York, USA, pp. 105-115. ISBN 978-1-4503-2921-7. (doi:10.1145/2602988.2602992) (KAR id:40819) |
Ugawa, Tomoharu and Jones, Richard E. and Ritson, Carl G. (2014) Reference Object Processing in On-The-Fly Garbage Collection. In: Proceedings of the 2014 international symposium on Memory management. ISMM International Symposium on Memory Management . ACM, New York, USA, pp. 59-69. ISBN 978-1-4503-2921-7. (doi:10.1145/2602988.2602991) (KAR id:40820) |
Zhang, Xin and Mangal, Ravi and Grigore, Radu and Naik, Mayur and Yang, Hongseok (2014) On abstraction refinement for program analyses in Datalog. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 239-248. ISBN 978-1-4503-2784-8. (doi:10.1145/2594291.2594327) (KAR id:54177) |
Alrayes, Bedour and Kafalı, Özgur and Stathis, Kostas (2014) CONAN: a heuristic strategy for concurrent negotiating agents. In: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems. AAMAS International Conference on Autonomous Agents and Multiagent Systems . ACM, New York, USA, pp. 1585-1586. ISBN 978-1-4503-2738-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65883) |
Cámara, Javier, Pedro, Correia, Vieira, Marco, de Lemos, Rogerio (2014) Empirical Resilience Evaluation of an Architecture-based Self-adaptive Software System. In: Proceedings of the 10th International ACM Sigsoft Conference on Quality of Software Architectures. (doi:10.1145/2602576.2602577) (KAR id:42967) |
Vazquez-Alvarez, Yolanda, Aylett, Matthew P., Brewster, Stephen A., von Jungenfeld, Rocio, Virolainen, Antti (2014) Multilevel Auditory Displays for Mobile Eyes-free Location-based Interaction. In: Extended Abstracts on Human Factors in Computing Systems. CHI Conference on Human Factors in Computer Systems . pp. 1567-1572. ACM, New York, USA ISBN 978-1-4503-2474-8. (doi:10.1145/2559206.2581254) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:58645) |
Siriaraya, Panote, Ang, Chee Siang (2014) Recreating living experiences from past memories through virtual worlds for people with dementia. In: CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. CHI Conference on Human Factors in Computer Systems . pp. 3977-3986. ACM, New York, USA ISBN 978-1-4503-2473-1. (doi:10.1145/2556288.2557035) (KAR id:41738) |
Brown, Neil C.C., Kölling, Michael, McCall, Davin, Utting, Ian (2014) Blackbox: A Large Scale Repository of Novice Programmers’ Activity. In: Proceedings of the 45th SIGCSE technical symposium on computer science education (SIGCSE 2014). SIGCSE '14: Proceedings of the 45th ACM technical symposium on Computer science education. . pp. 223-228. ACM, New York NY United States ISBN 978-1-4503-2605-6. (doi:10.1145/2538862.2538924) (KAR id:38938) |
Xu, Simin and Fahmy, Suhaib A. and McLoughlin, Ian V. (2014) Square-rich fixed point polynomial evaluation on FPGAs. In: Proceedings of the 2014 ACM/SIGDA international symposium on Field-programmable gate arrays. FPGD International Symposium on Field Programmable Gate Arrays . ACM, New York, USA, pp. 99-108. ISBN 978-1-4503-2671-1. (doi:10.1145/2554688.2554779) (KAR id:48925) |
Brown, Chloë, Efstratiou, Christos, Leontiadis, Ilias, Quercia, Daniele, Mascolo, Cecilia (2014) Tracking serendipitous interactions: how individual cultures shape the office. In: CSCW '14. Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing. CSCW Computer Supported Cooperative Work . pp. 1072-1081. ACM, New York, USA ISBN 978-1-4503-2540-0. (doi:10.1145/2531602.2531641) (KAR id:38833) |
Wang, Meng and Najd, Shayan (2014) Semantic Bidirectionalization Revisited. In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA. ISBN 978-1-4503-2619-3. (doi:10.1145/2543728.2543729) (KAR id:47482) |
Kumar, Ramana and Myreen, Magnus O. and Norrish, Michael and Owens, Scott (2014) CakeML: A Verified Implementation of ML. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 179-191. ISBN 978-1-4503-2544-8. (doi:10.1145/2535838.2535841) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:36711) |
Blake, Andrew, Stapleton, Gem, Rodgers, Peter, Howse, John (2014) How Should We Use Colour in Euler Diagrams? In: 7th International Symposium on Visual Information Communication and Interaction (Vinci'14), 5-8 August 2014, Sydney, Australia. (doi:10.1145/2636240.2636838) (KAR id:43451) |
Chitil, Olaf and King, Andy and Olivier, Danvy, eds. (2014) PPDP '14: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. ACM, 288 pp. ISBN 978-1-4503-2947-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:58670) |
Jordanous, Anna (2014) Review of Digital Da Vinci: Computers in the Arts and Sciences (2014, Springer). Review of: Digital Da Vinci: Computers in the Arts and Sciences (2014, Springer) by UNSPECIFIED. ACM Computing Reviews, . p. 1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:43990) |
Bailey, Christopher, Montrieux, Lionel, de Lemos, Rogerio, Yu, Yijun, Wermelinger, Michel (2014) Run-time Generation, Transformation, and Verification of Access Control Models for Self-protection. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. (doi:10.1145/2593929.2593945) (KAR id:42968) |
Berry, Michael, Kölling, Michael (2013) The design and implementation of a notional machine for teaching introductory programming. In: WiPSE '13. Proceedings of the 8th Workshop in Primary and Secondary Computing Education. . pp. 25-28. ACM, New York ISBN 978-1-4503-2455-7. (doi:10.1145/2532748.2532765) (KAR id:37645) |
Zheng, Yudi, Bulej, Lubomií, Zhang, Cheng, Kell, Stephen, Ansaloni, Danilo, Binder, Walter (2013) Dynamic Optimization of Bytecode Instrumentation. In: VMIL '13 Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages. . pp. 21-30. ACM, New York, NY, USA ISBN 978-1-4503-2601-8. (doi:10.1145/2542142.2542145) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69712) |
Marek, Lukáš, Ansaloni, Danilo, Sarimbekov, Aibek, Sewe, Andreas, Zheng, Yudi, Kell, Stephen, Bulej, Lubomír, Binder, Walter, Tůma, Petr (2013) ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform. ACM SIGPLAN Notices, 49 (3). pp. 105-114. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/2517208.2517219) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69704) |
Swalens, Janwillem, Renaux, Thierry, Hoste, Lode, Marr, Stefan, De Meuter, Wolfgang (2013) Cloud PARTE: Elastic Complex Event Processing based on Mobile Actors. In: Proceedings of AGERE! 2013, 3rd International Workshop on Programming based on Actors, Agents, and Decentralized Control. (KAR id:63835) |
Petersen, Leaf, Orchard, Dominic, Glew, Neal (2013) Automatic SIMD vectorization for Haskell. . pp. 25-36. (doi:10.1145/2500365.2500605) (KAR id:57494) |
Matsuda, Kazutaka and Wang, Meng (2013) Bidirectionalization for Free with Runtime Recording: Or, a Light-Weight Approach to the View-Update Problem. In: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. PPDP Principles and Practice of Declarative Programming . ACM, New York, USA, pp. 297-308. ISBN 978-1-4503-2154-9. (doi:10.1145/2505879.2505888) (KAR id:47480) |
Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 77-78. ISBN 978-1-4503-2385-7. (doi:10.1145/2505305.2505317) (KAR id:42310) |
Shinners-Kennedy, Dermot and Fincher, Sally A. (2013) Identifying Threshold Concepts: From Dead End to a New Direction. In: Proceedings of the ninth annual international ACM conference on International computing education research. ICER International Computing Education Research Workshop . ACM, New York, USA, pp. 9-18. ISBN 978-1-4503-2243-0. (doi:10.1145/2493394.2493396) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:35011) |
Brown, Neil Christopher Charles and Kölling, Michael (2013) A Tale of Three Sites: Resource and Knowledge Sharing Amongst Computer Science Educators. In: Proceedings of the ninth annual international ACM conference on International computing education research. ICER International Computing Education Research Workshop . ACM, New York, USA, pp. 27-34. ISBN 978-1-4503-2243-0. (doi:10.1145/2493394.2493398) (KAR id:37642) |
Mist, Joseph James and Gibson, Stuart James (2013) Optimization of Weighted Vector Directional Filters Using an Interactive Evolutionary Algorithm. In: Blum, Christian and Alba, Enrique, eds. Proceedings of the 15th annual conference companion on Genetic and evolutionary computation. GECCO Genetic and Evolutionary Computation Conference . ACM, New York, USA, pp. 1691-1694. ISBN 978-1-4503-1964-5. (doi:10.1145/2464576.2482754) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:35417) |
White, David R. and Singer, Jeremy and Aitken, Jonathan M. and Jones, Richard E. (2013) Control theory for principled heap sizing. In: Proceedings of the 2013 international symposium on memory management. ISMM International Symposium on Memory Management . ACM, New York, USA, pp. 27-38. ISBN 978-1-4503-2100-6. (doi:10.1145/2555670.2466481) (KAR id:37199) |
Kalibera, Tomas, Jones, Richard E. (2013) Rigorous Benchmarking in Reasonable Time. In: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013). . pp. 63-74. ACM, New York (doi:10.1145/2464157.2464160) (KAR id:33611) |
Sarimbekov, Aibek, Sewe, Andreas, Kell, Stephen, Zheng, Yudi, Binder, Walter, Bulej, Lubom\'r, Ansaloni, Danilo (2013) A comprehensive toolchain for workload characterization across JVM languages. In: Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. . pp. 9-16. ACM, USA, New York ISBN 978-1-4503-2128-0. (doi:10.1145/2462029.2462033) (KAR id:69711) |
Freitas, Alex A. (2013) Comprehensible classification models - a position paper. ACM SIGKDD Explorations, 15 (1). pp. 1-10. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:38534) |
Castro Fernandez, Raul and Migliavacca, Matteo and Kalyvianaki, Evangelia and Pietzuch, Peter (2013) Integrating scale out and fault tolerance in stream processing using operator state management. In: Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data. MOD International Conference on Management of Data . ACM, New York, USA, pp. 725-736. ISBN 978-1-4503-2037-5. (doi:10.1145/2463676.2465282) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:36276) |
Lawrence, K. Faith, Jordanous, Anna (2013) Gnome on the range: finding the hypertextual narratives in ancient wisdom texts. In: 3rd Narrative and Hypertext Workshop at 24th ACM Conference on Hypertext and Social Media (HYPERTEXT 2013), 2013, Paris, France. (doi:10.1145/2462216.2462220) (KAR id:42386) |
Erbilek, Meryem and Fairhurst, Michael (2013) A methodological framework for investigating age factors on the performance of biometric systems. In: MM&Sec '12: proceedings of the 14th ACM Multimedia and Security Workshop. ACM, pp. 115-122. ISBN 978-1-4503-1417-6. (doi:10.1145/2361407.2361428) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:35790) |
Brown, Neil C.C., Kölling, Michael, Crick, Tom, Humphreys, Simon, Jones, Simon Peyton, Sentance, Sue (2013) Bringing Computer Science Back Into Schools: Lessons from the UK. In: SIGCSE Symposium 2013, March 6th - 9th, 2013, Denver, CO. (KAR id:33882) |
Bourquin, Martial and King, Andy and Robbins, Edward (2013) BinSlayer: Accurate Comparison of Binary Executables. In: Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop. POPL Principles of Programming Languages . ACM, New York, USA. ISBN 978-1-4503-1857-0. (doi:10.1145/2430553.2430557) (KAR id:37627) |
Utting, Ian and Elliott Tew, Allison and McCracken, Mike and Thomas, Lynda and Bouvier, Dennis and Frye, Roger and Paterson, James and Caspersen, Michael and Kolikant, Yifat Ben-David and Sorva, Juha and Wilusz, Tadeusz (2013) A Fresh Look at Novice Programmers’ Performance and Their Teachers’ Expectations. In: Proceedings of the ITiCSE working group reports conference on Innovation and technology in computer science education-working group reports. ITiCSE Innovation and Technology in Computer Science Education . ACM, New York, USA, pp. 15-32. ISBN 978-1-4503-2665-0. (doi:10.1145/2543882.2543884) (KAR id:44804) |
Barnes, David J. (2013) ITiCSE 2013: working groups. ACM SIGCSE Bulletin, 45 (3). p. 8. ISSN 0097-8418. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:44991) |
Boulier, Francois and Lemaire, Francois and Regensburger, Georg and Rosenkranz, Markus (2013) On the Integration of Differential Fractions. In: Kauers, M., ed. Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. ACM, New York, pp. 101-108. ISBN 978-1-4503-2059-7. (doi:10.1145/2465506.2465934) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:33746) |
Robbins, Ed and Howe, Jacob M. and King, Andy (2013) Theory Propagation and Rational-Trees. In: Schrijvers, Tom, ed. Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. PPDP Principles and Practice of Declarative Programming . ACM, New York, USA, pp. 193-204. ISBN 978-1-4503-2154-9. (doi:10.1145/2505879.2505901) (KAR id:37525) |
Knox, Daniel and Fincher, Sally (2013) Why does place matter? In: Proceedings of the 18th ACM conference on Innovation and technology in computer science education. ITiCSE Innovation and Technology in Computer Science Education . ACM, New York, USA, pp. 171-176. ISBN 978-1-4503-2078-8. (doi:10.1145/2462476.2465595) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:35009) |
Duregard, Jonas and Jansson, Patrik and Wang, Meng (2012) Feat: Functional Enumeration of Algebraic Types. In: Proceedings of the 2012 Haskell Symposium. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 61-72. ISBN 978-1-4503-1574-6. (doi:10.1145/2364506.2364515) (KAR id:47486) |
Kell, Stephen, Ansaloni, Danilo, Binder, Walter, Marek, Luk\'av (2012) The JVM is Not Observable Enough (and What to Do About It). In: VMIL '12 Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages. SPLASH Workshops . ACM, New York, NY, USA ISBN 978-1-4503-1633-0. (doi:10.1145/2414740.2414747) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69713) |
Kalibera, Tomas, Mole, Matthew, Jones, Richard E., Vitek, Jan (2012) A Black-box Approach to Understanding Concurrency in DaCapo. In: Dwyer, Matthew and Leavens, Gary T., eds. Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). . ACM, Tucson, AZ, USA (doi:10.1145/2384616.2384641) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30784) |
Li, Huiqing, Thompson, Simon (2012) Automated API migration in a user-extensible refactoring tool for Erlang programs. In: the 27th IEEE/ACM International Conference on Automated Software Engineering, September 2012, Essen, Germany. (doi:10.1145/2351676.2351727) (KAR id:30924) |
Chitil, Olaf (2012) Practical Typed Lazy Contracts. In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. ACM, New York, USA, pp. 67-76. ISBN 978-1-4503-1054-3. (doi:10.1145/2364527.2364539) (KAR id:30790) |
Myreen, Magnus O. and Owens, Scott (2012) Proof-Producing Synthesis of ML from Higher-Order Logic. In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. ACM, New York, USA, pp. 115-126. ISBN 978-1-4503-1054-3. (doi:10.1145/2364527.2364545) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31890) |
Barros, Rodrigo C. and Basgalupp, Márcio P. and de Carvalho, André C.P.L.F. and Freitas, Alex A. (2012) A hyper-heuristic evolutionary algorithm for automatically designing decision-tree algorithms. In: Moore, Jason H. and Soule, Terence and Banzhaf, Wolfgang and Llora, Xavier and Auger, Anne and Ritchie, Marylyn and Ochoa, Gabriela and Rand, Bill and Bongard, Josh and Loiacono, Daniele and Mehnen, Joern and Davis, David, eds. Proceedings of the 14th annual conference on Genetic and evolutionary computation. ACM, New York, USA, pp. 1237-1244. ISBN 978-1-4503-1177-9. (doi:10.1145/2330163.2330335) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30803) |
Hossmann, Theus, Efstratiou, Christos, Mascolo, Cecilia (2012) Collecting big datasets of human activity one checkin at a time. In: Hotplanet 12. Proceedings of the 4th ACM international workshop on Hot topics in planet-scale measurement. . pp. 15-20. ACM, New York, USA ISBN 978-1-4503-1318-6. (doi:10.1145/2307836.2307842) (KAR id:38848) |
Jordanous, Anna, Lawrence, K Faith, Hedges, Mark, Tupman, Charlotte (2012) Exploring manuscripts: sharing ancient wisdoms across the semantic web. In: Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics. Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics (WIMS-12). . ACM, New York, New York, USA ISBN 978-1-4503-0915-8. (doi:10.1145/2254129.2254184) (KAR id:42377) |
Li, Huiqing and Thompson, Simon (2012) Let's Make Refactoring Tools User-extensible! In: Sommerlad, Peter, ed. Proceedings of the Fifth Workshop on Refactoring Tools. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 32-39. ISBN 978-1-4503-1500-5. (doi:10.1145/2328876.2328881) (KAR id:30807) |
Nawaz, Sarfraz, Efstratiou, Christos, Mascolo, Cecilia, Soga, Kenichi (2012) Social sensing in the field: challenges in detecting social interactions in construction sites. In: MCSS '12. Proceedings of the 1st ACM workshop on Mobile systems for computational social science. . pp. 28-32. ACM, New York, USA ISBN 978-1-4503-1324-7. (doi:10.1145/2307863.2307872) (KAR id:38847) |
Greathead, David and Coventry, Lynne and Arief, Budi and van Moorsel, Aad (2012) Deriving Requirements for an Online Community Interaction Scheme: Indications from Older Adults. In: CHI '12 Extended Abstracts on Human Factors in Computing Systems. ACM, New York, USA, pp. 1541-1546. ISBN 978-1-4503-1016-1. (doi:10.1145/2212776.2223669) (KAR id:54152) |
Marr, Stefan, Nicolay, Jens, Van Cutsem, Tom, D'Hondt, Theo (2012) Modularity and Conventions for Maintainable Concurrent Language Implementations: A Review of Our Experiences and Practices. In: Proceedings of the 2nd Workshop on Modularity In Systems Software (MISS'2012). (doi:10.1145/2162024.2162031) (KAR id:63840) |
Kölling, Michael, Brown, Neil C.C. (2012) Teaching with Greenfoot and the Kinect – A Novel Way to Engage Beginners. In: SIGCSE 2012, March 2012, Raleigh, North Carolina, USA. (KAR id:38982) |
Leontiadis, Ilias, Efstratiou, Christos, Picone, Marco, Mascolo, Cecilia (2012) Don't kill my ads! balancing privacy in an ad-supported mobile application market. In: HotMobile 12. Proceedings of the Twelfth Workshop on Mobile Computing Systems & Applications. . pp. 1-6. ACM, New York, USA ISBN 978-1-4503-1207-3. (doi:10.1145/2162081.2162084) (KAR id:38851) |
De Koster, Joeri, Marr, Stefan, D'Hondt, Theo (2012) Synchronization Views for Event-loop Actors. In: Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming. (doi:10.1145/2145816.2145873) (KAR id:63841) |
Kölling, Michael (2012) Introductory Programming Teaching with Greenfoot. In: ACE2012 - Fourteenth Australasian Computing Education Conference, 30 January - 3 February 2012, Melbourne, Australia. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:38984) |
Batty, Mark and Memarian, Kayvan and Owens, Scott and Sarkar, Susmit and Sewell, Peter (2012) Clarifying and compiling C/C++ concurrency: from C++11 to POWER. In: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 509-520. ISBN 978-1-4503-1083-3. (doi:10.1145/2103656.2103717) (KAR id:50268) |
De Schreye, Danny and Janssens, Gerda and King, Andy, eds. (2012) PPDP '12 Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, USA, 218 pp. ISBN 978-1-4503-1522-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:37617) |
Sarkar, Susmit and Memarian, Kayvan and Owens, Scott and Batty, Mark and Sewell, Peter and Maranget, Luc and Alglave, Jade and Williams, Derek (2012) Synchronising C/C++ and POWER. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, New York, USA, pp. 311-322. ISBN 978-1-4503-1205-9. (doi:10.1145/2254064.2254102) (KAR id:50269) |
Utting, Ian and Brown, Neil and Kölling, Michael and McCall, Davin and Stevens, Philip (2012) Web-scale data gathering with BlueJ. In: Proceedings of the ninth annual international conference on International computing education research. ICER International Computing Education Research Workshop . ACM, New York, USA, pp. 1-4. ISBN 978-1-4503-1604-0. (doi:10.1145/2361276.2361278) (KAR id:31069) |
Carter, Janet, Bouvier, Dennis, Cardell-Oliver, Rachel, Hamilton, Margaret, Kurkovsky, Stanislav, Markham, Stefanie, McClung, O. William, McDermott, Roger, Riedesel, Charles, Shi, Jian, and others. (2011) Motivating All our Students? 2011 SIGCSE conference proceedings and publications, 43 . pp. 182-196. ISSN 978-1-4503-1146-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30705) |
Chadwick, David W. and Inman, George and Siu, Kristy W.S. and Ferdous, Mohammad Sadek (2011) Leveraging social networks to gain access to organisational resources. In: Proceedings of the 7th ACM workshop on Digital identity management. ACM, New York, USA, pp. 43-51. ISBN 978-1-4503-1006-2. (doi:10.1145/2046642.2046653) (KAR id:31977) |
Kell, Stephen, Irwin, Conrad (2011) Virtual machines should be invisible. In: SPLASH '11 Workshops Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11. SPLASH Workshops . pp. 289-296. ACM, New York, NY, USA ISBN 978-1-4503-1183-0. (doi:10.1145/2095050.2095099) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69714) |
Orchard, Dominic A. (2011) The four Rs of programming language design. . pp. 157-162. (doi:10.1145/2089131.2089138) (KAR id:57496) |
Vitek, Jan and Kalibera, Tomas (2011) Repeatability, Reproducibility and Rigor in Systems Research. In: Proceedings of the ninth ACM international conference on Embedded software. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0714-7. (doi:10.1145/2038642.2038650) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30721) |
Cheval, Vincent and Comon-Lundh, Hubert and Delaune, Stéphanie (2011) Trace Equivalence Decision: Negative Tests and Non-determinism. In: Chen, Yan and Danezis, George and Shmatikov, Vitaly, eds. Proceedings of the 18th ACM conference on Computer and communications security. ACM, New York, USA, pp. 321-330. ISBN 978-1-4503-0948-6. (doi:10.1145/2046707.2046744) (KAR id:46878) |
Marr, Stefan, De Wael, Mattias, Haupt, Michael, D'Hondt, Theo (2011) Which Problems Does a Multi-Language Virtual Machine Need to Solve in the Multicore/Manycore Era? In: Proceedings of the 5th Workshop on Virtual Machines and Intermediate Languages. (doi:10.1145/2095050.2095104) (KAR id:63843) |
Gotovos, Alkis and Christakis, Maria and Sagonas, Konstantinos (2011) Test-Driven Development of Concurrent Programs using Concuerror. In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang. ACM, pp. 51-61. ISBN 978-1-4503-0859-5. (doi:10.1145/2034654.2034664) (KAR id:58949) |
Wang, Meng and Gibbons, Jeremy and Wu, Nicolas (2011) Incremental Updates for Efficient Bidirectional Transformations. In: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. ACM, New York, USA, pp. 392-403. ISBN 978-1-4503-0865-6. (doi:10.1145/2034773.2034825) (KAR id:47477) |
Fincher, Sally and Tenenberg, Josh and Robins, Anthony (2011) Research design: necessary bricolage. In: Proceedings of the seventh international workshop on Computing education research. International Computing Education Research Workshop . ACM, New York, USA, pp. 27-32. ISBN 978-1-4503-0829-8. (doi:10.1145/2016911.2016919) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30739) |
Kell, Stephen (2011) Composing Heterogeneous Software with Style. In: FREECO '11 Proceedings of the 1st International Workshop on Free Composition. 5. 5:1-5:5. ACM, New York, NY, USA ISBN 978-1-4503-0892-2. E-ISBN 978-1-4503-0892-2. (doi:10.1145/2068776.2068781) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69715) |
Singer, Jeremy, Jones, Richard E. (2011) Economic Utility Theory for Memory Management Optimization. In: Rogers, Ian, ed. Proceedings of the workshop on Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems. . pp. 182-196. ACM (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30740) |
Barros, Rodrigo C. and Basgalupp, Márcio P. and de Carvalho, André C.P.L.F. and Freitas, Alex A. (2011) Towards the automatic design of decision tree induction algorithms. In: Proceedings of the 13th annual conference companion on Genetic and evolutionary computation. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0690-4. (doi:10.1145/2001858.2002050) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30747) |
Kalibera, Tomas and Jones, Richard (2011) Handles revisited: optimising performance and memory costs in a real-time collector. In: ISMM '10 Proceedings of the 2010 international symposium on Memory management. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0263-0. (doi:10.1145/1993478.1993492) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30755) |
Deng, Yuhui (2011) What is the future of disk drives, death or rebirth? ACM Computing Surveys (CSUR), 43 (3). (doi:10.1145/1922649.1922660) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30762) |
Shinners-Kennedy, Dermot and Barnes, David J. (2011) The novice programmer's "device to think with". In: Proceedings of the 42nd ACM technical symposium on Computer science education. Computer Science Education . ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0500-6. (doi:10.1145/1953163.1953310) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30766) |
Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2011) Mathematizing C++ concurrency. In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, New York, USA, pp. 55-66. ISBN 978-1-4503-0490-0. (doi:10.1145/1926385.1926394) (KAR id:50265) |
Chitil, Olaf (2011) A semantics for lazy assertions. In: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 141-150. ISBN 978-1-4503-0485-6. (doi:10.1145/1929501.1929527) (KAR id:30775) |
Christou, Georgios, Zaphiris, Panayiotis, Ang, Chee Siang, Law, Effie Lai-Chong (2011) Designing for the user experience of sociability in massively multiplayer online games. In: Proceeding : Extended Abstracts on Human Factors in Computing Systems 2011. CHI EA '11: CHI '11 Extended Abstracts on Human Factors in Computing Systems. . pp. 879-882. ACM, New York, USA ISBN 978-1-4503-0268-5. (doi:10.1145/1979742.1979544) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:36297) |
Vallina-Rodriguez, Narseo, Efstratiou, Christos, Xie, Geoffrey, Crowcroft, Jon (2011) Enabling opportunistic resources sharing on mobile operating systems: benefits and challenges. In: MobiCom11. S3 '11 Proceedings of the 3rd ACM workshop on Wireless of the students, by the students, for the students. . pp. 29-32. ACM, New York, USA ISBN 978-1-4503-0868-7. (doi:10.1145/2030686.2030696) (KAR id:38830) |
Blanchette, Jasmin Christian and Weber, Tjark and Batty, Mark and Owens, Scott and Sarkar, Susmit (2011) Nitpicking C++ concurrency. In: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming. ACM, New York, USA, pp. 113-124. ISBN 978-1-4503-0776-5. (doi:10.1145/2003476.2003493) (KAR id:50260) |
Shi, Leilei and Chadwick, David W. (2011) A controlled natural language interface for authoring access control policies. In: Proceedings of the 2011 ACM Symposium on Applied Computing. ACM, New York, USA, pp. 1524-1530. ISBN 978-1-4503-0113-8. (doi:10.1145/1982185.1982510) (KAR id:31980) |
Carter, Janet, White, Su, Fraser, Karen, Kurkovsky, Stanislav, McCreesh, Colette, Wieck, Malcolm (2010) Motivating our top students. ITiCSE-WGR '10: Proceedings of the 2010 ITiCSE working group reports, . pp. 29-47. ISSN 978-1-4503-0677-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30613) |
Utting, Ian, Cooper, Stephen, Kölling, Michael, Maloney, John, Resnick, Mitchel (2010) Alice, Greenfoot, and Scratch - A Discussion. ACM Transactions on Computing Education (TOCE), 10 (4). pp. 182-196. ISSN 1946-6226. (doi:10.1145/1868358.1868364) (KAR id:30617) |
Kölling, Michael (2010) The Greenfoot Programming Environment. ACM Transactions on Computing Education (TOCE), 10 (4). pp. 182-196. ISSN 1946-6226. (doi:10.1145/1868358.1868361) (KAR id:30614) |
Fincher, Sally, Utting, Ian (2010) Machines for Thinking. ACM Transactions on Computing Education (TOCE), 10 (4). pp. 182-196. (doi:10.1145/1868358.1868360) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30615) |
Kell, Stephen (2010) Component adaptation and assembly using interface relations. In: OOPSLA '10 Proceedings of the ACM international conference on Object oriented programming systems languages and applications. . ACM, New York, NY, USA ISBN 978-1-4503-0203-6. (doi:10.1145/1869459.1869487) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:69706) |
Marr, Stefan (2010) Encapsulation And Locality: A Foundation for Concurrency Support in Multi-Language Virtual Machines? In: SPLASH '10: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion. (doi:10.1145/1869542.1869583) (KAR id:63845) |
Voigtländer, Janis and Hu, Zhenjiang and Matsuda, Kazutaka and Wang, Meng (2010) Combining Syntactic and Semantic Bidirectionalization. In: ICFP '10 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 181-192. ISBN 978-1-60558-794-3. (doi:10.1145/1863543.1863571) (KAR id:47473) |
Arts, Thomas and Thompson, Simon (2010) From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. Proceedings of the 9th ACM SIGPLAN workshop on Erlang. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0253-1. (doi:10.1145/1863509.1863511) (KAR id:30626) |
Korporal, Anja, Regensburger, Georg, Rosenkranz, Markus (2010) A MAPLE package for integro-differential operators and boundary problems. ACM Communications in Computer Algebra, 44 (3). pp. 120-122. ISSN 1932-2240. (doi:10.1145/1940475.1940495) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:29312) |
Drienyovszky, Dániel and Horpacsi, Dániel and Thompson, Simon (2010) Quickchecking Refactoring Tools. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. Proceedings of the 9th ACM SIGPLAN workshop on Erlang. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0253-1. (doi:10.1145/1863509.1863521) (KAR id:30636) |
Coleman, Graeme, Gibson, Lorna, Hanson, Vicki L., Bobrowicz, Ania, Mckay, Alison (2010) Engaging the Disengaged: How do we Design Technology for Digitally Excluded Older Adults? In: Proc. 8th ACM Conference on Designing Interactive Systems. . pp. 175-178. ACM, New York (doi:10.1145/1858171.1858202) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:27901) |
Plsek, Ales and Zhao, Lei and Sahin, Veysel H. and Tang, Daniel and Kalibera, Tomas and Vitek, Jan (2010) Developing safety critical Java applications with oSCJ/L0. In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0122-0. (doi:10.1145/1850771.1850786) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30637) |
Kalibera, Tomas and Parizek, Pavel and Malohlava, Michal and Schoeberl, Martin (2010) Exhaustive testing of safety critical Java. In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems. ACM, pp. 182-196. ISBN 978-1-4503-0122-0. (doi:10.1145/1850771.1850794) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30643) |
McLoughlin, Ian Vince, Bretschneider, Timo Rolf (2010) Reliability through redundant parallelism for micro-satellite computing. ACM Transactions on Embedded Computer Systems, 9 (3). p. 26. (doi:10.1145/1698772.1698784) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48842) |
Brown, Neil C.C. (2010) Conjoined Events. In: Advances in Message Passing, 2010. . ACM (KAR id:33878) |
Singer, Jeremy and Jones, Richard E. and Brown, Gavin and Luján, Mikel (2010) The Economics of Garbage Collection. In: Vitek, Jan and Lea, Doug, eds. ISMM '10 Proceedings of the 2010 international symposium on Memory management. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0054-4. (doi:10.1145/1806651.1806669) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30660) |
Brown, Neil C.C., Stevens, Phil, Kölling, Michael (2010) Greenroom - A Teacher Community for Collaborative Resource Development. In: ITiCSE’10, June 2010, Ankara, Turkey. (doi:10.1145/1822090.1822181) (KAR id:30659) |
Hellyer, Laurence and Jones, Richard E. and Hosking, Antony L. (2010) The Locality of Concurrent Write Barriers. In: Vitek, Jan and Lea, Doug, eds. UNSPECIFIED ACM, Toronto, Canada, pp. 182-196. ISBN 978-1-4503-0054-4. (doi:10.1145/1806651.1806666) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30662) |
Welch, Peter H., Pedersen, Jan B. (2010) Santa Claus: Formal analysis of a process-oriented solution. ACM Transactions on Programming Languages and Systems (TOPLAS), 32 (4). pp. 182-196. ISSN 0164-0925. (doi:10.1145/1734206.1734211) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30673) |
Barros, Rodrigo C. and Basgalupp, Márcio P. and Ruiz, Duncan D. and de Carvalho, André C.P.L.F. and Freitas, Alex A. (2010) Evolutionary model tree induction. In: Shin, D., ed. SAC '10 Proceedings of the 2010 ACM Symposium on Applied Computing. SAC Symposium on Applied Computing . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-638-0. (doi:10.1145/1774088.1774327) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30687) |
Blackwell, Alan, Fincher, Sally (2010) PUX: Patterns of User Experience. Inteactions, XVII (2). pp. 182-196. (doi:10.1145/1699775.1699782) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30685) |
Orchard, Dominic A., Bolingbroke, Max, Mycroft, Alan (2010) Ypnos: declarative, parallel structured grid programming. . pp. 15-24. (doi:10.1145/1708046.1708053) (KAR id:57499) |
Kalibera, Tomas and Parizek, Pavel and Haddad, Ghaith and Leavens, Gary T. and Vitek, Jan (2010) Challenge benchmarks for verification of real-time programs. In: PLPV '10 Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification. POPL Principles of Programming Languages . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-890-2. (doi:10.1145/1707790.1707800) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30697) |
Brown, Christopher and Thompson, Simon (2010) Clone Detection and Elimination for Haskell. In: Gallagher, John and Voigtlander, Janis, eds. PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-727-1. (doi:10.1145/1706356.1706378) (KAR id:30696) |
Hocko, Michal and Kalibera, Tomas (2010) Reducing performance non-determinism via cache-aware page allocation strategies. In: WOSP/SIPEW '10 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering. ICPE ACM/SPEC International Conference on Performance Engineering . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-563-5. (doi:10.1145/1712605.1712640) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30695) |
Efstratiou, Christos, Leontiadis, Ilias, Mascolo, Cecilia, Crowcroft, Jon (2010) A shared sensor network infrastructure. In: SenSys '10. Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems. . pp. 367-368. ACM, New York, USA ISBN 978-1-4503-0344-6. (doi:10.1145/1869983.1870026) (KAR id:38829) |
Barnes, Frederick R.M., Ritson, Carl G. (2009) Checking Process-Oriented Operating System Behaviour using CSP and Refinement. SIGOPS Operating Systems Review, 43 (4). pp. 182-196. ISSN 0163-5980. (doi:10.1145/1713254.1713265) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30568) |
Einarsson, Bo, Hanson, Richard J., Hopkins, Tim (2009) Standardized mixed language programming for Fortran and C. SIGPLAN Fortran Forum, 28 (3). pp. 182-196. ISSN 1061-7264. (doi:10.1145/1667140.1667142) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30570) |
Briscoe, G., De Wilde, Philippe (2009) Computing of applied digital ecosystems. In: MEDES '09: Proceedings of the International Conference on Management of Emergent Digital EcoSystems. . pp. 28-35. ACM ISBN 978-1-60558-829-2. (doi:10.1145/1643823.1643830) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:58023) |
Kell, Stephen (2009) The mythical matched modules: overcoming the tyranny of inflexible software construction. In: OOPSLA '09 Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications. . pp. 881-888. ACM ISBN 978-1-60558-768-4. (doi:10.1145/1639950.1640051) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69716) |
Briscoe, Gerard, De Wilde, Philippe (2009) Digital ecosystems: Self-organisation of evolving agent populations. In: MEDES '09: Proceedings of the International Conference on Management of Emergent Digital EcoSystems. . pp. 44-48. ACM ISBN 978-1-60558-829-2. (doi:10.1145/1643823.1643832) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:58025) |
De Wilde, Philippe, Briscoe, Gerard (2009) Digital ecosystems: Stability of evolving agent populations. In: MEDES '09: Proceedings of the International Conference on Management of Emergent Digital EcoSystems. . pp. 36-43. ACM ISBN 978-1-60558-829-2. (doi:10.1145/1643823.1643831) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:58024) |
Marr, Stefan, Haupt, Michael, D'Hondt, Theo (2009) Intermediate Language Design of High-level Language Virtual Machines: Towards Comprehensive Concurrency Support. In: Proceedings of the 3rd Workshop on Virtual Machines and Intermediate Languages. (doi:10.1145/1711506.1711509) (KAR id:63850) |
Chadwick, David W. and Fatema, Kaniz (2009) An advanced policy based authorisation infrastructure. In: DIM '09 Proceedings of the 5th ACM workshop on Digital identity management. CCS Computer and Communications Security . ACM, New York, USA, pp. 81-84. ISBN 978-1-60558-786-8. (doi:10.1145/1655028.1655045) (KAR id:31990) |
Brown, Neil C.C. and Sampson, Adam T. (2009) Alloy: Fast Generic Transformations for Haskell. In: Haskell '09 Proceedings of the 2nd ACM SIGPLAN symposium on Haskell. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-508-6. (doi:10.1145/1596638.1596652) (KAR id:30595) |
Kalibera, Tomas and Hagelberg, Jeff and Pizlo, Filip and Plsek, Ales and Titzer, Ben and Vitek, Jan (2009) CDx: a family of real-time Java benchmarks. In: JTRES '09 Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. JTRES Java Technologies for Real-Time and Embedded Systems . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-732-5. (doi:10.1145/1620405.1620412) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30596) |
Kalibera, Tomas (2009) Replicating real-time garbage collector for Java. In: JTRES '09 Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. JTRES Java Technologies for Real-Time and Embedded Systems . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-732-5. (doi:10.1145/1620405.1620420) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30591) |
Wang, Meng and Oliveira, Bruno (2009) What Does Aspect-Oriented Programming Mean for Functional Programmers? In: WGP '09 Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 37-48. ISBN 978-1-60558-510-9. (doi:10.1145/1596614.1596621) (KAR id:47471) |
Schippers, Hans, Van Cutsem, Tom, Marr, Stefan, Haupt, Michael, Hirschfeld, Robert (2009) Towards an Actor-based Concurrent Machine Model. In: Proceedings of the Fourth Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS). (doi:10.1145/1565824.1565825) (KAR id:63851) |
Caspersen, Michael E., Kölling, Michael (2009) STREAM: A First Programming Process. Transactions of Computing Education, 9 (1). p. 1. ISSN 1946-6226. (doi:10.1145/1513593.1513597) (KAR id:24070) |
Basgalupp, Márcio P. and Barros, Rodrigo C. and de Carvalho, André C.P.L.F. and Freitas, Alex A. and Ruiz, Duncan D. (2009) LEGAL-Tree: a lexicographic multi-objective genetic algorithm for decision tree induction. In: Shin, S.Y. and Ossowski, S. and Martins, P. and Menezes, R. and Virol, M. and Hong, J. and Shin, D. and Palakal, M.J. and Fritzke, U. and Crosby, M. and Haddad, H.M., eds. SAC '09 Proceedings of the 2009 ACM symposium on Applied Computing. SAC Symposium on Applied Computing . ACM, New York, USA, pp. 1085-1090. ISBN 978-1-60558-166-8. (doi:10.1145/1529282.1529521) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24075) |
Sarkar, Susmit and Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade (2009) The Semantics of x86-CC Multiprocessor Machine Code. In: POPL '09 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 379-391. ISBN 978-1-60558-379-2. (doi:10.1145/1480881.1480929) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31907) |
Schultz-Møller, Nicholas Poul and Migliavacca, Matteo and Pietzuch, Peter (2009) Distributed complex event processing with query rewriting. In: DEBS '09 Proceedings of the Third ACM International Conference on Distributed Event-Based Systems. DEBS Distributed Event-based Systems . ACM, New York, USA. ISBN 978-1-60558-665-6. (doi:10.1145/1619258.1619264) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:31866) |
Andrews, S., Palaniappan, Ramaswamy, Kiong, L.C., Mastorakis, N. (2009) Singular value decomposition based feature classification for single trial brain-computer interface design. In: ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers. . pp. 46-53. ACM ISBN 978-960-474-099-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70709) |
Regensburger, Georg and Rosenkranz, Markus and Middeke, Johannes (2009) A skew polynomial approach to integro-differential operators. In: Johnson, Jeremy R. and Park, Hyungju and Kaltofen, Erich, eds. Proceedings of the 2009 international symposium on Symbolic and algebraic computation. ACM, pp. 287-294. ISBN 978-1-60558-609-0. (doi:10.1145/1576702.1576742) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:29968) |
Johnson, Colin G. (2008) Student-Generated Podcasts for Learning and Assessment. In: Koli '08 Proceedings of the 8th International Conference on Computing Education Research. . pp. 84-87. ACM, New York, NY, USA E-ISBN 978-1-60558-385-3. (doi:10.1145/1595356.1595371) (KAR id:71024) |
Jones, Richard E., Blackburn, Steve (2008) International Symposium on Memory Management (ISMM 2008) summary. ACM SIGPLAN Notices, 43 (8). pp. 12-14. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/1416216.1416220) (KAR id:24017) |
Li, Huiqing and Thompson, Simon and Orosz, György and Tóth, Melinda (2008) Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse. In: Horváth, Zoltán and Teoh, Tee, eds. ERLANG '08 Proceedings of the 7th ACM SIGPLAN workshop on ERLANG. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 61-72. ISBN 978-1-60558-065-4. (doi:10.1145/1411273.1411283) (KAR id:24013) |
Sanders, Kate and Richards, Brad and Moström, Jan Erik and Almstrum, Vicki and Edwards, Stephen and Fincher, Sally and Gunion, Kat and Hall, Mark and Hanks, Brian and Lonergan, Stephen and McCartney, Robert and Morrison, Briana and Spacco, Jaime and Thomas, Lynda (2008) DCER: sharing empirical computer science education data. In: ICER '08 Proceedings of the Fourth international Workshop on Computing Education Research. ICER International Computing Education Research Workshop . ACM, New York, USA, pp. 137-148. ISBN 978-1-60558-216-0. (doi:10.1145/1404520.1404534) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24009) |
Fuller, Ursula and Keim, Bob (2008) Assessing students' practice of professional values. In: ITiCSE '08 Proceedings of the 13th annual conference on Innovation and technology in computer science education. ITiCSE Innovation and Technology in Computer Science Education . ACM, New York, USA, pp. 88-92. ISBN 978-1-60558-078-4. (doi:10.1145/1384271.1384296) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24068) |
Chitil, Olaf and Davie, Thomas (2008) Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs. In: PPDP '08 Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming. PPDP Principles and Practice of Declarative Programming . ACM, New York, USA, pp. 205-216. ISBN 978-1-60558-117-0. (doi:10.1145/1389449.1389475) (KAR id:24054) |
Correa, Elon S. and Freitas, Alex A. and Johnson, Colin G. (2008) A New Discrete Particle Swarm Algorithm Applied to Attribute Selection in a Bioinformatics Data Set. In: Proceedings of the 8th annual conference on Genetic and evolutionary computation. ACM, New York, USA, pp. 35-42. ISBN 1-59593-186-4. (doi:10.1145/1143997.1144003) (KAR id:71009) |
Fisker, Kasper and McCall, Davin and Kölling, Michael and Quig, Bruce (2008) Group work support for the BlueJ IDE. In: ITiCSE '08 Proceedings of the 13th annual conference on Innovation and technology in computer science education. ITiCSE Innovation and Technology in Computer Science Education . ACM, New York, USA, pp. 163-168. ISBN 978-1-60558-078-4. (doi:10.1145/1384271.1384316) (KAR id:23968) |
Genaim, Samir, King, Andy (2008) Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Transactions on Computational Logic, 9 (3). pp. 182-196. ISSN 1529-3785. (doi:10.1145/1352582.1352585) (KAR id:15105) |
Jones, Richard E. and Ryder, Chris (2008) A Study of Java Demographics. In: Blackburn, Steve, ed. ISMM '08 Proceedings of the 7th international symposium on Memory management. ISMM International Symposium on Memory Management . ACM, New York, USA, pp. 121-130. ISBN 978-1-60558-134-7. (doi:10.1145/1375634.1375652) (KAR id:23979) |
Jadud, Matthew C. and Simpson, Jon and Jacobsen, Christian L. (2008) Patterns for programming in parallel, pedagogically. In: SIGCSE '08 Proceedings of the 39th SIGCSE technical symposium on Computer science education. CSE Computer Science Education . ACM, New York, USA, pp. 231-235. ISBN 978-1-59593-799-5. (doi:10.1145/1352135.1352219) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24059) |
Sultana, Nik and Thompson, Simon (2008) Mechanical Verification of Refactorings. In: PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 51-60. ISBN 978-1-59593-977-7. (doi:10.1145/1328408.1328417) (KAR id:23959) |
George, Ben and Gibson, Stuart J. and Maylin, Matthew I.S. and Solomon, Christopher J. (2008) EFIT-V - : interactive evolutionary strategy for the construction of photo-realistic facial composites. In: Keijzer, Maarten, ed. GECCO '08 Proceedings of the 10th annual conference on Genetic and evolutionary computation. GECCO Genetic and Evolutionary Computation Conference . ACM, New York, USA, pp. 1485-1490. ISBN 978-1-60558-130-9. (doi:10.1145/1389095.1389384) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:35643) |
Buchberger, Bruno, Regensburger, Georg, Rosenkranz, Markus, Tec, Loredana (2008) General polynomial reduction with Theorema functors: Applications to integro-differential operators and polynomials. ACM Communications in Computer Algebra, 42 (3). pp. 135-137. ISSN 1932-2240. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:29970) |
Rosenkranz, Markus and Regensburger, Georg (2008) Integro-differential polynomials and operators. In: Jeffrey, D., ed. Proceedings of the twenty-first international symposium on Symbolic and algebraic computation. ACM, pp. 261-268. ISBN 978-1-59593-904-3. (doi:10.1145/1390768.1390805) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:29972) |
Shemyakova, Ekaterina and Mansfield, Elizabeth L. (2008) Moving Frames for Laplace Invariants. In: Jeffrey, D., ed. ISSAC '08 Proceedings of the twenty-first international symposium on Symbolic and algebraic computation. ISSAC International Symposium on Symbolic and Algebraic Computation . ACM, New York, USA, pp. 291-298. ISBN 978-1-60560-494-7. (doi:10.1145/1390768.1390809) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:23874) |
Marion, Sebastien and Jones, Richard and Ryder, Chris (2007) Decrypting The Java Gene Pool: Predicting Objects' Lifetimes with Micro-patterns. In: ISMM '07 Proceedings of the 6th international symposium on Memory management. ISMM International Symposium on Memory Management . ACM, New York, USA, pp. 67-78. ISBN 978-1-59593-893-0. (doi:10.1145/1296907.1296918) (KAR id:14541) |
Brown, James, Finney, Joe, Efstratiou, Christos, Green, Ben, Davies, Nigel, Lowton, Mark, Kortuem, Gerd (2007) Network interrupts: supporting delay sensitive applications in low power wireless control networks. In: Proceedings of the second ACM workshop on Challenged networks. COMM ACM SIGCOMM . pp. 51-58. ACM, New York, USA ISBN 978-1-59593-737-7. (doi:10.1145/1287791.1287802) (KAR id:38825) |
Kell, Stephen (2007) Rethinking software connectors. In: SYANCO '07 International workshop on Synthesis and analysis of component connectors. . pp. 1-12. ACM ISBN 978159593720X. (doi:10.1145/1294917.1294918) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69718) |
Fincher, Sally and Tenenberg, Josh (2007) Warren's Question. In: ICER '07 Proceedings of the third international workshop on Computing education research. ICER International Computing Education Research Workshop . ACM, New York, USA, pp. 51-60. ISBN 978-1-59593-841-1. (doi:10.1145/1288580.1288588) (KAR id:14547) |
Thompson, Simon and King, Peter R. and Schmitz, Patrick (2007) Declarative extensions of XML languages. In: King, Peter and Simske, Steven, eds. DocEng '07 Proceedings of the 2007 ACM symposium on Document engineering. ACM, New York, USA, pp. 89-91. ISBN 978-1-59593-776-6. (doi:10.1145/1284420.1284442) (KAR id:14554) |
Johnson, Colin G. (2007) A Genetic Algorithm for Coverage Problems. In: Thierens, D., ed. GECCO '07 Proceedings of the 9th annual conference on Genetic and evolutionary computation. GECCO Genetic and Evolutionary Computation Conference . ACM, p. 1521. ISBN 978-1-59593-697-4. (doi:10.1145/1276958.1277250) (KAR id:23998) |
Correa, Elon S. and Freitas, Alex A. and Johnson, Colin G. (2007) Particle swarm and bayesian networks applied to attribute selection for protein functional classification. In: Yu, Tina, ed. GECCO '07 Proceedings of the 9th annual conference companion on Genetic and evolutionary computation. GECCO Genetic and Evolutionary Computation Conference . ACM, New York, USA, pp. 2651-2658. ISBN 978-1-59593-698-1. (doi:10.1145/1274000.1274081) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14573) |
Holden, Nicholas and Freitas, Alex A. (2007) A hybrid PSO/ACO algorithm for classification. In: Yu, Tina, ed. GECCO '07 Proceedings of the 9th annual conference companion on Genetic and evolutionary computation. GECCO Genetic and Evolutionary Computation Conference . ACM, New York, USA, pp. 2745-2750. ISBN 978-1-59593-698-1. (doi:10.1145/1274000.1274080) (KAR id:14572) |
Migliavacca, Matteo and Cugola, Gianpaolo (2007) Adapting publish-subscribe routing to traffic demands. In: DEBS '07 Proceedings of the 2007 inaugural international conference on Distributed event-based systems. DEBS Distributed Event-based Systems . ACM, New York, USA, pp. 91-96. ISBN 978-1-59593-665-3. (doi:10.1145/1266894.1266911) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:31870) |
Efstratiou, Christos, Davies, Nigel, Kortuem, Gerd, Finney, Joe, Hooper, Rob, Lowton, Mark (2007) Experiences of Designing and Deploying Intelligent Sensor Nodes to Monitor Hand-Arm Vibrations in the Field. In: Mobisys '07 The Fifth International Conference on Mobile Systems, Applications, and Services. . pp. 127-138. ACM, New York, USA ISBN 978-1-59593-614-1. (doi:10.1145/1247660.1247677) (KAR id:38824) |
Cugola, Gianpaolo and Migliavacca, Matteo and Monguzzi, Alessandro (2007) On adding replies to publish-subscribe. In: DEBS '07 Proceedings of the 2007 inaugural international conference on Distributed event-based systems. DEBS Distributed Event-based Systems . ACM, New York, USA, pp. 128-138. ISBN 978-1-59593-665-3. (doi:10.1145/1266894.1266918) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:31869) |
Sulzmann, Martin and Wang, Meng (2007) Aspect-Oriented Programming with Type Classes. In: FOAL '07 Proceedings of the 6th workshop on Foundations of aspect-oriented languages. ICPS: ACM International Conference Proceeding Series . ACM, pp. 65-74. ISBN 978-1-59593-671-4. (doi:10.1145/1233833.1233842) (KAR id:47468) |
Chadwick, David W. and Su, Linying and Laborde, Romain (2006) Providing Secure Coordinated Access to Grid Services. In: Proceedings of the 4th international workshop on Middleware for grid computing. ACM, New York, USA, p. 1. ISBN 1-59593-581-9. (doi:10.1145/1186675.1186677) (KAR id:14395) |
Caspersen, Michael E., Kölling, Michael (2006) A Novice's Process of Object-Oriented Programming. In: Companion To the 21st ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '06). . pp. 892-900. ACM ISBN 1-59593-491-X. (doi:10.1145/1176617.1176741) (KAR id:14408) |
Lopes, Adilson and Silva, Carlos and Elias, Gledson and Magalhães, Maurício F. (2006) A meta-component model for dynamic adaptation support in a middleware system for interactive TV. In: Proceedings of the 12th Brazilian Symposium on Multimedia and the Web. ACM International Conference Proceeding Series . ACM, New York, USA, pp. 193-202. ISBN 85-7669-100-0. (doi:10.1145/1186595.1186619) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14403) |
Silva, Josep and Chitil, Olaf (2006) Combining Algorithmic Debugging and Program Slicing. In: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative. ACM, New York, USA, pp. 157-166. ISBN 1-59593-388-3. (doi:10.1145/1140335.1140355) (KAR id:14448) |
Kahrs, Stefan (2006) Genetic Programming with Primitive Recursion. In: Keijzer, Maarten, ed. Proceedings of the 8th annual conference on Genetic and evolutionary computation. ACM, New York, USA, pp. 941-942. ISBN 1-59593-186-4. (doi:10.1145/1143997.1144160) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14460) |
Chan, Allen and Freitas, Alex A. (2006) A New Ant Colony Algorithm for Multi-Label Classification with Applications in Bioinformatics. In: Keijzer, Maarten, ed. Proceedings of the 8th annual conference on Genetic and evolutionary computation. ACM, New York, USA, pp. 27-34. ISBN 1-59593-186-4. (doi:10.1145/1143997.1144002) (KAR id:14459) |
Smaldon, James and Freitas, Alex A. (2006) A New Version of the Ant-Miner Algorithm Discovering Unordered Rule Sets. In: Keijzer, Maarten, ed. Proceedings of the 8th annual conference on Genetic and evolutionary computation. ACM, New York, USA, pp. 43-50. ISBN 1-59593-186-4. (doi:10.1145/1143997.1144004) (KAR id:14462) |
de Lemos, Rogério (2006) Architectural Reconfiguration using Coordinated Atomic Actions. In: Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems. ACM, New York, USA, pp. 44-50. ISBN 1-59593-403-0. (doi:10.1145/1137677.1137686) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14480) |
Wang, Meng and Chen, Kung and Khoo, Siau-Cheng (2006) Type-Directed Weaving of Aspects for Higher-order Functional Languages. In: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. ACM, pp. 78-87. ISBN 1-59593-196-1. (doi:10.1145/1111542.1111555) (KAR id:47467) |
Ang, Chee Siang, Zaphiris, Panayiotis, Mahmood, Shumaila (2006) Cognitive Load Issues in MMORPGs. In: Proceedings of the 3rd International Conference on Fun and Games. Fun and Games . ACM, New York, USA (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:36356) |
Sulzmann, Martin and Wang, Meng (2006) Modular Generic Programming with Extensible Superclasses. In: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming. ACM, New York, USA, pp. 55-65. ISBN 1-59593-492-8. (doi:10.1145/1159861.1159869) (KAR id:47466) |
Moreau, Luc, Dickman, Peter, Jones, Richard E. (2005) Birrell's Distributed Reference Listing Revisited. ACM Transactions on Programming Languages and Systems (TOPLAS), 27 (6). pp. 1-52. ISSN 0164-0925. (KAR id:14235) |
Fincher, Sally, Lister, Raymond, Clear, Tony, Robins, Anthony, Tenenberg, Josh, Petre, Marian (2005) Multi-institutional, multi-national studies in CSEd research: Some design considerations and trade-offs. In: Proceedings of the First International Computing Education Research Workshop, ICER'05. . pp. 111-121. ACM (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14274) |
Kölling, Michael and Henriksen, Poul (2005) Game Programming in Introductory Courses with Direct State Manipulation. In: Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education. ACM, New York, USA, pp. 59-63. ISBN 1-59593-024-8. (doi:10.1145/1067445.1067465) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14304) |
Roberts, Eric and Bruce, Kim and Cutler, Rob and Cross II, James H. and Grissom, Scott and Klee, Karl and Rodger, Susan and Trees, Fran and Utting, Ian and Yellin, Frank (2005) The ACM java task force: status report. In: Proceedings of the 36th SIGCSE technical symposium on Computer science education. ACM, New York, USA, pp. 46-47. ISBN 1-58113-997-7. (doi:10.1145/1047344.1047348) (KAR id:14353) |
Bergin, Joe and Bruce, Kim and Kölling, Michael (2005) Objects-Early Tools - A Demonstration. In: Proceedings of the 36th SIGCSE technical symposium on Computer science education. ACM, New York, USA, pp. 390-391. ISBN 1-58113-997-7. (doi:10.1145/1047344.1047358) (KAR id:14361) |
Astrachan, Owen, Bruce, Kim, Koffman, Elliot, Kölling, Michael, Reges, Stuart (2005) Resolved: Objects Early Has Failed. In: SIGCSE'05 Proceedings. 37. pp. 451-452. ACM (doi:10.1145/1047124.1047359) (KAR id:14360) |
Jacobsen, Christian L. and Jadud, Matthew C. (2005) Torwards Concrete Concurrency: occam-pi on the LEGO Mindstorms. In: Proceedings of the 36th SIGCSE technical symposium on Computer science education. ACM, New York, USA, pp. 431-435. ISBN 1-58113-997-7. (doi:10.1145/1047344.1047485) (KAR id:24063) |
Chitil, Olaf (2005) Pretty printing with lazy dequeues. Transactions on Programming Languages and Systems, 27 (1). pp. 163-184. ISSN 0164-0925. (doi:10.1145/1053468.1053473) (KAR id:14377) |
Stibor, Thomas and Mohr, Philipp and Timmis, Jonathan and Eckert, Claudia (2005) Is negative selection appropriate for anomaly detection? In: Proceedings of the 2005 conference on Genetic and evolutionary computation. ACM, New York, USA, pp. 321-328. ISBN 1-59593-010-8. (doi:10.1145/1068009.1068061) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14320) |
Bocchi, Laura and Ciancarini, Paolo and Moretti, Rocco and Presutti, Valentina and Rossi, Davide (2005) An OWL-S based approach to express grid services coordination. In: Proceedings of the 2005 ACM symposium on Applied computing. ACM, New York, USA, pp. 1661-1667. ISBN 1-58113-964-0. (doi:10.1145/1066677.1067054) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:59179) |
Henriksen, Poul and Kölling, Michael (2004) greenfoot: Combining Object Visualisation with Interaction. In: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications. ACM, New York, USA, pp. 73-82. ISBN 1-58113-833-4. (doi:10.1145/1028664.1028701) (KAR id:14059) |
Roberts, Jonathan C. (2004) Exploratory Visualization using Bracketing. In: Costabile, Maria Francesca, ed. Proceedings of the working conference on Advanced visual interfaces. ACM, New York, USA, pp. 188-192. ISBN 1-58113-867-9. (doi:10.1145/989863.989893) (KAR id:14164) |
Bovey, John D., Benoy, Florence, Rodgers, Peter (2004) Using Games to Investigate Movement for Graph Comprehension. In: Advanced Visual Interfaces: AVI 2004. . pp. 71-79. ACM, New York, USA ISBN 1-58113-867-9. (doi:10.1145/989863.989872) (KAR id:14162) |
Kölling, Michael and Barnes, David J. (2004) Enhancing apprentice-based learning of Java. In: Proceedings of the 35th SIGCSE technical symposium on Computer science education. ACM, New York, USA, pp. 286-290. ISBN 1-58113-798-2. (doi:10.1145/1028174.971403) (KAR id:14203) |
King, Peter and Schmitz, Patrick and Thompson, Simon (2004) Behavioural Reactivity and Real Time Programming in XML: Functional Programming meets SMIL animation. In: Vion-Dury, Jean-Yves, ed. Proceedings of the 2004 ACM symposium on Document engineering. ACM, New York, USA, pp. 57-66. ISBN 1-58113-938-1. (doi:10.1145/1030397.1030411) (KAR id:14210) |
Bodden, Eric (2003) A High-level View of Java Applications. In: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. ACM, New York, USA, pp. 384-385. ISBN 1-58113-751-6. (doi:10.1145/949344.949447) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13896) |
Bryans, Jeremy W., Bowman, Howard, Derrick, John (2003) Model Checking Stochastic Automata. ACM Transactions on Computational Logic, 4 (4). pp. 452-492. ISSN 1529-3785. (doi:10.1145/937555.937558) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13898) |
de C. Guerra, P.A., Rubira, Cecilia M. F., Romanovsky, A., de Lemos, Rogério (2003) A Fault-Tolerant Software Architecture for COTS-Based Software Systems. Software Engineering Notes, 28 (5). pp. 375-382. ISSN 0163-5948. (doi:10.1145/949952.940125) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13924) |
Rosenkranz, Markus (2003) Symbolic solution of simple BVPs on the operator level. Communications in Computer Algebra, 37 (3). pp. 84-87. ISSN 1932-2240. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:29979) |
Li, Huiqing and Thompson, Simon (2003) Tool Support for Refactoring Functional Programs. In: Jeuring, Johan, ed. Proceedings of the 2nd Workshop on Refactoring Tools. ACM, pp. 27-38. ISBN 1-58113-758-3. (doi:10.1145/1636642.1636644) (KAR id:13934) |
Patterson, Andrew, Kölling, Michael, Rosenberg, John (2003) Introducing Unit Testing With BlueJ. In: Proceedings of the 8th conference on Information Technology in Computer Science Education (ITiCSE 2003). . pp. 11-15. ACM, Thessaloniki, Greece (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13961) |
Hausmann, Jan Hendrik and Kent, Stuart (2003) Visualizing Model Mappings in UML. In: Proceedings of the 2003 ACM symposium on Software visualization. ACM, pp. 169-178. ISBN 1-58113-642-0. (doi:10.1145/774833.774858) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13837) |
King, Andy C. (2002) Removing GC Synchronisation. In: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. SIGPLAN . ACM, New York, USA, pp. 112-113. ISBN 1-58113-626-9. (doi:10.1145/985072.985129) (KAR id:13703) |
de Lemos, Rogério and Fiadeiro, José Luiz (2002) An Architectural Support for Self-Adaptive Software for Treating Faults. In: Garlan, D. and Kramer, J. and Wolf, A., eds. WOSS '02 Proceedings of the first workshop on Self-healing systems. ACM, New York, USA, pp. 39-42. ISBN 978-1-58113-609-8. (doi:10.1145/582128.582136) (KAR id:13706) |
Hanna, Keith (2002) Interactive Visual Functional Programming. ACM SIGPLAN Notices, 37 (9). pp. 100-112. ISSN 0362-1340. (doi:10.1145/581478.581493) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13713) |
Hopkins, Tim (2002) A Comment on the Presentation and Testing of CALGO Codes and a Remark on Algorithm 639: To Integrate Some Infinite Oscillating Tails. ACM Transactions on Mathematical Software, 28 (3). pp. 285-300. ISSN 0098-3500. (doi:10.1145/569147.569148) (KAR id:13723) |
Augusto, Juan Carlos and Gomez, Rodolfo (2002) A Temporal Logic View of Paradigm Specifications. In: Proceedings of the 14th international conference on Software engineering and knowledge engineering. ACM, New York, USA, pp. 497-503. ISBN 1-58113-556-4. (doi:10.1145/568760.568847) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13762) |
Blackburn, Stephen M. and Jones, Richard and McKinley, Kathryn S. and Moss, J. Eliot B. (2002) Beltway: Getting Around Garbage Collection Gridlock. In: Hendren, Laurie J., ed. Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation. ACM, New York, USA, pp. 153-164. ISBN 1-58113-463-0. (doi:10.1145/512529.512548) (KAR id:13782) |
Carter, Janet and Jenkins, Tony (2002) Gender Differences in Programming? In: Proceedings of the 7th Annual Conference on Innovation and Technology in Computer Science Education. ACM, New York, USA, pp. 188-192. ISBN 1-58113-499-1. (doi:10.1145/544414.544469) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13776) |
Fincher, Sally and Utting, Ian (2002) Pedagogical patterns: their place in the genre. In: Proceedings of the 7th Annual Conference on Innovation and Technology in Computer Science Education. ACM, New York, USA, pp. 199-202. ISBN 1-58113-499-1. (doi:10.1145/637610.544482) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13781) |
Barnes, David J. (2002) Teaching Introductory Java through LEGO MINDSTORMS Models. In: 02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education. ACM, New York, USA, pp. 147-151. ISBN 1-58113-473-8. (doi:10.1145/563340.563397) (KAR id:13821) |
Goldman, Jacki P. and Gullick, William J. and Bray, Dennis and Johnson, Colin G. (2002) Individual-based simulation of the clustering behaviour of epidermal growth factor receptors. In: Lamont, Gary, ed. Proceedings of the 2002 ACM Symposium on Applied Computing. ACM, New York, USA, pp. 127-131. ISBN 1-58113-445-2. (doi:10.1145/508791.508817) (KAR id:13817) |
Hopkins, Tim (2002) Renovating the Collected Algorithms from ACM. ACM Transactions on Mathematical Software, 28 (1). pp. 59-74. ISSN 0098-3500. (doi:10.1145/513001.513005) (KAR id:13816) |
McCracken, Michael, Almstrum, Vicki, Diaz, Danny, Guzdial, Mark, Hagan, Dianne, Kolikant, Yifat Ben-David, Laxer, Cary, Thomas, Lynda, Utting, Ian, Wilusz, Tadeusz and others. (2001) A multinational, multi-institutional study of assessment of programming skills of first-year CS students. ACM SIGCSE Bulletin, 33 (4). pp. 125-140. ISSN 0097-8418. (doi:10.1145/572133.572137) (KAR id:13514) |
Chitil, Olaf (2001) Compositional Explanation of Types and Algorithmic Debugging of Type Errors. In: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming. ACM, New York, USA, pp. 193-204. ISBN 1-58113-415-0. (doi:10.1145/507635.507659) (KAR id:13568) |
Kölling, Michael, Rosenberg, John (2001) Guidelines for Teaching Object Orientation with Java. In: Proceedings of the 6th conference on Information Technology in Computer Science Education (ITiCSE 2001). . pp. 33-36. ACM, Canterbury, England (doi:10.1145/377435.377461) (KAR id:13607) |
Chilimbi, Trishul, Jones, Richard E., Zorn., Benjamin (2001) Designing a Trace Format for Heap Allocation Events. ACM SIGPLAN Notices, 36 (1). pp. 35-49. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/362426.362435) (KAR id:21946) |
Mansfield, Elizabeth L. and Hydon, Peter E. (2001) Towards approximations which preserve integrals. In: Mourrain, B., ed. Proceedings of the 2001 international symposium on Symbolic and algebraic computation. ACM, New York, USA, pp. 217-222. ISBN 1-58113-417-7. (doi:10.1145/384101.384131) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:23872) |
Exton, Chris, Kölling, Michael (2000) Concurrency, objects and visualisation. In: Australian Computing Education Conference (ACE 2000). . pp. 109-115. ACM, Melbourne, Australia (doi:10.1145/359369.359385) (KAR id:21920) |
Hobbs, M.H.W. (2000) Email groups for learning and assessment. In: Joyce, Donald, ed. SIGCSE Bulletin. 32 (3). p. 183. ACM ISBN 1-58113-207-7. (doi:10.1145/343048.343177) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16217) |
Freitas, Alex A. (2000) Understanding the crucial differences between classification and discovery of association rules - a position paper. ACM SIGKDD Explorations Newsletter, 2 (1). pp. 65-69. (doi:10.1145/360402.360423) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21914) |
Knox, Deborah, Fincher, Sally, Dale, Nell, Adams, Elizabeth, Goelman, Don, Hightower, James, Loose, Ken, Springsteel, Fred (1999) The Peer Review Process of Teaching Materials. SIGCSE Bulletin, 31 (4). pp. 87-100. ISSN 0097-8418. (doi:10.1145/349316.349548) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21727) |
Chitil, Olaf (1999) Type Inference Builds a Short Cut to Deforestation. ACM SIGPLAN Notices, 34 (9). pp. 249-260. ISSN 0362-1340. (doi:10.1145/317765.317907) (KAR id:21702) |
Carter, Janet (1999) Collaboration or Plagiarism: What happens when students work together. In: Manaris, B., ed. Proceedings of the 4th Annual Conference on Innovation and Technology in Computer Science Education. ACM, New York, USA, pp. 52-55. ISBN 1-58113-087-2. (doi:10.1145/384267.305848) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17193) |
Kölling, Michael and Rosenberg, John (1999) Tools and Techniques for Teaching Objects First in a Java Course. In: The proceedings of the thirtieth SIGCSE technical symposium on Computer science education. ACM, New York, USA. ISBN 1-58113-085-6. (doi:10.1145/384266.299818) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21866) |
Carter, Janet and Jenkins, Tony (1999) Gender and programming: What's going on? In: ITICSE '99: Proceedings of the 4th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education. ACM, New York, USA, pp. 1-4. ISBN 1-58113-087-2. (doi:10.1145/384267.305824) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17195) |
Peyton Jones, Simon and Jones, Richard E., eds. (1998) Proceedings of the 1st international symposium on Memory management. ACM, New York, USA, 195 pp. ISBN 1-58113-114-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21590) |
Fincher, Sally, Petre, Marian (1998) Beyond Anecdote Towards Real Transfer: Using Other Institutions' Experience of Project Work. In: 6th Annual Conference on the Teaching of Computer and 3rd Annual conference on Inegrating Technology into Computer Science Education: Changing the Delivery of Computer Science Education. ACM SIGCSE Bulletin , 3. pp. 86-89. ACM ISBN 1-58113-000-7. (doi:10.1145/290320.283038) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21619) |
Kent, Stuart (1997) Constraint Diagrams: Visualizing Invariants in OO Modelling. ACM SIGPLAN Notices, 32 (10). pp. 327-341. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/263700.263756) (KAR id:21444) |
Hopkins, Tim (1997) Restructuring the BLAS Level-1 Routine for Computing the Modified Givens Transformation. ACM SIGNUM, 32 (4). pp. 2-14. ISSN 0163-5778. (doi:10.1145/289251.289253) (KAR id:21591) |
Rosenberg, John and Kölling, Michael (1997) I/O Considered Harmful (At least for the first few weeks). In: Proceedings of the 2nd Australasian conference on Computer science education. ACM International Conference Proceeding Series . ACM, New York, USA, pp. 216-223. ISBN 0-89791-958-0. (doi:10.1145/299359.299390) (KAR id:21470) |
Rosenberg, John, Kölling, Michael (1997) Testing Object-Oriented Programs: Making it Simple. In: Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education. 29. pp. 77-81. ACM, San Jose, California, USA ISBN 0-89791-889-4. (KAR id:21536) |
Pascoe, Jason (1997) The Stick-e Note Architecture: Extending the Interface Beyond the User. In: Moore, Johanna and Edmonds, Ernest and Puerta, Angel, eds. Proceedings of the 2nd international conference on Intelligent user interfaces. ACM, New York, USA, pp. 261-264. ISBN 0-89791-839-8. (doi:10.1145/238218.238344) (KAR id:21556) |
Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1996) Issues in multiparadigm viewpoint specification. In: Finkelstein, A. and Spanoudakis, G., eds. Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops. ACM, New York, USA, pp. 162-166. ISBN 0-89791-867-3. (doi:10.1145/243327.243639) (KAR id:21329) |
Kölling, Michael, Rosenberg, John (1996) Blue - A Language for Teaching Object-Oriented Programming. In: Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education. . pp. 190-194. ACM, Philadelphia, Pennsylvania, USA ISBN 0-89791-757-X. (doi:10.1145/236462.236537) (KAR id:21393) |
Kölling, Michael, Rosenberg, John (1996) An Object-Oriented Program Development Environment for the First Programming Course. In: Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education. . pp. 83-87. ACM, Philadelphia, Pennsylvania, USA ISBN 0-89791-757-X. (doi:10.1145/236452.236514) (KAR id:21392) |
de Abreu Moreira, Dilvan, Walczowski, Les T. (1995) A Leaf-cell Generator for Silicon Compilers. SIGPLAN OOPS Messenger, 6 (3). pp. 50-51. ISSN 1055-6400. (doi:10.1145/219260.219267) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:50000) |
Kölling, Michael, Koch, Bett, Rosenberg, John (1995) Requirements for a First Year Object-Oriented Teaching Language. In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education. 27 (1). pp. 173-177. ACM, Nashville, Tennessee, USA ISBN 0-89791-693-X. (KAR id:21268) |
Brown, Heather and Cole, Fred C. and Oxborrow, Elizabeth (1993) An Object-Oriented Toolkit for ODA and HyperODA. In: Proceedings of the 11th annual international conference on Systems documentation. ACM, pp. 29-41. ISBN 0-89791-630-1. (doi:10.1145/166025.166032) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21140) |