Martin Hirzel

According to our database1, Martin Hirzel authored at least 106 papers between 2000 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints.
Softw. Pract. Exp., March, 2024

2023
Low-Code Programming Models.
Commun. ACM, October, 2023

Out-of-Order Sliding-Window Aggregation with Efficient Bulk Evictions and Insertions.
Proc. VLDB Endow., 2023

Learning Transfers over Several Programming Languages.
CoRR, 2023

A Suite of Fairness Datasets for Tabular Classification.
CoRR, 2023

Out-of-Order Sliding-Window Aggregation with Efficient Bulk Evictions and Insertions (Extended Version).
CoRR, 2023

AI for Low-Code for AI.
CoRR, 2023

Searching for Fairer Machine Learning Ensembles.
Proceedings of the International Conference on Automated Machine Learning, 2023

2022
Extracting enhanced artificial intelligence model metadata from software repositories.
Empir. Softw. Eng., 2022

Navigating Ensemble Configurations for Algorithmic Fairness.
CoRR, 2022

Automatically Debugging AutoML Pipelines using Maro: ML Automated Remediation Oracle (Extended Version).
CoRR, 2022

An Empirical Study of Modular Bias Mitigators and Ensembles.
CoRR, 2022

Automatically debugging AutoML pipelines using maro: ML automated remediation oracle.
Proceedings of the MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, 2022

Complex Python Features in the Wild.
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Comments on Comments: Where Code Review and Documentation Meet.
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Gradual AutoML using Lale.
Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

The raise of machine learning hyperparameter constraints in Python code.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021
In-order sliding-window aggregation in worst-case constant time.
VLDB J., 2021

Learning GraphQL Query Costs (Extended Version).
CoRR, 2021

Towards automating code review at scale.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Pipeline Combinators for Gradual AutoML.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Learning GraphQL Query Cost.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Finding data compatibility bugs with JSON subschema checking.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020
Lale: Consistent Automated Machine Learning.
CoRR, 2020

Mining Documentation to Extract Hyperparameter Schemas.
CoRR, 2020

AIMMX: Artificial Intelligence Model Metadata Extractor.
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Python 3 types in the wild: a tale of two type systems.
Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

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.
Proc. VLDB Endow., 2019

Type Safety with JSON Subschema.
CoRR, 2019

Type-Driven Automated Learning with Lale.
CoRR, 2019

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

Machine learning in Python with no strings attached.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

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

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

Yaps: Python Frontend to Stan.
CoRR, 2018

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

Extending Stan for Deep Probabilistic Programming.
CoRR, 2018

Deep Probabilistic Programming Languages: A Qualitative Study.
CoRR, 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).
Proc. ACM Program. Lang., 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. Exp., 2016

META: Middleware for Events, Transactions, and Analytics.
IBM J. Res. Dev., 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. Exp., 2015

General Incremental Sliding-Window Aggregation.
Proc. VLDB Endow., 2015

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

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).
Dagstuhl Artifacts Ser., 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 Distributed 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 J. Res. Dev., 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.
Proc. VLDB Endow., 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...