Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
Articles by Lee Pike
Fix bugs with Transformer through a neural-symbolic edit grammar
We introduce NSEdit (neural-symbolic edit), a novel Transformer-based code repair method. Given only the source code that contains bugs, NSEdit predicts an editing sequence that can fix the bugs. The edit grammar is formulated as a regular language, and the Transformer uses it as a neural-symbolic scripting interface to generate editing programs. We modify the Transformer and add a pointer network to select the edit locations.
Rapid: Checking API usage for the cloud in the cloud
We present Rapid, an industrial-strength analysis developed at AWS that aims to help developers by providing automatic, fast and actionable feedback about correct usage of cloud-service APIs. Rapid’s design is based on the insight that cloud service APIs are structured around short-lived request- and response-objects whose usage patterns can be specified as value-dependent type-state automata and be verified by combining local type-state with global value-flow analyses.We describe various...
Automated reasoning lightning talks
The 32nd International Conference on Computer-Aided Verification (CAV) is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. During the all-virtual event, Amazon scientists Neha Rungta, Jim Christy, Lee Pike, Nathan Chong, Byron Cook, and Daniel Kroening hosted a lightning talk session, focused on how verification methods are being applied across Amazon.
CPI is not the only thing that was on the rise this July: Wage increases, superannuation, penalty increases for SafeWork & high income threshold/compensation cap - - Australia
From Friday 1 July 2022, there will be a number of changes set to impact all Australian businesses. These changes include increases to minimum wages, compulsory superannuation and penalty units in NSW. The changes come as a timely reminder for businesses to review their contracts and industrial instruments. It is also a good time for businesses to ensure that they are meeting their minimum obligations, and to confirm who will bear the increase to superannuation.
Your Guide To COVID-19 Vaccines And The Workplace
To print this article, all you need is to be registered or login on Mondaq.com. Despite the increasing rates of COVID-19 vaccination across Australia, issues surrounding the COVID-19 vaccine and the workplace remain at the forefront of conversation; particularly given the mandating of vaccines within some industries and states.
Your Guide To COVID-19 Vaccines And The Workplace: Aged Care Industry
Australia: Your Guide To COVID-19 Vaccines And The Workplace: Aged Care Industry 17 November 2021 by Alicia Mataere and Lee Pike Holman Webb Your LinkedIn Connections with the authors To print this article, all you need is to be registered or login on Mondaq.com. Aged Care Industry - Compulsory COVID-19 Vaccination State and territory public health orders and directions are now in place for residential aged care workers.
Webinar Recording: Avoiding Delta in the Workplace with Professor Catherine Bennett
Australia: Webinar Recording: Avoiding Delta in the Workplace with Professor Catherine Bennett 29 August 2021 by Alicia Mataere and Lee Pike Holman Webb Your LinkedIn Connections with the authors To print this article, all you need is to be registered or login on Mondaq.com.
Activate Good matches volunteers with 500 groups Original
Back in August - before the election, before a vaccine was announced, before a weird and stressful holiday season began - I was at a volunteer event where I joined a group of volunteers unpacking boxes of Chromebooks in the Leesville High School locker room. I was carrying a New Yorker tote bag and drove to the event in my Subaru Outback. I am aware that I sound like a stereotype. On the other hand, another volunteer, Jason, was wearing a Liberty University T-shirt and a camo trucker hat.
COVID-19: Amendments to Hospitality and Clerks Awards, and Long Service Leave Act
Mondaq Ltd requires you to register and provide information that personally identifies you, including your content preferences, for three primary purposes (full details of Mondaq’s use of your personal data can be found in our Privacy and Cookies Notice): Mondaq hopes that our registered users will support us in maintaining our free to view business model by consenting to our use of your personal data as described below. Mondaq has a "free to view" business model.
Show More
loading
Actions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Get in touch with Lee
Contact Lee, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack