Albert Ziegler

Orcid: 0000-0003-0937-7464

Affiliations:

GitHub, San Francisco, CA, USA
Semmle Inc., Oxford, UK (former)
University of Leeds, School of Mathematics, UK (former)
Ludwig Maximilian University of Munich, Department of Mathematics, Germany (former)

According to our database¹, Albert Ziegler authored at least 9 papers between 2010 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Measuring GitHub Copilot's Impact on Productivity.

[BibT_eX]

[DOI]

Commun. ACM, March, 2024

2023

Bayesian Quantification with Black-Box Estimators.

[BibT_eX]

[DOI]

Albert Ziegler

Pawel Czyz

CoRR, 2023

2022

Extracting Meaningful Attention on Source Code: An Empirical Study of Developer and Neural Model Code Exploration.

[BibT_eX]

[DOI]

CoRR, 2022

Productivity assessment of neural code completion.

[BibT_eX]

[DOI]

Proceedings of the MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, 2022

2019

Unsupervised Recalibration.

[BibT_eX]

[DOI]

Albert Ziegler

Pawel Czyz

CoRR, 2019

The standard coder: a machine learning approach to measuring the effort required to produce source code change.

[BibT_eX]

[DOI]

Ian Wright

Albert Ziegler

Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2019

2014

A cumulative hierarchy of sets for constructive set theory.

[BibT_eX]

[DOI]

Albert Ziegler

Math. Log. Q., 2014

2012

Generalizing realizability and Heyting models for constructive set theory.

[BibT_eX]

[DOI]

Albert Ziegler

Ann. Pure Appl. Log., 2012

2010

Refinement is equivalent to Fullness.

[BibT_eX]

[DOI]

Albert Ziegler

Math. Log. Q., 2010

Albert Ziegler

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...