|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 164 occurrences of 131 keywords
|
|
|
|
|
Results
Found 1813 publication records. Showing 1813 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 72 | Lujun Fang, Kristen LeFevre |
Splash: ad-hoc querying of data and statistical models.  |
EDBT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 59 | Michael Rencher, Brad L. Hutchings |
Automated target recognition on SPLASH 2. |
FCCM |
1997 |
DBLP DOI BibTeX RDF |
|
| 59 | Steven Cameron Woo, Moriyoshi Ohara, Evan Torrie, Jaswinder Pal Singh, Anoop Gupta |
The SPLASH-2 Programs: Characterization and Methodological Considerations. |
ISCA |
1995 |
DBLP DOI BibTeX RDF |
|
| 57 | Molly Q. Feldman, Michael Hilton (eds.) |
Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2023, Cascais, Portugal, 25 October 2023 |
SPLASH-E |
2023 |
DBLP DOI BibTeX RDF |
|
| 57 | Marco T. Morazán |
Composing Turing Machines in FSM. |
SPLASH-E |
2023 |
DBLP DOI BibTeX RDF |
|
| 57 | Kimio Kuramitsu, Yui Obara, Miyu Sato, Momoka Obara |
KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for Programming Education. |
SPLASH-E |
2023 |
DBLP DOI BibTeX RDF |
|
| 57 | Luca Chiodini, Juha Sorva, Matthias Hauswirth |
Teaching Programming with Graphics: Pitfalls and a Solution. |
SPLASH-E |
2023 |
DBLP DOI BibTeX RDF |
|
| 57 | Rory Kelly, Meghan Allen |
Exploring Engagement and Self-Efficacy in an Introductory Computer Science Course. |
SPLASH-E |
2023 |
DBLP DOI BibTeX RDF |
|
| 57 | Rose Bohrer |
Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation. |
SPLASH-E |
2023 |
DBLP DOI BibTeX RDF |
|
| 57 | Alaaeddin Swidan, Felienne Hermans |
A Framework for the Localization of Programming Languages. |
SPLASH-E |
2023 |
DBLP DOI BibTeX RDF |
|
| 57 | Afonso Caniço, André Santos |
Witter: A Library for White-Box Testing of Introductory Programming Algorithms. |
SPLASH-E |
2023 |
DBLP DOI BibTeX RDF |
|
| 57 | Martin Henz, Benjamin S. Lerner (eds.) |
Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2022, Auckland, New Zealand, 5 December 2022 |
SPLASH-E |
2022 |
DBLP DOI BibTeX RDF |
|
| 57 | Noa Heyl, Elisa L. A. Baniassad, Oluwakemi Ola |
Team Harmony before, during, and after COVID-19. |
SPLASH-E |
2022 |
DBLP DOI BibTeX RDF |
|
| 57 | Sarnath Ramnath, Brahma Dathan |
Crossing Learning Thresholds Progressively via Active Learning. |
SPLASH-E |
2022 |
DBLP DOI BibTeX RDF |
|
| 57 | Luca Chiodini, Igor Moreno Santos, Matthias Hauswirth |
Expressions in Java: Essential, Prevalent, Neglected? |
SPLASH-E |
2022 |
DBLP DOI BibTeX RDF |
|
| 57 | Kezia Devathasan, Celina Berg, Daniela E. Damian |
The Role of Abstraction in Introductory Programming. |
SPLASH-E |
2022 |
DBLP DOI BibTeX RDF |
|
| 57 | Junya Nose, Youyou Cong, Hidehiko Masuhara |
Mio: A Block-Based Environment for Program Design. |
SPLASH-E |
2022 |
DBLP DOI BibTeX RDF |
|
| 57 | Sam Lau, Philip J. Guo |
Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course Materials. |
SPLASH-E |
2022 |
DBLP DOI BibTeX RDF |
|
| 57 | Kevin Dick, Hoda Khalil, Gabriel A. Wainer |
Data Science Pedagogy to Support Industry, Governmental, and Research Initiatives. |
SPLASH-E |
2022 |
DBLP DOI BibTeX RDF |
|
| 57 | Braxton Hall, Elisa L. A. Baniassad |
Evaluating the Quality of Student-Written Software Tests with Curated Mutation Analysis. |
SPLASH-E |
2022 |
DBLP DOI BibTeX RDF |
|
| 57 | Elisa L. A. Baniassad, Charlie Curtsinger (eds.) |
SPLASH-E '20 - Proceedings of the 2020 ACM SIGPLAN Workshop on SPLASH-E, Virtual Event, November 20, 2020 |
SPLASH-E |
2020 |
DBLP DOI BibTeX RDF |
|
| 57 | Lucas Zamprogno, Reid Holmes, Elisa L. A. Baniassad |
Nudging student learning strategies using formative feedback in automatically graded assessments. |
SPLASH-E |
2020 |
DBLP DOI BibTeX RDF |
|
| 57 | Karl Stolley |
CSS instruction enhanced by objective typography. |
SPLASH-E |
2020 |
DBLP DOI BibTeX RDF |
|
| 57 | Christoph Reichenbach |
The PL-detective revisited. |
SPLASH-E |
2020 |
DBLP DOI BibTeX RDF |
|
| 57 | Elisa L. A. Baniassad (eds.) |
SPLASH-E '19 - Proceedings of the 2019 ACM SIGPLAN Workshop on SPLASH-E, Athens, Greece, October 25, 2019 |
SPLASH-E |
2019 |
DBLP DOI BibTeX RDF |
|
| 57 | Charlie Curtsinger |
Parallelism in practice: experiences teaching concurrency and parallelism in an undergraduate OS course. |
SPLASH-E |
2019 |
DBLP DOI BibTeX RDF |
|
| 57 | Molly Q. Feldman, Yiting Wang, William E. Byrd, François Guimbretière, Erik Andersen 0001 |
Towards answering "Am I on the right track?" automatically using program synthesis. |
SPLASH-E |
2019 |
DBLP DOI BibTeX RDF |
|
| 57 | Igor Moreno Santos, Matthias Hauswirth, Nathaniel Nystrom |
Experiences in bridging from functional to object-oriented programming. |
SPLASH-E |
2019 |
DBLP DOI BibTeX RDF |
|
| 57 | Jan Sliacky, Petr Maj |
Lambdulus: teaching lambda calculus practically. |
SPLASH-E |
2019 |
DBLP DOI BibTeX RDF |
|
| 57 | Quan Do, Kiersten Campbell, Emmie Hine, Dzung Pham 0001, Alex Taylor, Iris Howley, Daniel W. Barowy |
Evaluating ProDirect manipulation in hour of code. |
SPLASH-E |
2019 |
DBLP DOI BibTeX RDF |
|
| 57 | Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges 0001, Michal Moskal, Jacqueline Russell |
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript. |
SPLASH-E |
2019 |
DBLP DOI BibTeX RDF |
|
| 57 | Josh Pollock, Jared Roesch, Doug Woos, Zachary Tatlock |
Theia: automatically generating correct program state visualizations. |
SPLASH-E |
2019 |
DBLP DOI BibTeX RDF |
|
| 57 | Rohan Padhye, Koushik Sen, Paul N. Hilfinger |
ChocoPy: a programming language for compilers courses. |
SPLASH-E |
2019 |
DBLP DOI BibTeX RDF |
|
| 57 | Benjamin S. Lerner (eds.) |
SPLASH-E '18 - Proceedings of the 2018 ACM SIGPLAN Workshop on SPLASH-E, Boston, MA, USA, November 5, 2018 |
SPLASH-E |
2018 |
DBLP DOI BibTeX RDF |
|
| 57 | James D. Teresco, Michael A. Dagostino Jr., Abdul Samad, Eric D. Sauer |
A framework for code-level tracing of map-based algorithm visualizations. |
SPLASH-E |
2018 |
DBLP DOI BibTeX RDF |
|
| 57 | Daniel Sainati, Adrian Sampson |
LambdaLab: an interactive λ-calculus reducer for learning. |
SPLASH-E |
2018 |
DBLP DOI BibTeX RDF |
|
| 57 | Stephanie Balzer, Ulrik Pagh Schultz |
Splash'13 workshops summary. |
SPLASH (Companion Volume) |
2013 |
DBLP DOI BibTeX RDF |
|
| 57 | Alessandro Ricci, Gul Agha, Rafael H. Bordini |
Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. |
SPLASH Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 57 | Jonathan Aldrich, Jeremy G. Siek |
2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary. |
SPLASH/OOPSLA Companion |
2010 |
DBLP DOI BibTeX RDF |
|
| 57 | Doug Kimelman, Harold Ossher, André van der Hoek, Margaret-Anne D. Storey |
SPLASH 2010 workshop on flexible modeling tools. |
SPLASH/OOPSLA Companion |
2010 |
DBLP DOI BibTeX RDF |
|
| 57 | Eli Tilevich, Patrick Eugster |
Programming support innovations for emerging distributed applications (PSI EtA - upsiloneta): a splash 2010 workshop summary. |
SPLASH/OOPSLA Companion |
2010 |
DBLP DOI BibTeX RDF |
|
| 54 | Anthony-Trung Nguyen, Maged M. Michael, Arun Sharma, Josep Torrellas |
The Augmint multiprocessor simulation toolkit for Intel x86 architectures. |
ICCD |
1996 |
DBLP DOI BibTeX RDF |
Augmint multiprocessor simulation toolkit, Intel x86 architectures, publicly available simulation tools, instruction mix, memory reference patterns, CISC architectures, execution driven multiprocessor simulation toolkit, m4 macro extended C, C++ applications, SPLASH-2 benchmark suites, thread based programming model, shared global address space, private stack space, simulator interface, MINT simulation toolkit, x8d based uniprocessor systems, multiprocessing systems, trace driven simulation, architecture simulators, uniprocessors |
| 47 | Seungnam Yang, Kyungsoo Lee, Hyundoc Seo, Hyogon Kim |
SPLASH: A Simple Multi-Channel Migration Scheme for IEEE 802.11 Networks. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
| 47 | Christian Bienia, Sanjeev Kumar, Kai Li 0001 |
PARSEC vs. SPLASH-2: A quantitative comparison of two multithreaded benchmark suites on Chip-Multiprocessors. |
IISWC |
2008 |
DBLP DOI BibTeX RDF |
|
| 47 | Willem de Bruijn, Jon T. Moore, Herbert Bos |
Splash: SNMP Plus a Lightweight API for SNAP Handling. |
NOMS (1) |
2004 |
DBLP DOI BibTeX RDF |
|
| 42 | Jonathan Aldrich, Jeremy G. Siek, Elena Zucca |
2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
| 42 | Alessandro Ricci, Rafael H. Bordini, Gul A. Agha |
AGERE! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
| 41 | Nalini K. Ratha, Anil K. Jain 0001, Diane T. Rover |
FPGA-Based Coprocessor for Text String Extraction. |
CAMP |
2000 |
DBLP DOI BibTeX RDF |
FPGA-based coprocessor, text string extraction, image morphology based algorithms, high-performance coprocessor, Splash 2, Sun hosts, VHDL behavioral modeling, SPARC station 20, design patterns, coprocessors, document understanding, visual effects |
| 41 | Edward D. Moreno, Sergio Takeo Kofuji |
Efficiency of remote access caches in future SMP-based CC-NUMA multiprocessors: initial results. |
ISPAN |
1997 |
DBLP DOI BibTeX RDF |
shared remote access cache, future SMP based CC-NUMA multiprocessors, symmetric multiprocessor nodes, future architectures, realistic hardware parameters, state of the art systems components, SPLASH-2 benchmark suite, performance application, baseline architecture, approach-1, slow network, approach-2, fast network, 32-processor system, four-processor SMP nodes, two-processor SMP nodes, multiprocessing systems, execution time, cost effectiveness |
| 41 | Anders Landin, Fredrik Dahlgren |
Bus-Based COMA - Reducing Traffic in Shared-Bus Multiprocessors. |
HPCA |
1996 |
DBLP DOI BibTeX RDF |
bus-based COMA, standard UMA architecture, program-driven simulation, SPLASH, cache only memory architecture, shared-memory multiprocessors, shared memory systems, memory architecture, cache storage, shared-bus multiprocessors |
| 41 | Nalini K. Ratha, Anil K. Jain 0001, Diane T. Rover |
FPGA-based high performance page layout segmentation. |
Great Lakes Symposium on VLSI |
1996 |
DBLP DOI BibTeX RDF |
Splash 2, page layout segmentation algorithm, FPGA array processor, Xilinx synthesis tool, 5 GHz, 1024 pixel, field programmable gate arrays, image segmentation, parallel processing, text |
| 38 | Cheng Wang 0013, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai |
Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language. |
CGO |
2007 |
DBLP DOI BibTeX RDF |
|
| 38 | Reece Hart, Ajay K. Royyuru, Gustavo Stolovitzky, Andrea Califano |
Systematic and automated discovery of patterns in PROSITE families. |
RECOMB |
2000 |
DBLP DOI BibTeX RDF |
|
| 38 | James B. Peterson, Peter M. Athanas |
High-speed 2-D convolution with a custom computing machine. |
J. VLSI Signal Process. |
1996 |
DBLP DOI BibTeX RDF |
|
| 35 | Vasco Thudichum Vasconcelos (eds.) |
Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, October 22-27, 2023 |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Breandan Considine |
A Pragmatic Approach to Syntax Repair. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Andrej Pecimúth |
Remote Just-in-Time Compilation for Dynamic Languages. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Adam Welc, Sam Blackshear |
Sui Move: Modern Blockchain Programming with Objects. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Ruyi Ji |
Scaling up Program Synthesis to Efficient Algorithms. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Marta Davila Mateu |
Synthesizing Recursive Programs through Dataflow Constraints. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Siraphob Phipathananunth |
Towards the Formal Verification of Wigderson's Algorithm. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Francisco Ribeiro |
Large Language Models for Automated Program Repair. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Yusuke Izawa, Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai |
A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Luís Gomes |
Transforming Ideas into Code: Visual Sketching for ML Development. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Katrina Wilson |
Clearing the Trail: Motivations for Maintenance Work in Open Source. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | David Spielmann, Daniel Sokolowski, Guido Salvaneschi |
Extensible Testing for Infrastructure as Code. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Julia Freeman, Timothy Zhou |
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | David H. Lorenz, Ofir Shmuel |
ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Antonio Zegarelli |
Design and Implementation of Facets of Dynamic Policies. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Octave Larose |
Dynamic Library Compartmentalization. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Mirko Köhler 0001, Guido Salvaneschi |
Safe Combination of Data-Centric and Operation-Centric Consistency. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Matús Sulír, Milan Nosál |
JaMaBuild: Mass Building of Java Projects. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Haolin Ye |
An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Knut Anders Stokke, Mikhail Barash, Jaakko Järvi |
Towards Reusable GUI Structures. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Jesse Hoobergs |
Modular Educational Languages. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Mikhail Barash, Yulia Startsev, Rolf Martin Glomsrud |
Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Tobias Roth |
Reusing Single-Language Analyses for Static Analysis of Multi-language Programs. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Rijul Jain, Wode Ni, Joshua Sunshine |
Generating Domain-Specific Programs for Diagram Authoring with Large Language Models. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Luís Carvalho |
Semantic Versioning for Python Programs. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Zhan Shi |
Partial Gradual Dependent Type Theory. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Raven Rothkopf |
Rose: Extensible Autodiff on the Web. |
SPLASH Companion |
2023 |
DBLP DOI BibTeX RDF |
|
| 35 | Alex Potanin (eds.) |
Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2022, Auckland, New Zealand, December 5-10, 2022 |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Michael Schröder 0005 |
Grammar Inference for Ad Hoc Parsers. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Dhanushka Jayasuriya |
Towards Automated Updates of Software Dependencies. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Zhuo Chen |
Towards a Verified Cost Model for Call-by-Push-Value. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Julian Haas |
Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Raphael Douglas Giles |
Termination of Recursive Functions by Lexicographic Orders of Linear Combinations. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Sujit Kumar Muduli |
Verification of Hardware and Software with Fuzzing and Proofs. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Robert O'Callahan |
The State of Debugging in 2022 (Keynote). |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Daniel Britten, Vilhelm Sjöberg, Steve Reeves |
Provably Correct Smart Contracts: An Approach using DeepSEA. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Aditya Anand 0002 |
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Sumit Lahiri |
Verification of Programs with Concealed Components. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Neea Rusch |
Formally Verified Resource Bounds through Implicit Computational Complexity. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Mary Shaw |
Myths and Mythconceptions: What Does It Mean to Be a Programming Language, Anyhow? (Keynote). |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo |
ARENA: Enhancing Abstract Refinement for Neural Network Verification. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Judith Perera |
Modelling the Quantification of Technical Debt. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Pankaj Kumar Kalita |
Program Synthesis for Artifacts beyond Programs. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Litao Zhou |
Foundationally Sound Annotation Verifier via Control Flow Splitting. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Dov Fraivert, David H. Lorenz |
Explicit Code Reuse Recommendation. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
| 35 | Abhinandan Pal, Anubhab Ghosh |
Qiwi: A Beginner Friendly Quantum Language. |
SPLASH Companion |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1813 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license