BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
use (11)
program (7)
softwar (5)
scale (4)
system (3)

Stem spark$ (all stems)

35 papers:

SIGMODSIGMOD-2015-ArmbrustXLHLBMK #relational #sql
Spark SQL: Relational Data Processing in Spark (MA, RSX, CL, YH, DL, JKB, XM, TK, MJF, AG, MZ), pp. 1383–1394.
VLDBVLDB-2015-ArmbrustDDGORSW #performance #scalability #usability
Scaling Spark in the Real World: Performance and Usability (MA, TD, AD, AG, AO, JR, IS, PW, RX, MZ), pp. 1840–1851.
VLDBVLDB-2015-ShiQMJWRO #data analysis #pipes and filters #scalability
Clash of the Titans: MapReduce vs. Spark for Large Scale Data Analytics (JS, YQ, UFM, LJ, CW, BR, ), pp. 2110–2121.
KDDKDD-2015-ShanahanD #distributed #scalability #using
Large Scale Distributed Data Science using Apache Spark (JGS, LD), pp. 2323–2324.
CSCWCSCW-2014-ValkanovaWMM #interactive #named #visualisation
MyPosition: sparking civic discourse by a public interactive poll visualization (NV, RW, AVM, JM), pp. 1323–1332.
HCIDUXU-ELAS-2014-SharmaMTZRTGJ #named #personalisation #smarttech
SPARK: Personalized Parkinson Disease Interventions through Synergy between a Smartphone and a Smartwatch (VS, KM, FDlT, AZ, NR, TGNT, RG, SJ), pp. 103–114.
HILTHILT-2014-Crocker #c++ #question
Can C++ be made as safe as SPARK? (DC), pp. 5–12.
HILTHILT-2014-HuguesG #ada #modelling
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.
AdaEuropeAdaEurope-2013-BrandonC #ada
A SPARK/Ada CubeSat Control Program (CB, PC), pp. 51–64.
HILTHILT-2013-CourtieuACZRBHG #coq #formal method #runtime #semantics #towards #using
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
HILTHILT-2013-EfstathopoulosH #optimisation #verification
Optimizing verification effort with SPARK 2014 (PE, AH), pp. 19–20.
HILTHILT-2013-Taft13a #ada #parallel #programming #set
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada (STT), pp. 37–40.
SCAMSCAM-2012-ThiagarajanHBR #contract #data flow #developer
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK (HT, JH, JB, R), pp. 132–137.
SIGIRSIGIR-2012-ShuklaLT #using
Parallelizing ListNet training using spark (SS, ML, AT), pp. 1127–1128.
AdaEuropeAdaEurope-2011-ChapmanJ
OOT, DO-178C and SPARK (RC, TJ), pp. 206–210.
AdaSIGAda-2011-BeltHRCHD #contract #execution #symbolic computation #using
Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.
AdaSIGAda-2011-PhDJPD
Software vulnerabilities precluded by spark (JLT, FDJ, PEB, CED), pp. 39–46.
AdaEuropeAdaEurope-2010-BritoP #case study #comparative #verification
Program Verification in SPARK and ACSL: A Comparative Case Study (EB, JSP), pp. 97–110.
AdaSIGAda-2009-Jennings #named #re-engineering #tool support
SPARK: the libre language and toolset for high-assurance software engineering (TJ), pp. 9–10.
AdaSIGAda-2009-LosebyCB #embedded
Use of SPARK in a resource constrained embedded system (CL, PC, CB), pp. 87–90.
SIGMODSIGMOD-2007-LuoLWZ #database #keyword #named #query #relational
Spark: top-k keyword query in relational databases (YL, XL, WW, XZ), pp. 115–126.
AdaSIGAda-2007-Lau #imperative #reasoning #source code #using
Using SPARK for a beginner’s course on reasoning about imperative programs (KKL), pp. 75–78.
AdaSIGAda-2007-LauW #component
Verified component-based software in SPARK: experimental results for a missile guidance system (KKL, ZW), pp. 51–58.
AdaEuropeAdaEurope-2006-Curtis #execution #uml
SPARK Annotations Within Executable UML (DC), pp. 83–93.
WICSAWICSA-2005-Shaw #research
Sparking Research Ideas from the Friction Between Doctrine and Reality (MS), pp. 11–16.
AdaEuropeAdaEurope-2005-SwardB #equivalence #functional #proving #slicing
Proving Functional Equivalence for Program Slicing in SPARK™ (RES, LCBI), pp. 105–114.
AdaSIGAda-2005-Ruocco #case study #experience #using
Experiences using SPARK in an undergraduate CS course (ASR), pp. 37–40.
AdaSIGAda-2005-Sautejeau #modelling #uml
Modeling SPARK systems with UML (XS), pp. 11–16.
AdaSIGAda-2005-SwardB #optimisation #slicing
Optimizing the SPARK program slicer (RES, LCBI), pp. 17–22.
AdaEuropeAdaEurope-2003-LinM #behaviour #object-oriented #programming #type system
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95 (TML, JAM), pp. 309–321.
CCCC-2003-LhotakH #analysis #java #points-to #scalability #using
Scaling Java Points-to Analysis Using SPARK (OL, LJH), pp. 153–169.
AdaEuropeAdaEurope-2001-FoulgerK #fault #runtime #safety #tool support #using
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.
AdaEuropeAdaEurope-2000-LinM #morphism #polymorphism
(True) Polymorphism in SPARK2000 (TML, JAM), pp. 252–265.
AdaEuropeAdaEurope-1999-ChapmanD #safety #using
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT (RC, RD), pp. 39–51.
AdaEuropeAdaEurope-1997-Thornley #case study #development #experience #static analysis
Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK (JPT), pp. 266–277.

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