Author of the publication

Cautionary Tales on Synthetic Controls in Survival Analyses.

, , , and . CLeaR, volume 236 of Proceedings of Machine Learning Research, page 143-159. PMLR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources., , and . PEPM, page 21-26. ACM, (2015)Combining Relational Learning with SMT Solvers Using CEGAR., , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 447-462. Springer, (2013)Interpolants as Classifiers., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 71-87. Springer, (2012)The YogiProject: Software Property Checking via Static Analysis and Testing., , , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 178-181. Springer, (2009)Preferential path profiling: compactly numbering interesting paths., , and . POPL, page 351-362. ACM, (2007)Compositional may-must program analysis: unleashing the power of alternation., , , and . POPL, page 43-56. ACM, (2010)Termination proofs from tests., and . ESEC/SIGSOFT FSE, page 246-256. ACM, (2013)Bottom-Up Shape Analysis., , , and . SAS, volume 5673 of Lecture Notes in Computer Science, page 188-204. Springer, (2009)An empirical study of optimizations in YOGI., and . ICSE (1), page 355-364. ACM, (2010)Proofs from tests., , , and . ISSTA, page 3-14. ACM, (2008)