Tyson Condie

According to our database1, Tyson Condie authored at least 42 papers between 2004 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


Adding data provenance support to Apache Spark.
VLDB J., 2018

Scaling-up reasoning and advanced analytics on BigData.
Theory Pract. Log. Program., 2018

Supporting Data Provenance in Data-Intensive Scalable Computing Systems.
IEEE Data Eng. Bull., 2018

Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified.
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Data Deduplication with Edit Errors.
Proceedings of the IEEE Global Communications Conference, 2018

Declarative BigData Algorithms via Aggregates and Relational Database Dependencies.
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

Fixpoint semantics and optimization of recursive Datalog programs with aggregates.
Theory Pract. Log. Program., 2017

Apache REEF: Retainable Evaluator Execution Framework.
ACM Trans. Comput. Syst., 2017

Debugging Big Data Analytics in Spark with <i>BigDebug</i>.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

mCerebrum: A Mobile Sensing Software Platform for Development and Validation of Digital Biomarkers and Interventions.
Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

Automated debugging in data-intensive scalable computing.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

mCerebrum and Cerebral Cortex: A Real-time Collection, Analytic, and Intervention Platform for High-frequency Mobile Sensor Data.
Proceedings of the AMIA 2017, 2017

BigDebug: interactive debugger for big data analytics in Apache Spark.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Big Data Analytics with Datalog Queries on Spark.
Proceedings of the 2016 International Conference on Management of Data, 2016

BigDebug: debugging primitives for interactive big data processing in spark.
Proceedings of the 38th International Conference on Software Engineering, 2016

Optimizing Interactive Development of Data-Intensive Applications.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

Programming and Runtime Support to Blaze FPGA Accelerator Deployment at Datacenter Scale.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

Titian: Data Provenance Support in Spark.
Proc. VLDB Endow., 2015

Center of excellence for mobile sensor data-to-knowledge (MD2K).
J. Am. Medical Informatics Assoc., 2015

REEF: Retainable Evaluator Execution Framework.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Pregelix: Big(ger) Graph Analytics on a Dataflow Engine.
Proc. VLDB Endow., 2014

REEF: Retainable Evaluator Execution Framework.
Proc. VLDB Endow., 2013

Iterative MapReduce for Large Scale Machine Learning
CoRR, 2013

Machine learning on Big Data.
Proceedings of the 29th IEEE International Conference on Data Engineering, 2013

Declarative Systems for Large-Scale Machine Learning.
IEEE Data Eng. Bull., 2012

Scaling Datalog for Machine Learning on Big Data
CoRR, 2012

Declarative Systems.
PhD thesis, 2011

Online Aggregation for Large MapReduce Jobs.
Proc. VLDB Endow., 2011

Online aggregation and continuous query support in MapReduce.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

MapReduce Online.
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Boom analytics: exploring data-centric, declarative programming for the cloud.
Proceedings of the European Conference on Computer Systems, 2010

I do declare: consensus in a logic language.
ACM SIGOPS Oper. Syst. Rev., 2009

Declarative networking.
Commun. ACM, 2009

Evita raced: metacompilation for declarative networks.
Proc. VLDB Endow., 2008

Public Health for the Internet (PHI).
Proceedings of the CIDR 2007, 2007

Declarative networking: language, execution and optimization.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

ROFL: routing on flat labels.
Proceedings of the ACM SIGCOMM 2006 Conference on Applications, 2006

Induced Churn as Shelter from Routing-Table Poisoning.
Proceedings of the Network and Distributed System Security Symposium, 2006

LSH forest: self-tuning indexes for similarity search.
Proceedings of the 14th international conference on World Wide Web, 2005

Implementing declarative overlays.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Non-Cooperation in Competitive P2P Networks.
Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Adaptive Peer-to-Peer Topologies.
Proceedings of the 4th International Conference on Peer-to-Peer Computing (P2P 2004), 2004