Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Albert Ziegler 0001

> Home > Persons

Person information

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

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/ZieglerKLRRSSA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/ZieglerKLRRSSA24
Albert Ziegler, Eirini Kalliamvakou, X. Alice Li, Andrew Rice, Devon Rifkin, Shawn Simister, Ganesh Sittampalam, Edward Aftandilian:
Measuring GitHub Copilot's Impact on Productivity. Commun. ACM 67(3): 54-63 (2024)
2023
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-09159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-09159
Albert Ziegler, Pawel Czyz:
Bayesian Quantification with Black-Box Estimators. CoRR abs/2302.09159 (2023)
2022
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0001KLRRSSA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0001KLRRSSA22
Albert Ziegler, Eirini Kalliamvakou, X. Alice Li, Andrew Rice, Devon Rifkin, Shawn Simister, Ganesh Sittampalam, Edward Aftandilian:
Productivity assessment of neural code completion. MAPS@PLDI 2022: 21-29
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-06537
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-06537
Albert Ziegler, Eirini Kalliamvakou, Shawn Simister, Ganesh Sittampalam, X. Alice Li, Andrew Rice, Devon Rifkin, Edward Aftandilian:
Productivity Assessment of Neural Code Completion. CoRR abs/2205.06537 (2022)
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-05506
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-05506
Matteo Paltenghi, Rahul Pandita, Austin Z. Henley, Albert Ziegler:
Extracting Meaningful Attention on Source Code: An Empirical Study of Developer and Neural Model Code Exploration. CoRR abs/2210.05506 (2022)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Wright019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Wright019
Ian Wright, Albert Ziegler:
The standard coder: a machine learning approach to measuring the effort required to produce source code change. RAISE@ICSE 2019: 1-7
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-02436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-02436
Ian Wright, Albert Ziegler:
The standard coder: a machine learning approach to measuring the effort required to produce source code change. CoRR abs/1903.02436 (2019)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-09157
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-09157
Albert Ziegler, Pawel Czyz:
Unsupervised Recalibration. CoRR abs/1908.09157 (2019)
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Ziegler14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Ziegler14
Albert Ziegler:
A cumulative hierarchy of sets for constructive set theory. Math. Log. Q. 60(1-2): 21-30 (2014)
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ziegler12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ziegler12
Albert Ziegler:
Generalizing realizability and Heyting models for constructive set theory. Ann. Pure Appl. Log. 163(2): 175-184 (2012)
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Ziegler10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Ziegler10
Albert Ziegler:
Refinement is equivalent to Fullness. Math. Log. Q. 56(6): 666-669 (2010)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.