35 papers:
SIGMOD-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.
VLDB-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.
- VLDB-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, FÖ), pp. 2110–2121.
KDD-2015-ShanahanD #distributed #scalability #using- Large Scale Distributed Data Science using Apache Spark (JGS, LD), pp. 2323–2324.
CSCW-2014-ValkanovaWMM #interactive #named #visualisation- MyPosition: sparking civic discourse by a public interactive poll visualization (NV, RW, AVM, JM), pp. 1323–1332.
DUXU-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.
HILT-2014-Crocker #c++ #question- Can C++ be made as safe as SPARK? (DC), pp. 5–12.
- HILT-2014-HuguesG #ada #modelling
- Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.
AdaEurope-2013-BrandonC #ada- A SPARK/Ada CubeSat Control Program (CB, PC), pp. 51–64.
- HILT-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.
- HILT-2013-EfstathopoulosH #optimisation #verification
- Optimizing verification effort with SPARK 2014 (PE, AH), pp. 19–20.
- HILT-2013-Taft13a #ada #parallel #programming #set
- Bringing safe, dynamic parallel programming to the spark verifiable subset of ada (STT), pp. 37–40.
SCAM-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.
SIGIR-2012-ShuklaLT #using- Parallelizing ListNet training using spark (SS, ML, AT), pp. 1127–1128.
- AdaEurope-2011-ChapmanJ
- OOT, DO-178C and SPARK (RC, TJ), pp. 206–210.
SIGAda-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.
- SIGAda-2011-PhDJPD
- Software vulnerabilities precluded by spark (JLT, FDJ, PEB, CED), pp. 39–46.
- AdaEurope-2010-BritoP #case study #comparative #verification
- Program Verification in SPARK and ACSL: A Comparative Case Study (EB, JSP), pp. 97–110.
- SIGAda-2009-Jennings #named #re-engineering #tool support
- SPARK: the libre language and toolset for high-assurance software engineering (TJ), pp. 9–10.
- SIGAda-2009-LosebyCB #embedded
- Use of SPARK in a resource constrained embedded system (CL, PC, CB), pp. 87–90.
- SIGMOD-2007-LuoLWZ #database #keyword #named #query #relational
- Spark: top-k keyword query in relational databases (YL, XL, WW, XZ), pp. 115–126.
- SIGAda-2007-Lau #imperative #reasoning #source code #using
- Using SPARK for a beginner’s course on reasoning about imperative programs (KKL), pp. 75–78.
- SIGAda-2007-LauW #component
- Verified component-based software in SPARK: experimental results for a missile guidance system (KKL, ZW), pp. 51–58.
- AdaEurope-2006-Curtis #execution #uml
- SPARK Annotations Within Executable UML (DC), pp. 83–93.
WICSA-2005-Shaw #research- Sparking Research Ideas from the Friction Between Doctrine and Reality (MS), pp. 11–16.
- AdaEurope-2005-SwardB #equivalence #functional #proving #slicing
- Proving Functional Equivalence for Program Slicing in SPARK™ (RES, LCBI), pp. 105–114.
- SIGAda-2005-Ruocco #case study #experience #using
- Experiences using SPARK in an undergraduate CS course (ASR), pp. 37–40.
- SIGAda-2005-Sautejeau #modelling #uml
- Modeling SPARK systems with UML (XS), pp. 11–16.
- SIGAda-2005-SwardB #optimisation #slicing
- Optimizing the SPARK program slicer (RES, LCBI), pp. 17–22.
- AdaEurope-2003-LinM #behaviour #object-oriented #programming #type system
- A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95 (TML, JAM), pp. 309–321.
CC-2003-LhotakH #analysis #java #points-to #scalability #using- Scaling Java Points-to Analysis Using SPARK (OL, LJH), pp. 153–169.
- AdaEurope-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.
- AdaEurope-2000-LinM #morphism #polymorphism
- (True) Polymorphism in SPARK2000 (TML, JAM), pp. 252–265.
- AdaEurope-1999-ChapmanD #safety #using
- Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT (RC, RD), pp. 39–51.
- AdaEurope-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.
