[TYPES/announce] PLAS 2021 Call for Participation

[Zhang, Danfeng]

--------------------------------------------------------------------------

PLAS 2021 Call for Participation
16th Workshop on Programming Languages and Analysis for Security (PLAS 2021)

https://urldefense.com/v3/__https://plas21.software.imdea.org__;!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBdCH_EGCQ$ 
Virtual Event
December 7, 2021

--------------------------------------------------------------------------

PLAS 2021 will be held online on December 7. Participation will be free without any preregistration.

PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to the future research at the intersection of programming languages and security.

The program of PLAS 2021 will include the following talks:

(Invited Talk) Deian Stefan - Look Ma no Hands, or How to Make Software Sandboxing Practical
Xaver Fabian, Koby Wu Chan, Marco Patrignani - Short paper: Formal verification of Spectres combination
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia - Short Paper: Noninterference For Session-Typed Processes
Aslan Askarov - Short paper: are fine-grained and coarse-grained dynamic information flow control always equally expressive?
McKenna McCall, Abhishek Bichhawat, Limin Jia - Short Paper: Compositional Information Flow Monitoring for Reactive Programs
Priyanka Mondal, Maximilian Algehed, Owen Arden - Applying consensus and replication securely with FLAQR
Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix - Short paper: A Datalog-based security monitoring language

Please find more information at https://urldefense.com/v3/__https://plas21.software.imdea.org__;!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBdCH_EGCQ$ .

The links for attending the workshop:
ZOOM: https://urldefense.com/v3/__https://psu.zoom.us/j/92497369062?pwd=M2FKSlBTOEY2Rnc4ajFOdndNZ21sUT09__;!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBdL_Hc70w$ 
Slack: https://urldefense.com/v3/__https://join.slack.com/t/plas2021/shared_invite/zt-zrd5b5tf-NqoK*t6vf*sGWQVBiX4Siw__;fn4!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBfSW57-Wg$ <https://urldefense.com/v3/__https://nam10.safelinks.protection.outlook.com/?url=https*3A*2F*2Fjoin.slack.com*2Ft*2Fplas2021*2Fshared_invite*2Fzt-zrd5b5tf-NqoK*t6vf*sGWQVBiX4Siw&data=04*7C01*7CL-SIISZHANG*40LISTS.PSU.EDU*7C29827319f9b3423ac84a08d9b87d46d3*7C7cf48d453ddb4389a9c1c115526eb52e*7C0*7C0*7C637743670460574845*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=JMI9pvRfUFWdkIZH*2BNdhnDYgm4vHcoG5*2FZtDEQ48SRA*3D&reserved=0__;JSUlJSUlJX5-JSUlJSUlJSUlJSUlJSUl!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBfXA5J7wg$ >

--------------------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211206/64dae327/attachment-0001.htm>