Skip to main content

Browse by Publisher

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 379.

Article

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, . ISSN 1049-331X. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

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). ISSN 2474-9567. (In press) (doi:10.1145/3351245)
[img]
Preview

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)
[img]
Preview
[img]

Orchard, Dominic A., Liepelt, Vilem, Eades, Harley (2019) Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages, 3 . E-ISSN 2475-1421. (doi:10.1145/3341714)
[img]
Preview

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). 34:1-34:22. ISSN 1551-6857. (doi:10.1145/3303080)
[img]
Preview
[img]

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. Proceedings of the ACM on Programming Languages, 3 (POPL). ISSN 2475-1421. (doi:10.1145/3290380)
[img]
Preview

Ugawa, Tomoharu, Ritson, Carl G., Jones, Richard E. (2018) Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collection. Transactions on Programming Languages and Systems, 40 (4). 15:1-15:56. ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3226225)
[img]
Preview
[img]
Preview

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). ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3276478)
[img]
Preview

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). 91:1-91:35. ISSN 0360-0300. (doi:10.1145/3233774)
[img]
Preview
[img]

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)
[img]
Preview

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)
[img]
Preview

Kafalı, Özgur, 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). 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)

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). ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3133881)
[img]
Preview

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). ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3110262)
[img]
Preview

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). ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3107937)
[img]
Preview

Brown, Neil C. C., Altadmri, Amjad (2017) Novice Java Programming Mistakes: Large-Scale Data vs. Educator Beliefs. ACM Transactions on Computing Education (TOCE), 7 (2). ISSN 1946-6226. (doi:10.1145/2994154)
[img]
Preview

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). pp. 1-32. 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)
[img]

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

Ibrahim, A.M.a, Venkat, I.a, Subramanian, K.G.b, Khader, A.T.a, De Wilde, P.c (2016) Intelligent evacuation management systems: A review. ACM Transactions on Intelligent Systems and Technology, 7 (3). ISSN 2157-6904. (doi:10.1145/2842630)
[img]
Preview
[img]

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). ISSN 1533-5399. E-ISSN 1557-6051. (doi:10.1145/2996188)
[img]
Preview

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). ISSN 1073-0516. E-ISSN 1557-7325. (doi:10.1145/2829944) (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)

Orchard, Dominic A., Yoshida, Nobuko (2016) Effects as Sessions, Sessions as Effects. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2016, . pp. 568-581. (doi:10.1145/2837614.2837634)
[img]
Preview

Alsalibi, B.a, Venkat, I.a, Subramanian, K.G.a, Lutfi, S.L.a, De Wilde, P.b (2015) The impact of bio-inspired approaches toward the advancement of face recognition. ACM Computing Surveys, 48 (1). ISSN 0360-0300. (doi:10.1145/2791121) (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)

Rodgers, Peter, Stapleton, Gem, Chapman, Peter (2015) Visualizing Sets with Linear Diagrams. ACM Transactions on Computer-Human Interaction, 22 (6). 27:1-27:39. ISSN 1073-0516. E-ISSN 1557-7325. (doi:10.1145/2810012)
[img]
Preview

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)
[img]
Preview

McLoughlin, Ian Vince, 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). pp. 1-21. (doi:10.1145/2737724)
[img]
Preview

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)

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)
[img]

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). ISSN 2157-6904. E-ISSN 2157-6912. (doi:10.1145/2631925)
[img]
Preview

Rossebø, J. E. Y., Houmb, S. H., Georg, G., Franqueira, V. N. L., Serpanos, D. (2014) Introduction to Special Issue on Risk and Trust in Embedded Critical Systems. ACM Transactions on Embedded Computing Systems, 13 (5s). ISSN 1539-9087. (doi:10.1145/2659008) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Brown, Neil C.C., Sentance, Sue, Crick, Tom, Humphreys, Simon (2014) Restart: The Resurgence of Computer Science in UK Schools. ACM Transactions on Computing Education, 14 (2). 9:1-9:22. ISSN 1946-6226. (doi:10.1145/2602484)
[img]
Preview

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)
[img]

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)

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)

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)

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)

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)

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)
[img]
Preview

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)
[img]
Preview

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)

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)

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)

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)

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)

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)

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)

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

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.
[img]
Preview

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)
[img]
Preview

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)

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)

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)

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)

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)
[img]
Preview
[img]
Preview

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)
[img]
Preview
[img]
Preview

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.
[img]
Preview
[img]
Preview

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)
[img]
Preview
[img]
Preview

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)

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. (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)

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

Book section

Li, Shujun and Ho, Anthony T.S. and Wang, Zichi and Zhang, Xinpeng (2018) Lost in the Digital Wild: Hiding Information in Digital Activities. In: Hallman, Roger and Li, Shujun and Chang, Victor, eds. Proceedings of the 2nd International Workshop on Multimedia Privacy and Security. CCS Computer and Communications Security . ACM, New York, USA, pp. 27-37. ISBN 978-1-4503-5988-7. (doi:10.1145/3267357.3267365)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

Lange, Julien and Ng, Nicholas and Toninho, Bernardo and 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. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 1137-1148. ISBN 978-1-4503-5660-2. (doi:10.1145/3180155.3180157)
[img]
Preview
[img]

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)
[img]
Preview

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)

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)
[img]

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)
[img]

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)
[img]
Preview

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)
[img]
Preview

Marr, Stefan and Torres Lopez, Carmen and Aumayr, Dominik and Gonzalez Boix, Elisa and Mössenböck, Hanspeter (2017) A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools. In: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming. SPLASH Systems, Programming, and Applications . ACM, New York, USA. ISBN 978-1-4503-5526-1. (doi:10.1145/3133841.3133842)
[img]
Preview

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)
[img]
Preview

Putjorn, Pruet and Siriaraya, Panote and Ang, Chee Siang and Deravi, Farzin (2017) Designing a ubiquitous sensor-based platform to facilitate learning for young children in Thailand. In: 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)
[img]
Preview
[img]

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)
[img]
Preview

Tranquille, Dominique and Stapleton, Gem and Burton, Jim and 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 . ACM, New York, USA, pp. 121-128. ISBN 978-1-4503-5292-5. (doi:10.1145/3105971.3105978)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

Wickerson, John and Batty, Mark and Sorensen, Tyler and Constantinides, George A. (2017) Automatically Comparing Memory Consistency Models. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 190-204. ISBN 978-1-4503-4660-3. (doi:10.1145/3093333.3009838)
[img]
Preview

Lange, Julien and Ng, Nicholas and Toninho, Bernardo and 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 . ACM, New York, USA, pp. 748-761. ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009847)
[img]
Preview

Grigore, Radu (2017) Java Generics are Turing Complete. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 73-85. ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009871)
[img]
Preview

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)
[img]
Preview

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)
[img]

Daloze, Benoit and Marr, Stefan and Bonetta, Daniele and Mössenböck, Hanspeter (2016) Efficient and Thread-Safe Objects for Dynamically-Typed Languages. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications, 51 . ACM, New York, USA, pp. 642-659. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984001)
[img]
Preview

Kell, Stephen and Mulligan, Dominic P. and 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 . ACM, New York, USA, pp. 607-623. 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)
[img]

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)
[img]
Preview

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)
[img]
Preview

Lee, James Alexander and Efstratiou, Christos and 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 . ACM, New York, USA, pp. 1171-1179. ISBN 978-1-4503-4462-3. (doi:10.1145/2968219.2968304)
[img]
Preview

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)
[img]

Petricek, Tomas and Guerra, Gustavo and Syme, Don (2016) Types from Data: Making Structured Data First-class Citizens in F#. 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. 477-490. ISBN 978-1-4503-4261-2. (doi:10.1145/2908080.2908115)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

Paviotti, Marco and Møgelberg, Rasmus (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 . ACM, New York, USA, pp. 317-326. ISBN 978-1-4503-4391-6. (doi:10.1145/2933575.2934516) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

Putjorn, Pruet and Ang, Chee Siang and 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 . ACM, New York, USA, pp. 11-13. ISBN 978-1-4503-3503-4. (doi:10.1145/2753488.2753489)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]

Emms, Martin and Arief, Budi and Freitas, Leo and Hannon, Joseph and van Moorsel, Aad (2014) Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards Without the PIN. In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security. CCS Computer and Communications Security . ACM, New York, USA, pp. 716-726. ISBN 978-1-4503-2957-6. (doi:10.1145/2660267.2660312)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

Aaron, Samuel and Orchard, Dominic and Blackwell, Alan F. (2014) Temporal semantics for a live coding language. In: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 37-47. ISBN 978-1-4503-3039-8. (doi:10.1145/2633638.2633648)
[img]
Preview

Orchard, Dominic and Petricek, Tomas (2014) Embedding effect systems in Haskell. In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 13-24. ISBN 978-1-4503-3041-1. (doi:10.1145/2633357.2633368)
[img]
Preview

Ritson, Carl G. and Ugawa, Tomoharu and Jones, Richard E. (2014) Exploring Garbage Collection with Haswell Hardware Transactional Memory. In: Proceedings of the 2014 international symposium on Memory management. ISMM International Symposium on Memory Management . ACM, New York, USA, pp. 105-115. ISBN 978-1-4503-2921-7. (doi:10.1145/2602988.2602992)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

Siriaraya, Panote and Ang, Chee Siang (2014) Recreating living experiences from past memories through virtual worlds for people with dementia. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. CHI Conference on Human Factors in Computer Systems . ACM, New York, USA, pp. 3977-3986. ISBN 978-1-4503-2473-1. (doi:10.1145/2556288.2557035) (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)

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)
[img]
Preview

Brown, Chloë and Efstratiou, Christos and Leontiadis, Ilias and Quercia, Daniele and Mascolo, Cecilia (2014) Tracking serendipitous interactions: how individual cultures shape the office. In: Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing. CSCW Computer Supported Cooperative Work . ACM, New York, USA, pp. 1072-1081. ISBN 978-1-4503-2540-0. (doi:10.1145/2531602.2531641)
[img]
Preview

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)
[img]
Preview

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)

Blake, Andrew and Stapleton, Gem and Rodgers, Peter and Howse, John (2014) How Should We Use Colour in Euler Diagrams? In: Proceedings of the 7th International Symposium on Visual Information Communication and Interaction. ACM-ICPSACM International Conference Proceeding Series . ACM, New York, USA, pp. 149-158. ISBN 978-1-4503-2765-7. (doi:10.1145/2636240.2636838)
[img]
Preview

Mai, Luo and Rupprecht, Lukas and Abdul, Alim and Costa, Paolo and Migliavacca, Matteo and Pietzuch, Peter and Wolf, Alexander L. (2014) NetAgg: Using Middleboxes for Application-specific On-path Aggregation in Data Centres. In: Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies. CoNEXT International Conference on Emerging Networking Experiments and Technologies . ACM, New York, USA, pp. 249-262. 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)

Petersen, Leaf and Orchard, Dominic and Glew, Neal (2013) Automatic SIMD vectorization for Haskell. In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 25-36. ISBN 978-1-4503-2326-0. (doi:10.1145/2500365.2500605)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]

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)
[img]
Preview

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)
[img]

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)

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]
Preview

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)

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)

Hossmann, Theus and Efstratiou, Christos and Mascolo, Cecilia (2012) Collecting big datasets of human activity one checkin at a time. In: Proceedings of the 4th ACM international workshop on Hot topics in planet-scale measurement. ACM, New York, USA, pp. 15-20. ISBN 978-1-4503-1318-6. (doi:10.1145/2307836.2307842)
[img]
Preview

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)
[img]
Preview

Nawaz, Sarfraz and Efstratiou, Christos and Mascolo, Cecilia and Soga, Kenichi (2012) Social sensing in the field: challenges in detecting social interactions in construction sites. In: Proceedings of the 1st ACM workshop on Mobile systems for computational social science. ACM, New York, USA, pp. 28-32. ISBN 978-1-4503-1324-7. (doi:10.1145/2307863.2307872)
[img]
Preview

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)
[img]
Preview

Leontiadis, Ilias and Efstratiou, Christos and Picone, Marco and Mascolo, Cecilia (2012) Don't kill my ads! balancing privacy in an ad-supported mobile application market. In: Proceedings of the Twelfth Workshop on Mobile Computing Systems & Applications. ACM, New York, USA, pp. 1-6. ISBN 978-1-4503-1207-3. (doi:10.1145/2162081.2162084)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]

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)
[img]
Preview

Orchard, Dominic A. (2011) The four Rs of programming language design. In: Onward! 2011 Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 157-162. ISBN 978-1-4503-0941-7. (doi:10.1145/2089131.2089138)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

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)

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)

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)

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)
[img]
Preview

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)
[img]
Preview

Christou, Georgios and Zaphiris, Panayiotis and Ang, Chee Siang and Law, Effie Lai-Chong (2011) Designing for the user experience of sociability in massively multiplayer online games. In: Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems. ACM, New York, USA, pp. 879-882. 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)

Vallina-Rodriguez, Narseo and Efstratiou, Christos and Xie, Geoffrey and Crowcroft, Jon (2011) Enabling opportunistic resources sharing on mobile operating systems: benefits and challenges. In: Proceedings of the 3rd ACM workshop on Wireless of the students, by the students, for the students. ACM, New York, USA, pp. 29-32. ISBN 978-1-4503-0868-7. (doi:10.1145/2030686.2030696)
[img]
Preview

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)
[img]
Preview

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)
[img]

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

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)

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)

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)

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)

Orchard, Dominic A. and Bolingbroke, Max and Mycroft, Alan (2010) Ypnos: declarative, parallel structured grid programming. In: DAMP '10 Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming. POPL Principles of Programming Languages . ACM, New York, USA, pp. 15-24. ISBN 978-1-60558-859-9. (doi:10.1145/1708046.1708053)
[img]
Preview

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)

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)
[img]
Preview

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)

Efstratiou, Christos and Leontiadis, Ilias and Mascolo, Cecilia and Crowcroft, Jon (2010) A shared sensor network infrastructure. In: Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems. ACM, New York, USA, pp. 367-368. ISBN 978-1-4503-0344-6. (doi:10.1145/1869983.1870026)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

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)

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)
[img]
Preview

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)

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)

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)
[img]

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)

Li, Huiqing and Thompson, Simon (2008) Tool Support for Refactoring Functional Programs. In: Dig, Danny and Fuhrer, Robert and Johnson, Ralph, eds. WRT '08 Proceedings of the 2nd Workshop on Refactoring Tools. SPLASH Systems, Programming, and Applications . ACM, New York, USA. ISBN 978-1-59593-977-7. (doi:10.1145/1636642.1636644)
[img] [img]
Preview

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)
[img]
Preview

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)

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)

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

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)

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)

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)

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)
[img]
Preview

Brown, James and Finney, Joe and Efstratiou, Christos and Green, Ben and Davies, Nigel and Lowton, Mark and Kortuem, Gerd (2007) Network interrupts: supporting delay sensitive applications in low power wireless control networks. In: CHANTS '07 Proceedings of the second ACM workshop on Challenged networks. COMM ACM SIGCOMM . ACM, New York, USA, pp. 51-58. ISBN 978-1-59593-737-7. (doi:10.1145/1287791.1287802)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]

Efstratiou, Christos and Davies, Nigel and Kortuem, Gerd and Finney, Joe and Hooper, Rob and Lowton, Mark (2007) Experiences of Designing and Deploying Intelligent Sensor Nodes to Monitor Hand-Arm Vibrations in the Field. In: MobiSys '07 Proceedings of the 5th international conference on Mobile systems, applications and services. ACM, New York, USA, pp. 127-138. ISBN 978-1-59593-614-1. (doi:10.1145/1247660.1247677)
[img]
Preview

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)
[img]

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

Ang, Chee Siang and Zaphiris, Panayiotis and 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. ISBN 978-1-60558-907-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)

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)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

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)

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)
[img]
Preview

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)
[img]
Preview

Bovey, John D. and Benoy, Florence and Rodgers, Peter (2004) Using Games to Investigate Movement for Graph Comprehension. In: Proceedings of the working conference on Advanced visual interfaces. ACM, New York, USA, pp. 71-79. ISBN 1-58113-867-9. (doi:10.1145/989863.989872)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview
[img]
Preview

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)

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)

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)
[img]
Preview

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)
[img]
Preview
[img]
Preview

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)
[img]
Preview

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)

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)

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)

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)

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)
[img]
Preview

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)
[img]
Preview
[img]
Preview

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)
[img]
Preview
[img]
Preview

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)

Conference or workshop item

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]

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)
[img]
Preview

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) Characterising Renaming within OCaml’s Module System: Theory and Implementation. In: PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation Proceedings. . pp. 950-965. ACM, ACM New York, NY, USA ©2019 (doi:10.1145/3314221.3314600)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

Contrastin, Mistral, Orchard, Dominic A., Rice, Andrew C. (2018) Automatic reordering for dataflow safety of Datalog. In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. . ACM ISBN 978-1-4503-6441-6. (doi:10.1145/3236950.3236954)
[img]

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)
[img]
Preview

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)
[img]
Preview
[img]

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)
[img]

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)
[img]
Preview

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)
[img]
Preview

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)
[img]

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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
[img]
Preview

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
[img]
Preview
[img]

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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
[img]
Preview

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)
[img]
Preview

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)
[img]

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)
[img]

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)

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)

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)
[img]

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)
[img]

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)
[img]
Preview

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.
[img]
Preview

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)

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). . ACM
[img]
Preview

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.
[img]
Preview

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)
[img]
Preview

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)
[img]

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.
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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.
[img]
Preview

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)
[img]

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 (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)

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.
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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.
[img]
Preview

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)
[img]
Preview

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)

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)
[img]

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)
[img]
Preview

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)
[img]

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)

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)

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)
[img]
Preview

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)

Brown, Neil C.C. (2010) Conjoined Events. In: Advances in Message Passing, 2010. . ACM
[img]
Preview

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)
[img]
Preview

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)
[img]

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)
[img]
Preview

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)
[img]
Preview

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)

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)
[img]
Preview

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)
[img]

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)
[img]
Preview

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)

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)
[img]
Preview

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)

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
[img]
Preview

Exton, Chris, Kölling, Michael (2000) Concurrency, objects and visualisation. In: Australian Computing Education Conference (ACE 2000). . pp. 109-115. ACM, Melbourne, Australia
[img]
Preview

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. (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)

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)

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.
[img]
Preview

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.
[img]
Preview

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.
[img]
Preview

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.
[img]
Preview

Edited book

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)

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)

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)

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)
[img]

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)

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)

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)

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)

Review

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.
[img]

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)

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)

This list was generated on Fri Dec 13 01:14:23 2019 GMT.