Martin Hirzel

According to our database1, Martin Hirzel authored at least 70 papers between 2000 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Sliding-Window Aggregation Algorithms.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Stream Query Optimization.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Stream Processing Languages and Abstractions.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Continuous Queries.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Optimal and General Out-of-Order Sliding-Window Aggregation.
PVLDB, 2019

2018
Dagstuhl Seminar on Big Stream Processing.
SIGMOD Record, 2018

Stream Processing Languages in the Big Data Era.
SIGMOD Record, 2018

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

Protecting chatbots from toxic content.
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

2017
SPL: An Extensible Language for Distributed Stream Processing.
ACM Trans. Program. Lang. Syst., 2017

Prototyping a query compiler using Coq (experience report).
PACMPL, 2017

Big Stream Processing Systems (Dagstuhl Seminar 17441).
Dagstuhl Reports, 2017

I Can Parse You: Grammars for Dialogs.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Q*cert: A Platform for Implementing and Verifying Query Compilers.
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.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Generating chat bots from web API specifications.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time.
Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017

Sliding-Window Aggregation Algorithms: Tutorial.
Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017

2016
River: an intermediate language for stream processing.
Softw., Pract. Exper., 2016

META: Middleware for Events, Transactions, and Analytics.
IBM Journal of Research and Development, 2016

Virtual lightweight snapshots for consistent analytics in NoSQL stores.
Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

AQuA: adaptive quality analytics.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

Spreadsheets for stream processing with unbounded windows and partitions.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

2015
Safe Data Parallelism for General Streaming.
IEEE Trans. Computers, 2015

Debugging mixed-environment programs with Blink.
Softw., Pract. Exper., 2015

General Incremental Sliding-Window Aggregation.
PVLDB, 2015

Language Runtime and Optimizations in IBM Streams.
IEEE Data Eng. Bull., 2015

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

Spreadsheets for Stream Partitions and Windows.
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.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

14th compiler-driven performance workshop.
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

2014
Elastic Scaling for Data Stream Processing.
IEEE Trans. Parallel Distrib. Syst., 2014

Event Processing over a Distributed JSON Store: Design and Performance.
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

Stream Processing with a Spreadsheet.
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.
IBM Journal of Research and Development, 2013

A catalog of stream processing optimizations.
ACM Comput. Surv., 2013

Testing properties of dataflow program operators.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Semantic characterization of MapReduce workloads.
Proceedings of the IEEE International Symposium on Workload Characterization, 2013

Dynamic expressivity with static optimization for streaming languages.
Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

Tutorial: stream processing optimizations.
Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

2012
Streams that compose using macros that oblige.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Extending a general-purpose streaming system for XML.
Proceedings of the 15th International Conference on Extending Database Technology, 2012

Marco: Safe, Expressive Macros for Any Language.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Robust scripting via patterns.
Proceedings of the 8th Symposium on Dynamic Languages, 2012

From a calculus to an execution environment for stream processing.
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.
Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

Partition and compose: parallel complex event processing.
Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

11th Compiler-Driven Performance Workshop.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2012

Auto-parallelizing stateful distributed streaming applications.
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2010
From a Stream of Relational Queries to Distributed Stream Processing.
PVLDB, 2010

Z-rays: divide arrays and conquer speed and flexibility.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Jinn: synthesizing dynamic bug detectors for foreign language interfaces.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

A Universal Calculus for Stream Processing Languages.
Proceedings of the Programming Languages and Systems, 2010

2009
Debug all your code: portable mixed-environment debugging.
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.
Commun. ACM, 2008

Matchete: Paths through the Pattern Matching Jungle.
Proceedings of the Practical Aspects of Declarative Languages, 2008

No bit left behind: the limits of heap data compression.
Proceedings of the 7th International Symposium on Memory Management, 2008

Online Phase-Adaptive Data Layout Selection.
Proceedings of the ECOOP 2008, 2008

2007
Fast online pointer analysis.
ACM Trans. Program. Lang. Syst., 2007

Data layouts for object-oriented programs.
Proceedings of the 2007 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2007

Jeannie: granting java native interface developers their wishes.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Improving locality with parallel hierarchical copying GC.
Proceedings of the 5th International Symposium on Memory Management, 2006

2004
Pointer Analysis in the Presence of Dynamic Class Loading.
Proceedings of the ECOOP 2004, 2004

2003
Connectivity-based garbage collection.
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.
ACM Trans. Program. Lang. Syst., 2002

Dynamic Hot Data Stream Prefetching for General-Purpose Programs.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Understanding the connectivity of heap objects.
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

2001
On the Usefulness of Liveness for Garbage Collection and Leak Detection.
Proceedings of the ECOOP 2001, 2001

2000
On the Type Accuracy of Garbage Collection.
Proceedings of the ISMM 2000, 2000


  Loading...