Martin Hirzel

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Stream Query Optimization.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Stream Processing Languages and Abstractions.

[BibT_eX]

[DOI]

Guillaume Baudart

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Continuous Queries.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Optimal and General Out-of-Order Sliding-Window Aggregation.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

Type Safety with JSON Subschema.

[BibT_eX]

[DOI]

CoRR, 2019

Type-Driven Automated Learning with Lale.

[BibT_eX]

[DOI]

CoRR, 2019

A semi-supervised deep learning algorithm for abnormal EEG identification.

[BibT_eX]

[DOI]

Subhrajit Roy

Kiran Kate

CoRR, 2019

Machine learning in Python with no strings attached.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

2018

Dagstuhl Seminar on Big Stream Processing.

[BibT_eX]

[DOI]

SIGMOD Rec., 2018

Stream Processing Languages in the Big Data Era.

[BibT_eX]

[DOI]

SIGMOD Rec., 2018

Yaps: Python Frontend to Stan.

[BibT_eX]

[DOI]

CoRR, 2018

Sub-O(log n) Out-of-Order Sliding-Window Aggregation.

[BibT_eX]

[DOI]

CoRR, 2018

Extending Stan for Deep Probabilistic Programming.

[BibT_eX]

[DOI]

CoRR, 2018

Deep Probabilistic Programming Languages: A Qualitative Study.

[BibT_eX]

[DOI]

Guillaume Baudart

Louis Mandel

CoRR, 2018

Reactive chatbot programming.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

Protecting chatbots from toxic content.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

2017

SPL: An Extensible Language for Distributed Stream Processing.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2017

Prototyping a query compiler using Coq (experience report).

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Big Stream Processing Systems (Dagstuhl Seminar 17441).

[BibT_eX]

[DOI]

Tilmann Rabl

Sherif Sakr

Dagstuhl Reports, 2017

I Can Parse You: Grammars for Dialogs.

[BibT_eX]

[DOI]

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Q*cert: A Platform for Implementing and Verifying Query Compilers.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Generating chat bots from web API specifications.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017

Sliding-Window Aggregation Algorithms: Tutorial.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017

2016

River: an intermediate language for stream processing.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2016

META: Middleware for Events, Transactions, and Analytics.

[BibT_eX]

[DOI]

IBM J. Res. Dev., 2016

Virtual lightweight snapshots for consistent analytics in NoSQL stores.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

AQuA: adaptive quality analytics.

[BibT_eX]

[DOI]

Wei Zhang

David Grove

Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

Spreadsheets for stream processing with unbounded windows and partitions.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

2015

Safe Data Parallelism for General Streaming.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2015

Debugging mixed-environment programs with Blink.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2015

General Incremental Sliding-Window Aggregation.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2015

Language Runtime and Optimizations in IBM Streams.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2015

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).

[BibT_eX]

[DOI]

Avraham Shinnar

Jérôme Siméon

Dagstuhl Artifacts Ser., 2015

Spreadsheets for Stream Partitions and Windows.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.

[BibT_eX]

[DOI]

Avraham Shinnar

Jérôme Siméon

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

14th compiler-driven performance workshop.

[BibT_eX]

[DOI]

Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

2014

Elastic Scaling for Data Stream Processing.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2014

Event Processing over a Distributed JSON Store: Design and Performance.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

Stream Processing with a Spreadsheet.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

IBM Streams Processing Language: Analyzing Big Data in motion.

[BibT_eX]

[DOI]

Henrique Andrade

Gabriela Jacques-Silva

IBM J. Res. Dev., 2013

A catalog of stream processing optimizations.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2013

Testing properties of dataflow program operators.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Semantic characterization of MapReduce workloads.

[BibT_eX]

[DOI]

Zhihong Xu

Gregg Rothermel

Proceedings of the IEEE International Symposium on Workload Characterization, 2013

Dynamic expressivity with static optimization for streaming languages.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

Tutorial: stream processing optimizations.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

2012

Streams that compose using macros that oblige.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Extending a general-purpose streaming system for XML.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Extending Database Technology, 2012

Marco: Safe, Expressive Macros for Any Language.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Robust scripting via patterns.

[BibT_eX]

[DOI]

Bard Bloom

Proceedings of the 8th Symposium on Dynamic Languages, 2012

From a calculus to an execution environment for stream processing.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

CAPSULE: language and system support for efficient state sharing in distributed stream processing systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

Partition and compose: parallel complex event processing.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

11th Compiler-Driven Performance Workshop.

[BibT_eX]

[DOI]

Proceedings of the Center for Advanced Studies on Collaborative Research, 2012

Auto-parallelizing stateful distributed streaming applications.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2010

From a Stream of Relational Queries to Distributed Stream Processing.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2010

Z-rays: divide arrays and conquer speed and flexibility.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Jinn: synthesizing dynamic bug detectors for foreign language interfaces.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

A Universal Calculus for Stream Processing Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2010

2009

Debug all your code: portable mixed-environment debugging.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

Wake up and smell the coffee: evaluation methodology for the 21st century.

[BibT_eX]

[DOI]

Commun. ACM, 2008

Matchete: Paths through the Pattern Matching Jungle.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2008

No bit left behind: the limits of heap data compression.

[BibT_eX]

[DOI]

Jennifer B. Sartor

Kathryn S. McKinley

Proceedings of the 7th International Symposium on Memory Management, 2008

Online Phase-Adaptive Data Layout Selection.

[BibT_eX]

[DOI]

Chengliang Zhang

Proceedings of the ECOOP 2008, 2008

2007

Fast online pointer analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

Data layouts for object-oriented programs.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2007

Jeannie: granting java native interface developers their wishes.

[BibT_eX]

[DOI]

Robert Grimm

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

The DaCapo benchmarks: java benchmarking development and analysis.

[BibT_eX]

[DOI]

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Improving locality with parallel hierarchical copying GC.

[BibT_eX]

[DOI]

David Siegwart

Proceedings of the 5th International Symposium on Memory Management, 2006

2004

Pointer Analysis in the Presence of Dynamic Class Loading.

[BibT_eX]

[DOI]

Michael Hind

Proceedings of the ECOOP 2004, 2004

2003

Connectivity-based garbage collection.

[BibT_eX]

[DOI]

Matthew Hertz

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002

On the usefulness of type and liveness accuracy for garbage collection and leak detection.

[BibT_eX]

[DOI]

Johannes Henkel

ACM Trans. Program. Lang. Syst., 2002

Dynamic Hot Data Stream Prefetching for General-Purpose Programs.

[BibT_eX]

[DOI]

Trishul M. Chilimbi

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Understanding the connectivity of heap objects.

[BibT_eX]

[DOI]

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

2001

On the Usefulness of Liveness for Garbage Collection and Leak Detection.

[BibT_eX]

[DOI]

Antony L. Hosking

Proceedings of the ECOOP 2001, 2001

2000

On the Type Accuracy of Garbage Collection.

[BibT_eX]

[DOI]