Update papers.
This commit is contained in:
Justin Hsu
parent
7d25997282
commit
f1fc41df91
|
|
@ -189,6 +189,7 @@
|
|||
@STRING{icfp = "{ACM} {SIGPLAN} {I}nternational {C}onference on
|
||||
{F}unctional {P}rogramming ({ICFP})" }
|
||||
@STRING{icfp17 = icfp # ", Oxford, England" }
|
||||
@STRING{icfp16 = icfp # ", Nara, Japan" }
|
||||
@STRING{icfp14 = icfp # ", Gothenburg, Sweden" }
|
||||
@STRING{icfp13 = icfp # ", Boston, Massachusetts" }
|
||||
@STRING{icfp12 = icfp # ", Copenhagen, Denmark" }
|
||||
|
|
@ -227,6 +228,10 @@
|
|||
@STRING{ccs19 = ccs # ", London, England" }
|
||||
@STRING{ccs20 = ccs }
|
||||
|
||||
@STRING{cpp = "{ACM} {SIGPLAN} Conference on Certified Proofs and Programs ({CPP})"}
|
||||
@STRING{cpp16 = cpp # ", St. Petersburg, Florida" }
|
||||
@STRING{cpp24 = cpp # ", London, England" }
|
||||
|
||||
@STRING{dbpl = {Database Programming Languages (DBPL)}}
|
||||
@STRING{dbpl05 = dbpl}
|
||||
|
||||
|
|
@ -309,6 +314,8 @@
|
|||
@STRING{pldi21 = pldi }
|
||||
@STRING{pldi22 = pldi # ", San Diego, California" }
|
||||
@STRING{pldi23 = pldi # ", Orlando, Florida" }
|
||||
@STRING{pldi24 = pldi # ", Copenhagen, Denmark" }
|
||||
|
||||
% ----
|
||||
@STRING{lfp = "ACM Symposium on Lisp and Functional Programming (LFP)" }
|
||||
@STRING{lfp80 = lfp # ", Stanford, California" }
|
||||
|
|
@ -399,6 +406,11 @@
|
|||
@STRING{focs13 = focs # ", Berkeley, California"}
|
||||
@STRING{focs14 = focs # ", Philadelphia, Pennsylvania"}
|
||||
|
||||
% ----
|
||||
@STRING{fmcad = "International Conference on Formal Methods in
|
||||
Computer-Aided Design ({FMCAD})" }
|
||||
@STRING{fmcad00 = fmcad # ", Austin, Texas" }
|
||||
|
||||
% ----
|
||||
@STRING{socg = "{SIGACT} -- {SIGGRAPH} {S}ymposium on {C}omputational
|
||||
{G}eometry (SOCG)"}
|
||||
|
|
@ -563,6 +575,7 @@
|
|||
@STRING{vmcai12 = vmcai # ", Philadelphia, Pennsylvania" }
|
||||
@STRING{vmcai13 = vmcai # ", Rome, Italy" }
|
||||
@STRING{vmcai16 = vmcai # ", St. Petersburg, Florida" }
|
||||
@STRING{vmcai18 = vmcai # ", Los Angeles, California" }
|
||||
|
||||
% ----
|
||||
@STRING{csf = "{IEEE} {C}omputer {S}ecurity {F}oundations {S}ymposium
|
||||
|
|
@ -582,6 +595,11 @@
|
|||
{S}emantics-{B}ased {P}rogram {M}anipulation ({PEPM})" }
|
||||
@STRING{pepm91 = pepmpre12 # ", New Haven, Connecticut" }
|
||||
|
||||
% ----
|
||||
@STRING{arith = "{IEEE} Symposium on Computer Arithmetic ({ARITH})" }
|
||||
@STRING{arith11 = arith # ", T{\"{u}}bingen, Germany" }
|
||||
@STRING{arith23 = arith # ", Portland, Oregon" }
|
||||
|
||||
% ----
|
||||
% workshops with informal proceedings only
|
||||
% ----
|
||||
|
|
@ -657,6 +675,7 @@
|
|||
@STRING{mfps = {Conference on the Mathematical Foundations of Programming
|
||||
Semantics (MFPS)} }
|
||||
@STRING{nfm = {{NASA} Formal Methods Symposium (NFM)} }
|
||||
@STRING{nsv = {International Workshop on Numerical Software Verification ({NSV}) }}
|
||||
@STRING{osdi = {USENIX Symposium on Operating Systems Design and
|
||||
Implementation (OSDI)} }
|
||||
@STRING{paste = {ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for
|
||||
|
|
@ -705,6 +724,7 @@
|
|||
% ---
|
||||
@STRING{aplas03 = aplas # ", Beijing, China" }
|
||||
@STRING{aplas05 = aplas # ", Tsukuba, Japan" }
|
||||
@STRING{aplas08 = aplas # ", Bangalore, India" }
|
||||
@STRING{aplas10 = aplas # ", Shanghai, China" }
|
||||
@STRING{aplas17 = aplas # ", Suzhou, China" }
|
||||
@STRING{aplas21 = aplas # ", Chicago, Illinois" }
|
||||
|
|
@ -763,6 +783,7 @@
|
|||
@STRING{cav18 = cav # ", Oxford, England" }
|
||||
@STRING{cav20 = cav # ", Los Angeles, California" }
|
||||
@STRING{cav22 = cav # ", Haifa, Israel" }
|
||||
@STRING{cav24 = cav # ", Montr{\'e}al, Qu{\'e}bec" }
|
||||
% ---
|
||||
@STRING{cp = "International Conference on Principles and Practice of
|
||||
Constraint Programming (CP)" }
|
||||
|
|
@ -800,6 +821,7 @@
|
|||
@STRING{esop00 = esop # ", Berlin, Germany" }
|
||||
@STRING{esop01 = esop # ", Genova, Italy" }
|
||||
@STRING{esop02 = esop # ", Grenoble, France" }
|
||||
@STRING{esop05 = esop # ", Edinburgh, Scotland" }
|
||||
@STRING{esop07 = esop # ", Braga, Portugal" }
|
||||
@STRING{esop09 = esop # ", York, England" }
|
||||
@STRING{esop11 = esop # ", Saarbr{\"u}cken, Germany" }
|
||||
|
|
@ -810,6 +832,7 @@
|
|||
@STRING{esop17 = esop # ", Uppsala, Sweden" }
|
||||
@STRING{esop18 = esop # ", Thessaloniki, Greece" }
|
||||
@STRING{esop21 = esop # ", Luxembourg City, Luxembourg" }
|
||||
@STRING{esop23 = esop # ", Paris, France" }
|
||||
% ---
|
||||
@STRING{esorics03 = esorics # ", Gj{\o}vic, Norway" }
|
||||
% ---
|
||||
|
|
@ -821,6 +844,7 @@
|
|||
@STRING{fm08 = fm # ", Turku, Finland" }
|
||||
@STRING{fm11 = fm # ", Limerick, Ireland" }
|
||||
@STRING{fm12 = fm # ", Paris, France" }
|
||||
@STRING{fm19 = "Formal Methods -- The Next 30 Years ({FM}), Porto, Portugal" }
|
||||
% ---
|
||||
@STRING{fmco06 = fmco # ", Amsterdam, The Netherlands" }
|
||||
@STRING{fmco09 = fmco # ", Eindhoven, The Netherlands" }
|
||||
|
|
@ -894,6 +918,11 @@ STRING{fse08 = fse # ", Atlanta, Georgia" }
|
|||
% ---
|
||||
@STRING{nfm11 = nfm # ", Pasadena, California" }
|
||||
@STRING{nfm15 = nfm # ", Pasadena, California" }
|
||||
|
||||
% ---
|
||||
@STRING{nsv09 = nsv # ", Toronto, Ontario" }
|
||||
@STRING{nsv22 = nsv # ", Haifa, Israel" }
|
||||
|
||||
% ---
|
||||
@STRING{osdi96 = osdi # ", Seattle, Washington" }
|
||||
@STRING{osdi00 = osdi # ", San Diego, California" }
|
||||
|
|
@ -929,6 +958,7 @@ STRING{fse08 = fse # ", Atlanta, Georgia" }
|
|||
@STRING{sas11 = sas # ", Venice, Italy" }
|
||||
@STRING{sas14 = sas # ", Munich, Germany" }
|
||||
@STRING{sas17 = sas # ", New York, New York" }
|
||||
@STRING{sas23 = sas # ", Cascais, Portugal" }
|
||||
% ---
|
||||
@STRING{sosp93 = sosp # ", Asheville, North Carolina" }
|
||||
% ---
|
||||
|
|
|
|||
|
|
@ -1,12 +1,4 @@
|
|||
%%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
@unpublished{KH23,
|
||||
title = {A Type System for Numerical Error Analysis},
|
||||
author = {Ariel Kellison and Justin Hsu},
|
||||
year = 2023,
|
||||
jh = yes,
|
||||
jhsite = yes,
|
||||
}
|
||||
|
||||
@unpublished{AH23,
|
||||
title = {Separated and Shared Effects in Higher-Order Languages},
|
||||
author = {Azevedo de Amorim, Pedro H. and Hsu, Justin},
|
||||
|
|
@ -20,7 +12,7 @@
|
|||
}
|
||||
|
||||
@unpublished{GBHSZ23,
|
||||
title = {An abstract approach to conditional independence in {DIBI} models},
|
||||
title = {A Categorical Approach to {DIBI} Models},
|
||||
author = {Gu, Tao and
|
||||
Bao, Jialu and
|
||||
Hsu, Justin and
|
||||
|
|
@ -116,6 +108,32 @@
|
|||
}
|
||||
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
@inproceedings{BLH24,
|
||||
title = {Verifying Cake Cutting, Faster},
|
||||
author = {Bertram, Noah and Lai, Tean and Hsu, Justin},
|
||||
booktitle = cav24,
|
||||
year = 2024,
|
||||
jh = yes,
|
||||
jhsite = yes,
|
||||
reviewed = yes,
|
||||
}
|
||||
|
||||
@inproceedings{KH23,
|
||||
title = {Numerical {Fuzz}: A Type System for Rounding Error Analysis},
|
||||
author = {Ariel Kellison and Justin Hsu},
|
||||
year = 2024,
|
||||
month = jun,
|
||||
journal = pacmpl,
|
||||
articleno = {226},
|
||||
volume = {8},
|
||||
number = {PLDI},
|
||||
reviewed = yes,
|
||||
jh = yes,
|
||||
jhsite = yes,
|
||||
doi = {10.1145/3656456},
|
||||
note = "Appeared at " # pldi24 # ".",
|
||||
}
|
||||
|
||||
@inproceedings{GGH23,
|
||||
title = {Expressive Policies for Microservice Networks},
|
||||
author = {Grewal, Karuna and Godfrey, Brighten and Hsu, Justin},
|
||||
|
|
|
|||
Loading…
Reference in New Issue